Revision history of "CADE 2017"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

Retrieved from "https://www.openresearch.org/wiki/CADE_2017"
Facts about "CADE 2017"
RDF feed
Abstract deadlineFebruary 11, 2017 +
Acceptance rate44.9 +
Accepted papers31 +
AcronymCADE 2017 +
End dateAugust 11, 2017 +
Event in seriesCADE +
Event typeConference +
Has coordinates57° 42' 26", 11° 58' 1"Latitude: 57.707233333333
Longitude: 11.967016666667 +
Has coordinatorChalmers University of Technology +
Has general chairWolfgang Ahrendt + and Moa Johansson +
Has location cityGothenburg +
Has location countryCategory:Sweden +
Has program chairLeonardo de Moura +
Has tutorial chairPhilipp Ruemmer +
Has workshop chairPhilipp Ruemmer +
Homepagehttp://www.cse.chalmers.se/~myreen/cade-26/ +
IsAEvent +
NotificationApril 22, 2017 +
Start dateAugust 8, 2017 +
Submission deadlineFebruary 18, 2017 +
Submitted papers69 +
Title26th International Conference on Automated Deduction +