 Conference on Automated Deduction

The Conference on Automated Deduction (CAD) is a scientific conference that focuses on research in the field of automated reasoning and formal methods. It provides a platform for researchers, practitioners, and students to present their work, share ideas, and discuss advancements in the area of automated deduction, which involves the use of algorithms and software to derive conclusions from premises using logical reasoning.