[TYPES] A Special Programme on Logic and Algorithm

[Moshe Vardi]

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