• 
  www.etaps.org

EAPLS: European Association for Programming Languages and Systems

ETAPS is the successor conference of CAAP, CC, ESOP and TAPSOFT.

16. ETAPS 2013: Rome, Italy

• 
  Ranjit Jhala, Koen De Bosschere (Eds.): Compiler Construction - 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science ISBN 978-3-642-37050-2 [ contents ]
• 
  Matthias Felleisen, Philippa Gardner (Eds.): Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science ISBN 978-3-642-37035-9 [ contents ]
• 
  Vittorio Cortellessa, Dániel Varró (Eds.): Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science ISBN 978-3-642-37056-4 [ contents ]
• 
  Frank Pfenning (Ed.): Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science ISBN 978-3-642-37074-8 [ contents ]
• 
  Nir Piterman, Scott A. Smolka (Eds.): Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science ISBN 978-3-642-36741-0 [ contents ]
• 
  David A. Basin, John C. Mitchell (Eds.): Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science ISBN 978-3-642-36829-5 [ contents ]

15. ETAPS 2012: Tallinn, Estonia

• 
  Michael F. P. O'Boyle (Ed.): Compiler Construction - 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-28651-3 [ contents ]
• 
  Helmut Seidl (Ed.): Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-28868-5 [ contents ]
• 
  Juan de Lara, Andrea Zisman (Eds.): Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-28871-5 [ contents ]
• 
  Lars Birkedal (Ed.): Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-28728-2 [ contents ]
• 
  Cormac Flanagan, Barbara König (Eds.): Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-28755-8 [ contents ]
• 
  Pierpaolo Degano, Joshua D. Guttman (Eds.): Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-28640-7 [ contents ]
• 
  Franciso Durán (Ed.): Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-34004-8 [ contents ]
• 
  Dirk Pattinson, Lutz Schröder (Eds.): Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-32783-4 [ contents ]

14. ETAPS 2011: Saarbrücken, Germany

• 
  Jens Knoop (Ed.): Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-19860-1 [ contents ]
• 
  Gilles Barthe (Ed.): Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-19717-8 [ contents ]
• 
  Dimitra Giannakopoulou, Fernando Orejas (Eds.): Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-19810-6 [ contents ]
• 
  Martin Hofmann (Ed.): Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-19804-5 [ contents ]
• 
  Parosh Aziz Abdulla, K. Rustan M. Leino (Eds.): Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-19834-2 [ contents ]

13. ETAPS 2010: Paphos, Cyprus

• 
  ETAPS 2010 Home Page
• 
  Rajiv Gupta (Ed.): Compiler Construction, 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-11969-9 [ contents ]
• 
  Andrew D. Gordon (Ed.): Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-11956-9 [ contents ]
• 
  David S. Rosenblum, Gabriele Taentzer (Eds.): Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-12028-2 [ contents ]
• 
  C.-H. Luke Ong (Ed.): Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-12031-2 [ contents ]
