CSL 2001 September 10 - 13, 2001 Paris, France Annual Conference of the European Association for Computer Science Logic ------------------------------------------------------------ EARLY REGISTRATION IS NOW OPEN! DEADLINE: JUNE 25 ------------------------------------------------------------ The CSL Web page contained a detailed schedule and registration form http://www.lsv.ens-cachan.fr/csl01/ Invited talks: ************** Jean-Yves Girard (IML, Marseille) Peter O'Hearn (QMW College, London) Jan Van den Bussche (U. Limburg) Contributed papers: ****************** M. Galota and H. Vollmera: ``Generalization of the Buechi-Elgot-Trakhtenbrot Theorem''. T.M. Rasmussen: ``Labelled Natural Deduction for Interval Logics''. M. Schmidt-Schauss: ``Stratified Context Unification is in PSPACE''. O. Finkel: ``An effective extension of the Wagner hierarchy to blind counter automata''. P. Courtieu: ``Normalized types''. Y. Chen and E. Shen: ``Capture Complexity by Partition''. C. Lutz, U. Sattler and F. Wolter: ``Modal Logic and the two-variable fragment''. M. Grohe and S. Wöhrle: ``An Existential Locality Theorem''. F. Koriche: ``A Logic for Approximate First-Order Reasoning''. M. Bezem: ``An improved extensionality criterion for higher-order logic programs''. Y. Akama: ``Limiting Partial Combinatory Algebras Towards Infinitary Lambda-calculi and Classical Logic''. S. Ronchi Della Rocca and L. Roversi: ``Intersection Logic''. A. Armando, S. Ranise and M. Rusinowitch: ``Uniform Derivation of Decision Procedures by Superposition''. F. Klaedtke: ``Decision Procedure for an Extension of WS1S''. P. Chrzastowski-Wachtel, P. Pokarowski and J. Tyszkiewicz: ``On the Existence of Asymptotic Conditional Probabilities in First Order Logic of Word Structures''. M. Keye: ``A principle of induction''. V. Mogbil: ``Quadratic correctness criterion for Non commutative Logic''. J. Power and K. Tourlas: ``An Algebraic Foundation for Higraphs''. R. Staerk and S. Nanchen: ``A Logic for Abstract State Machines''. A. Dawar, E. Grädel and S. Kreutzer: ``Inflationary Fixed Points in Modal Logic''. A. Guglielmi and L. Strassburger: ``Non-Commutativity and MELL in the Calculus of Structures''. M. Korovina and O. Kudinov. ``Semantic Characterisations of Second-order Computability Over the Real Numbers''. E. Robinson and G. Rosolini: ``An Abstract Look at Realizability''. N. Alechina, M. Mendler, V. de Paiva and E. Ritter: ``Categorical and Kripke Semantics for Constructive Modal Logics''. L. Schroeder: ``Life without the terminal type''. J. van Eijck: ``Constrained Hyper Tableaux'' F. S. de Boer and R. M. van Eijk: ``Decidable Navigation Logics for Object Structures''. W. Charatonik and J.-M. Talbot: ``The Decidability of Model Checking Mobile Ambients''. J.-Y. Marion: ``Actual arithmetic and feasibility''. N. Schweikardt: ``The natural order-generic collapse for omega-representable databases over the rational andthe real ordered group''. M. Baaz and G. Moser: ``On a generalisation of Herbrand's Theorem''. M. Kanovich. ``The Expressive Power of Horn Monadic Linear Logic''. V. Danos and R. Harmer: ``The Anatomy of Innocence''. A. Kopylov and A. Nogin. ``Markov's Principle for Propositional Type Theory''. C. Schuermann ``Recursion for Higher-Order Encodings''. R. Matthes: ``Monotone Inductive and Coinductive Constructors of Rank 2''. G. Rosu: ``Complete Categorical Equational Deduction''. S. Abramsky and M. Lenisa: ``A Fully Complete Minimal PER Model for the Simply Typed lambda-calculus''. J. Goubault-Larrecq: ``Well-Founded Recursive Relations''. H. Ohsaki: ``Beyond the Regularity: Equational Tree Automata for Associative and Commutative Theories''. -- Laurent Fribourg Tel. +33 1 47 40 28 66