• Manifestations scientifiques,

Colloque | Logical Time and Computational Time

Publié le 31 octobre 2017 Mis à jour le 10 janvier 2018
Logical Time and Computational Time - 13 et 14 novembre 2017
Logical Time and Computational Time - 13 et 14 novembre 2017

Colloque interdisciplinaire de Philosophie de l’Informatique organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL).

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

Logical Time and Computational Time - 13 et 14 novembre 2017Programme 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

► Entrée libre
Contact :
Jean-Baptiste Joinet :
Partenaires :
Université Jean Moulin Lyon 3
Collegium de Lyon
CAPES-COFECUB
Thématiques :
Manifestations scientifiques

Mise à jour : 10 janvier 2018