Séminaire "Logique, Mathématiques, Informatique et Raisonnement" (LMIR)


Coordination : Jean-Baptiste Joinet, Hugo Cadière
 
Programme 2023-24

Programme 2022-23

Programme 2020-21

Programme 2019-20
Séance 1
Jeudi 24 octobre
Daniel PARROCHIA (Professeur émérite, Université Jean Moulin Lyon 3)
"Pour une théorie générale des classifications : problèmes et modèles"

Séance 2
Mardi 12 novembre
Fabien FERRI
EA 2274 Logiques de l’Agir (Université de Franche-Comté)
EA 2223 Costech (Université de technologie de Compiègne)
"Des diagrammes comme outils aux diagrammes comme machines graphiques : vers une nouvelle configuration de la rationalité graphique"

Séance 3
Mercredi 22 janvier
Gilles DOWEK (Inria et École normale de Paris-Saclay)
"Les langages dans lesquels nous écrivons les sciences"

Séance 4
Mercredi 12 février
Mitsuhiro OKADA (Université Keiô, Tokyo)
"Re-consideration of "formal" inference and proof in logic"
 
Programme 2018-19
Séance 1
Séance du mercredi 19 septembre 2018
Jean-Baptiste JOINET, Université Jean Moulin Lyon 3 (IRPhiL)
"Une généralisation de l’approche frégéenne des définitions par abstraction"

Séance 2
Séance du jeudi 11 octobre 2018
Guiseppe LONGO, Centre Cavaillès, USR 3608 CNRS, ENS Paris, Collège de France
"Logique et calculabilité : la différence entre généralisation et transfert conceptuel"
Programme 2017-18
Séance 1
Séance du mercredi 11 octobre 2017
Pierre CRÉPEL, Académie des sciences, Belles-lettres et Arts de Lyon
"Cartésiens et newtoniens à Lyon au XVIIIe siècle"

Séance 2
Séance du mercredi 8 novembre 2017
Jacques JAYEZ, Professeur à l’ENS de Lyon (ENS Lyon & ISC Marc Jeannerod, UMR 5304 CNRS)
"De la logique à la mécanique (élémentaire) en sémantique. Le cas des verbes factifs"

Séance 3
Mercredi 29 novembre 2017
Arnaud VALENCE, Docteur en philosophie des sciences (IRPhiL)
"Éléments pour une logique de la découverte"

Séance 4
Mardi 13 février 2018
Juan Luis GASTALDI (SPHERE - CNRS - Paris Diderot - Paris 1 Panthéon-Sorbonne)
"Sémiologie des mathématiques et analyse automatique de corpus"

Séance 5
Mercredi 14 mars 2018
Maël PEGNY (Postdoctorant, CNRS – IHPST - Paris 1)
"Les Intelligences Artificielles sont-elles des programmes ?"
Programme 2016-17
Séance 1
Mercredi 8 février 2017
Luiz Carlos PEREIRA (Département de philosophie, PUC-Rio, Brésil)
"Le point de vue œcuménique : Logique classique et Logique intuitionniste co-existant pacifiquement"

Séance 2
Mercredi 15 mars 2017
Alastair ABBOTT (Institut Néel, CNRS, Grenoble)
"L’aléatoire et l’imprévisibilité au cœur de la mécanique quantique"