Call for Papers

CSL 2000 Annual Conference of the European Association for Computer Science Logic August 21-26, 2000 · Fischbachau/Munich, Germany

Program Committee Kevin Compton (Ann Arbor) Peter Clote (München, co-chair) Stephen Cook (Toronto) Laurent Fribourg (Cachan) Erich Grädel (Aachen) Gerhard Jäger (Bern) Klaus Keimel (Darmstadt) Jan Willem Klop (Nijmegen) Jan Krajícek (Praha) Daniel Leivant (Bloomington) Tobias Nipkow (München) Helmut Schwichtenberg (München, co-chair) Moshe Vardi (Houston) Gurevich Symposium During the CSL 2000 a symposium to celebrate Yuri Gurevich's achievements in the intersection of Computer Science and Logic will take place. Invited Speakers Miklós Ajtai (Almaden) Paul Beame (Washington) Andreas Blass (Ann Arbor) Egon Börger (Pisa/Redmond) Yuri Gurevich (Redmond) Bruno Poizat (Lyon) Wolfram Schulte (Redmond) Saharon Shelah (Jerusalem) Colin Stirling (Edinburgh) Grants A limited amount of grants is available to all students and to researchers from Eastern Europe to partially fund travel and participation upon request. Important Dates Paper submissions: January 31, 2000 Notifications of acceptance: April 17, 2000 Final version due: May 19, 2000 Conference: August 21-26, 2000

Aims and Scope of the Conference: CSL is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Suggested, but not exclusive, topics of interest are: automated deduction and interactive theorem proving, categorical logic and topological semantics, constructive mathematics and type theory, domain theory, equational logic and term rewriting, finite model theory, database theory, higher order logic, lambda and combinatory calculi, logical aspects of computational complexity, logical foundations of programming paradigms, logic programming and constraints, linear logic, modal and temporal logics, model checking, program extraction, program logics and semantics, program specification, transformation and verification. Paper Submissions: Submitted papers must describe original work not previously published. They must not be submitted concurrently to a journal or to another conference. Papers authored or coauthored by members of the Program Committee are not allowed. Submissions must not exceed 15 pages (in the usual format for Springer LNCS), including title page, figures and references. The title page must contain: title and authors; physical and e-mail addresses; telephone and (if available) fax number for the corresponding author; an abstract of no more than 200 words; a list of keywords. Submissions must arrive by January 31, 2000. Notifications of acceptance will be sent by April 17, 2000, and final versions are due May 19, 2000. Authors are invited to use the electronic submission form or send a message with subject "submission information" to csl2000-org@tcs.informatik.uni-muenchen.de Concerning further questions about the submission procedure please contact Peter Clote (clote@tcs.informatik.uni-muenchen.de) Phone +49 89 2178 2241, Fax +49 89 2178 2238 or Helmut Schwichtenberg (schwicht@rz.mathematik.uni-muenchen.de) Phone +49 89 2394 4413, Fax +49 89 280 5248 Publication: Papers accepted by the Program Committee must be presented at the conference and will appear in a proceedings volume, to be published by Springer Verlag in the Lecture Notes in Computer Science series. Final versions of accepted papers will be due by May 19, 2000. The format for camera-ready manuscripts will be that of Springer LNCS; instructions can be found in the LNCS home page at: http://www.springer.de/comp/lncs/ About Fischbachau: Fischbachau is an idyllic village situated in the Bavarian Alps at an elevation of 800 meters. It is easily accessible by car and public transportation from Munich (70 km). Fischbachau is an attractive vacation resort area near the lakes of Tegernsee and Schliersee. A network of walking and mountain trails make hiking a favorite activity in this bucolic area. Sights include a beautiful romanesque church and a Benedictine monastery, both about 900 years old. Local organization committee: Thorsten Altenkirch, Rolf Backofen, Peter Clote, Hans Leiß, Ralph Matthes, Martin Ruckert and Helmut Schwichtenberg. Inquiries should be sent to csl2000-org@tcs.informatik.uni-muenchen.de.