Or:CADE 2019

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at Or:CADE 2019/rating

Or:CADE 2019
The 27th International Conference on Automated Deduction
Ordinal 27
Event in series CADE
Dates 2019-08-25 (iCal) - 2019-08-30
Presence presence
Homepage: https://www.mat.ufrn.br/cade-27/
Submitting link: https://easychair.org/account/signin.cgi?key=86002838.pLsrtCxbDKfIQzO1
Location
Location: BR/RN/Natal, BR/RN, BR
Loading map...

Important dates
Workshops: 2018/11/15
Abstracts: 2019/02/20
Submissions: 2019/02/27
Notification: 2019/04/15
Papers: Submitted 65 / Accepted 34 (52.3 %)
Table of Contents

ISBN=978-3-030-29435-9 (print)

ISBN=978-3-030-29436-6 (online)