Program

(All times listed below are in GMT+1) 

4/12/24

Room: Auditorium Quazza, Palazzo Nuovo (lower ground floor)

15:30-17:30 Lecture 1: 

Noemí Lubomirsky - "Algebraic semantics for substructural logics: BL-algebras and subvarieties"

17:30-17:45 Coffee Break

17:45-18:15 Discussion

18:30-19:30 Mentoring Session (& Spritz🍹) at DOT Birreria Indipendente

5/12/24

Room: Sala Lauree Terracini, Palazzo Nuovo (ground floor)

10:30-12:30 Lecture 2: 

Pilar Terrés Villalonga - "Meaning, contextualism and minimalism: the case for non-commutative linear logic"

12:30-13:00 Discussion

13:00-14:30 Lunch break

14:30-16:30 Lecture 3: 

Paula Teijeiro - "Valuations validity and metainferences"

16:30-16:45 Coffee break 

16:45-17:15 Discussion 

17:15-18:45 Open Problem Session: Javier Viñeta (UNAV) , Eliana Franceschini (CONICET)

21:45 Social dinner at Cianci's 

6/12/24

Room: Sala Lauree Terracini, Palazzo Nuovo (ground floor)

9:30-11:30 Lecture 4: 

Elaine Pimentel - "Playing with modalities"

11:30-11:45 Coffee break

11:45-12:15 Discussion

12:15-13:30 Open Problem Session: Maria Osório Costa (Univ. Lisboa/UCL), Ekaterina Piotrovskaya (University College London)