Update of information in [AL0102M1] .
The new information in this announcement relates to the proceedings.
For other information, see the preliminary announcement.
The Workshop on Logic, Domains, and Programming Languages is aimed at computer scientists and mathematicians alike, who share an active interest in the mathematical foundations of computer science. The scope of the workshop encompasses all aspects of Programming Language Semantics ranging from purely theoretical topics to concrete applications and implementations of semantic methods. Possible workshop topics are, for example, Lambda Calculi and Functional Programming, Domain Theory, Denotational and Algebraic Semantics, Type Theories, Linear Logic, Process Algebras, and Concurrency.
Proceedings: will be published as a special issue of the journal Mathematical Structures in Computer Science. All participants may submit papers after the workshop will have taken place. Papers will be reviewed according to the usual journal standards. The deadline of submission will be fixed at the meeting.
Registration There will be no fee; participants will only be asked for a contribution to cover expenses for coffee breaks, reception, etc.
You are cordially invited to pre-register for this workshop. In that case, or for further information, please send all correspondence to ldpl95@mathematik.th-darmstadt.de (preferred) or to Dr. Michael Huth at
Workshop on Logic, Domains, and Programming Languages
AG 1 FB Mathematik, Technische Hochschule Darmstadt
D-64289 Darmstadt, Germany