Logic and interactions 2012

CIRM, Marseille — 30 January – 2 March

Logic and interaction (6 – 10 February)

9:00 9:30 10:00 10:30 11:00 11:30 12:00 12:30 14:00 14:30 15:00 15:30 16:00 16:30 17:00
  • Monday 6
    • Jean-Yves Girard, Lectures on transcendental syntax
    • Claudia Faggian, Proof Nets
    • Michele Abrusci, Paolo Pistone, Transcendental Syntax and Geometry of Interaction : Interplays between Logic and Philosophy
  • Tuesday 7
    • Ugo Dal Lago, Geometry of Interaction
    • Jean-Yves Girard, Lectures on transcendental syntax
  • Wednesday 8
    • Dan Ghica, Game Semantics
    • Jean-Yves Girard, Lectures on transcendental syntax
    • Dan Ghica, Game Semantics
    • Etienne Duchesne, MELL in a free compact closure
    • Thomas Seiller, Graphs of Interaction
  • Thursday 9
    • Martin Hyland, Ludics and Game Semantics
    • Jean-Yves Girard, Lectures on transcendental syntax
    • Dan Ghica, A System-Level Semantics
    • Michele Basaldella, A gentle introduction to ludics
    • Pierre-Marie Pédrot, Double-glueing: refining models of linear logic through realizability
  • Friday 10
    • Alain Lecomte, Dialogues and commitments
    • Christophe Fouqueré, Dialogues and Ludics
    • Myriam Quatrini, Controversies, Meaning and dialogues
    • Christophe Fouqueré, C-Ludics and Natural Language
    • Kurt Ranalter, Abstract machines for argumentation
    • Christian Rétoré, Du système F pour la sémantique et pour la pragmatique lexicale : application à quelques phénomènes linguistiques
Contact
Home, Committees, Sponsors, Practical information.
Programme
Complexity, Logic and interaction (presentation, participants, talks & abstracts, schedule, time table), Proofs and programs, Quantitative approaches, Algebra and computation.
Registration
Pre-register or Login.