• 
  Javier Esparza, Rupak Majumdar (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-12001-5 [ contents ]
• 
  Peter Csaba Ölveczky (Ed.): Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers. Springer 2010 Lecture Notes in Computer Science ISBN 978-3-642-16309-8 [ contents ]
• 
  Claus Brabrand, Pierre-Etienne Moreau (Eds.): Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS. ACM 2010 ISBN 978-1-4503-0063-6 [ contents ]

12. ETAPS 2009: York, UK

• 
  ETAPS 2009 Home Page
• 
  Oege de Moor, Michael I. Schwartzbach (Eds.): Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-00721-7 [ contents ]
• 
  Giuseppe Castagna (Ed.): Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-00589-3 [ contents ]
• 
  Marsha Chechik, Martin Wirsing (Eds.): Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-00592-3 [ contents ]
• 
  Luca de Alfaro (Ed.): Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-00595-4 [ contents ]
• 
  Stefan Kowalewski, Anna Philippou (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science ISBN 978-3-642-00767-5 [ contents ]

...

11. ETAPS 2008: Budapest, Hungary

• 
  ETAPS 2008 Home Page
• 
  Laurie J. Hendren (Ed.): Compiler Construction, 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-78790-7 [ contents ]
• 
  Sophia Drossopoulou (Ed.): Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-78738-9 [ contents ]
• 
  José Luiz Fiadeiro, Paola Inverardi (Eds.): Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-78742-6 [ contents ]
• 
  Roberto M. Amadio (Ed.): Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-78497-5 [ contents ]
• 
  C. R. Ramakrishnan, Jakob Rehof (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-78799-0 [ contents ]
• 
  Cesare Pautasso, Éric Tanter (Eds.): Software Composition, 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science ISBN 978-3-540-78788-4 [ contents ]

10. ETAPS 2007: Braga, Portugal

• 
  ETAPS 2007 Home Page
• 
  Shriram Krishnamurthi, Martin Odersky (Eds.): Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-71228-2 [ contents ]
• 
  Rocco De Nicola (Ed.): Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-71314-2 [ contents ]
• 
  Matthew B. Dwyer, Antónia Lopes (Eds.): Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-71288-6 [ contents ]
• 
  Helmut Seidl (Ed.): Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-71388-3 [ contents ]
• 
  Orna Grumberg, Michael Huth (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-71208-4 [ contents ]
• 
  Markus Lumpe, Wim Vanderperren (Eds.): Software Composition, 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-77350-4 [ contents ]

9. ETAPS 2006: Vienna, Austria

• 
  ETAPS 2006 Home Page
• 
  Holger Hermanns, Jens Palsberg (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-33056-9 [ contents ]
• 
  Luca Aceto, Anna Ingólfsdóttir (Eds.): Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-33045-3 [ contents ]
• 
  Luciano Baresi, Reiko Heckel (Eds.): Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-33093-3 [ contents ]
• 
  Alan Mycroft, Andreas Zeller (Eds.): Compiler Construction, 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-33050-X [ contents ]
• 
  Peter Sestoft (Ed.): Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-33095-X [ contents ]
• 
  Welf Löwe, Mario Südholt (Eds.): Software Composition, 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-37657-7 [ contents ]

8. ETAPS 2005: Edinburgh, Scotland, UK

• 
  ETAPS 2005 Home Page
• 
  Nicolas Halbwachs, Lenore D. Zuck (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-25333-5 [ contents ]
• 
  Vladimiro Sassone (Ed.): Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-25388-2 [ contents ]
• 
  Maura Cerioli (Ed.): Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-25420-X [ contents ]
• 
  Rastislav Bodík (Ed.): Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-25411-0 [ contents ]
• 
  Shmuel Sagiv (Ed.): Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-25435-8 [ contents ]
• 
  Dan R. Ghica, Guy McCusker (Eds.): Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference. 2005 [ contents ]
• 
  Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz (Eds.): Software Composition, 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-28748-5 [ contents ]

7. ETAPS 2004: Barcelona, Spain

• 
  ETAPS 2004 Home Page
• 
  Evelyn Duesterwald (Ed.): Compiler Construction, 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science ISBN 3-540-21297-3 [ contents ]
• 
  David A. Schmidt (Ed.): Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science ISBN 3-540-21313-9 [ contents ]
• 
  Susanne Graf, Laurent Mounier (Eds.): Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science ISBN 3-540-21314-7 [ contents ]
• 
  Michel Wermelinger, Tiziana Margaria (Eds.): Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science ISBN 3-540-21305-8 [ contents ]
• 
  Igor Walukiewicz (Ed.): Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science ISBN 3-540-21298-1 [ contents ]
• 
  Kurt Jensen, Andreas Podelski (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science ISBN 3-540-21299-X [ contents ]

6. ETAPS 2003: Warsaw, Poland

• 
  ETAPS 2003 Home Page
• 
  Pierpaolo Degano (Ed.): Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-00886-1 [ contents ]
• 
  Hubert Garavel, John Hatcliff (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-00898-5 [ contents ]
• 
  Andrew D. Gordon (Ed.): Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-00897-7 [ contents ]
• 
  Mauro Pezzè (Ed.): Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-00899-3 [ contents ]
• 
  Görel Hedin (Ed.): Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-00904-3 [ contents ]

5. ETAPS 2002: Grenoble, France

ETAPS 2002 Home Page
Satellite Events for ETAPS 2002: ENTCS 65

• 
  Mogens Nielsen, Uffe Engberg (Eds.): Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science ISBN 3-540-43366-X [ contents ]
• 
  R. Nigel Horspool (Ed.): Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science ISBN 3-540-43369-4 [ contents ]
• 
  Daniel Le Métayer (Ed.): Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science ISBN 3-540-43363-5 [ contents ]
• 
  Ralf-Detlef Kutsche, Herbert Weber (Eds.): Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science ISBN 3-540-43353-8 [ contents ]
• 
  Joost-Pieter Katoen, Perdita Stevens (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science ISBN 3-540-43419-4 [ contents ]

4. ETAPS 2001: Genova, Italy

• 
  ETAPS 2001 Home Page
• 
  Reinhard Wilhelm (Ed.): Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science ISBN 3-540-41861-X [ contents ]
• 
  David Sands (Ed.): Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science ISBN 3-540-41862-8 [ contents ]
• 
  Heinrich Hußmann (Ed.): Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science ISBN 3-540-41863-6 [ contents ]
• 
  Furio Honsell, Marino Miculan (Eds.): Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science ISBN 3-540-41864-4 [ contents ]
• 
  Tiziana Margaria, Wang Yi (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science ISBN 3-540-41865-2 [ contents ]

ETAPS 2001 Workshops: ENTCS 44

3. ETAPS 2000: Berlin, Germany

• 
  David A. Watt (Ed.): Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Arch 25 - April 2, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science ISBN 3-540-67263-X [ contents ]
• 
  Gert Smolka (Ed.): Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science ISBN 3-540-67262-1 [ contents ]
• 
  T. S. E. Maibaum (Ed.): Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science ISBN 3-540-67261-3 [ contents ]
• 
  Jerzy Tiuryn (Ed.): Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science ISBN 3-540-67257-5 [ contents ]
• 
  Susanne Graf, Michael I. Schwartzbach (Eds.): Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science ISBN 3-540-67282-6 [ contents ]

2. ETAPS 1999: Amsterdam, The Netherlands

• 
  Stefan Jähnichen (Ed.): Compiler Construction, 8th International Conference, CC'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science ISBN 3-540-65717-7 [ contents ]
• 
  S. Doaitse Swierstra (Ed.): Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science ISBN 3-540-65699-5 [ contents ]
• 
  Jean-Pierre Finance (Ed.): Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science ISBN 3-540-65718-5 [ contents ]
• 
  Wolfgang Thomas (Ed.): Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science ISBN 3-540-65719-3 [ contents ]
• 
  Rance Cleaveland (Ed.): Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science ISBN 3-540-65703-7 [ contents ]

1. ETAPS 1998: Lisbon, Portugal

• 
  Maurice Nivat (Ed.): Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-64300-1 [ contents ]
• 
  Chris Hankin (Ed.): Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-64302-8 [ contents ]
• 
  Egidio Astesiano (Ed.): Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-64303-6 [ contents ]
• 
  Kai Koskimies (Ed.): Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-64304-4 [ contents ]
• 
  Bernhard Steffen (Ed.): Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-64356-7 [ contents ]
• 
  José Luiz Fiadeiro (Ed.): Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers. Springer 1999 Lecture Notes in Computer Science ISBN 3-540-66246-4 [ contents ]