From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA29442 for caml-redistribution; Mon, 6 Sep 1999 18:20:59 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA22106 for ; Mon, 6 Sep 1999 14:26:21 +0200 (MET DST) Received: from uni-sb.de (uni-sb.de [134.96.252.33]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id OAA21617 for ; Mon, 6 Sep 1999 14:26:21 +0200 (MET DST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.9.3/1999070600) with ESMTP id OAA25885; Mon, 6 Sep 1999 14:25:21 +0200 (CEST) Received: from grizzly.ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by cs.uni-sb.de (8.9.3/1999031900) with ESMTP id OAA17878; Mon, 6 Sep 1999 14:25:10 +0200 (CEST) Received: from ps.uni-sb.de (IDENT:gert@grizzly.ps.uni-sb.de [134.96.186.68]) by grizzly.ps.uni-sb.de (8.9.1a/8.9.1) with ESMTP id OAA19403; Mon, 6 Sep 1999 14:24:55 +0200 Sender: weis Message-ID: <37D3B296.4717BB29@ps.uni-sb.de> Date: Mon, 06 Sep 1999 14:24:54 +0200 From: Gert Smolka Reply-To: esop2000@ps.uni-sb.de Organization: UdS X-Mailer: Mozilla 4.6 [en] (X11; I; Linux 2.2.9 i686) X-Accept-Language: en MIME-Version: 1.0 To: types@cis.upenn.edu, eapls@mailbase.ac.uk, fr-sem@frmug.org, caml-list@pauillac.inria.fr, compunode@compulog.org, concurrency@cwi.nl, eacsl@dimi.uniud.it, THEORYNT@LISTSERV.NODAK.EDU, clp@comp.nus.edu.sg, lprolog@cis.upenn.edu, rewriting@ens-lyon.fr, gulp@di.unipi.it, ccl@dfki.uni-sb.de, rewriting@ens-lyon.fr Subject: ESOP 2000: Call for Papers X-Priority: 4 (Low) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit [sorry for multiple copies] First Call for Papers: ESOP 2000 European Symposium on Programming March 27-31, 2000, Berlin, Germany http://www.ps.uni-sb.de/~esop2000 Submission deadline: Oct 18, 1999 Program Chair: Gert Smolka, Uni Saarbruecken, Germany Invited Speaker: Martin Odersky, EPF Lausanne, Switzerland PC: Gerard Boudol, INRIA, Sophia-Antipolis, France Sophia Drossopoulou, Imperial College, London, UK Matthias Felleisen, Rice University, Houston, US Michael Franz, UC Irvine, US Manuel Hermenegildo, TU Madrid, Spain Xavier Leroy, INRIA Rocquencourt, France Alan Mycroft, Cambridge University, UK Martin Odersky, EPF Lausanne, Switzerland Andreas Podelski, MPI, Saarbruecken, Germany Gert Smolka, UdS, Saarbruecken, Germany Peter Thiemann, Uni Freiburg, Germany Mads Tofte, Uni Copenhagen, Denmark Pascal van Hentenryck, Uni Louvain, Belgium ESOP is an annual conference devoted to the design, specification and analysis of programming languages and programming systems. Both practical and theoretical papers are welcome. Possible topics include: Programming paradigms and their integration, including concurrent, functional, logic and object-oriented; computational calculi and semantics; type systems, program analysis and concomitant constraint systems; program transformation; programming environments and tools. Papers pointing out new directions or combining theory and practice are particularly encouraged. The conference proceedings will appear as a volume in the LNCS series published by Springer-Verlag. ESOP accepted papers are eligible for the EAPLS Best Paper Award, which is given to the best paper presented at any of the ETAPS 2000 conferences. Submitted papers must be in English and must be unpublished and not submitted for publication elsewhere. Simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. As accepted papers will be restricted in length to 15 pages in the Springer-Verlag LNCS style, authors are asked to adhere to this length and format. Authors are asked to submit their papers electronically. Instructions are at http://www.ps.uni-sb.de/~esop2000. Authors without access to the Internet should contact the Program Chair: Gert Smolka Programming Systems Lab Universitaet des Saarlandes Postfach 15 11 50 66041 Saarbruecken Germany +49 (681) 302 5311 (voice) +49 (681) 302 5615 (fax) http://www.ps.uni-sb.de/~smolka Deadline for submissions: Monday, October 18, 1999 Notification of authors: Monday, December 13, 1999 Final versions due: Thursday, January 13, 2000 ESOP is part of ETAPS 2000, European Joint Conferences on Theory and Practice of Software, http://iks.cs.tu-berlin.de/etaps2000/etaps.html.