Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
CADE 2015 - 25th International Conference on Automated Deduction
Topics/Call fo Papers
The conference will be held from the 1st to 7th of August, 2015 in Berlin at the Freie Universität Berlin.
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, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem award(s) for influential historical CADE papers will be presented at the conference.
For more information on CADE, including a list of previous conferences, see here http://cadeinc.org.
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, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem award(s) for influential historical CADE papers will be presented at the conference.
For more information on CADE, including a list of previous conferences, see here http://cadeinc.org.
Other CFPs
- 20th Computer Vision Winter Workshop
- International Workshop on Self-optimisation in Organic and Autonomic Computing Systems (SAOS)
- 11th Workshop on Dependability and Fault Tolerance (VERFE'15)
- International Workshop on Multi-Objective Many-Core Design (MOMAC)
- 1th Workshop on Complex Problems over High Performance Computing Architectures
Last modified: 2014-10-29 22:32:16