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