Customize

1. You can enlarge the whole site (character size and with) by using the browser function to change characters size.

2. To your right it is possible to change the character size, font, spacing, characters and letters as well as adjust the colours. This will have consequences for the appearance of the whole website design. It will effect all pages at the University  of Gothenburg's website. The changes will remain the next time you log in. (To save your changes the browser must allow cookies.)

*Changes has been made to the look of this website


TTNLS: Programme

Home | Call for papers | Programme committee | Programme | Important dates

All talks will take place in lecture room HC1 at Chalmers Technical University. For details see the attached map below or here. Each talk will be divided into 25 minutes for presentation and 5 minutes for questions. Full papers are available in ACL proceedings.

8:45 - 9:00: Opening remarks
Robin Cooper

9:00 - 10:00: Invited talk: Types and Records for Predication
Aarne Ranta

10:00-10:30: System with Generalized Quantifiers on Dependent Types for Anaphora
Justyna Grudzinska1 and Marek Zawadowski2
1University of Warsaw, Institute of Philosophy, 2University of Warsaw, Institute of Mathematics

10:30 - 11:00: Coffee break

11:00 - 11:30: Monads as a Solution for Generalized Opacity
Gianluca Giorgolo1 and Ash Asudeh2
1University of Oxford, 2University of Oxford & Carleton University

11:30 - 12:00: The Phenogrammar of Coordination
Chris Worth
The Ohio State University

12:00 - 12:30: Natural Language Reasoning Using Proof Technology: Rich Typing and Beyond
Stergios Chatzikyriakidis1 and Zhaohui Luo2
1 2Royal Holloway, University of London

12:30 - 14:00: Lunch

14:00 - 14:30: A Type-Driven Tensor-Based Semantics for CCG
Jean Maillard1, Stephen Clark1, Edward Grefenstette2
1University of Cambridge, 2University of Oxford

14:30 - 15:00: From Natural Language to RDF Graphs with Pregroups
Antonin Delpeuch1 and Anne Preller2
1√Čcole Normale Sup√©rieure, 2LIRMM

15:00 - 15:30: Incremental semantic scales by strings
Tim Fernando
Trinity College Dublin

15:30 - 16:00: Coffee break

16:00 - 16:30: A Probabilistic Rich Type Theory for Semantic Interpretation
Robin Cooper1, Simon Dobnik1, Shalom Lappin2, Staffan Larsson1
1University of Gothenburg, 2King's College London

16:30 - 17:00: Probabilistic Type Theory for Incremental Dialogue Processing
Julian Hough1 and Matthew Purver2
1 2Queen Mary University of London

17:00 - 17:30: Abstract Entities: a type theoretic approach
Jonathan Ginzburg1, Robin Cooper2, Tim Fernando3
1Université Paris-Diderot (Paris 7), 2University of Gothenburg, 3Trinity College Dublin

17:30 - 18:30: Concluding discussion

19:00 - 21:00: EACL Reception

Attachments: 
To the top

Page updated: 2014-09-09 15:33

Send as email
Print page
Show as pdf

X
Loading