We apologize for multiple copies of this call for participation Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium CSL'03 & KGC 25 August afternoon - 30 August 2003, Vienna, Austria http://www.logic.at/csl03 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The Kurt Goedel Colloquium (KGC) is the biennial conference of the Kurt Goedel Society (KGS). The joint conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. LIST OF ACCEPTED PAPERS A Fixed-Point Logic with Symmetric Choice (Anuj Dawar and David Richerby) A Logic for Probability in Quantum Systems (Ron van der Meyden, Manas Patra) A Strongly Normalising Curry-Howard correspondence for IZF Set Theory (Alexandre Miquel) Atomic Cut Elimination for Classical Logic (Kai Brünnler) Automata on Lempel-Ziv-compressed strings (Hans Leiss, Michel de Rougemont) Bistability: an extensional characterization of sequentiality. (James Laird) Calculi of Meta-variables (Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi) Comparing the succinctness of monadic query languages over finite trees (Martin Grohe, Nicole Schweikardt) Complexity of Some Problems in Modal and Intuitionistic Calculi (Larisa Maksimova and Andrei Voronkov) Computational Aspects of $\Sigma$-definability over the Real Numbers without the Equality Test (Margarita Korovina) Concurrent Construction of Proof-Nets (Jean-Marc Andreoli, Laurent Mazaré) Constraint Satisfaction with Countable Homogeneous Templates (Manuel Bodirsky and Jaroslav Nesetril) Coping polynomially with numerous but identical elements within planning problems. (Max Kanovich and Jacqueline Vauzeilles) Deciding Monotonic Games (Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso) Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions (Yannick Chevalier, Ralf Kusters, Michael Rusinowitch, Mathieu Turuani, Laurent Vigneron) Generating all Abductive Explanations for Queries on Propositional Horn Theories (Thomas Eiter, Kazuhisa Makino) Goal-Directed Calculi for Goedel-Dummett Logics (George Metcalfe, Nicola Olivetti and Dov Gabbay) Henkin models of the partial lambda-calculus (Lutz Schröder) Logical relation for dynamic name creation (Yu ZHANG, David NOWAK) Machine Characterizations of the Classes of the W-hierarchy. (Yijia Chen and Joerg Flum) Modular Semantics and Logics of Classes (Bernhard Reus) More computation power for a denotational semantics for first order logic (C.F.M. Vermeulen) Nominal Unification (Christian Urban, Andrew Pitts, Murdoch Gabbay) On Algebraic Specifications of Abstract Data Types (Bakhadyr Khoussainov) On Complexity gaps for Resolution-based proof systems (Stefan Dantchev and Søren Riis) On the Complexity of Existential Pebble Games (Phokion G. Kolaitis and Jonathan Panttaja) Parity of Imperfection (J. C. Bradfield) Pebble games on trees (Lukasz Krzeszczakowski) Positive Games and Persistent Strategies (Jacques Duparc) Program Complexity of Dynamic LTL Model Checking (Detlef Kähler, Thomas Wilke) Quantified Constraints: Algorithms and Complexity (Ferdinand Boerner, Andrei Bulatov, Peter Jeavons, Andrei Krokhin) Refined Complexity Analysis of Cut Elimination (Philipp Gerhardy) Simple stochastic parity games (Krishnendu Chatterjee, Thomas A. Henzinger, and Marcin Jurdzinski) Strong normalization of the typed $\lambda_{ws}$- calculus (René DAVID & Bruno Guillaume) The Arithmetical Complexity of Dimension and Randomness (John M. Hitchcock, Jack H. Lutz, Sebastiaan A. Terwijn) The Commuting V-Diagram: On the Relation of Refinement and Testing (Bernhard K. Aichernig) The Surprising Power of Restricted Programs and Gödel's Functionals (Lars Kristiansen, Paul J. Voda) Towards a proof system for admissibility (R. Iemhoff) Validity of CTL Queries Revisited (Marko Samer, Helmut Veith) Registration is through the Internet: http://www.logic.at/csl03/ The registration fee (400 euro) includes the costs for the conference dinner, the reception, and a copy of the conference proceedings. The registration fee does not include the costs for the excursion to Wachau. INVITED SPEAKERS: Sergei Artemov (CUNY, USA) [jointly invited by CSL'03 & KGC and ESSLLI (European Summer School in Logic Language and Information)] Bruno Buchberger (Johannes Kepler University, Austria) Dov Gabbay (King's College London, England) Helmut Veith (Vienna University of Technology, Austria) Nikolai Vorobjov (University of Bath, England) Andrei Voronkov (University of Manchester, England) TUTORIALS: Verification of infinite state systems (Ahmed Bouajjani, University of Paris 7, France) Computational epsilon calculus (Georg Moser, University of Muenster, Germany, and Richard Zach, University of Calgary, Canada) Quantifier elimination (Nikolai Vorobjov, University of Bath, England) Winning strategies and controller synthesis (Igor Walukiewicz, University of Bordeaux, France) INTERNATIONAL PROGRAM COMMITTEE Matthias Baaz (chair), Vienna University of Technology Arnold Beckmann, Vienna University of Technology Lev Beklemishev, Steklov Inst., Moscow / Utrecht Univ. Agata Ciabattoni, Vienna University of Technology Kousha Etessami, University of Edinburgh, Informatics Chris Fermueller, Vienna University of Technology Didier Galmiche, LORIA - UHP Nancy Harald Ganzinger, Max Plank Institut (Saarbrücken) Erich Grädel, Aachen University Petr Hajek, Institute for Computer Science, Chech Academy of Science (Prague) Martin Hyland, DPMMS , University of Cambridge Reinhard Kahle, DI, Universidade Nova de Lisboa Helene Kirchner, LORIA CNRS Daniel Leivant, Indiana University Bloomington Johann Makowsky (co-chair), Technion-IIT, Haifa Jerzy Marcinkowski, Wroclaw University Franco Montagna, Department of Mathematics, Siena Robert Nieuwenhuis, Tech. Univ. Catalonia (Barcelona) Michel Parigot, CNRS / Université Paris 7 Jeff Paris, Manchester University, Mathematics Dept Helmut Schwichtenberg, Munich University, Dept. of Mathematics Jerzy Tiuryn, Warsaw University LOCAL ORGANIZING COMMITTEE Matthias Baaz, Chair Arnold Beckmann Agata Ciabattoni Christian Fermüller Rosalie Iemhoff Norbert Preining Sebastiaan Terwijn COLOCATED EVENTS CoLogNET (23 August) Workshop on Logic-based Methods for Information Integration See http://www.kr.tuwien.ac.at/colognet_ws/ GAMES (30 August - 2 September) 2nd Annual Workshop of the European Research Training Network GAMES (Games and Automata for Synthesis and Validation). See http://www.games.rwth-aachen.de.