The 28th International Conference on Automated Deduction (CADE-28)

Contact and Legal Notice

Event Details

The 28th International Conference on Automated Deduction (CADE-28)

Virtual Conference | July 11 to 16, 2021

Responsibility

The following organizer is responsible for the contents of this ConfTool installation:

Address:

Carnegie Mellon University
School of Computer Science
Prof. Marijn Heule
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
USA

Contact Address:

Homepage URL: https://www.cs.cmu.edu/~mheule/CADE28/

This is ConfTool Pro - Conference Management Tool · Version 2.6.143

If you want to know more about ConfTool Pro, please send an e-mail to or have a look at the ConfTool Website.