Colloque | Les interfaces "logique/informatique/droit" : horizons philosophiques

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"