[TYPES] A Special Programme on Logic and Algorithm

Moshe Vardi vardi at cs.rice.edu
Wed Jan 19 08:31:05 EST 2005

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

Anuj Dawar and Moshe Y. Vardi

More information about the Types-list mailing list