[isabelle] 2006 Programme on Logic and Algorithms - Workshops

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 

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

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.