Symposium
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)

Stockholm, August 28–31 2018
Department of Mathematics, Stockholm University


Programme

Day 1: Tuesday, 28 Aug 2018

8:45-9:25 Registration
09:25-9:30 Opening
Chair: Roussanka Loukanova
9:30-10:30
 
Ron Kaplan (Stanford University) Keynote Speaker
An Architecture for Structured Ambiguity Management
slides-LACompLing2018/Kaplan-StructuredAmbiguity-Stockholm.pptx
10:30-11:00 Coffee Break
Chair: Roussanka Loukanova
11:00-12:00
 
Satoshi Tojo (Japan Advanced Institute of Science and Technology - JAIST) Invited Speaker
Linear Algebraic Representation of Knowledge State of Agent
slides-LACompLing2018/18LAcompling_tojo.pdf
12:00-13:30 Lunch
Chair: Philippe de Groote
13:30-14:30
 
Zhaohui Luo (Royal Holloway, University of London) Invited Speaker
Formal Semantics in Modern Type Theories: An Overview
slides-LACompLing2018/ZhaohuiLuo-LACompLing18final.pdf
14:30-15:30
 
Robin Cooper (University of Gothenburg) Invited Speaker
How to Play Games with Types (joint work with Ellen Breitholtz)
slides-LACompLing2018/playing-slides.pdf
15:30-16:00 Coffee Break
Chair: Yusuke Kubota
16:00-17:00
 
Justyna Grudzinska (University of Warsaw) Invited Speaker
Taking Scope with Continuations and Dependent Types (joint work with Marek Zawadowski)
slides-LACompLing2018/JustynaGrudzinska-Stockholm18.pdf
17:00-18:00
 
Tim Fernando (Trinity College Dublin)
Intervals and Events with and without Points
slides-LACompLing2018/tFernandoStock2018.pdf

Day2: Wednesday, 29 Aug 2018

Chair: Tim Fernando
09:00-10:00
 
Jonathan Ginzburg (Université Paris-Diderot and LabEx-EFL) Invited Speaker
Combining Verbal and Non-Verbal Interaction in Dialogue
10:00-10:30 Coffee Break
Chair: Tim Fernando
10:30-11:30
 
Shalom Lappin (University of Gothenburg) Invited Speaker
Towards a Computationally Viable Framework for Semantic Representation
slides-LACompLing2018/lappin_lacompling18_slides.pdf
11:30-12:00
 
Rasmus Blanck and Aleksandre Maskharashvili (University of Gothenburg)
slides-LACompLing2018/Blanck-Maskh-2018.pdf
From TAG to HOL representations of AMRs via ACGs
12:00-13:30 Lunch
Chair: Manfred Sailer
13:30-14:30
 
Robert Östling (Stockholm University) Invited Speaker
Language Structure from Parallel Texts
slides-LACompLing2018/RobertOstling-lacompling.pdf
14:30-15:30
 
Lasha Abzianidze (University of Groningen) Invited Speaker
Compositional Semantics in the Parallel Meaning Bank (joint work with Johan Bos)
slides-LACompLing2018/LashaAbzianidzeCompSemInPMB-LACompLing.pdf
15:30-16:00 Coffee Break
Chair: Justyna Grudzinska
16:00-17:00
 
Yusuke Kubota (University of Tsukuba) Invited Speaker
Type-Logical Grammar and Natural Language Syntax
slides-LACompLing2018/YusukeKubota-LACompLing18-slides.pdf
17:00-18:00
 
Annie Foret (University of Rennes 1) Invited Speaker
On Categorial Grammatical Inference and Logical Information Systems
slides-LACompLing2018/AnnieForet-lacl2018.pdf

Day3: Thursday, 30 Aug 2018

Chair: Christian Wurm
09:00-10:00
 
