D-CON

Download

d-con@lists.rwth-aachen.de

October 2014

2 participants
2 discussions

W2/W3-Professur "Formale Methoden der Informatik" (Universität Duisburg-Essen)
by Barbara Koenig 16 Oct '14

16 Oct '14

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

1 0

CFP ESOP 2015 - PAGE LIMIT CHANGED
by Helmut Seidl 07 Oct '14

07 Oct '14

-----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-----

1 0