[TYPES/announce] CFP ESOP'2014 - CHANGED PAGE LIMIT

[Helmut Seidl]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1



===============================================================
ESOP 2015
24th European Symposium on Programming 11-15 April 2015, London
http://esop-conference.org

**PAGE LIMIT CHANGED TO 25 PAGES**

CALL FOR PAPERS
===============================================================

======
TOPICS
======

ESOP aims to provide researchers in programming languages and system a
forum to present their latest results and to foster the exchange of
ideas.  ESOP is part of the European Joint Conference on Theory and
Practice of Software. Proceedings are published in Springer's LNCS.


ESOP is devoted to fundamental issues in the specification, design,
analysis, and implementation of programming languages and systems.
ESOP seeks contributions on all aspects of programming language
research; theoretical and/or practical advances are welcome. ESOP
also seeks to encourage repeatable research; papers describing
reproduction studies and experimental methodologies will be
considered. Authors concerned about the appropriateness of a topic
should consult with the program chair prior to submission.


=====
DATES
=====

Abstracts due:   10 October  2014
Submission due:  17 October  2014
Rebuttals:       05 December 2014 Notification:    13 December 2014
Final paper due: 16 January  2015
Conference:	 11-15 April 2015

==========
ORGANIZERS
==========

Program chair:
Jan Vitek (Purdue University, USA)
Program committee:
Umut Acar (Carnegie Mellon University and INRIA, USA)
Jade Algave (University College London, UK)
Gilles Barthe (IMDEA Software, Spain)
Gavin Bierman (Oracle, UK)
Lars Birkedal (Aarhus Universitet, Denmark)
Luis Caires (Universidade Nova de Lisboa, Portugal)
Adam Chlipala (MIT, USA)
Charles Consel (Univeristé Bordeaux / INRIA, France)
Delphine Demange (Université Rennes 1, France)
Isil Dillig (University of Texas, USA)
Alastair Donaldson (Imperial College London, UK)
Derek Dreyer (MPI-SWS, Germany)                 Azadeh Farzan
(University of Toronto, Canada)
Cedric Fournet (Microsoft Research, UK)
Giorgio Ghelli (Università di Pisa, Italy)
Alexey Gotsman (IMDEA Software Institute, Spain)
Peter Müller (ETH Zürich, Switzerland)
Luca Padovani (Università di Torino, Italy)
Keshav Pingali (University of Texas, USA)
Mooly Sagiv (Tel Aviv University, Israel)
David Sands (Chalmers University of Technology, Sweden)
Helmut Seidl (Technische Universität München, Germany)
Armando Solar-Lezama (MIT, USA)
Éric Tanter (Universidad de Chile, Chile)
Peter Thiemann (Universität Freiburg, Germany)
Hongseok Yang (University of Oxford, UK)
Francesco Zappa Nardelli (INRIA Paris-Rocquencourt, France)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJUNFmsAAoJEPNKCG+42AHfPlQH/3gs7Puy2GaQTimFYdv2Tzk+
ZQ87TQ2OdIdrEJYsbIjr2x80mU4Pom7x97AixsvY3RO5UHR2ZGDPOt9s3YUFZXfM
Ta4UVwPl2EOqndGX4y7DlVLGZ/Xd+m3rHQnOijSi7bvMFr/a3+sttusFd/I/fSCq
nZ/hNURyi3q+vhAR2XwPOnfln4b6s/cqR/2efWA+y/lQ4uShLmr/PJfOg3T7/PG5
6zujcHpLjBgiQNEUp0ODMDB2q4vdKKl0vQF7tIYxTo+VKUuhmA2AnflSVUoG/qq6
a9OYkFLh2ORZUmDBUwNJAC4twk3iickMCIp+trG0t6gRLcPw4xr+Nb3V5Tvqpy0=
=NwUT
-----END PGP SIGNATURE-----