The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.


Seminars

Participants

Additional Links

Isaac Newton Institute for Mathematical Sciences

Logic and Algorithms

16 January - 7 July 2006

Organisers: Dr A Dawar (Cambridge), Professor MY Vardi (Rice)

Contacts

Dr A Dawar
Computing Laboratory
William Gates Building
JJ Thomson Avenue
Cambridge
CB3 0FD
Office Phone: (01223) 334408
Fax Number: (01223) 334678
Email anuj.dawar@cl.cam.ac.uk

Professor MY Vardi
Department of Computer Science
Mail Stop 132
Rice University
6100 S. Main Street
Houston, TX 77005-1892
USA
Office Phone: 001 713 348 5977
Fax Number: 001 713 348 5930
Email vardi@cs.rice.edu