Call for Papers and Other Useful Academic Information

We have a great pleasure to invite you to participate to the CSCS-17 International Conference (THE 17th INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE) to be held in Bucharest, Romania, from May 26 to May 29, 2009.
Web page: http://cscs17.srait.ro
Email: cscs17@srait.ro
The organizers of CSCS-17 would like to invite contributions at this biennial traditional event. […]

FIRST CALL FOR PAPERS
CADE-22
22nd International Conference on Automated Deduction
McGill University, Montreal, Canada
August 2-7, 2009
Submission Deadline: 23 Feb 2009
http://complogic.cs.mcgill.ca/cade22/
GENERAL INFORMATION
CADE is the major forum for the presentation of research in […]