Partial funding for this site is provided by the NSF Grant #9972311.
Some of site's the pages are produced dynamically using code derived from the bib2html package by David Hull.
Many thanks to the following people (in alphabetical order)
who have provided contributions or support:
Nikolaj Bjørner, Peter Baumgartner, Michael Fisher, Bernhard Gramlich, Reiner Hähnle, Michael Kohlhase, Erica Melis, Silvio Ranise, Christophe Ringeissen.