[PRL] Fwd: [TYPES] ESOP 2006 Call for papers

[Matthias Felleisen]

FYI. A decent conference to aim for. -- Matthias


Begin forwarded message:

> From: Peter Sestoft <sestoft at dina.kvl.dk>
> Date: September 7, 2005 4:18:07 AM EDT
> To: types-list at lists.seas.upenn.edu
> Subject: [TYPES] ESOP 2006 Call for papers
>
> [The Types Forum, 
> http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>
> 			   Call for Papers
>
> 	   ESOP 2006: The European Symposium on Programming
>
> 		  http://www.itu.dk/research/esop06/
>
> 		       Affiliated with ETAPS'06
> 	      Vienna, Austria, 25 March to 2 April 2006
>
>
> CONFERENCE DESCRIPTION
>
> ESOP is an annual conference devoted to fundamental issues in the
> specification, analysis, and implementation of programming languages
> and systems. This includes:
>
>     * design of programming languages and calculi and their formal
>       properties
>
>     * techniques, methods, and tools for their implementation
>
>     * exploitation of programming styles within different programming
>       paradigms
>
>     * automatic and manual methods for generating and reasoning about
>       programs
>
>     * the design and invention of systems and tools to assist in
>       exploitation of the languages
>
> Contributions bridging the gap between theory and practice are
> particularly welcome.  Topics traditionally covered by ESOP include
> programming paradigms and their integration, semantics, calculi of
> computation, security and privacy, advanced type systems, program
> analysis, program transformation, and practical algorithms based on
> theoretical developments.
>
> More information about ESOP can be found at ESOP's home page:
> http://www.imm.dtu.dk/~riis/esop.html
>
> ESOP'06 is one of the main conferences of ETAPS'06 with sister events
> CC, FASE, FOSSACS, TACAS, see: 
> http://www.complang.tuwien.ac.at/etaps06/
>
>
> IMPORTANT DATES
>
> Friday 7 October 2005
> Submission deadline for abstracts
>
> Friday 14 October 2005
> Submission deadline for full papers (strict)
>
> Friday 9 December 2005
> Notification of acceptance/rejection
>
> Friday 6 January 2006
> Camera-ready version due
>
> Saturday 25 March to Sunday 2 April 2006
> ETAPS 2006
>
>
> SUBMISSION INFORMATION
>
> ETAPS conferences accept two types of contributions: research papers
> and tool demonstration papers. Both types will appear in the
> proceedings and have presentations during the conference. A
> condition of submission is that, if the submission is accepted, one of
> the authors attends the conference to give the presentation. All
> submitted papers must be unpublished and not submitted for publication
> elsewhere. In particular, simultaneous submission of the same
> contribution to multiple ETAPS conferences is forbidden.
>
> Papers should be submitted electronically in PDF (preferably) or PS
> (using Type 1 fonts). The proceedings will be published in the
> Springer-Verlag Lecture Notes in Computer Science series. Final papers
> will be in the format specified by Springer-Verlag at the URL:
>
>   http://www.springer.de/comp/lncs/authors.html
>
> It is recommended that submissions adhere to the specified format and
> length.  Submissions that are clearly too long may be rejected
> immediately.
>
> A link to the electronic submission system will available shortly on
> the ESOP 2006 home page (http://www.itu.dk/research/esop06/).
>
> RESEARCH PAPERS: Final papers will be not more than 15 pages long, and
> should present original research. Additional material intended for the
> referee but not for publication in the final version - for example
> details of proofs - may be placed in a clearly marked appendix that is
> not included in the page limit.
>
> TOOL DEMONSTRATION PAPERS: Submissions should consist of two parts:
> The first part, at most four pages, should describe the tool
> presented. Please include the URL of the tool (if available) and
> provide information which illustrates the maturity and robustness of
> the tool. (This part will be included in the proceedings.)
>     The second part, at most six pages, should explain how the
> demonstration will be carried out and what it will show, including
> screen dumps and examples. (This part will be not be included in the
> proceedings, but will be evaluated.)
>
>
> ESOP 2006 INVITED SPEAKER
>
> Sophia Drossopoulou, Imperial College London, UK
>
>
> ETAPS 2006 JOINT INVITED SPEAKERS
>
> Carlo Ghezzi, Politecnico di Milano, Italy
> Benjamin Pierce, University of Pennsylvania, USA
>
>
> ESOP 2006 PROGRAM COMMITTEE
>
> Anindya Banerjee, Kansas State University, USA
> Anton Ertl, Technische Universität Wien, Austria
> David Warren, Stony Brook University, USA
> Didier Rémy, INRIA Rocquencourt, France
> Erik Meijer, Microsoft Corporation, USA
> Eugenio Moggi, University of Genova, Italy
> German Vidal, Technical University of Valencia, Spain
> Giuseppe Castagna, École Normale Supérieure, France
> Joe Wells, Heriot-Watt University, UK
> Kostis Sagonas, Uppsala University, Sweden
> Michele Bugliesi, University of Venezia, Italy
> Mooly Sagiv, Tel-Aviv University, Israel
> Nick Benton, Microsoft Research, UK
> Peter O'Hearn, Queen Mary, University of London, UK
> Peter Sestoft, KVL and IT University Copenhagen, Denmark
> Peter Stuckey, Melbourne University, Australia
> Peter Thiemann, Freiburg University, Germany
> Pieter Hartel, Twente University, Netherlands
> Reinhard Wilhelm, Saarland University, Germany
> Stephanie Weirich, University of Pennsylvania, USA
> Susan Eisenbach, Imperial College London, UK
> Todd Veldhuizen, Indiana University, USA
> Ulrik Pagh Schultz, University of Southern Denmark
>
> Chair:
> Peter Sestoft, KVL and IT University Copenhagen, Denmark