Return-Path: Received: from EDRC.CMU.EDU by POP.CS.CMU.EDU id aa26660; 31 Oct 94 9:36:36 EST Received: from theory.lcs.mit.edu by EDRC.CMU.EDU id aa17723; 31 Oct 94 9:31:55 EST Received: from vanuata.dcs.gla.ac.uk ([130.209.240.50]) by theory.lcs.mit.edu (5.65c/TOC-1.2S) id AA05827; Mon, 31 Oct 94 09:05:59 EST Resent-Message-Id: <199410311405.AA05827@theory.lcs.mit.edu> Message-Id: <199410311405.AA05827@theory.lcs.mit.edu> Received: from dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk id <00666-0@vanuata.dcs.gla.ac.uk>; Mon, 31 Oct 1994 12:00:22 +0000 From: Michael Huth Subject: workshop announcement Date: Mon, 31 Oct 94 10:38:33 MEZ To: types@dcs.gla.ac.uk Old-Resent-From: types-request@dcs.gla.ac.uk Errors-To: types-request@dcs.gla.ac.uk Approved: types@dcs.gla.ac.uk Resent-Date: Mon, 31 Oct 1994 12:00:22 +0000 Resent-From: types@dcs.gla.ac.uk Resent-To: types-dist@dcs.gla.ac.uk Preliminary Announcement of the Workshop on LOGIC, DOMAINS, AND PROGRAMMING LANGUAGES May 24-27, 1995 Organizers: K.H. Hofmann, M. Huth, A. Jung, and K. Keimel Fachbereich Mathematik Technische Hochschule Darmstadt 64289 Darmstadt, Germany E-mail: ldpl95@mathematik.th-darmstadt.de 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. We are pleased to announce that the University of Darmstadt will award Dana Scott an honorary degree on Wednesday, May 24. Workshop participants are most welcome to attend this event which will be held in the afternoon; a reception on that evening is planned as well. A subsequent announcement will contain more detailed information. The actual workshop will take place at facilities of the Technische Hochschule Darmstadt in the center of Darmstadt, Germany. Registration will be on Wednesday, May 24, in the afternoon. Talks will begin the next morning. Invited speakers are: Samson ABRAMSKY, Imperial College, London, United Kingdom. Olivier DANVY, Aarhus University, Denmark. Peter O'HEARN, Syracuse University, Syracruse, N.Y., USA. Frank PFENNING, Carnegie Mellon University, Pittsburgh, USA. Gordon D. PLOTKIN, University of Edinburgh, United Kingdom. Helmut SCHWICHTENBERG, Universit"at M"unchen, Germany. Dana S. SCOTT, Carnegie Mellon University, Pittsburgh, USA. Bent THOMSEN, European Computer-Industry Research Center, M"unchen, Germany. Additionally, we have 25-40 slots for presentations of ongoing work which will be confined to 25 minutes. 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. We plan to group talks with similar topics into the same sessions. Slots will be filled on a ``first come, first served'' basis. Each request will be answered by FEBRUARY 15, 1995, the latest. We are currently investigating the possibility of publishing workshop proceedings. Darmstadt is only about 20km south of Frankfurt International Airport; the HEAG AIRLINER is a shuttle service operating between this airport and the center of Darmstadt. Darmstadt has a major railway station with frequent connections to all of Europe. There will be no workshop 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 if you need further information, please send all correspondence to the postal address or the e-mail address below. Having pre-registered, you will receive an accommodation form by regular mail. Workshop participants will stay in hotels in Darmstadt. Please complete this form and return it right away; hotels in Darmstadt are often heavily booked during conventions held in nearby Frankfurt. We prefer if you send the registration form below by electronic mail to ldpl95@mathematik.th-darmstadt.de. If you want or need to send it by postal mail, the address is Dr. Michael Huth Workshop on Logic, Domains, and Programming Languages, AG 1 Fachbereich Mathematik Technische Hochschule Darmstadt 64289 Darmstadt, Germany PRE-REGISTRATION FORM ===================== Name: ---- Postal address: -------------- Electronic Mail: --------------- Phone number: ------------ Fax number: ---------- Do you want to give a talk? ____ If `YES': Authors: ------- Title: ----- Abstract: please attach your abstract here -------- (preferably a LATEX file).