View source for CADE 2017

{{Event
|Acronym=CADE 2017
|Title=The 26th International Conference on Automated Deduction
|Series=CADE
|Type=Conference
|Field=Automated Deduction
|Start date=2017/08/08
|End date=2017/08/11
|Homepage=http://www.cse.chalmers.se/~myreen/cade-26/
|City=Gothenburg
|Country=Sweden
|Submission deadline=2017/02/18
|Abstract deadline=2017/02/11
|Notification=2017/04/22
|Has coordinator=Chalmers University of Technology
|has general chair=Wolfgang Ahrendt, Moa Johansson
|has program chair=Leonardo de Moura
|has workshop chair=Philipp Ruemmer
|has tutorial chair=Philipp Ruemmer
|Submitted papers=69
|Accepted papers=26
|has Proceedings Link=https://link.springer.com/book/10.1007%2F978-3-319-63046-5
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-63046-5
}}
Abstract deadline	February 11, 2017 +
Acceptance rate	44.9 +
Accepted papers	31 +
Acronym	CADE 2017 +
End date	August 11, 2017 +
Event in series	CADE +
Event type	Conference +
Has coordinates	57° 42' 26", 11° 58' 1"Latitude: 57.707233333333 Longitude: 11.967016666667 +
Has coordinator	Chalmers University of Technology +
Has general chair	Wolfgang Ahrendt + and Moa Johansson +
Has location city	Gothenburg +
Has location country	Category:Sweden +
Has program chair	Leonardo de Moura +
Has tutorial chair	Philipp Ruemmer +
Has workshop chair	Philipp Ruemmer +
Homepage	http://www.cse.chalmers.se/~myreen/cade-26/ +
IsA	Event +
Notification	April 22, 2017 +
Start date	August 8, 2017 +
Submission deadline	February 18, 2017 +
Submitted papers	69 +
Title	26th International Conference on Automated Deduction +