Aarne Ranta: Tutorial 2 on type-theoretical grammar
Tid: Ti 2014-09-16 kl 14.00 - 16.00
Plats: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
Medverkande: Aarne Ranta, University of Gothenburg
Aarne Ranta will give an introduction to his system GF, a grammatical framework designed to deal with multiple languages in parallel. He is professor of Computer Science at the University Gothenburg and well-known for his seminal work on using dependent type theory as a semantics for natural language and for employing it for precise multilingual translations. The GF is system is a freely available programming language based on these ideas.
The tutorial can be taken as an introduction to a PhD-level course Logics for Linguistics that will be given Fall term 2014. (Contact Erik Palmgren if you are interested in this course.)
Tutorial 2: GF for the language of mathematics
We will focus on the problem of formalizing the language of mathematics, automatically analysing and generating mathematical text, and translating mathematics between some languages chosen by the participants.
References
A. Ranta. Grammatical Framework: Programming with Multilingual Grammars, CSLI, Stanford, 2011.
A. Ranta. Type Theoretical Grammar, Oxford University Press, Oxford, 1994.