Call for Participation

Symposium Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021) 15 - 17 December 2021, Online

https://staff.math.su.se/rloukanova/LACompLing2021-web/

Online streaming by CNRS, Montpellier, France

https://malin2021.sciencesconf.org

LACompLing2021 is part of the week Mathematical Linguistics (MALIN) 2021, Université de Montpellier, LIRMM, CNRS, Montpellier, France 13--17 December 2021, Online

==== PROGRAM

WEDNESDAY DECEMBER 15 / Wed 15 Dec

09:00-9::40 Wed 15 Dec Stefan Müller (Humboldt-Universität zu Berlin, Germany) The CoreGram Project: Deriving Crosslinguisitc Generalizations with HPSG Grammars of Multiple Languages (Invited Talk)

9:40-10:20 Wed 15 Dec Lars Hellan (Norwegian University of Science and Technology, Norway) A Unified Valence Resource (Invited Talk)

10:20-10:40 Break

10:40-11:00 Wed 15 Dec Luuk Suurmeijer (Heinrich Heine University Düsseldorf), Noortje Venhuizen (Saarland University) and Harm Brouwer (Saarland University, Germany) Compositionality in Distributional Formal Semantics

11:00-12:00 Wed 15 Dec Michael Moortgat (Utrecht University, Netherlands) Dependency Relations, Modalities and the Syntax-Semantics Interface (Keynote Talk)

12:00-13:30 Lunch break

13:30-14:10 Wed 15 Dec Stepan Kuznetsov (Steklov Mathematical Institute, RAS, Russia) Complexity of the Lambek Calculus and Its Extensions (Invited Talk)

14:10-14:30 Wed 15 Dec Renhao Pei (Utrecht University, Netherlands) Generating Pragmatically Appropriate Sentences from Propositional Logic: the Case of Conditional and Biconditional

14:30-15:30 Wed 15 Dec Christian Retoré (Université de Montpellier and LIRMM-CNRS, France) Inferentialism and Natural Language Semantics, with a Focus on Quantifiers (Keynote Talk)

15:30-15:50 Break

15:50-16:30 Wed 15 Dec Denis Bechet (LS2N - University of Nantes, France) and Annie Foret (IRISA, University of Rennes 1, France) Categorial Dependency Grammars: Analysis and Learning (Invited Talk)

16:30-17:30 Wed 15 Dec Tracy King (Adobe, United States) White Roses, Red Backgrounds: Bringing Structured Representations to Search (Keynote Talk)

THURSDAY DECEMBER 16 / Thu 16 Dec

09:00-09:20 Thu 16 Dec Hitomi Yanaka (The University of Tokyo, Japan) Towards Compositional Semantics and Inference System for Telicity

09:20-09:40 Thu 16 Dec Daisuke Bekki, Ribeka Tanaka and Yuta Takahashi (Ochanomizu University, Japan) Integrating Deep Neural Network with Dependent Type Semantics

09:40-10:20 Thu 16 Dec Zhaohui Luo (Dept of Computer Science, Royal Holloway, Univ of London, United Kingdom) Universes in Type-Theoretical Semantics (Invited Talk)

10:20-10:40 Break

10:40-11:20 Thu 16 Dec Kristina Liefke (Ruhr University Bochum, Germany) Meaning-Driven Combinatorial Restrictions and 'imagine *whether' (Invited Talk)

11:20-12:00 Thu 16 Dec Alexey Stukachev (Sobolev Institute of Mathematics, Novosibirsk State University, Russia) Generalized Computability and Effective Model Theory in Mathematical Linguistics (Invited Talk)

12:00-13:30 Lunch break

13:30-14:30 Thu 16 Dec Richard Moot, (Université de Montpellier and LIRMM-CNRS, Montpellier, France Graph Rewriting as a Universal Proof Theory for Modern Type-Logical Grammars (Keynote Talk)

14:30-15:30 Thu 16 Dec Randy Harris (University of Waterloo, Canada) Rhetorical Figures as Algorithms (Keynote Address)

FRIDAY DECEMBER 17 / Fri 17 Dec

09:00-10:00 Fri 17 Dec Aarne Ranta (University of Gothenburg, Sweden) Abstract Wikipedia and Vastly Multilingual Natural Language Generation (Keynote Talk)

10:00-10:20 Fri 17 Dec Inari Listenmaa (Singapore Management University, Singapore), Martin Strecker (Singapore Management University, Singapore) and Warrick Macmillan (University of Gothenburg, Sweden) Natural Language Generation and Processing for the Legal Domain

10:20-10:40 Break

10:40-11:20 Fri 17 Dec Bjoern Jespersen (Utrecht University, Netherlands) Impossibilities without Impossibilia (Invited Talk)

11:20-12:00 Fri 17 Dec Marie Duzi (VSB-Technical University of Ostrava, Czechia) Questions and Answers on Dynamic Activities of Agents (Invited Talk)

12:00-13:30 Lunch break

13:30-13:50 Fri 17 Dec Symon Jory Stevensguille (The Ohio State University, United States) Decomposing Events into GOLOG

13:50-15:30 Fri 17 Dec Lasha Abzianidze (Utrecht University, Netherlands) How to Train a Theorem Prover for Natural Language Inference (Invited Talk)

15:30-16:00 Break

16:00-17:00 Fri 17 Dec Larry Moss (Indiana University Mathematics Department, United States) Monotonicity in Natural Language Inference: Theory and Practice (Keynote Talk LACL / LACompLing2021)

====