Contact and Legal Notice


Event Details

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

Virtual Conference | July 11 to 16, 2021



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


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

Contact Address:

Homepage URL:


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.

Contact and Legal Notice · Contact Address:
Privacy Statement · Conference: CADE-28
Conference Software - ConfTool Pro 2.6.143
© 2001–2022 by Dr. H. Weinreich, Hamburg, Germany