
A conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Center for Computer Science, SchloB D gstuhl, during June 23-29, 1991. Participants from 10 countries represented a wide range of interests on the subject...