Semester 3, Chalmers University

Reporting_period: 
Semester 3: 1/08/07 - 31/01/08

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