Horaires /Schedule  

Lundi / Monday, 5 Mai / May, 2025 - Matin / Morning

9h45-10h00  Réception/Welcome

Président de séance / Chair : Jean-Pierre Desclés

10h00-11h00  Julie Brumberg & Scott Pratt

"Logica Naturalis"

11h00-11h15 Pause / Coffee break

11h15-12h15  Gaëll Guibert & Benoît Sauzay

"Quel modèle logico-mathématique de calcul pour une machine de langages purement applicatifs ?"/ "Which logico-mathematical model of calculation for a machine of purely applicative languages?"

Lundi / Monday, 5 Mai / May, 2024 - Déjeuner / Lunch - 12h15/14h00 

 Club des Professeurs, à côté de la Salle des Actes en Sorbonne

Lundi / Monday, 5 Mai / May, 2025 - Après-midi / Afternoon

Président de séance / Chair : Jean-Yves Beziau

14h00-15h00 Miloud Rouabhi

"Analyse sémantico-cognitive de quelques prépositions en arabe/français" / "Semantic-cognitive analysis of some prepositions in Arabic/French"

15h00-16h00 Anca Christine Pascu

"Logique, mathématiques, raisonnement et IA" / "Logic, Mathematics, Reasoning and AI"

16h00-16h15 Pause / Coffee break

16h15-17h00 : Christophe Jouis et Mercedes Orús-Lacort 

"Sur l’évolution des classifications des connaissances : émergence et impermanence"/ "On the evolution of knowledge classifications: emergence and impermanence"

Mardi  / Tuesday, 6 Mai / May, 2025 -  Matin / Morning

Président de séance / Chair :  Anca Pascu

10h00-11h00  Mohamed Almisbkawy

"Logique et rationalité- Le mythe comme logique et la logique comme mythe " / "Logic and rationality -  Myth as logic and logic as myth”"

11h00-11h15 Pause / Coffee break

11h15-12h15 Aimable-André Dufatanye

"Logique et théorie des objets" / "Logic and theory of objects"

Mardi  / Tuesday, 6 Mai / May, 2025 - Déjeuner / Lunch - 12h15/14h00 

 Club des Professeurs, à côté de la Salle des Actes en Sorbonne

Mardi  / Tuesday, 6 Mai / May, 2025- Après-midi / Afternoon

Président de séance / Chair : Aimable-André Dufatanye

14h00-15h00  Jean-Pierre Desclès

"Temps et aspects, topologie et logique combinatoire"  /  "Time and aspects, topology and combinatorial logic"

15h00-16h00 Jean-Baptiste Gourinat

"Cet obscur objet de la logique: le lekton stoïcien, sur une théorie ancienne des propositions" / "This obscure object of logic: the stoic lekton, on an ancient theory of propositions"

16h00-16h15 Pause / Coffee break

16h15-17h15 Jean-Yves Beziau & Caroline Pires Ting

"Qu'est-ce qu'un nom propre?" / "What is a proper name?"

17h15-17h45 : General Discussion