MiG

CADE 25

01. - 07.08.2015

The 25th International Conference on Automated Deduction (CADE-25)  will be held at the Freie Universität Berlin from August 1-7, 2015 . Conference Chair: Dr. C. Benzmüller.