Programme

Mercredi 8 Novembre

13:45 : Normes et logique : quelques considérations philosophiques et historiques
Michele Abrusci - Université Roma Tre

15:00 : Norme et Vérité
Jean-Yves Girard - CNRS, émérite

16:15 : Pause

16:30 : La logique mathématique est-elle soluble dans le droit positif ?
Pierre-Yves Quiviger - UFR de Philosophie, Univ. Paris 1 Panthéon-Sorbonne

17:45 : Ce que les algorithmes font à la liberté d’expression
Charles Girard - IRPhiL, Université Jean Moulin Lyon 3

19:00 : Fin de la 1^ère demi-journée

Jeudi 9 Novembre

9:15 : Calculer les textes consolidés
Luc Pellissier - Université de Paris Est Créteil

10:30 : Controverses juridiques, éléments de formalisation
Myriam Quatrini - Institut de Mathématiques de Marseille, Aix-Marseille Université-CNRS

11:45 : Pause

12:00 : Peut-on définir ce qu'est un algorithme ? Problèmes et perspectives
Alberto Naibo - IHPST, UMR 8590 CNRS & Univ. Paris 1 Panthéon-Sorbonne

13:15 : Pause déjeuner

14:45 : Lois, règles, normes, types : perspective essentialiste et perspective existentialiste
Jean-Baptiste Joinet - Université Jean Moulin Lyon 3, IRPhiL & IXXI

16:00 : La question des constantes logiques à la lumière de la réalisabilité linéaire
Thomas Seiller - LIPN, UMR 7030, CNRS & Université Sorbonne Paris Nord

17:15 : Pause

17:30 : Quand Weyl rencontre Lawvere : orthogonalité quantitative et types
Paolo Pistone - Université de Bologne

18:45 : Clôture

Contact : hugo.cadiere@univ-lyon3.fr ou jean-baptiste.joinet@univ-lyon3.fr