CSL 2001 -- CALL FOR PARTICIPATION

CSL 2001 -- CALL FOR PARTICIPATION

[fribourg]

                     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