European Joint Conference on Theory And Practice of Software (ETAPS)

www.etaps.org

EAPLS: European Association for Programming Languages and Systems

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

21st ETAPS 2018: Thessaloniki, Greece

• 
  Amal Ahmed:
  Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10801, Springer 2018, ISBN 978-3-319-89883-4 [contents]
• 
  Alessandra Russo, Andy Schürr:
  Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10802, Springer 2018, ISBN 978-3-319-89362-4 [contents]
• 
  Christel Baier, Ugo Dal Lago:
  Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10803, Springer 2018, ISBN 978-3-319-89365-5 [contents]
• 
  Lujo Bauer, Ralf Küsters:
  Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10804, Springer 2018, ISBN 978-3-319-89721-9 [contents]
• 
  Dirk Beyer, Marieke Huisman:
  Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10805, Springer 2018, ISBN 978-3-319-89959-6 [contents]
• 
  Dirk Beyer, Marieke Huisman:
  Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10806, Springer 2018, ISBN 978-3-319-89962-6 [contents]
• 
  John P. Gallagher, Rob van Glabbeek, Wendelin Serwe:
  Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, and Sixth International Workshop on Verification and Program Transformation Thessaloniki, Greece, 20th April 2018. EPTCS 268, 2018 [contents]
• 
  Vlad Rusu:
  Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Lecture Notes in Computer Science 11152, Springer 2018, ISBN 978-3-319-99839-8 [contents]
• 
  Simon Bliudze, Saddek Bensalem:
  Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. EPTCS 272, 2018 [contents]
• 
  Corina Cîrstea:
  Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11202, Springer 2018, ISBN 978-3-030-00388-3 [contents]

20th ETAPS 2017: Uppsala, Sweden

• 
  Hongseok Yang:
  Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science 10201, Springer 2017, ISBN 978-3-662-54433-4 [contents]
• 
  Marieke Huisman, Julia Rubin:
  Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science 10202, Springer 2017, ISBN 978-3-662-54493-8 [contents]
• 
  Javier Esparza, Andrzej S. Murawski:
  Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science 10203, 2017, ISBN 978-3-662-54457-0 [contents]
• 
  Matteo Maffei, Mark Ryan:
  Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science 10204, Springer 2017, ISBN 978-3-662-54454-9 [contents]
• 
  Axel Legay, Tiziana Margaria:
  Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10205, 2017, ISBN 978-3-662-54576-8 [contents]
• 
  Axel Legay, Tiziana Margaria:
  Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10206, 2017, ISBN 978-3-662-54579-9 [contents]
• 
  Romina Eramo, Michael Johnson:
  Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017. CEUR Workshop Proceedings 1827, CEUR-WS.org 2017 [contents]
• 
  Holger Hermanns, Peter Höfner:
  Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 244, 2017 [contents]
• 
  Jan Kofron, Jana Tumova:
  Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 245, 2017 [contents]
• 
  Vasco T. Vasconcelos, Philipp Haller:
  Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 246, 2017 [contents]
• 
  Erika Ábrahám, Sergiy Bogomolov:
  Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 247, 2017 [contents]
• 
  Guillaume Bonfante, Georg Moser:
  Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, and 5th Workshop on FOundational and Practical Aspects of Resource Analysis Uppsala, Sweden, April 22-23, 2017. EPTCS 248, 2017 [contents]
• 
  Herbert Wiklicky, Erik P. de Vink:
  Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 250, 2017 [contents]
• 
  Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti:
  Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 253, 2017 [contents]
• 
  Alex Groce, Stefan Leue:
  Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 259, 2017 [contents]
• 
  Timo Kehrer, Alice Miller:
  Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 263, 2017 [contents]

19th ETAPS 2016: Eindhoven, The Netherlands

• 
  Peter Thiemann:
  Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9632, Springer 2016, ISBN 978-3-662-49497-4 [contents]
• 
  Perdita Stevens, Andrzej Wasowski:
  Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9633, Springer 2016, ISBN 978-3-662-49664-0 [contents]
• 
  Bart Jacobs, Christof Löding:
  Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9634, Springer 2016, ISBN 978-3-662-49629-9 [contents]
• 
  Frank Piessens, Luca Viganò:
  Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9635, Springer 2016, ISBN 978-3-662-49634-3 [contents]
• 
  Anthony Anjorin, Jeremy Gibbons:
  Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. CEUR Workshop Proceedings 1571, CEUR-WS.org 2016 [contents]
• 
  Dragan Bosnacki, Anton Wijs:
  Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Lecture Notes in Computer Science 9641, Springer 2016, ISBN 978-3-319-32581-1 [contents]
• 
  Marsha Chechik, Jean-François Raskin:
  Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9636, Springer 2016, ISBN 978-3-662-49673-2 [contents]
• 
  Ichiro Hasuo:
  Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9608, Springer 2016, ISBN 978-3-319-40369-4 [contents]
• 
  Jan Kofron, Jana Tumova, Bara Buhnova:
  Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 205, 2016 [contents]
