Alan Mathison Turing (1912-1954): British mathematician, cryptographer, and one of the key inventors of the modern computer. After his profound contributions to helping win World War II, he was persecuted for his homosexuality by his own government, and driven to suicide. Maintained by Turing biographer Andrew Hodges: extensive resources and links, online versions of several long essays on Turing

Alan Turing Year: Site for the 2012 Turing Centenary. Comprehensive list of events

The Coq proof assistant: Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification

WoLLIC - Vision: A series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. Proceedings, reports and comments on the series