Semester 3, Chalmers University
We continued working on the implementation and libraries of GF (Grammatical Framework). The most relevant project for JEM might be the technology for multilingual Wiki pages based on GF: the content is stored as an abstract syntax tree (a lambda term) on the server, and delivered in different languages on demand, running a linearizer on the client. The linearizer is implemented in JavaScript generated from GF.
The multilingual wiki technology was demonstrated in the MathWiki workshop in Edinburgh, 31 October to 1 November. The workshop also had other points of common interest with the JEM network; it was a starting point of a new European proposal.
Here is a list of JEM-related events and presentations (no JEM funding used, though):
- 12-13/9 GSLT/NGSLT International Graduate School course on GF in Gothenburg, by Aarne Ranta
- 31/10-1/11 MathWiki workshop Edinburgh, attended by Bengt Nordström and Aarne Ranta, presentation "Formal Mathematics in Informal Language" by AR
- 15-17/11 meeting at Université de Savoie, Chambéry, on natural language use in the pedagogical proof system PhoX, attended by Aarne Ranta
- 30/11 talk by Aarne Ranta at LMU Munich on "Grammars as Software Libraries"
- 21/12 release of GF version 2.9; software, documents, and demos available in http://digitalgrammars.com/gf
- Utskriftsversion
- 864 läsningar

