Colloque | Le même et l'autre : identité, orthogonalité, types

Comité d'organisation : Jean-Baptiste Joinet, Wendy Hammache  et Yannis Hausberg
 

Programme du colloque
 

• 14:00-15:00 ABRUSCI Michele (Università degli Studi di Roma Tre)
  "Remarques sur les définitions de l'identité"
   
• 15:00-16:00 FINSTER Eric (IRIF, Université Denis Diderot Paris 7)
  "Egalité et identité dans les fondements des mathématiques"
   
• 16:15-17:15 NAIBO Alberto (IHPST, Université Paris 1 Panthéon-Sorbonne)
  "Harmonie, stabilité et identité"
   
• 17:15-18:15 PISTONE Paolo (Wilhelm Shickard Institut, EKU Tübingen)
  "Identité des preuves et types du second ordre"

• 9:30-10:30 HAMMACHE Wendy (IRPhiL, Université Jean Moulin Lyon 3)
  "Lambda-calcul et types : origines logiques, postérité computationnelle"
   
• 10:45-11:45 MARTINI Simone (Collegium - Institut d’études avancées de Lyon & Univ. di Bologna)
  "Les types dans les langages de programmation : entre modélisation, abstraction et correction"
   
• 11:45-12:45 MAZZA Damiano (CNRS, LIPN, Université Paris Nord)
  "Les systèmes de types vus comme foncteurs : introduction à la perspective de Melliès et Zeilberger et quelques applications"

• 14:30-15:30 SEILLER Thomas (CNRS, LIPN, Université Paris Nord)
  "Identités des programmes"
   
• 15:30-16:30 JOINET Jean-Baptiste (IRPhiL, Université Jean Moulin Lyon 3
  "Similitude, coalitions, types : une généralisation des définitions par abstraction"
   
• 16:45-17:45 GASTALDI Juan-Luis (SPHERE, CNRS-Université Paris Diderot)
  "Identité et types des unités dans le langage naturel : que peut-on apprendre des « word embeddings » ?"