[C3] ================================================ AMAST Links 02 01

    Workshop on Logic, Domains, and Programming Languages, LDPL'95
                  Darmstadt, Germany, May 24-27, 1995

   *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