CADE-25 Awards
- The 2015 Herbrand Award goes to Andrei Voronkov
- CADE-20 (2005): Nominal techniques in Isabelle/HOL by Christian Urban and Christine Tasson
- CADE-14 (1997): SATO: An Efficient Propositional Prover by Hantao Zhang
- CADE-8 (1986): Commutation, Transformation, and Termination by Leo Bachmair and Nachum Dershowitz
- CADE-0/1 (1968 and 1975): The mathematical language AUTOMATH, its usage, and some of its extensions by N. G. de Bruijn
Members of the 2015 Skolem Award Selection Committee: Alessandro Armando, Gilles Barthe, Claude Kirchner (Chair), Christopher Lynch, Leonardo de Moura, Uli Sattler, Geoff Sutcliffe, Toby Walsh, Christoph Weidenbach
- Abstract Interpretation as Automated Deduction by Vijay D`Silva and Caterina Urban
- The CADE-25 Woody Bledsoe Travel Award winners are: Chelsea Battel, Jonas Betzendahl, Martin Bromberger, Andrew Cave, Mathias Fleury, Nathan Fulton, Jan Gorzny, Julian Nagele
- The following students have been participated in the CADE-25 Student Volunteer Program: Haniel Barbosa, Kathrin Stark, Sylvia Grewe, Maximilian Paul Louis Haslbeck, Jan Gorzny, Irene Lobo Valbuena, Mathias Fleury, Chelsea Battell, Nathan Fulton, Hans-Jörg Schurr
