## Theoretical Computer Science (TCS)

4 × Austria

4 × Canada

5 × Cyprus

2 × Denmark

5 × Estonia

11 × France

10 × Germany

1 × Greece

4 × Hungary

8 × Italy

4 × Poland

8 × Portugal

4 × Spain

1 × Sweden

5 × The Netherlands

42 × USA

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

4 × Canada

5 × Cyprus

2 × Denmark

5 × Estonia

11 × France

10 × Germany

1 × Greece

4 × Hungary

8 × Italy

4 × Poland

8 × Portugal

4 × Spain

1 × Sweden

5 × The Netherlands

42 × USA

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

### 7 brands:

### 6320 papers in 174 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)
- Proceedings of the 12th International Workshop on Rewriting Logic and Its Applications (WRLA 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)
- Revised Selected Papers of the 11th International Workshop on Rewriting Logic and Its Applications (WRLA 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 47th Annual ACM Symposium on Theory of Computing (STOC 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 46th Annual ACM Symposium on Theory of Computing (STOC 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 45th Annual ACM Symposium on Theory of Computing (STOC 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 44th Annual ACM Symposium on Theory of Computing (STOC 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 43rd Annual ACM Symposium on Theory of Computing (STOC 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 42nd Annual ACM Symposium on Theory of Computing (STOC 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 41st Annual ACM Symposium on Theory of Computing (STOC 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 40th Annual ACM Symposium on Theory of Computing (STOC 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 39th Annual ACM Symposium on Theory of Computing (STOC 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 38th Annual ACM Symposium on Theory of Computing (STOC 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 37th Annual ACM Symposium on Theory of Computing (STOC 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 36th Annual ACM Symposium on Theory of Computing (STOC 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 35th Annual ACM Symposium on Theory of Computing (STOC 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 34th Annual ACM Symposium on Theory of Computing (STOC 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 33rd Annual ACM Symposium on Theory of Computing (STOC 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 32nd Annual ACM Symposium on Theory of Computing (STOC 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 31st Annual ACM Symposium on Theory of Computing (STOC 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 30th Annual ACM Symposium on Theory of Computing (STOC 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 29th Annual ACM Symposium on Theory of Computing (STOC 1997)
- Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1997)
- Proceedings of the Seventh International Joint Conference on Theory and Practice of Software Development (TAPSOFT CAAP/FASE 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 28th Annual ACM Symposium on Theory of Computing (STOC 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 27th Annual ACM Symposium on Theory of Computing (STOC 1995)
- Proceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1995)
- Proceedings of the Sixth International Joint Conference on Theory and Practice of Software Development (TAPSOFT CAAP/FASE 1995)
- Special Volume of the Sixth International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1995)
- 1994
- Proceedings of the Fifth European Symposium on Programming (ESOP 1994)
- Selected Papers of the Fifth European Symposium on Programming (ESOP 1994)
- Proceedings of the 26th Annual ACM Symposium on Theory of Computing (STOC 1994)
- 1993
- Proceedings of the 25th Annual ACM Symposium on Theory of Computing (STOC 1993)
- Proceedings of the Fifth International Joint Conference on Theory and Practice of Software Development (TAPSOFT CAAP/FASE 1993)
- 1992
- Proceedings of the Fourth European Symposium on Programming (ESOP 1992)
- Selected Papers of the Fourth European Symposium on Programming (ESOP 1992)
- Proceedings of the 24th Annual ACM Symposium on Theory of Computing (STOC 1992)
- 1991
- Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (TAPSOFT, Vol.2: ADC 1991)
- Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming (TAPSOFT, Vol.1: CAAP 1991)
- Proceedings of the Fourth International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Combining Paradigms for Software Development (TAPSOFT, Vol.2: CCPSD 1991)
- Proceedings of the 23rd Annual ACM Symposium on Theory of Computing (STOC 1991)
- 1990
- Proceedings of the Third European Symposium on Programming (ESOP 1990)
- Selected Papers of the Third European Symposium on Programming (ESOP 1990)
- Proceedings of the 22nd Annual ACM Symposium on Theory of Computing (STOC 1990)
- 1989
- Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development (TAPSOFT, Vol.1: AS 1989)
- Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development (TAPSOFT, Vol.2: AS 1989)
- Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming (TAPSOFT, Vol.1: CAAP 1989)
- Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Current Issues in Programming Languages (TAPSOFT, Vol.2: CCIPL 1989)
- Proceedings of the 21st Annual ACM Symposium on Theory of Computing (STOC 1989)
- 1988
- Proceedings of the Second European Symposium on Programming (ESOP 1988)
- Proceedings of the 20th Annual ACM Symposium on Theory of Computing (STOC 1988)
- 1987
- Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development (TAPSOFT, Vol.1: AS 1987)
- Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development (TAPSOFT, Vol.2: AS 1987)
- Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming (TAPSOFT, Vol.1: CAAP 1987)
- Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Functional and Logic Programming and Specifications (TAPSOFT, Vol.2: CFLP 1987)
- Proceedings of the 19th Annual ACM Symposium on Theory of Computing (STOC 1987)
- 1986
- Proceedings of the First European Symposium on Programming (ESOP 1986)
- Proceedings of the 18th Annual ACM Symposium on Theory of Computing (STOC 1986)
- 1985
- Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on the Role of Semantics in Software Development (TAPSOFT, Vol.1: AS 1985)
- Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on the Role of Semantics in Software Development (TAPSOFT, Vol.2: AS 1985)
- Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming (TAPSOFT, Vol.1: CAAP 1985)
- Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Software Engineering (TAPSOFT, Vol.2: CSE 1985)
- Proceedings of the 17th Annual ACM Symposium on Theory of Computing (STOC 1985)
- 1984
- Proceedings of the 16th Annual ACM Symposium on Theory of Computing (STOC 1984)
- 1983
- Proceedings of the 15th Annual ACM Symposium on Theory of Computing (STOC 1983)
- 1982
- Proceedings of the 14th Annual ACM Symposium on Theory of Computing (STOC 1982)
- 1981
- Proceedings of the 13th Annual ACM Symposium on Theory of Computing (STOC 1981)
- 1980
- Proceedings of the 12th Annual ACM Symposium on Theory of Computing (STOC 1980)
- 1979
- Proceedings of the 11th Annual ACM Symposium on Theory of Computing (STOC 1979)
- 1978
- Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC 1978)
- 1977
- Proceedings of the Ninth Annual ACM Symposium on Theory of Computing (STOC 1977)
- 1976
- Proceedings of the Eighth Annual ACM Symposium on Theory of Computing (STOC 1976)
- 1975
- Proceedings of the Seventh Annual ACM Symposium on Theory of Computing (STOC 1975)
- 1974
- Proceedings of the Sixth Annual ACM Symposium on Theory of Computing (STOC 1974)
- 1973
- Proceedings of the Fifth Annual ACM Symposium on Theory of Computing (STOC 1973)
- 1972
- Proceedings of the Fourth Annual ACM Symposium on Theory of Computing (STOC 1972)
- 1971
- Proceedings of the Third Annual ACM Symposium on Theory of Computing (STOC 1971)
- 1970
- Proceedings of the Second Annual ACM Symposium on Theory of Computing (STOC 1970)
- 1969
- Proceedings of the First Annual ACM Symposium on Theory of Computing (STOC 1969)