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.

Hello,

The MathWiki meeting in Edinburgh progresses well.

Olga Caprotti suggested that attendees of the meeting posted their slides at jem-thematic.net. I have put some machine checked, commented slides here:

http://logiweb.eu/grue/pages/MathWiki+2007+Logiweb+slides/undated/body/i...

Just click 'PDF' to get to the PDF version of the slides.

Maybe someone at jem-thematic.net could add to a diner conversation: What is the best format for delivering mathematics to an html browser? Suggestions are:

- PDF (but links in PDFs do not work well)