Home

aarne's blog

Formal Mathematics in Natural Language? Some Impressions from the MathWiki Workshop

Submitted by aarne on Tue, 2007/11/13 - 16:54.

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.