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


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