[M1] ================================================ AMAST Links 01 02

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

   The _full version_ of this preliminary announcement is available at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i02/full/LDPL95m.txt
  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:*
 o  Samson Abramsky, Imperial College, London, United Kingdom
 o  Olivier Danvy, Aarhus University, Denmark
 o  Peter O'Hearn, Syracuse University, Syracuse, N.Y., USA
 o  Frank Pfenning, Carnegie Mellon University, Pittsburgh, USA
 o  Gordon D. Plotkin, University of Edinburgh, United Kingdom
 o  Helmut Schwichtenberg, Universit"at M"unchen, Germany
 o  Dana S. Scott, Carnegie Mellon University, Pittsburgh, USA
 o  Bent Thomsen, Eur. Computer-Industry Res. Center, M"unchen, Germany
  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
ldpl95@mathematik.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: ldpl95@mathematik.th-darmstadt.de