From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1976 Path: news.gmane.org!not-for-mail From: fribourg@lsv.ens-cachan.fr Newsgroups: gmane.science.mathematics.categories Subject: CSL 2001 -- CALL FOR PARTICIPATION Date: Fri, 25 May 2001 16:24:16 +0200 Message-ID: <200105251424.QAA18603@quetsche.lsv.ens-cachan.fr> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1241018245 1504 80.91.229.2 (29 Apr 2009 15:17:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:17:25 +0000 (UTC) To: csl01-list@lsv.ens-cachan.fr Original-X-From: rrosebru@mta.ca Sat May 26 02:43:56 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f4Q52UI18176 for categories-list; Sat, 26 May 2001 02:02:30 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-MIME-Autoconverted: from 8bit to quoted-printable by ariane.ens-cachan.fr id f4PEOgUN029649 X-MIME-Autoconverted: from quoted-printable to 8bit by mailserv.mta.ca id f4PERqb05604 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 44 Original-Lines: 172 Xref: news.gmane.org gmane.science.mathematics.categories:1976 Archived-At: 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