The slides can be found here. They contain a pointer to the example grammars, including the Spanish one that was built during the tutorial.

Jordi Saludes and I gave a tutorial in Trondheim this morning. The slides will appear at http://gf.digitalgrammars.com within a couple of days. Using the GF resource grammar library, we could 90 minutes get from no GF to a level at which we had a mathematical translation grammar in four languages (English, French, Italian, Swedish) and, in interaction with the audience, ported it to a fifth one, Spanish.

Bengt Nordström and I went to the MathWiki workshop

http://homepages.inf.ed.ac.uk/da/mathwiki

in Edinburgh. It was organized within the European TYPES programme

http://www.cs.chalmers.se/Cs/Research/Logic/Types

which Bengt coordinates. Since 1993, I used to go to Types meetings regularly. In the last three years, however, other things have prevented me from attending them, so it was nice to see all these colleagues again and get an update of those aspects of Types which are maybe the closest to my current interests.