Meetings
1 link
Logic and Algorithms
newton.cam.ac.uk
Research session at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; 16 January -- 7 July 2006.