An der Universität Duisburg-Essen ist derzeit eine W2-
bzw. W3-Professur für "Formale Methoden der Informatik"
ausgeschrieben:
http://www.academics.de/jobs/universitaetsprofessur_w2_w3_fuer_formale_meth…
Die Stellenausschreibung führt bestimmte Themengebiete auf, an denen
unsere Abteilung besonders interessiert ist. Sie ist jedoch ansonsten
umfassend zu verstehen und auch Bewerbungen von Kandidaten, die andere
Themengebiete im Bereich "Formale Methoden der Informatik" vertreten,
sind willkommen.
Barbara König
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
(With apologies for cross-posting.)
===============================================================
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
iQEcBAEBAgAGBQJUNFozAAoJEPNKCG+42AHf/YkIALT6NQJKgkvgKicOqC5PyY0E
8bVSDBUPMzFVWahq0Bj5cyaQWJQzzsJ/O+yoyHG/PmhRAGBCnaAaTmjFmUTDOWGO
VsZUt/xznEWjWDyVjQXiyXIT6xO0OknFmg4UQT7STNP5DoH7In6m/ZirfWT3yow3
Jc6vPZUjWCPRsa6gy+SVZ4rUQvyEv4Fs1MlfCuerKofcxEfYkqrrjSVl6Zbdm7+s
1wkHb9eGfArlu+tk/UBsI1uRU//RNSuXSK9LMVt5zCdPvDpmjE2N2l9IRcZo2AWi
RGGZn730qq12vu9z6XHwnEuWCBQGMq7nM43Y5tEANe6ahvjOCyRN4I2OnB3HnjY=
=EDjN
-----END PGP SIGNATURE-----
