Conference for Computer Science Logic (CSL)
European Association for Computer Science Logic
23. CSL 2009: Coimbra, Portugal
Erich Grädel, Reinhard Kahle (Eds.):
Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings.
Lecture Notes in Computer Science 5771 Springer 2009, ISBN 978-3-642-04026-9
Contents 
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
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
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
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
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
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
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
- 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
- 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
- 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
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
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
- 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
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
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
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
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
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
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
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
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
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
Copyright © Mon Mar 15 03:26:12 2010
by Michael Ley (ley@uni-trier.de)
