On Wednesday 27 November 2019, the ILLC is organising a workshop and reception to celebrate Dick de Jongh's 80th birthday. The workshop will take place in the ILLC Common Room, to be followed by a Reception (in the same place). Everybody at ILLC is most welcome to attend!
The workshop will take place in ILLC's Common Room, SP107, F1.21.
09:45-10:00 | Walk in / Coffee & Tea |
10:00-10:10 | Welcome by Nick Bezhanishvili |
10:10-10:50 | Fan Yang Intuitionistic logic in the team semantics setting |
10:50-11:30 | Nina Gierasimczuk The Simplest Kind of Learning |
11:30-12:00 | Coffee & Tea |
12:00-12:40 | Almudena Colacito Semantic and proof-theoretic aspects of subminimal negation |
12:40-14:00 | Lunch |
14:00-14:40 | Joost Joosten Interpretability principles and logics for weak arithmetic theories |
14:40-15:20 | Dick de Jongh & Lex Hendriks Subminimal negation based on a class of absurdities |
15:20-15:50 | Coffee break |
15:50-16:30 | Rineke Verbrugge Modal zero-one laws: provability logic, Grzegoczyk logic and weak Grzegorczyk logic |
16:30-18:00 | Borrel |