• Manifestations scientifiques,

Colloque | Logical Time and Computational Time

Evènement | 13 novembre 2017

13 novembre de 14h15 à 18h30
14 novembre de 10h à 17h45

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

Logical Time and Computational Time - 13 et 14 novembre 2017

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

► Entrée libre

Document(s) à télécharger

INFOS PRATIQUES

Lieu(x)
Université Jean Moulin Lyon 3
Amphi Huvelin
15 quai Claude Bernard
69007 Lyon


 

Plan d'accès
Contact

Jean-Baptiste Joinet

jean-baptiste.joinet@univ-lyon3.fr

Type

A la Une, Colloque / Séminaire

Thématique

Manifestations scientifiques

Partenaires

Université Jean Moulin Lyon 3
Collegium de Lyon
CAPES-COFECUB