European Symposium on Programming
Appearance
European Symposium on Programming | |
---|---|
Abbreviation | ESOP |
Discipline | Programming Languages |
Publication details | |
Publisher | Lecture Notes in Computer Science, Springer-Verlag |
History | 1986- |
Frequency | annual |
The European Symposium on Programming (ESOP) is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. It is one of the 10 top conferences in Programming Languages [1] [2] and is given the highest scores in major Conference Rankings. [3]
Initially a biannual conference, in 1998 ESOP was transformed into an annual conference and became one of the founding conferences of the European Joint Conferences on Theory and Practice of Software (ETAPS),[4] which is the primary European forum for academic and industrial researchers working on topics relating to Software Science.
Locations and Program Chairs
Conference | Place | Program Chair(s) | Note | Acceptance rate |
---|---|---|---|---|
ESOP 2015 | ![]() |
Jan Vitek | Held as part of ETAPS | |
ESOP 2014 | ![]() |
Zhong Shao | Held as part of ETAPS | |
ESOP 2013 | ![]() |
Matthias Felleisen, Philippa Gardner | Held as part of ETAPS | 31/120 |
ESOP 2012 | ![]() |
Helmut Seidl | Held as part of ETAPS | 28/92 |
ESOP 2011 | ![]() |
Gilles Barthe | Held as part of ETAPS | 24/93 |
ESOP 2010 | ![]() |
Andrew D. Gordon | Held as part of ETAPS | 30/121 |
ESOP 2009 | ![]() |
Giuseppe Castagna | Held as part of ETAPS | 26/98 |
ESOP 2008 | ![]() |
Sophia Drossopoulou | Held as part of ETAPS | 27/104 |
ESOP 2007 | ![]() |
Rocco De Nicola | Held as part of ETAPS | 34/136 |
ESOP 2006 | ![]() |
Peter Sestoft | Held as part of ETAPS | 21/87 |
ESOP 2005 | ![]() |
Shmuel Sagiv | Held as part of ETAPS | 29/114 |
ESOP 2004 | ![]() |
David A. Schmidt | Held as part of ETAPS | 27/118 |
ESOP 2003 | ![]() |
Pierpaolo Degano | Held as part of ETAPS | 27/99 |
ESOP 2002 | ![]() |
Daniel Le Métayer | Held as part of ETAPS | 21/73 |
ESOP 2001 | ![]() |
David Sands | Held as part of ETAPS | 26/76 |
ESOP 2000 | ![]() |
Gert Smolka | Held as part of ETAPS | 26/84 |
ESOP 1999 | ![]() |
S. Doaitse Swierstra | Held as part of ETAPS | 18/44 |
ESOP 1998 | ![]() |
Chris Hankin | Held as part of ETAPS | 17/59 |
ESOP 1996 | ![]() |
Hanne Riis Nielson | 23/64 | |
ESOP 1994 | ![]() |
Donald Sannella | 31/110 | |
ESOP 1992 | ![]() |
Bernd Krieg-Brückner | 18/40 | |
ESOP 1990 | ![]() |
Neil D. Jones | 24/75 | |
ESOP 1988 | ![]() |
Harald Ganzinger | 23/75 | |
ESOP 1986 | ![]() |
Bernard Robinet, Reinhard Wilhelm | 28/100 |
Steering Committee
Years | Chair |
---|---|
2013 - ... | Giuseppe Castagna |
2010–2013 | Andrew D. Gordon |
... - 2010 | Chris Hankin |
External links
See also
- List of computer science conferences
- List of computer science conference acronyms
- List of publications in computer science
- Outline of computer science
References
- Special issue of the Journal Theoretical Computer Science (TCS) on the European Symposium on Programming
- Special issue of the Journal ACM Transactions on Programming Languages and Systems (TOPLAS) on the European Symposium on Programming
- Special issue of the Journal Science of Computer Programming on the European Symposium on Programming
- ^ Ranking of Programming languages and Software Engineer Conferences
- ^ Top Conferences in Programming Languages
- ^ Rank A: ERA 2010 Conferences Rank List Australian Research Council. 2010.
- ^ ETAPS official web site