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


Thursday July 4 – WoLLIC

9:00 – 9:30 Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg
Modelling informational entropy
9:30 – 10:00 Hans van Ditmarsch, Louwe B. Kuijer
Knowledge without complete certainty
10:00 – 10:30 Alexandru Baltag, Nick Bezhanishvili, Saúl F. González
The McKinsey-Tarski theorem for topological evidence logics
10:30-11:00 Coffee Break
Parallel session block
11:00 – 11:30 (A) Denis I. Saveliev
On first-order expressibility of satisfiability in submodels

(B) Miika Hannula, Lauri Hella
Complexity thresholds in inclusion logic
11:30 – 12:00 (A) Nick Bezhanishvili, Gianluca Grilleti, Wesley H. Holliday
Algebraic and topological semantics for inquisitive logic via choice-free duality

(B) Flavio Ferrarotti, Senén González, José M. T. Torres, Jan van den Bussche, Jonni Virtema
Descriptive complexity of deterministic polylogarithmic time
12:00 – 12:30 (A) Juha Kontinen, Fan Yang
Logics for first-order team properties

(B) Raheleh Jalali
An exponential lower bound for proofs in focused calculi
12:30 – 14:00 Lunch
14:00 -1 4:50 Invited talk
Reinhard Muskens – Logic, Lambdas, Vectors, and Concepts
14:50 – 15:20 Eveline Lehmann, Thomas Studer
Subset models for justification logic
15:20 – 15:50 Coffee break
15:50 – 16:20 Matteo Acclavio, Lutz Strassburger
On combinatorial proofs for logics of relevance and entailment
17:30 – 18:30 Drinks at the Utecht University Hall (Google maps)
19:00 – 21:00 Dinner at The Colour Kitchen Oude Gracht (Google maps)