Or:CADE 2019
Jump to navigation
Jump to search
Event Rating
| median | worst |
|---|---|
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 |
| 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)