CADE is the major
forum for presentation of research in all aspects of automated deduction. Invited talks by
E. Grädel, Z. Manna, R. Nieuwenhuis, T. Nipkow
36
contributed papers, including 16 system descriptions
ATP
System Competition, and Contest for Inductive Theorem Provers
Topics
Program
Affiliated
Workshops
Chairs
and Committee
Schedule
Papers
Student
Travel Award - Call for Nominations
Competitions
Registration
Business Meeting
|
