Logo Utrecht University

26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), 2-5 July

Schedule

This is the programme of WoLLIC 2019 and the two satellite workshops.


Monday     Tuesday     Wednesday     Thursday     Friday     Saturday


Wednesday July 3 – WoLLIC

9:10 – 10:00 Invited talk – Introduction
Marta Bílková
– On Infinitary Proof Theory of Logics of Information and Common Belief
10:00 – 10:30 Tommaso Flaminio, Lluis Godo, Ricardo O. Rodríguez
A representation theorem for finite Gödel algebras with operators
10:30 – 11:00 Coffee Break
Parallel session block
11:00 – 11:30 (A) Hitosho Omori, Daniel Skurt
SIXTEEN3 in light of Routley stars

(B) Sam Sanders
Reverse mathematics and computability theory of domain theory
11:30 – 12:00 (A) Carlos Caleiro, Sergio Marcelino
Analytic calculi for monadic PNmatrices

(B) Makoto Fujiware
Bar induction and restricted classical logic
12:00 – 12:30 (A) Roberto Ciuni, Thomas M. Ferguson, Damian Szmuc
Modeling the interaction of computer errors by four-valued contaminating logics

(B) David Fernandez-Duque, Eduardo Hermo-Reyes
A self-contained provability calculus for Γ0
12:30 – 14:00 Lunch
14:00 – 14:30 Igor Sedlar
Substructural propositional dynamic logics
14:30 – 15:20 Invited talk – Advanced
Marta Bílková
15:20 – 15:50 Coffee break
15:50 – 16:20 Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Tuyt
The one-variable fragment of Corsi logic
16:20 – 16:50 Jim de Groot, Dirk Pattinson
Hennessy-Milner properties for (modal) bi-intuitionistic logic
16:50 – 17:20 Fei Liang, Thiago Nascimento
Algebraic semantics for quasi-Nelson logic
18:00 – 20:00 Movie in ZIMIHC theater Wittevrouwen (Google maps)