* 2006 Programme on Logic and Algorithms - Workshops
@ 2005-12-22 20:14 MYV
0 siblings, 0 replies; only message in thread
From: MYV @ 2005-12-22 20:14 UTC (permalink / raw)
To: categories
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-12-22 20:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-12-22 20:14 2006 Programme on Logic and Algorithms - Workshops MYV
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).