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 [...]

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 all aspects of automated deduction. The conference programme will include invited talks, paper presentations, system descriptions, workshops, tutorials, [...]