• 
  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 7791 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 7792 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 7793 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 7794 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 7795 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 7796 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 7210 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 7211 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 7212 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 7213 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 7214 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 7215 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 7571 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 7399 ISBN 978-3-642-32783-4 [ contents ]
• 
  Anthony Sloane, Suzana Andova (Eds.): International Workshop on Language Descriptions, Tools, and Applications, LDTA '12, Tallinn, Estonia, March 31 - April 1, 2012. ACM 2012 ISBN 978-1-4503-1536-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 6601 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 6602 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 6603 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 6604 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 6605 ISBN 978-3-642-19834-2 [ contents ]
• 
  Claus Brabrand, Eric Van Wyk (Eds.): Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding. ACM 2011 ISBN 978-1-4503-0665-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 6011 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 6012 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 6013 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 6014 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 6015 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 6381 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 5501 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 5502 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 5503 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 5504 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 5505 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 4959 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 4960 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 4961 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 4962 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 4963 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 4954 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 4420 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 4421 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 4422 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 4423 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 4424 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 4829 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 3920 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 3921 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 3922 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 3923 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 3924 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 4089 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 3440 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 3441 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 3442 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 3443 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 3444 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 3628 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 2985 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 2986 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 2989 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 2984 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 2987 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 2988 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 2618 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 2619 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 2620 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 2621 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 2622 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 2303 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 2304 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 2305 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 2306 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 2280 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 2027 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 2028 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 2029 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 2030 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 2031 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 1781 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 1782 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 1783 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 1784 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 1785 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 1575 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 1576 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 1577 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 1578 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 1579 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 1378 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 1381 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 1382 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 1383 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 1384 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 1589 ISBN 3-540-66246-4 [ contents ]