CADE

From Openresearch
Jump to: navigation, search


CADE
Logo of CADE
International Conference on Automated Deduction
Avg. acceptance rate: 42.9
Table of Contents

International Conference on Automated Deduction (CADE) has an average acceptance rate of 42.9% .

Events

The following events of the series CADE are currently known in this wiki:

 FromToCityCountryGeneral chairPC chairAcceptance rateAttendees
CADE 2020Jun 29Feb 7ParisFrance
CADE 2019Aug 25Aug 30NatalBrazil
CADE 20172Aug 8Aug 11GothenburgSweden37.7
CADE2017Aug 8Aug 11GothenburgSwedenWolfgang Ahrendt
Moa Johansson
Leonardo de Moura44.9
CADE 2015Jan 8Jul 8BerlinGermany42.9
CADE 2013Sep 6Jun 14Lake PlacidUSA43.7
CADE 2011Jul 31May 8WroclawPoland43.8
CADE 2009Feb 8Jul 8MontrealCanada41.6
CADE 2007Jul 17Jul 20BremenGermany
CADE 2005Jul 22Jul 27TallinnEstonia
... further results

Submission/Acceptance

Loading...

Locations

Loading map...