Posted: 27th April 2015

CADE, the Conference on Automated Deduction,  is the major international conference for the presentation of research in all aspects of the technologies  that underlies everything from proving hard theorems in mathematics, to verifying the complex code underlying Facebook or Amazon.  In 2015 it celebrates its  25th anniversary, and  Ursula Martin will present a plenary  lecture addressing the Past, Present and Future of Automated Deduction.

http://conference.mi.fu-berlin.de/cade-25/home