The full version of this preliminary announcement is available.
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.
Invited Speakers:
Also 25-40 slots for 25 minute presentations of ongoing work are available. If you are interested in signing up for a slot, please send a title and an abstract of your intended presentation to ldpl95mathematik.th-darmstadt.de by January 15, 1995.
Slots will be filled on a ``first come, first served'' basis. Each request will be answered by February 15, 1995, the latest. We are investigating the possibility of publishing workshop proceedings.
There will be no workshop fee; participants will only be asked for a contribution to cover expenses for coffee breaks, reception, etc.
You are invited to pre-register for this workshop. In that case, or if you need further information, please send all correspondence to
Dr Michael Huth, Workshop on Logic, Domains, & Programming Languages AG 1, Fachbereich Mathematik, Technische Hochschule Darmstadt 64289 Darmstadt, Germany. E-mail: ldpl95mathematik.th-darmstadt.de