MONDAY, SEPTEMBER 10

• [9h-10h45:] REGISTRATIONS
• [10h45-11h:] Welcome opening talk (Laurent Fribourg)
• [11h00-12h30:] Linear Logic (Chair: Jean Goubault-Larrecq)
  • Max Kanovich, "The Expressive Power of Horn Monadic Linear Logic"
  • Alessio Guglielmi and Lutz Strassburger, "Non-Commutativity and MELL in the Calculus of Structures"
  • Mogbil Virgile, "Quadratic correctness criterion for Non commutative Logic"
• [12h30-14h:] LUNCH (Salons de la Mutualité)
• [14h-16h:] Descriptive complexity (Chair: Clemens Lautemann)
  • Yijia Chen and Enshao Shen, "Capture Complexity by Partition"
  • Martin Grohe and Stefan Wöhrle, "An Existential Locality Theorem"
  • Jean-Yves Marion, "Actual arithmetic and feasibility"
  • Nicole Schweikardt, "The natural order-generic collapse for omega-representable databases over the rational and the real ordered group"
• [16h-16h30: BREAK]
• [16h30-18h30:] Semantics (Chair: Thomas Wilke)
  • John Power and Konstantinos Tourlas, "An Algebraic Foundation for Higraphs"
  • M. Korovina and O. Kudinov, "Semantic Characterisations of Second-order Computability Over the Real Numbers"
  • Edmund Robinson and Giuseppe Rosolini, "An Abstract Look at Realizability"
  • Vincent Danos and Russell Harmer, "The Anatomy of Innocence"

TUESDAY, SEPTEMBER 11

• [9h-10h:] Prof. Peter O'Hearn (Invited Talk)
• [10h-10h30:] BREAK
• [10h30-12h00:] Higher Order Programs (Chair: Christine Paulin-Mohring)
  • Marc Bezem, "An improved extensionality criterion for higher-order logic programs"
  • Robert Staerk and Stanislas Nanchen, "A Logic for Abstract State Machines"
  • Jan van Eijck, "Constrained Hyper Tableaux"
• [12h00-14h00:] FREE TIME/LUNCH
• [14h00-16h00:] Modal Logics (Chair: Julian Bradfield)
  • Carsten Lutz, Ulrike Sattler and Frank Wolter, "Modal Logic and the two-variable fragment"
  • Frederic Koriche, "A Logic for Approximate First-Order Reasoning"
  • A. Dawar, E. Grädel and S. Kreutzer, "Inflationary Fixed Points in Modal Logic"
  • Natasha Alechina, Michael Mendler, Valeria de Paiva and Eike Ritter, "Categorical and Kripke Semantics for Constructive Modal Logics"
• [16h00-16h30:] BREAK
• [16h30-18h00:] EACSL session

WEDNESDAY, SEPTEMBER 12

• [9h-10h:] Prof. Jan Van Den Bussche (Invited Talk)
• [10h-10h30:] BREAK
• [10h30-12h00:] Verification (Chair: Philippe Schnoebelen)
  • Thomas Marthedal Rasmussen, "Labelled Natural Deduction for Interval Logics"
  • Frank S. de Boer and Rogier M. van Eijk, "Decidable Navigation Logics for Object Structures"
  • Witold Charatonik and Jean-Marc Talbot, "The Decidability of Model Checking Mobile Ambients"
• [12h00-14h00:] FREE TIME/LUNCH
• [14h00-16h00:] Automata (Chair: Antoine Petit)
  • Matthias Galota and Heribert Vollmer, "A Generalization of the Buechi-Elgot-Trakhtenbrot Theorem"
  • Olivier Finkel, "An effective extension of the Wagner hierarchy to blind counter automata"
  • Felix Klaedtke, "Decision Procedure for an Extension of WS1S"
  • Dr Peter F. Kenton (Invited Talk): "Johnny's corner: von Neumann's life seen by his cousin"
• [16h00-16h30:] BREAK
• [16h30-18h30:] Lambda-Calculus (Chair: René David)
  • Yohji Akama, "Limiting Partial Combinatory Algebras Towards Infinitary Lambda-calculi and Classical Logic"
  • Simona Ronchi, Della Rocca and Luca Roversi, "Intersection Logic"
  • Lutz Schroeder, "Life without the terminal type"
  • Samson Abramsky and Marina Lenisa, "A Fully Complete Minimal PER Model for the Simply Typed lambda-calculus"
• [20h30-22h30:] BANQUET

THURSDAY, SEPTEMBER 13

• [9h-10h:] Prof. Jean-Yves Girard (Invited Talk)
• [10h-10h30:] BREAK
• [10h30-12h:] Induction (Chair: Michel Bidoit)
  • Keye Martin, "A principle of induction"
  • Matthias Baaz and Georg Moser, "On a generalisation of Herbrand's Theorem"
  • Jean Goubault-Larrecq, "Well-Founded Recursive Relations"
• [12h00-14h00:] FREE TIME/LUNCH
• [14h00-16h00:] Equational Calculus (Chair: Hubert Comon)
  • Manfred Schmidt-Schauss, "Stratified Context Unification is in PSPACE"
  • Alessandro Armando, Silvio Ranise, and Michael Rusinowitch, "Uniform Derivation of Decision Procedures by Superposition"
  • Grigore Rosu, "Complete Categorical Equational Deduction"
  • Hitoshi Ohsaki, "Beyond the Regularity: Equational Tree Automata for Associative and Commutative Theories"
• [16h00-16h30:] BREAK
• [16h30-18h30:] Constructive Theory of Types (Chair: Laurent Fribourg)
  • Pierre Courtieu, "Normalized types"
  • Alexei Kopylov and Aleksey Nogin, "Markov's Principle for Propositional Type Theory"
  • Carsten Schuermann, "Recursion for Higher-Order Encodings"
  • Ralph Matthes, "Monotone Inductive and Coinductive Constructors of Rank 2"