Marie Duzi (VSB-Technical University of Ostrava) Invited Speaker
Negation, Presupposition and Truth-Value Gaps
slides-LACompLing2018/MarieDuzi-Stockholm-MD-clean.pptx
10:00-10:30 Coffee Break
Chair: Christian Wurm
10:30-11:30
 
Hercules Dalianis (Stockholm University) Invited Speaker
HEALTH BANK - A Workbench for Data Science Applications in Healthcare
slides-LACompLing2018/OH-Talk-Hercules-HEALTH-BANK-LACompLing-Aug-2018.pdf
11:30-12:00
 
Yuan Xie (Utrecht University)
Referential Dependencies in Chinese: A Syntax-Discourse Processing Model
slides-LACompLing2018/YuanXie-LACompLing2018.ppt
12:00-13:30 Lunch
Chair: Zhaohui Luo
13:30-14:30
 
Krasimir Angelov (University of Gothenburg and Digital Grammars AB) Invited Speaker
A Parallel WordNet and Treebank in English, Swedish and Bulgarian
14:30-15:30
 
Aarne Ranta (University of Gothenburg and Digital Grammars AB) Invited Speaker
Concept Alignment for Compositional Translation
slides-LACompLing2018/AarneRanta-concept-alignment-LACompLing-2018.pdf
15:30-16:00 Coffee Break
Chair: Aarne Ranta
16:00-17:00
 
Hans Leiß (Ludwig-Maximilians-Universität München) Invited Speaker
Predication with Sentential Subject in GF
slides-LACompLing2018/HansLeiss-subject-sentences-slides.pdf
17:00-18:00
 
Harald Hammarström (Uppsala University) Invited Speaker
Intelligibility in Natural Languages and Formal Languages

Day4: Friday, 31 Aug 2018

Chair: Satoshi Tojo
09:00-10:00
 
Frank Richter (Goethe University Frankfurt a.M.) Invited Speaker
Computational Semantics: Representations and Reasoning
slides-LACompLing2018/Richter_ComputationalSemantics.pdf
10:00-10:30 Coffee Break
Chair: Satoshi Tojo
10:30-11:30
 
Christian Wurm (University of Düsseldorf) Invited Speaker
Reasoning with Ambiguity
11:30-12:30
 
Philippe de Groote (Inria) Invited Speaker
New Progress in Continuation-Based Dynamic Logic
slides-LACompLing2018/Philippe-deGroote-LACompLing2018.pdf
12:30-13:30 Lunch
Chair: Annie Foret
13:30-14:30
 
Manfred Sailer (Goethe University Frankfurt a.M.) Invited Speaker
Contraint-Based Underspecified Semantic Combinatorics
slides-LACompLing2018/ManfredSailer-constraint-based-semantics.pdf
14:30-15:30
 
Mehrnoosh Sadrzadeh (Queen Mary University of London) Invited Speaker
Lambdas, Vectors, and Dynamic Logic (joint work with Reinhard Muskens)
slides-LACompLing2018/MehrnooshSadrzadeh-LACompLing2018.pdf
15:30-16:00 Coffee Break
Chair: Roussanka Loukanova
16:00-16:30
 
Mehdi Mirzapour, Jean-Philippe Prost and Christian Retoré (University of Montpellier)
Categorial Proof Nets and Dependency Locality: A New Metric for Linguistic Complexity
slides-LACompLing2018/MehdiMirzapour-LACompLing2018-CPN-DLT.pdf
16:30-17:30
 
María Dolores Jiménez López (Universitat Rovira i Virgili) Invited Speaker
Complexity, Natural Language and Machine Learning
slides-LACompLing2018/slides-LACOMLing2018_M.DoloresJimenezLopez.pdf
17:30-18:00
 
Adrià Torrens Urrutia (Universitat Rovira i Virgili)
A Proposal to Describe Fuzziness in Natural Language
slides-LACompLing2018/Torrens-Slides-LACompLing2018.pdf

Last modified: Sun Sep 23 20:55:46 CEST 2018