Colloque | Logic and Intelligibility of Computational Processes (LICP) - Édition 2026

Evènement | 12 novembre 2026

Colloque international organisé les 12 et 13 novembre 2026 par le programme “Logic and Intelligibility of Computational Processes” (LICP) porté par l'Institut de Recherches Philosophiques de Lyon (IRPhiL).

Programme du colloque

(en anglais)

THURSDAY 12/11

10:30-11:30 Marcos GLEIZER (UERJ, Universidade do Estado do Rio de Janeiro)
L’automate spirituel spinoziste est-il une pure machine déductive ?
11:30-12:30 Edgar DA ROCHA MARQUES (Universidade do Estado do Rio de Janeiro)
Aperception, réflexion et rationalité chez Leibniz
14:30-15:30 Hugo CADIÈRE (IRPhiL Lyon 3 & ENS de Lyon).
Easy Existence, Hard Identity, or When Meaning Outruns Use: Higher -Order Metaphysics and The Limits of Easy Ontology
15:30-16:30 Tiago CASTRO ALVES (Universidade Estadual do Rio de Janeiro)
On the notions of syntax and semantics
16:45-17:45 Marianna ANTONUTTI (IHPST, Université Paris 1 Panthéon-Sorbonne)
Completeness from the finitary standpoint: Herbrand and Bernays on truth in infinite domains
17:45-18:45 Luiz Carlos PEREIRA (Universidade Estadual do Rio de Janeiro)
Three alternative systems with "alternatives"

FRIDAY 13/11

09:00-10:00 Paolo PISTONE (Université Lyon 1 & LIP-Plume ENS de Lyon)
40 Years of Linear Logic: a Historical and Conceptual Map
10:00-11:00 Chirine LAGHJICHI (LIPN, Université Sorbonne Paris-Nord)
Atomic steps of computation and beta-reduction: the condition of locality for lambda-calculus
11:15-12:15 Hermann HAEUSLER (PUC-Rio)
Opening the Black Box of the Quantum Algorithms Used in the Verification of Compressed Proofs in Minimal Implicational Logic
14:00-15:00 Joaquim WADDINGTON (University College London)
Inferentialist Game Semantics
15:00-16:00 Victor BARROSO-NASCIMENTO (University College London)
Provability, consistency & modalities: a new Natural Deduction system for classical & intuitionistic S4