Subject: categories: 2006 Programme on Logic and Algorithms - Workshops

From: [email-masked] (MYV)
Date: Thu, 22 Dec 2005 14:14:06 -0600 (CST)

During the first half of 2006, the Isaac Newton Institute for
Mathematical Sciences at Cambridge, UK, will hold a Special Programme
on Logic and Algorithms. The programme will include six workshops:

9 - 13 January
Finite and Algorithmic Model Theory (A Satellite Meeting at Durham)

27 February - 3 March
Logic and Databases

20 - 24 March
Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory
(A Satellite Meeting at Oxford)

10 - 13 April
New Directions in Proof Complexity

8 - 12 May
Constraints and Verification

3 - 7 July
Games and Verification

The workshops are open to participation. See
http://www.newton.cam.ac.uk/programmes/LAA/ws.html

To join the mailing list,
see http://www.newton.cam.ac.uk/programmes/LAA/list.html

For further information, contact vardi at cs dot rice dot edu.

Moshe Vardi