• Manifestations scientifiques,
  • Recherche,
  • Philosophie,

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

Evènement | 5 novembre 2018

Colloque interdisciplinaire organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL).
Philosophie de la logique - Philosophie de l’informatique

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

Programme du colloque
 

Lundi 05 novembre (après-midi)
  • 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"

Mardi 06 novembre (matinée)
  • 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"

Mardi 06 novembre (après-midi)
  • 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 » ?"

Document(s) à télécharger

INFOS PRATIQUES

Lieu(x)
Centre de la recherche Eugène Chevreul
Salle Rotonde, 18 rue Chevreul, Lyon

Contact

Jean-Baptiste Joinet

jean-baptiste.joinet@univ-lyon3.fr

Type

A la Une, Colloque / Séminaire

Thématique

Manifestations scientifiques, Recherche, Philosophie