The Schedule
UCL Day 1 (All times are UTC)
02/03/2023
02/03/2023
13:50 - 14:00
Kickoff
Kickoff
14:00 - 15:00
Non-harmonious logics and ecumenical logics: what do we they teach us about the meaning of connectives? (slides)
Non-harmonious logics and ecumenical logics: what do we they teach us about the meaning of connectives? (slides)
Gilles Dowek
15:00 - 16:00
Iris van der Giessen
Break 16:00 - 16:30
16:30 - 17:30
Dale Miller
UCL Day 2 (All times are UTC)
03/03/2023
03/03/2023
09:00 - 10:00
Émilie Grienenberger
Émilie Grienenberger
Break 10:00 - 10:30
10:30 - 11:30
Alexander Gheorghiu
Alexander Gheorghiu
11:30 - 12:30
E Pluribus Unum - Or: How to Harmonize Involutive and Constructive Negations
E Pluribus Unum - Or: How to Harmonize Involutive and Constructive Negations
Mattia Petrolo
Mattia Petrolo
Lunch 12:30 - 14:00
15:00 - 16:00
Ecumenism and Linear Logic's Exponentials: dissymmetrizing exponentials to analyse the space between intuitionistic and classical computations (slides)
Ecumenism and Linear Logic's Exponentials: dissymmetrizing exponentials to analyse the space between intuitionistic and classical computations (slides)
Jean-Baptiste Joinet
Jean-Baptiste Joinet
CLMPST (All times are GMT-3)
26/07/2023
26/07/2023
09:00 - 09:30
Victor Nascimento
Victor Nascimento
10:30 - 11:00
Ricardo Rodriguez
Ricardo Rodriguez
Break 11:00 - 14:30
14:30 - 15:00
Ideal and saturated paraconsistent logics arising from Godel logics expanded with an involutive negation (slides)
Ideal and saturated paraconsistent logics arising from Godel logics expanded with an involutive negation (slides)
Marcelo Coniglio
Marcelo Coniglio
15:30 - 16:00
Ecumenism and Linear Logic's Exponentials: dissymetrizing exponentials to analyse the space between intuitionistic and classical computations (slides)
Ecumenism and Linear Logic's Exponentials: dissymetrizing exponentials to analyse the space between intuitionistic and classical computations (slides)
Jean-Baptiste Joinet
Jean-Baptiste Joinet
16:00 - 16:30
A decision procedure for intuitionistic and ecumenical logic based on restricted non-deterministic matrices
A decision procedure for intuitionistic and ecumenical logic based on restricted non-deterministic matrices
Renato Leme
Renato Leme