Workshop | Logic and Intelligibility of Computational Processes

Interdisciplinary Workshop
Philosophy of Logic, Language and Computation theory
 

Programme

• 14:30-15:30 : Paolo PISTONE (Université Lyon 1 & LIP-Plume ENS de Lyon)
  "Proofs and programs in the era of “algorithmic culture”"
• 15:30-16:30 : Jean-Baptiste JOINET (IRPHIL, Université Jean Moulin Lyon 3)
  "Training transforms a computational identity into a more complex function: a bridge between the proofs-as-programs perpective and the machine learning one?"
• 16:45-17:45 : Hermann HAUESLER (PUC-Rio)
  "Solomonoff-Based Framework for Explainability in Machine Learning"

• 10:00-11:00 : Luiz Carlos PEREIRA (Universidade Estadual do Rio de Janeiro)
  "Glivenko from an ecumenical viewpoint"
• 11:00-12:00 : Gilda FEREIRA (Universidade de Lisboa)
  "The problem of identity preservation of proofs in the Russell-Prawitz translation"

• 14:00-15:00 : Elaine PIMENTEL (University College London)
  "Playing with modalities"
• 15:00-16:00 : Hugo CADIERE (IRPHIL, Université Jean Moulin Lyon)
  "Monads as Modalities and Modalities as Monads: thinking modalities dialectically through categories, topos theory and (modal) homotopy type theory"

• 16:15-17:15 : Camilla JOURDAN (Universidade Estadual do Rio de Janeiro)
  "Wittgenstein and deep disagreements (part 1)" (Title to be confirmed)
• 17:15-18:15 : Vinicius PERENHA (Universidade Estadual do Rio de Janeiro)
  "Wittgenstein and deep disagreements (part 2)" (Title to be confirmed)