[Prev][Next][Index][Thread]
ESOP 2000: Call for Papers
-
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
-
From: Gert Smolka <smolka@ps.uni-sb.de>
-
Date: Mon, 06 Sep 1999 14:24:54 +0200
-
Organization: UdS
-
Reply-To: esop2000@ps.uni-sb.de
-
Sender: gert@ps.uni-sb.de
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.