Programme du colloque

THURSDAY 12/11

• 10:30-11:30 Marcos  GLEIZER (UERJ, Universidade do Estado do Rio de Janeiro)
  L’automate spirituel spinoziste est-il une pure machine déductive ?
   
• 11:30-12:30 Edgar DA ROCHA MARQUES (Universidade do Estado do Rio de Janeiro)
  Aperception, réflexion et rationalité chez Leibniz
   
• 14:30-15:30 Hugo CADIÈRE (IRPhiL Lyon 3 & ENS de Lyon).
  Easy Existence, Hard Identity, or When Meaning Outruns Use: Higher -Order Metaphysics and The Limits of Easy Ontology
   
• 15:30-16:30 Tiago CASTRO ALVES   (Universidade Estadual do Rio de Janeiro)
  On the notions of syntax and semantics
   
• 16:45-17:45 Marianna  ANTONUTTI (IHPST, Université Paris 1 Panthéon-Sorbonne)
  Completeness from the finitary standpoint: Herbrand and Bernays on truth in infinite domains
   
• 17:45-18:45 Luiz Carlos PEREIRA (Universidade Estadual do Rio de Janeiro)
  Three alternative systems with "alternatives"

FRIDAY 13/11

• 09:00-10:00 Paolo PISTONE (Université Lyon 1 &  LIP-Plume ENS de Lyon)
  40 Years of Linear Logic: a Historical and Conceptual Map
   
• 10:00-11:00 Chirine LAGHJICHI (LIPN, Université Sorbonne Paris-Nord)
  Atomic steps of computation and beta-reduction: the condition of locality for lambda-calculus
   
• 11:15-12:15 Hermann HAEUSLER   (PUC-Rio)
  Opening the Black Box of the Quantum Algorithms Used in the Verification of Compressed Proofs in Minimal Implicational Logic
   
• 14:00-15:00 Joaquim WADDINGTON   (University College London)
  Inferentialist Game Semantics
   
• 15:00-16:00 Victor BARROSO-NASCIMENTO   (University College London)
  Provability, consistency & modalities: a new Natural Deduction system for classical & intuitionistic S4