Soutenu par l’IRPhiL (Université Jean Moulin Lyon 3), l’IXXI, et la Société française pour la philosophie et la théorie juridique et politique.
 

Programme du colloque

Mercredi 08 novembre (après-midi)

• 13:45-15:00 : Michele ABRUSCI (Université Roma Tre)
  "Normes et logique : quelques considérations philosophiques et historiques"
   
• 15:00-16:15 : Jean-Yves GIRARD (CNRS, émérite)
  "Norme et Vérité"
   
• Pause
   
• 16:30-17:45 : Pierre-Yves QUIVIGER (UFR de Philosophie, Univ. Paris 1 Panthéon-Sorbonne)
  "La logique mathématique est-elle soluble dans le droit positif ?"
   
• 17:45-19:00 : Charles GIRARD (IRPhiL, Université Jean Moulin Lyon 3)
  "Ce que les algorithmes font à la liberté d’expression"

Jeudi 09 novembre

• 09:15-10:30 : Luc PELLISSIER (Université de Paris Est Créteil)
  "Calculer les textes consolidés"
   
• 10:30-11:45 : Myriam QUATRINI (Institut de Mathématiques de Marseille, Aix-Marseille Université-CNRS)
  "Controverses juridiques, éléments de formalisation"
   
• Pause
   
• 12:00-13:15 : Alberto NAIBO (IHPST, UMR 8590 CNRS & Univ. Paris 1 Panthéon-Sorbonne)
  "Peut-on définir ce qu'est un algorithme? Problèmes et perspectives"
   
• Pause déjeuner
   
• 14:45-16:00 : Jean-Baptiste JOINET (Université Jean Moulin Lyon 3, IRPhiL & IXXI)
  "Lois, règles, normes, types : perspective essentialiste et perspective existentialiste"
   
• 16:00-17:15 : Thomas SEILLER (LIPN, UMR 7030, CNRS & Université Sorbonne Paris Nord)
  "La question des constantes logiques à la lumière de la réalisabilité linéaire"
   
• Pause
   
• 17:30-18:45 : Paolo PISTONE (Université de Bologne)
  "Quand Weyl rencontre Lawvere : orthogonalité quantitative et types"