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) ====