TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 9323

Semantics of Programming Languages and Algebra

( Jun 07 – Jun 11, 1993 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/9323

Organizers
  • M. Droste
  • Y. Gurevich



Summary

The theme of the conference was the interplay between various approaches to the semantics of programming languages and the mathematical areas of logic (especially model theory) and algebra. The topics of the 26 talks included

  • questions of definability in first-order logic and its various extensions (fixed-point logic, generalized quantifiers, etc.)
  • evolving algebras and various applications of them,
  • denotational semantics and domain theory, and
  • generalizations of automata theory and network theory.

There were many fruitful interactions and collaboration between specialists from different areas as well as wide-ranging and vigorous discussion sessions. The conference was attended by 33 participants from 11 countries.

On behalf of all participants, the organizers would like to thank the staff of Schloß Dagstuhl for providing an excellent environment for the conference.

Copyright

Participants
  • M. Droste
  • Y. Gurevich