Colloque | Logical Time and Computational Time

Coordination scientifique : Jean-Baptiste Joinet, Wendy Hammache, Yannis Hausberg.
 

Programme du colloque :

LUNDI 13/11

• 14:15-15:15 Gilles DOWEK (Inria, ENS de Paris-Saclay)
  Geodesics in a discrete-time discrete-space frame
   
• 15:15-16:15 Jean-Baptiste JOINET (Université Jean Moulin Lyon 3, IRPhiL)
  Logic and Dialectical time
   
• 16:30-17:30 Luiz Carlos PEREIRA (PUC-Rio de Janeiro)
  Intuitionistic logic and time
   
• 17:30-18:30 Hermann HAUESLER (PUC-Rio de Janeiro)
  Infinite computations in finite time ?

MARDI 14/11
 

• 10:00-11:00 Glynn WINSKELL (University of Cambridge. Visiting fellow at Collegium de Lyon)
  From events to strategies
   
• 11:00-12:00 Thomas SEILLER (DIKU, University of Copenhaguen)
  Time is essence: a geometric view of computational complexity
   
• 14:30-15:30 Simone MARTINI (Universitá de Bologna)
  System Time and Model Time
   
• 15:30-16:30 Paolo PISTONE (Universitá degli studi di Roma Tre)
  Proof-nets, polarity and the meaning of second order quantification
   
• 16:45-17:45 Myriam QUATRINI (IML, Université de la Méditerranée, Marseille)
  Temporally non commutative connectives