European Association for Computer Science Logic

28. CSL-LICS 2014: Vienna, Austria

• 
  CSL-LICS 2014 Home Page

27. CSL 2013: Torino, Italy

• 
  Simona Ronchi Della Rocca (Ed.): Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013 LIPIcs 23 ISBN 978-3-939897-60-6 [ contents ]

26. CSL 2012: Fontainebleau, France

• 
  Patrick Cégielski, Arnaud Durand (Eds.): Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 LIPIcs 16 ISBN 978-3-939897-42-2 [ contents ]

25. CSL 2011: Bergen, Norway

• 
  Marc Bezem (Ed.): Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011 LIPIcs 12 ISBN 978-3-939897-32-3 [ contents ]

24. CSL 2010: Brno, Czech Republic

• 
  Anuj Dawar, Helmut Veith (Eds.): Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6247 ISBN 978-3-642-15204-7 [ contents ]

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. Springer 2009 Lecture Notes in Computer Science 5771 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. Springer 2008 Lecture Notes in Computer Science 5213 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. Springer 2007 Lecture Notes in Computer Science 4646 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. Springer 2006 Lecture Notes in Computer Science 4207 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. Springer 2005 Lecture Notes in Computer Science 3634 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. Springer 2004 Lecture Notes in Computer Science 3210 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. Springer 2003 Lecture Notes in Computer Science 2803 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. Springer 2002 Lecture Notes in Computer Science 2471 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. Springer 2001 Lecture Notes in Computer Science 2142 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. Springer 2000 Lecture Notes in Computer Science 1862 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. Springer 1999 Lecture Notes in Computer Science 1683 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. Springer 1999 Lecture Notes in Computer Science 1584 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. Springer 1998 Lecture Notes in Computer Science 1414 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. Springer 1997 Lecture Notes in Computer Science 1258 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. Springer 1996 Lecture Notes in Computer Science 1092 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. Springer 1995 Lecture Notes in Computer Science 933 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. Springer 1994 Lecture Notes in Computer Science 832 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. Springer 1993 Lecture Notes in Computer Science 702 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. Springer 1992 Lecture Notes in Computer Science 626 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. Springer 1991 Lecture Notes in Computer Science 533 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. Springer 1990 Lecture Notes in Computer Science 440 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. Springer 1989 Lecture Notes in Computer Science 385 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. Springer 1988 Lecture Notes in Computer Science 329 ISBN 3-540-50241-6 [ contents ]