Logic List Mailing Archive

Workshops as part of the special programme on Logic and Algorithms at the Isaac Newton Institute

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