ETAPS
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 brands:

ESOPESOP
FASEFASE
FoSSaCSFoSSaCS
TACASTACAS
WRLAWRLA

2717 papers in 98 issues:

2015
ESOPProceedings of the 24th European Symposium on Programming (ESOP 2015)
FASEProceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015)
FoSSaCSProceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)
TACASProceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
2014
ESOPProceedings of the 23rd European Symposium on Programming (ESOP 2014)
FASEProceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014)
FoSSaCSProceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2014)
TACASProceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)
WRLARevised Selected Papers of the 10th International Workshop on Rewriting Logic and its Applications (WRLA 2014)
2013
ESOPProceedings of the 22nd European Symposium on Programming (ESOP 2013)
FASEProceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013)
FoSSaCSProceedings of the 16th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2013)
TACASProceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)
2012
ESOPProceedings of the 21st European Symposium on Programming (ESOP 2012)
FASEProceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012)
FoSSaCSProceedings of the 15th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2012)
TACASProceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)
WRLARevised Selected Papers of the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012)
2011
ESOPProceedings of the 20th European Symposium on Programming (ESOP 2011)
FASEProceedings of the 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011)
FoSSaCSProceedings of the 14th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2011)
TACASProceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011)
2010
ESOPProceedings of the 19th European Symposium on Programming (ESOP 2010)
FASEProceedings of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010)
FoSSaCSProceedings of the 13th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2010)
TACASProceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010)
WRLARevised Selected Papers of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010)
WRLASpecial Issue of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010)
2009
ESOPProceedings of the 18th European Symposium on Programming (ESOP 2009)
FASEProceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE 2009)
FoSSaCSProceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2009)
TACASProceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)
2008
ESOPProceedings of the 17th European Symposium on Programming (ESOP 2008)
FASEProceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE 2008)
FoSSaCSProceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008)
TACASProceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)
WRLAProceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008)
2007
ESOPProceedings of the 16th European Symposium on Programming (ESOP 2007)
FASEProceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007)
FoSSaCSProceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2007)
TACASProceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007)
2006
ESOPProceedings of the 15th European Symposium on Programming (ESOP 2006)
FASEProceedings of the Ninth International Conference on Fundamental Approaches to Software Engineering (FASE 2006)
FoSSaCSProceedings of the Ninth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2006)
TACASProceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006)
WRLAProceedings of the Sixth International Workshop on Rewriting Logic and its Applications (WRLA 2006)
2005
ESOPProceedings of the 14th European Symposium on Programming (ESOP 2005)
FASEProceedings of the Eighth International Conference on Fundamental Approaches to Software Engineering (FASE 2005)
FoSSaCSProceedings of the Eighth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2005)
TACASProceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)
2004
ESOPProceedings of the 13th European Symposium on Programming (ESOP 2004)
FASEProceedings of the Seventh International Conference on Fundamental Approaches to Software Engineering (FASE 2004)
FoSSaCSProceedings of the Seventh International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2004)
TACASProceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)
WRLAProceedings of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)
WRLASpecial Issue of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)
2003
ESOPProceedings of the 12th European Symposium on Programming (ESOP 2003)
FASEProceedings of the Sixth International Conference on Fundamental Approaches to Software Engineering (FASE 2003)
FoSSaCSProceedings of the Sixth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2003)
TACASProceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003)
2002
ESOPProceedings of the 11th European Symposium on Programming (ESOP 2002)
FASEProceedings of the Fifth International Conference on Fundamental Approaches to Software Engineering (FASE 2002)
FoSSaCSProceedings of the Fifth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2002)
TACASProceedings of the Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002)
WRLAProceedings of the Fourth International Workshop on Rewriting Logic and its Applications (WRLA 2002)
2001
ESOPProceedings of the 10th European Symposium on Programming (ESOP 2001)
FASEProceedings of the Fourth International Conference on Fundamental Approaches to Software Engineering (FASE 2001)
FoSSaCSProceedings of the Fourth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2001)
TACASProceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001)
2000
ESOPProceedings of the Ninth European Symposium on Programming (ESOP 2000)
FASEProceedings of the Third International Conference on Fundamental Approaches to Software Engineering (FASE 2000)
FoSSaCSProceedings of the Third International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2000)
TACASProceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000)
WRLAProceedings of the Third International Workshop on Rewriting Logic and its Applications (WRLA 2000)
1999
ESOPProceedings of the Eighth European Symposium on Programming (ESOP 1999)
FASEProceedings of the Second International Conference on Fundamental Approaches to Software Engineering (FASE 1999)
FoSSaCSProceedings of the Second International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 1999)
TACASProceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1999)
1998
ESOPProceedings of the Seventh European Symposium on Programming (ESOP 1998)
FASEProceedings of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998)
FASESpecial Issue on Fundamental Approaches to Software Engineering (FASE 1998) (FASE 1998)
FoSSaCSProceedings of the First International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 1998)
TACASProceedings of the Fourth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1998)
WRLAProceedings of the Second International Workshop on Rewriting Logic and its Applications (WRLA 1998)
1997
TACASProceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1997)
1996
ESOPProceedings of the Sixth European Symposium on Programming (ESOP 1996)
WRLAProceedings of the First International Workshop on Rewriting Logic and its Applications (WRLA 1996)
TACASProceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1996)
WRLASpecial Issue of the First International Workshop on Rewriting Logic and its Applications (WRLA 1996)
1995
TACASProceedings of the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1995)
1994
ESOPProceedings of the Fifth European Symposium on Programming (ESOP 1994)
ESOPSelected Papers of the Fifth European Symposium on Programming (ESOP 1994)
1992
ESOPProceedings of the Fourth European Symposium on Programming (ESOP 1992)
ESOPSelected Papers of the Fourth European Symposium on Programming (ESOP 1992)
1990
ESOPProceedings of the Third European Symposium on Programming (ESOP 1990)
ESOPSelected Papers of the Third European Symposium on Programming (ESOP 1990)
1988
ESOPProceedings of the Second European Symposium on Programming (ESOP 1988)
1986
ESOPProceedings of the First European Symposium on Programming (ESOP 1986)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.