CFP summary
CADE is the major international forum for presenting research on all aspects of automated deduction. The 30th edition takes place in Stuttgart and includes invited talks, paper presentations, workshops, tutorials, and system competitions. As a flagship meeting for theorem proving and formal reasoning, CADE brings together researchers working on the theory, implementation, and application of automated deduction methods.
Topics
Automated deduction; theorem proving; logic and reasoning systems; invited talks, research papers, workshops, tutorials, and system competitions in formal reasoning and automated proof technology.