CADE conference 25th anniversary, Ursula Martin plenary speaker
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.