More about the new site
Direct links to the old version of the site have just stopped working, but in case you still need to access it for some reason you can still do it here. The old pages will not receive any updates in the future. We decided to drop the BibTeX version of the bibliography, since it was quite tiresome to maintain and saw little use. Old news items will not be transferred either.