European Symposium on Programming (ESOP)
(brand of TCS)1 × Austria
1 × Cyprus
1 × Denmark
1 × Estonia
4 × France
3 × Germany
1 × Hungary
2 × Italy
1 × Poland
2 × Portugal
1 × Spain
1 × Sweden
1 × The Netherlands
4 × United Kingdom
65 ×#analysis
58 ×#source code
54 ×#semantics
43 ×#logic
43 ×#type system
34 ×#concurrent
33 ×#functional
32 ×#programming
27 ×#higher-order
27 ×#verification
Vocabulary: 1073 words
810 papers in 28 issues:
- 2019
Proceedings of the 28th European Symposium on Programming (ESOP 2019)- 2018
- Proceedings of the 27th European Symposium on Programming (ESOP 2018)
- 2017
- Proceedings of the 24th European Symposium on Programming (ESOP 2017)
- 2016
- Proceedings of the 25th European Symposium on Programming (ESOP 2016)
- 2015
- Proceedings of the 24th European Symposium on Programming (ESOP 2015)
- 2014
- Proceedings of the 23rd European Symposium on Programming (ESOP 2014)
- 2013
- Proceedings of the 22nd European Symposium on Programming (ESOP 2013)
- 2012
- Proceedings of the 21st European Symposium on Programming (ESOP 2012)
- 2011
- Proceedings of the 20th European Symposium on Programming (ESOP 2011)
- 2010
- Proceedings of the 19th European Symposium on Programming (ESOP 2010)
- 2009
- Proceedings of the 18th European Symposium on Programming (ESOP 2009)
- 2008
- Proceedings of the 17th European Symposium on Programming (ESOP 2008)
- 2007
- Proceedings of the 16th European Symposium on Programming (ESOP 2007)
- 2006
- Proceedings of the 15th European Symposium on Programming (ESOP 2006)
- 2005
- Proceedings of the 14th European Symposium on Programming (ESOP 2005)
- 2004
- Proceedings of the 13th European Symposium on Programming (ESOP 2004)
- 2003
- Proceedings of the 12th European Symposium on Programming (ESOP 2003)
- 2002
- Proceedings of the 11th European Symposium on Programming (ESOP 2002)
- 2001
- Proceedings of the 10th European Symposium on Programming (ESOP 2001)
- 2000
- Proceedings of the Ninth European Symposium on Programming (ESOP 2000)
- 1999
- Proceedings of the Eighth European Symposium on Programming (ESOP 1999)
- 1998
- Proceedings of the Seventh European Symposium on Programming (ESOP 1998)
- 1996
- Proceedings of the Sixth European Symposium on Programming (ESOP 1996)
- 1994
- Proceedings of the Fifth European Symposium on Programming (ESOP 1994)
- Selected Papers of the Fifth European Symposium on Programming (ESOP 1994)
- 1992
- Proceedings of the Fourth European Symposium on Programming (ESOP 1992)
- Selected Papers of the Fourth European Symposium on Programming (ESOP 1992)
- 1990
- Proceedings of the Third European Symposium on Programming (ESOP 1990)
- Selected Papers of the Third European Symposium on Programming (ESOP 1990)
- 1988
- Proceedings of the Second European Symposium on Programming (ESOP 1988)
- 1986
- Proceedings of the First European Symposium on Programming (ESOP 1986)
1 × Cyprus
1 × Denmark
1 × Estonia
4 × France
3 × Germany
1 × Hungary
2 × Italy
1 × Poland
2 × Portugal
1 × Spain
1 × Sweden
1 × The Netherlands
4 × United Kingdom
65 ×#analysis
58 ×#source code
54 ×#semantics
43 ×#logic
43 ×#type system
34 ×#concurrent
33 ×#functional
32 ×#programming
27 ×#higher-order
27 ×#verification
Vocabulary: 1073 words
Proceedings of the 28th European Symposium on Programming (ESOP 2019)Proceedings of the 27th European Symposium on Programming (ESOP 2018)Proceedings of the 24th European Symposium on Programming (ESOP 2017)Proceedings of the 25th European Symposium on Programming (ESOP 2016)Proceedings of the 24th European Symposium on Programming (ESOP 2015)Proceedings of the 23rd European Symposium on Programming (ESOP 2014)Proceedings of the 22nd European Symposium on Programming (ESOP 2013)Proceedings of the 21st European Symposium on Programming (ESOP 2012)Proceedings of the 20th European Symposium on Programming (ESOP 2011)Proceedings of the 19th European Symposium on Programming (ESOP 2010)Proceedings of the 18th European Symposium on Programming (ESOP 2009)Proceedings of the 17th European Symposium on Programming (ESOP 2008)Proceedings of the 16th European Symposium on Programming (ESOP 2007)Proceedings of the 15th European Symposium on Programming (ESOP 2006)Proceedings of the 14th European Symposium on Programming (ESOP 2005)Proceedings of the 13th European Symposium on Programming (ESOP 2004)Proceedings of the 12th European Symposium on Programming (ESOP 2003)Proceedings of the 11th European Symposium on Programming (ESOP 2002)Proceedings of the 10th European Symposium on Programming (ESOP 2001)Proceedings of the Ninth European Symposium on Programming (ESOP 2000)Proceedings of the Eighth European Symposium on Programming (ESOP 1999)Proceedings of the Seventh European Symposium on Programming (ESOP 1998)Proceedings of the Sixth European Symposium on Programming (ESOP 1996)Proceedings of the Fifth European Symposium on Programming (ESOP 1994)Selected Papers of the Fifth European Symposium on Programming (ESOP 1994)Proceedings of the Fourth European Symposium on Programming (ESOP 1992)Selected Papers of the Fourth European Symposium on Programming (ESOP 1992)Proceedings of the Third European Symposium on Programming (ESOP 1990)Selected Papers of the Third European Symposium on Programming (ESOP 1990)Proceedings of the Second European Symposium on Programming (ESOP 1988)Proceedings of the First European Symposium on Programming (ESOP 1986)