Embedded Files
22/11/2024
22/11/2024
1:00 - 1:15
Kickoff for ECUMENICAL
Kickoff for ECUMENICAL
Luiz Carlos & David & Elaine
1:15 - 2:00
Reductive logic, proof-theoretic semantics, and coalgebra
Reductive logic, proof-theoretic semantics, and coalgebra
David Pym
2:00 - 2:45
Generalised Base-extension Semantics
Generalised Base-extension Semantics
Tao Gu
2:45 - 3:30
Translations between bases in Base-extension Semantics
Translations between bases in Base-extension Semantics
Yll Buzoku
Break 3:30 - 3:45
3:45 - 4:30
Base-extension Semantics for Public Announcement Logics
Timo Eckhardt
4:30 - 5:15
Truth tables on steroids
Truth tables on steroids
Renato Reis Leme
5:15 - 6:00
Proof-theoretic Semantics for Intuitionistic Linear Logic: Two Approaches
Proof-theoretic Semantics for Intuitionistic Linear Logic: Two Approaches
Victor Barroso-Nascimento
Party at some pub 6:30 - 9:00
Page updated
Google Sites
Report abuse