Journées organisées par le groupe NORMES
Groupe interdisciplinaire sur les interfaces
Philosophie/Droit/Logique/Informatique
LES INTERFACES “LOGIQUE / INFORMATIQUE / DROIT” :
HORIZONS PHILOSOPHIQUES
Lyon, 08-09 novembre 2023
Espace Marc Bloch, MSH-LSE, 14 av. Berthelot – 69007 LYON
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
Coord.: Jean-Baptiste Joinet et Hugo Cadière
Soutenu par l’IRPhiL (Univ. Jean Moulin Lyon 3), l’IXXI, la MSH-LSE et la Société française pour la philosophie et la théorie juridique et politique
Informations actualisées en ligne sur : http://irphil.univ-lyon3.fr/
Contact : hugo.cadiere@univ-lyon3.fr jean-baptiste.joinet@univ-lyon3.fr
OpenEdition vous propose de citer ce billet de la manière suivante :
sppn (1 novembre 2023). 8-9/11/2023 : LES INTERFACES LOGIQUE/INFORMATIQUE/DROIT. DroitPhiL. Consulté le 12 novembre 2024 à l’adresse https://doi.org/10.58079/nwwu
Ping : 8-9/11/2023 : LES INTERFACES LOGIQUE/INFORMATIQUE/DROIT – Les moissons d'hypothèses