Workshop | Logic and Computing: How Do They Interface?

Organisé par : Jean-Baptiste Joinet (IRPhiL, Université Jean Moulin Lyon 3) et Hugo Cadière (ENS de Lyon)
 

Programme du workshop

Monday 07 November (afternoon)

• 14:00-15:15 - Michele ABRUSCI (Università di Roma Tre)
  "1922, the launch of Hilbert’s program : its contribution to the development of logic and the birth of computer science."
   
• 15:15-16:30 - Jean-Baptiste JOINET (IRPhiL, Université Jean Moulin Lyon 3)
  "Through the proofs-as-programs correspondence, may propositions be seen as ideal elements?"
   
• Coffee break
   
• 16:45-18:00 - Paolo PISTONE (Università di Roma Tre)
  "Logic and Approximated Computing: a Marriage of Convenience?"

Tuesday 08 November

• 10:00-11:15 - Thomas SEILLER (LIPN, UMR 7030, CNRS & Université Sorbonne Paris Nord)
  "Realisability over abstract models of computations, and algorithms as specifications."
   
• 11:15-12:30 - Philippos PAPAYANNOPOULOS (IHPST, UMR 8590 CNRS & Université Panthéon-Sorbonne Paris 1)
  "Restoring peace between abstract algorithms and concrete computations: a role for continuity."
   
• Lunch break
   
• 14:30-15:45 - Adrien CHAMPOUGNY (IHPST, UMR 8590 CNRS & Université Panthéon-Sorbonne Paris 1, ED de Philosophie de Paris 1)
  "Reverse mathematics and constructivism."