Skip to main content

CADE conference 25th anniversary, Ursula Martin plenary speaker


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.


Ursula Martin
(Professor of Computer Science, School of Informatics, University of Edinburgh)