Page values for "Openresearch:CADE 2019"

Jump to: navigation, search
Retrieved from "https://www.openresearch.org/wiki/Openresearch:CADE_2019"
关于“CADE 2019”的事实
RDF源
Abstract deadline2019年2月20日 (三) +
AcronymCADE 2019 +
End date2019年8月30日 (五) +
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 +
Notification2019年4月15日 (一) +
Ordinal27 +
Start date2019年8月25日 (日) +
Submission deadline2019年2月27日 (三) +
TitleThe 27th International Conference on Automated Deduction +
Workshop deadline2018年11月15日 (四) +