Aller au contenu. | Aller à la navigation

Outils personnels

Navigation

Voir le monde en interaction

  • Logo CNRS
  • Logo ENSL
  • logo-enssib.jpg
Vous êtes ici : Accueil / Agenda / évènements / Interfaces “Philosophie/Droit/Logique/Informatique” : Horizons Philosophiques

Interfaces “Philosophie/Droit/Logique/Informatique” : Horizons Philosophiques

error while rendering collective.contentleadimage.full
Quand ? Du 08/11/2023 à 13:45
au 09/11/2023 à 18:45
Où ? Espace Marc Bloch / MSH-LSE
S'adresser à
Ajouter un événement au calendrier vCal
iCal

Journées organisées les 8 et 9 novembre par le groupe NORMES, groupe interdisciplinaire sur les interfaces Philosophie / Droit / Logique / Informatique, soutenues 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.


COORDINATION SCIENTIFIQUE

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"

Localisation

Espace Marc Bloch
MSH-LSE
14 av. Berthelot
69007 LYON

Plus d'information sur cet événement…