Schedule
This is the programme of WoLLIC 2019 and the two satellite workshops.
Monday Tuesday Wednesday Thursday Friday Saturday
PLEASE PAY ATTENTION: Unfortunately, the talk of Raffaella Bernardi is cancelled due to personal circumstances. Therefore the programme has slightly changed.
Friday July 5 – WoLLIC
| 9:40 – 10:30 | Invited talk Johan Bos – Interlingual Meaning Representations |
| 10:30 – 11:00 | Coffee Break |
| Parallel session block | |
| 11:00 – 11:30 | (A) Max Kanovich, Stephan Kuznetsov, Andre Scedrov The complexity of multiplicative-additive Lambek calculus: 25 years later (B) Ilya Shapirovsky Modal logics of finite direct powers of ω have the finite model property |
| 11:30 – 12:00 | (A) Max Kanovich, Stephan Kuznetsov, Andre Scedrov L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit (B) Sergey Bozhko, Leyla Khatbullina, Semyon Grigorev Bar-Hillel theorem mechanization in Coq |
| 12:00 – 12:30 | (A) Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco Proof-net as graph, Taylor expansion as pullback (B) Bahareh Afshari, Gerhard Jäger, Graham. E. Leigh An infinitary treatment of full μ-calculus |
| 12:30 – 14:30 | Lunch |
| 14:30 – 15:00 | Patrick Blackburn, Manuel Martins, María Mazano, Antonia Huertas Rigid first-order hybrid logic |
| 15:00 – 15:30 | Noortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer A Framework for distributional formal semantics |
| 15:30 – 16:00 | Coffee break |
| 16:00 – 16:30 | Yusuke Kubota, Robert Levine Modal auxiliaries and negation: a type-logical account |
| 16:30 – 17:00 | Kristina Liefke A case for property-type semantics |
| 17:00 – 17:30 | Gian Carlo Milanese, Yde Venema Closure ordinals of the two-way modal μ-calculus |
| 17:30 – 17:40 | Closing |