8-9/11/2023 : LES INTERFACES LOGIQUE/INFORMATIQUE/DROIT

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


Une réflexion sur « 8-9/11/2023 : LES INTERFACES LOGIQUE/INFORMATIQUE/DROIT »

  1. Ping : 8-9/11/2023 : LES INTERFACES LOGIQUE/INFORMATIQUE/DROIT – Les moissons d'hypothèses

Les commentaires sont fermés.