• 
  Julia Rubin, Thomas Thüm:
  Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. EPTCS 206, 2016 [contents]
• 
  Geoff W. Hamilton, Alexei Lisitsa, Andrei P. Nemytykh:
  Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. EPTCS 216, 2016 [contents]
• 
  John P. Gallagher, Philipp Rümmer:
  Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 219, 2016 [contents]
• 
  Gregor Gößler, Oleg Sokolsky:
  Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 224, 2016 [contents]
• 
  Dorel Lucanu:
  Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9942, Springer 2016, ISBN 978-3-319-44801-5 [contents]
• 
  Andrea Corradini, Hans Zantema:
  Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. EPTCS 225, 2016 [contents]
• 
  Robert Atkey, Neelakantan R. Krishnaswami:
  Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016. EPTCS 207, 2016 [contents]
• 
  Alexander Heußner, Aleks Kissinger, Anton Wijs:
  Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 231, 2016 [contents]
• 
  Dominic A. Orchard, Nobuko Yoshida:
  Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 211, 2016 [contents]

18th ETAPS 2015: London, UK

• 
  Björn Franke:
  Compiler Construction - 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science 9031, Springer 2015, ISBN 978-3-662-46662-9 [contents]
• 
  Jan Vitek:
  Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science 9032, Springer 2015, ISBN 978-3-662-46668-1 [contents]
• 
  Alexander Egyed, Ina Schaefer:
  Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science 9033, Springer 2015, ISBN 978-3-662-46674-2 [contents]
• 
  Andrew M. Pitts:
  Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science 9034, Springer 2015, ISBN 978-3-662-46677-3 [contents]
• 
  Christel Baier, Cesare Tinelli:
  Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science 9035, Springer 2015, ISBN 978-3-662-46680-3 [contents]
• 
  Riccardo Focardi, Andrew C. Myers:
  Principles of Security and Trust - 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Lecture Notes in Computer Science 9036, Springer 2015, ISBN 978-3-662-46665-0 [contents]
• 
  Bara Buhnova, Lucia Happe, Jan Kofron:
  Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015. EPTCS 178, 2015 [contents]
• 
  Nikolay V. Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff:
  Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. EPTCS 180, 2015 [contents]
• 
  Arend Rensink, Eduardo Zambon:
  Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. EPTCS 181, 2015 [contents]
• 
  Joanne M. Atlee, Stefania Gnesi:
  Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015 [contents]
• 
  Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi:
  Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015. EPTCS 199, 2015 [contents]
• 
  Simon Gay, Jade Alglave:
  Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015. EPTCS 203, 2016 [contents]

17th ETAPS 2014: Grenoble, France

• 
  Albert Cohen:
  Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Lecture Notes in Computer Science 8409, Springer 2014, ISBN 978-3-642-54806-2 [contents]
• 
  Zhong Shao:
  Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8410, Springer 2014, ISBN 978-3-642-54832-1 [contents]
• 
  Stefania Gnesi, Arend Rensink:
  Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8411, Springer 2014, ISBN 978-3-642-54803-1 [contents]
• 
  Anca Muscholl:
  Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8412, Springer 2014, ISBN 978-3-642-54829-1 [contents]
• 
  Erika Ábrahám, Klaus Havelund:
  Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Lecture Notes in Computer Science 8413, Springer 2014, ISBN 978-3-642-54861-1 [contents]
• 
  Martín Abadi, Steve Kremer:
  Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Lecture Notes in Computer Science 8414, Springer 2014, ISBN 978-3-642-54791-1 [contents]
• 
  Saddek Bensalem, Yassine Lakhnech, Axel Legay:
  From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science 8415, Springer 2014, ISBN 978-3-642-54847-5 [contents]
• 
  Marcello M. Bonsangue:
  Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8446, Springer 2014, ISBN 978-3-662-44123-7 [contents]
• 
  Santiago Escobar:
  Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8663, Springer 2014, ISBN 978-3-319-12903-7 [contents]
• 
  Holger Schlingloff, Alexander K. Petrenko:
  Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. EPTCS 141, 2014 [contents]
• 
  Barbora Buhnova, Lucia Happe, Jan Kofron:
  Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014 [contents]
• 
  Paul Levy, Neel Krishnaswami:
  Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. EPTCS 153, 2014 [contents]
• 
  Alastair F. Donaldson, Vasco T. Vasconcelos:
  Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. EPTCS 155, 2014 [contents]

16th ETAPS 2013: Rome, Italy

• 
  Ranjit Jhala, Koen De Bosschere:
  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. Lecture Notes in Computer Science 7791, Springer 2013, ISBN 978-3-642-37050-2 [contents]
• 
  Matthias Felleisen, Philippa Gardner:
  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. Lecture Notes in Computer Science 7792, Springer 2013, ISBN 978-3-642-37035-9 [contents]
