The Isaac Newton Institute for Mathematical Science in Cambridge, UK (http://www.newton.cam.ac.uk/) will hold a Special Programme on Logic and Algorithms (LAA) during the first half of 2006. A brief statement on the programme's focus areas can be seen at http://www.newton.cam.ac.uk/programmes/LAA/. For a list of workshops, see http://www.newton.cam.ac.uk/programmes/LAA/ws.html. To receive further announcements on LAA events, see instructions at http://www.newton.cam.ac.uk/programmes/LAA/list.html. Anuj Dawar and Moshe Y. Vardi 20-Jan-2005 15:07:43 -0400,959;000000000001-00000000