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