The art of proofs

Workshop di teoria della dimostrazione organizzato da Eugenio Orlandelli

  • Data:

    15 FEBBRAIO
    -
    16 FEBBRAIO 2024
     dalle 10:00 alle 12:30

  • Luogo: Sala Rossa, Via Azzo Gardino 23, Bologna

Organizzato da: Eugenio Orlandelli

 

 

Il 15 e 16 Febbraio si terrà in Sala rossa, via Azzo Gardino 23, un workshop di teoria della dimostrazione dal titolo "The art of Proofs"

 

Teams

 

Programma:

Giovedì 15

10:00-11:00 Bahareh Afshari (Gothenburg) “Demystifying μ”
11:30-12:30 Matteo Tesi (TUWein) “Constructive theories through a modal lens"
15:00-16:00 Edi Pavlovic (MCMP) “Is, ought, and cut”
16:30-17:30 Giuli Fellin (Verona) “A modal calculus for arithmetic"
17:30-18:30 Sara Negri (Gnova) TBA

Venerdì 16

10:00-11:00 Gianluca Curzi (Gothenburg) “Non well-founded parsimonious logic: infinitary cut-elimination and (non-uniform) polynomial time”
11:30-12:30 Tim Lyon (TuDresden) “Foundations for an abstract proof theory in the Context of Horn rules”

In evidenza