Ljubljana, Slovenia
Supported by 2020 MSCA-Rise project MOSAIC
Organisers: Michael Moortgat and Mehrnoosh Sadrzadeh
By calling into question the implicit structural rules that are taken for granted in classical logic, substructural logics have brought to the fore new forms of reasoning with applications in many interdisciplinary areas of interest. Modalities, in the substructural setting, provide the tools to control and finetune the logical resource management. The workshop explores the uses of substructural modalities in areas where logic meets linguistics and computer science. The workshop is supported by the EU-funded MOSAIC project (Modalities in Substructural Logics: Theory, Methods and Applications).
7th of August
Alessandra Palmigiano (Invited, Vrije Universiteit Amsterdam) -- 11.00 - 11.50
Daniel Rogozin -- 11.50 - 12.20
Lunch -- 12.30 - 2.00
Stephan Kuznetsov -- 2.00 - 2.40
Lachlan McPheat -- 2.40 - 3.20
8th of August
Lewis-Smith -- 11.00 - 11.40
Pshenitsyn -- 11.40 - 12.20
Lunch -- 12.30 - 2.00
Kohei Kishida (Invited, (Univesity of Illinois, Urbana-Champaign) -- 2.00 - 2.50
Valentin Goranko -- 2.50 - 3.10
Gijs Wijnholds -- 3.10 - 3. 30
Alessandra Palmigiano (Invited)
Kohei Kishida (Invited)
Daniel Rogozin
Tikhon Pshenitsyn
Andrew Lewis-Smith
Eben Blaisdell, Max Kanovich, Stepan Kuznetsov, Elaine Pimentel and Andre Scedrov
Lachlan McPheat and Daphne Wang
Willem Conradie, Valentin Goranko, Peter Jipsen
Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds
PROGRAMME COMMITTEE
Nick Bezhanishvili (U of Amsterdam)
Sabine Fritella (INSA)- Rajeev Gore (ANU Canberra)
Giuseppe Greco (Vrije Universiteit Amsterdam)
Rajeev Gore (ANU Canberra)
Rosalie Iemhoff (Utrecht University)
Michael Moortgat (Utrecht University, co-chair)
Richard Moot (LIRMM Montpellier)
Valeria de Paiva (Topos Institute, Berkeley)
Mehrnoosh Sadrzadeh (UCL, co-chair)
Andre Scedrov (UPenn)
Sonja Smets (U of Amsterdam)