Foundations of Software Science and Computation Structure (FoSSaCS)

12. FoSSaCS 2009: York, UK (Part of ETAPS 2009)

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. Lecture Notes in Computer Science 5504 Springer 2009, ISBN 978-3-642-00595-4
Contents

11. FoSSaCS 2008: Budapest, Hungary (Part of ETAPS 2008)

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. Lecture Notes in Computer Science 4962 Springer 2008, ISBN 978-3-540-78497-5
Contents

10. FoSSaCS 2007: Braga, Portugal (Part of ETAPS 2007)

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. Lecture Notes in Computer Science 4423 Springer 2007, ISBN 978-3-540-71388-3
Contents

9. FoSSaCS 2006: Vienna, Austria (Part of ETAPS 2006)

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. Lecture Notes in Computer Science 3921 Springer 2006, ISBN 3-540-33045-3
Contents

8. FoSSaCS 2005: Edinburgh, UK (Part of ETAPS 2005)

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. Lecture Notes in Computer Science 3441 Springer 2005, ISBN 3-540-25388-2
Contents

7. FoSSaCS 2004: Barcelona, Spain (Part of ETAPS 2004)

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. Lecture Notes in Computer Science 2987 Springer 2004, ISBN 3-540-21298-1
Contents

6. FoSSaCS 2003: Warsaw, Poland (Part of ETAPS 2003)

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. Lecture Notes in Computer Science 2620 Springer 2003, ISBN 3-540-00897-7
Contents

- ETAPS 2003 Home Page

5. FoSSaCS 2002: Grenoble, France (Part of ETAPS 2002)

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. Lecture Notes in Computer Science 2303 Springer 2002, ISBN 3-540-43366-X
Contents

- ETAPS 2002 Home Page

4. FoSSaCS 2001: Genova, Italy (Part of ETAPS 2001)

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. Lecture Notes in Computer Science 2030 Springer 2001, ISBN 3-540-41864-4
Contents

- FoSSaCS 2001 Home Page

3. FoSSaCS 2000: Berlin, Germany (Part of ETAPS 2000)

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. Lecture Notes in Computer Science 1784 Springer 2000, ISBN 3-540-67257-5
Contents

2. FoSSaCS 1999: Amsterdam, The Netherlands (Part of ETAPS 1999)

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. Lecture Notes in Computer Science 1578 Springer 1999, ISBN 3-540-65719-3
Contents

1. FoSSaCS 1998: Lisbon, Portugal (Part of ETAPS 1998)

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. Lecture Notes in Computer Science 1378 Springer 1998, ISBN 3-540-64300-1
Contents