• 
  Vittorio Cortellessa, Dániel Varró:
  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. Lecture Notes in Computer Science 7793, Springer 2013, ISBN 978-3-642-37056-4 [contents]
• 
  Frank Pfenning:
  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. Lecture Notes in Computer Science 7794, Springer 2013, ISBN 978-3-642-37074-8 [contents]
• 
  Nir Piterman, Scott A. Smolka:
  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. Lecture Notes in Computer Science 7795, Springer 2013, ISBN 978-3-642-36741-0 [contents]
• 
  David A. Basin, John C. Mitchell:
  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. Lecture Notes in Computer Science 7796, Springer 2013, ISBN 978-3-642-36829-5 [contents]
• 
  Barbora Buhnova, Lucia Happe, Jan Kofron:
  Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. EPTCS 108, 2013 [contents]
• 
  Alexander K. Petrenko, Holger Schlingloff:
  Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. EPTCS 111, 2013 [contents]
• 
  Rachid Echahed, Detlef Plump:
  Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013. EPTCS 110, 2013 [contents]
• 
  Nobuko Yoshida, Wim Vanderbauwhede:
  Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. EPTCS 137, 2013 [contents]

15th ETAPS 2012: Tallinn, Estonia

• 
  Michael F. P. O'Boyle:
  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. Lecture Notes in Computer Science 7210, Springer 2012, ISBN 978-3-642-28651-3 [contents]
• 
  Helmut Seidl:
  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. Lecture Notes in Computer Science 7211, Springer 2012, ISBN 978-3-642-28868-5 [contents]
• 
  Juan de Lara, Andrea Zisman:
  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. Lecture Notes in Computer Science 7212, Springer 2012, ISBN 978-3-642-28871-5 [contents]
• 
  Lars Birkedal:
  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. Lecture Notes in Computer Science 7213, Springer 2012, ISBN 978-3-642-28728-2 [contents]
• 
  Cormac Flanagan, Barbara König:
  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. Lecture Notes in Computer Science 7214, Springer 2012, ISBN 978-3-642-28755-8 [contents]
• 
  Pierpaolo Degano, Joshua D. Guttman:
  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. Lecture Notes in Computer Science 7215, Springer 2012, ISBN 978-3-642-28640-7 [contents]
• 
  Francisco Durán:
  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. Lecture Notes in Computer Science 7571, Springer 2012, ISBN 978-3-642-34004-8 [contents]
• 
  Dirk Pattinson, Lutz Schröder:
  Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7399, Springer 2012, ISBN 978-3-642-32783-4 [contents]
• 
  Anthony Sloane, Suzana Andova:
  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]
• 
  James Chapman, Paul Blain Levy:
  Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012. EPTCS 76, 2012 [contents]
• 
  Alexander K. Petrenko, Holger Schlingloff:
  Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. EPTCS 80, 2012 [contents]
• 
  Simon J. Gay, Paul Kelly:
  Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012. EPTCS 109, 2012 [contents]

14th ETAPS 2011: Saarbrücken, Germany

• 
  Jens Knoop:
  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. Lecture Notes in Computer Science 6601, Springer 2011, ISBN 978-3-642-19860-1 [contents]
• 
  Gilles Barthe:
  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. Lecture Notes in Computer Science 6602, Springer 2011, ISBN 978-3-642-19717-8 [contents]
• 
  Dimitra Giannakopoulou, Fernando Orejas:
  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. Lecture Notes in Computer Science 6603, Springer 2011, ISBN 978-3-642-19810-6 [contents]
• 
  Martin Hofmann:
  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. Lecture Notes in Computer Science 6604, Springer 2011, ISBN 978-3-642-19804-5 [contents]
• 
  Parosh Aziz Abdulla, K. Rustan M. Leino:
  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. Lecture Notes in Computer Science 6605, Springer 2011, ISBN 978-3-642-19834-2 [contents]
• 
  Claus Brabrand, Eric Van Wyk:
  Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding. ACM 2011, ISBN 978-1-4503-0665-2 [contents]
• 
  Rachid Echahed:
  Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011. EPTCS 48, 2011 [contents]
• 
  Kohei Honda, Alan Mycroft:
  Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. EPTCS 69, 2010 [contents]

13th ETAPS 2010: Paphos, Cyprus

ETAPS 2010 Home Page

• 
  Rajiv Gupta:
  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. Lecture Notes in Computer Science 6011, Springer 2010, ISBN 978-3-642-11969-9 [contents]
• 
  Andrew D. Gordon:
  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. Lecture Notes in Computer Science 6012, Springer 2010, ISBN 978-3-642-11956-9 [contents]
• 
  David S. Rosenblum, Gabriele Taentzer:
  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. Lecture Notes in Computer Science 6013, Springer 2010, ISBN 978-3-642-12028-2 [contents]
• 
  C.-H. Luke Ong:
  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. Lecture Notes in Computer Science 6014, Springer 2010, ISBN 978-3-642-12031-2 [contents]
•