VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Abeille, Anne	TBA
Amblard, Maxime	Algebraic Effects and Handlers in Natural Language Interpretation
B
Berger, Ulrich	Program Extraction Applied to Monadic Parsing
Burnett, Heather	Mereological Comparatives in Delineation Semantics
C
Casadio, Claudia	Computing Italian clitic and relative clauses with tupled pregroups
Cooper, Robin	How to do things with types
Cramer, Marcos	Modelling implicit dynamic introduction of function symbols in mathematical texts
Crouch, Richard	Transfer Semantics for the Clear Parser
F
Fouquere, Christophe	Divergence in Dialogues
Francez, Nissim	Proof-Theoretic Semantics for intensional transitive verbs
J
Jones, Alison	Program Extraction Applied to Monadic Parsing
K
Kanazawa, Makoto	Toward a Logic of Cumulative Quantification
Kang, Juyeon	Analyzing and Modelling the Structure of Argument Compounds in Logic: the case of technical texts
Kislak-Malinowska, Aleksandra	Computing Italian clitic and relative clauses with tupled pregroups
Kuznetsov, Stepan	On Translating Context-Free Grammars into Lambek Categorial Grammars
L
Liefke, Kristina	Solving Partee's Temperature Puzzle in an EFL-Ontology
M
Maršík, Jiří	Algebraic Effects and Handlers in Natural Language Interpretation
P
Parikh, Rohit	Grice, Hoare and Nash: some comments on conversational implicature
Patrick, Saint Dizier	Analyzing and Modelling the Structure of Argument Compounds in Logic: the case of technical texts
Q
Quatrini, Myriam	Divergence in Dialogues
R
Rypacek, Ondrej	A low-level treatment of quantifiers in categorical compositional distributional semantics
S
Sadrzadeh, Mehrnoosh	A low-level treatment of quantifiers in categorical compositional distributional semantics
Seisenberger, Monika	Program Extraction Applied to Monadic Parsing
Shimada, Junri	Toward a Logic of Cumulative Quantification
V
Vieu, Laure	TBA

Disclaimer | Powered by EasyChair Smart Program