BibSLEIGH — ETAPS

European Joint Conferences on Theory and Practice of Software (ETAPS)

(brand of TCS)

4 × Austria
4 × Cyprus
2 × Denmark
4 × Estonia
10 × France
10 × Germany
4 × Hungary
8 × Italy
4 × Poland
8 × Portugal
4 × Spain
1 × Sweden
5 × The Netherlands
13 × United Kingdom

Vocabulary: 2285 words

Event series page: http://www.etaps.org/ (@splashcon)

2743 papers in 30 issues:

2019: Proceedings of the 28th European Symposium on Programming (ESOP 2019); Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering (FASE 2019)
2018: Proceedings of the 27th European Symposium on Programming (ESOP 2018); Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018)
2017: Proceedings of the 24th European Symposium on Programming (ESOP 2017); Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering (FASE 2017)
2016: Proceedings of the 25th European Symposium on Programming (ESOP 2016); Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016)
2015: Proceedings of the 24th European Symposium on Programming (ESOP 2015); Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015); Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015); Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
2014: Proceedings of the 23rd European Symposium on Programming (ESOP 2014); Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014); Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2014); Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)
2013: Proceedings of the 22nd European Symposium on Programming (ESOP 2013); Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013); Proceedings of the 16th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2013); Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)
2012: Proceedings of the 21st European Symposium on Programming (ESOP 2012); Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012); Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2012); Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)
2011: Proceedings of the 20th European Symposium on Programming (ESOP 2011); Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011); Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2011); Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011)
2010: Proceedings of the 19th European Symposium on Programming (ESOP 2010); Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010); Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2010); Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010)
2009: Proceedings of the 18th European Symposium on Programming (ESOP 2009); Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE 2009); Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2009); Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)
2008: Proceedings of the 17th European Symposium on Programming (ESOP 2008); Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE 2008); Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008); Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)
2007: Proceedings of the 16th European Symposium on Programming (ESOP 2007); Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007); Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2007); Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007)
2006: Proceedings of the 15th European Symposium on Programming (ESOP 2006); Proceedings of the Ninth International Conference on Fundamental Approaches to Software Engineering (FASE 2006); Proceedings of the Ninth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2006); Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006)
2005: Proceedings of the 14th European Symposium on Programming (ESOP 2005); Proceedings of the Eighth International Conference on Fundamental Approaches to Software Engineering (FASE 2005); Proceedings of the Eighth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2005); Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)
2004: Proceedings of the 13th European Symposium on Programming (ESOP 2004); Proceedings of the Seventh International Conference on Fundamental Approaches to Software Engineering (FASE 2004); Proceedings of the Seventh International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2004); Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)
2003: Proceedings of the 12th European Symposium on Programming (ESOP 2003); Proceedings of the Sixth International Conference on Fundamental Approaches to Software Engineering (FASE 2003); Proceedings of the Sixth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2003); Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003)
2002: Proceedings of the 11th European Symposium on Programming (ESOP 2002); Proceedings of the Fifth International Conference on Fundamental Approaches to Software Engineering (FASE 2002); Proceedings of the Fifth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2002); Proceedings of the Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002)
2001: Proceedings of the 10th European Symposium on Programming (ESOP 2001); Proceedings of the Fourth International Conference on Fundamental Approaches to Software Engineering (FASE 2001); Proceedings of the Fourth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2001); Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001)
2000: Proceedings of the Ninth European Symposium on Programming (ESOP 2000); Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering (FASE 2000); Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2000); Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000)
1999: Proceedings of the Eighth European Symposium on Programming (ESOP 1999); Proceedings of the Second International Conference on Fundamental Approaches to Software Engineering (FASE 1999); Proceedings of the Second International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 1999); Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1999)
1998: Proceedings of the Seventh European Symposium on Programming (ESOP 1998); Proceedings of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998); Special Issue on Fundamental Approaches to Software Engineering (FASE 1998) (FASE 1998); Proceedings of the First International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 1998); Proceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1998)
1997: Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1997)
1996: Proceedings of the Sixth European Symposium on Programming (ESOP 1996); Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1996)
1995: Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1995)
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)