Conference for Computer Science Logic (CSL)

European Association for Computer Science Logic

22. CSL 2008: Bertinoro, Italy

Michael Kaminski, Simone Martini (Eds.): Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Lecture Notes in Computer Science 5213 Springer 2008, ISBN 978-3-540-87530-7
Contents BibTeX

21. CSL 2007: Lausanne, Switzerland

Jacques Duparc, Thomas A. Henzinger (Eds.): Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings. Lecture Notes in Computer Science 4646 Springer 2007, ISBN 978-3-540-74914-1
Contents BibTeX

20. CSL 2006: Szeged, Hungary

Zoltán Ésik (Ed.): Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings. Lecture Notes in Computer Science 4207 Springer 2006, ISBN 3-540-45458-6
Contents BibTeX

19. CSL 2005: Oxford, UK

C.-H. Luke Ong (Ed.): Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings. Lecture Notes in Computer Science 3634 Springer 2005, ISBN 3-540-28231-9
Contents BibTeX

18. CSL 2004: Karpacz, Poland

Jerzy Marcinkowski, Andrzej Tarlecki (Eds.): Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3210 Springer 2004, ISBN 3-540-23024-6
Contents BibTeX

17. CSL 2003: Vienna, Austria

Matthias Baaz, Johann A. Makowsky (Eds.): Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings. Lecture Notes in Computer Science 2803 Springer 2003, ISBN 3-540-40801-0
Contents BibTeX

16. CSL 2002: Edinburgh, Scotland, UK

Julian C. Bradfield (Ed.): Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings. Lecture Notes in Computer Science 2471 Springer 2002, ISBN 3-540-44240-5
Contents BibTeX - CSL 2002 Home Page

15. CSL 2001: Paris, France

Laurent Fribourg (Ed.): Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings. Lecture Notes in Computer Science 2142 Springer 2001, ISBN 3-540-42554-3
Contents BibTeX - CSL 2001 Home Page

14. CSL 2000: Fischbachau, Germany

Peter Clote, Helmut Schwichtenberg (Eds.): Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings. Lecture Notes in Computer Science 1862 Springer 2000, ISBN 3-540-67895-6
Contents BibTeX - CSL 2000 Home Page

13. CSL 1999: Madrid, Spain

Jörg Flum, Mario Rodríguez-Artalejo (Eds.): Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings. Lecture Notes in Computer Science 1683 Springer 1999, ISBN 3-540-66536-6
Contents BibTeX

12. CSL 1998: Brno, Czech Republic

Georg Gottlob, Etienne Grandjean, Katrin Seyr (Eds.): Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings. Lecture Notes in Computer Science 1584 Springer 1999, ISBN 3-540-65922-6
Contents BibTeX

11. CSL 1997: Aarhus, Denmark

Mogens Nielsen, Wolfgang Thomas (Eds.): Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers. Lecture Notes in Computer Science 1414 Springer 1998, ISBN 3-540-64570-5
Contents BibTeX - CSL 1997 Home Page

10. CSL 1996: Utrecht, The Netherlands

Dirk van Dalen, Marc Bezem (Eds.): Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers. Lecture Notes in Computer Science 1258 Springer 1997, ISBN 3-540-63172-0
Contents BibTeX

9. CSL 1995: Paderborn, Germany

Hans Kleine Büning (Ed.): Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Lecture Notes in Computer Science 1092 Springer 1996, ISBN 3-540-61377-3
Contents BibTeX

8. CSL 1994: Kazimierz, Poland

Leszek Pacholski, Jerzy Tiuryn (Eds.): Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Lecture Notes in Computer Science 933 Springer 1995, ISBN 3-540-60017-5
Contents BibTeX

7. CSL 1993: Swansea, United Kingdom

Egon Börger, Yuri Gurevich, Karl Meinke (Eds.): Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers. Lecture Notes in Computer Science 832 Springer 1994, ISBN 3-540-58277-0
Contents BibTeX

6. CSL 1992: San Miniato, Italy

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter (Eds.): Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Lecture Notes in Computer Science 702 Springer 1993, ISBN 3-540-56992-8
Contents BibTeX

5. CSL 1991: Berne, Switzerland

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (Eds.): Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings. Lecture Notes in Computer Science 626 Springer 1992, ISBN 3-540-55789-X
Contents BibTeX

4. CSL 1990: Heidelberg, Germany

Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (Eds.): Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings. Lecture Notes in Computer Science 533 Springer 1991, ISBN 3-540-54487-9
Contents BibTeX

3. CSL 1989: Kaiserslautern, Germany

Egon Börger, Hans Kleine Büning, Michael M. Richter (Eds.): CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings. Lecture Notes in Computer Science 440 Springer 1990, ISBN 3-540-52753-2
Contents BibTeX

2. CSL 1988: Duisburg, Germany

Egon Börger, Hans Kleine Büning, Michael M. Richter (Eds.): CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Lecture Notes in Computer Science 385 Springer 1989, ISBN 3-540-51659-X
Contents BibTeX

1. CSL 1987: Karlsruhe, Germany

Egon Börger, Hans Kleine Büning, Michael M. Richter (Eds.): CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings. Lecture Notes in Computer Science 329 Springer 1988, ISBN 3-540-50241-6
Contents BibTeX