CADE-25 Awards


Herbrand Award

Skolem Award(s)
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



Best Paper Award


Woody Bledsoe Travel Awards
  • 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
Student Volunteer Program:
  • 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