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