View source for Openresearch:CADE 2019

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

Templates used on this page:

Return to Openresearch:CADE 2019.

Retrieved from "https://www.openresearch.org/wiki/Openresearch:CADE_2019"
Facts about "CADE 2019"
RDF feed
Abstract deadlineFebruary 20, 2019 +
AcronymCADE 2019 +
End dateAugust 30, 2019 +
Event in seriesCADE +
Event typeConference +
Has Submitting linkhttps://easychair.org/account/signin.cgi?key=86002838.pLsrtCxbDKfIQzO1 +
Has coordinates-5° 48' 19", -35° 12' 29"Latitude: -5.8053972222222
Longitude: -35.208091666667 +
Has location cityNatal +
Has location countryCategory:Brazil +
Homepagehttps://www.mat.ufrn.br/cade-27/ +
IsAEvent +
NotificationApril 15, 2019 +
Ordinal27 +
Start dateAugust 25, 2019 +
Submission deadlineFebruary 27, 2019 +
TitleThe 27th International Conference on Automated Deduction +
Workshop deadlineNovember 15, 2018 +