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

4 × Austria

5 × Cyprus

2 × Denmark

5 × Estonia

11 × France

10 × Germany

4 × Hungary

8 × Italy

4 × Poland

8 × Portugal

4 × Spain

1 × Sweden

5 × The Netherlands

13 × United Kingdom

211 ×#verification

206 ×#analysis

187 ×#named

183 ×#logic

175 ×#model checking

140 ×#source code

138 ×#semantics

131 ×#specification

131 ×#using

122 ×#modelling

5 × Cyprus

2 × Denmark

5 × Estonia

11 × France

10 × Germany

4 × Hungary

8 × Italy

4 × Poland

8 × Portugal

4 × Spain

1 × Sweden

5 × The Netherlands

13 × United Kingdom

211 ×#verification

206 ×#analysis

187 ×#named

183 ×#logic

175 ×#model checking

140 ×#source code

138 ×#semantics

131 ×#specification

131 ×#using

122 ×#modelling

### 5 brands:

### 2717 papers in 98 issues:

- 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)
- Revised Selected Papers of the 10th International Workshop on Rewriting Logic and its Applications (WRLA 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)
- Revised Selected Papers of the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 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)
- Revised Selected Papers of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010)
- Special Issue of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 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)
- Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 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)
- Proceedings of the Sixth International Workshop on Rewriting Logic and its Applications (WRLA 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)
- Proceedings of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)
- Special Issue of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 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)
- Proceedings of the Fourth International Workshop on Rewriting Logic and its Applications (WRLA 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)
- Proceedings of the Third International Workshop on Rewriting Logic and its Applications (WRLA 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)
- Proceedings of the Second International Workshop on Rewriting Logic and its Applications (WRLA 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 First International Workshop on Rewriting Logic and its Applications (WRLA 1996)
- Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1996)
- Special Issue of the First International Workshop on Rewriting Logic and its Applications (WRLA 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)