From: fribourg@lsv.ens-cachan.fr
To: csl01-list@lsv.ens-cachan.fr
Subject: CSL 2001 -- CALL FOR PARTICIPATION
Date: Fri, 25 May 2001 16:24:16 +0200 [thread overview]
Message-ID: <200105251424.QAA18603@quetsche.lsv.ens-cachan.fr> (raw)
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
reply other threads:[~2001-05-25 14:24 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200105251424.QAA18603@quetsche.lsv.ens-cachan.fr \
--to=fribourg@lsv.ens-cachan.fr \
--cc=csl01-list@lsv.ens-cachan.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).