Archive for March 7th, 2008

Special issue of the Journal of Symbolic Computation on “Automated Deduction: Decidability, Complexity, Tractability”

[We apologize if you receive multiple copies of this announcement]
——————————————————————-
CALL FOR PAPERS
Journal of Symbolic Computation
[…]

March 7th, 2008 | Posted in CFP | Comments Off

Bristol Summer School - last week

——————————————————————————————————-
Registration deadline: 14th March, 2008
Bristol Summer School on Probabilistic Techniques in Computer Science
6-11 July 2008
[…]

March 7th, 2008 | Posted in CFP | Comments Off