VSL 2014: VIENNA SUMMER OF LOGIC 2014
NLCS PROGRAM

Days: Thursday, July 17th Friday, July 18th

Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-12:45 Session 66AR: Contributed talks to NLCS
Location: FH, CAD 2
10:45
How to do things with types (abstract)
11:15
Mereological Comparatives in Delineation Semantics (abstract)
11:45
Proof-Theoretic Semantics for intensional transitive verbs (abstract)
12:15
Grice, Hoare and Nash: some comments on conversational implicature (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Location: MB, Kuppelsaal
16:30
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
FLoC Closing Week 1 (abstract)
16:30-18:00 Session 80H: Contributed talks to NLCS
Location: FH, CAD 2
16:30
Algebraic Effects and Handlers in Natural Language Interpretation (abstract)
17:00
Solving Partee's Temperature Puzzle in an EFL-Ontology (abstract)
17:30
Toward a Logic of Cumulative Quantification (abstract)
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:15 Session 87H: Invited talk: Aarne Ranta (joint with NLSR)
Location: FH, CAD 2
09:00
Machine Translation: Green, Yellow, and Red (abstract) (abstract)
Thursday, July 17th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
11:45-12:45 Session 93B: talks after an invited NLCS/NLSR lecture by Aarne Ranta
Location: FH, CAD 2
11:45
Transfer Semantics for the Clear Parser (abstract)
12:15
Analyzing and Modelling the Structure of Argument Compounds in Logic: the case of technical texts (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AR: NLCS contributed talks
Location: FH, CAD 2
14:30
A low-level treatment of quantifiers in categorical compositional distributional semantics (abstract)
15:00
Divergence in Dialogues (abstract)
15:30
Modelling implicit dynamic introduction of function symbols in mathematical texts (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99AQ: NLCS contributed talks
Chair:
Location: FH, CAD 2
16:30
Program Extraction Applied to Monadic Parsing (abstract)
17:00
On Translating Context-Free Grammars into Lambek Categorial Grammars (abstract)