Difference between revisions of "Or:CADE 2019"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
(4 intermediate revisions by the same user not shown) | |||
Line 6: | Line 6: | ||
|Notification=2019/04/15 | |Notification=2019/04/15 | ||
|Submitting link=https://easychair.org/account/signin.cgi?key=86002838.pLsrtCxbDKfIQzO1 | |Submitting link=https://easychair.org/account/signin.cgi?key=86002838.pLsrtCxbDKfIQzO1 | ||
+ | |has Proceedings Link=https://link.springer.com/book/10.1007/978-3-030-29436-6 | ||
+ | |has Proceedings DOI=https://doi.org/10.1007/978-3-030-29436-6 | ||
|Acronym=CADE 2019 | |Acronym=CADE 2019 | ||
− | |End date=2019 | + | |End date=2019-08-30 |
|Series =CADE | |Series =CADE | ||
+ | |presence=presence | ||
|Type =Conference | |Type =Conference | ||
|Country=BR | |Country=BR | ||
|State =BR/RN | |State =BR/RN | ||
|City =BR/RN/Natal | |City =BR/RN/Natal | ||
+ | |Year =2019 | ||
|Homepage=https://www.mat.ufrn.br/cade-27/ | |Homepage=https://www.mat.ufrn.br/cade-27/ | ||
|Ordinal=27 | |Ordinal=27 | ||
− | |Start date=2019 | + | |Start date=2019-08-25 |
− | |Title =The 27th International Conference on Automated Deduction}} | + | |Title =The 27th International Conference on Automated Deduction |
+ | |Accepted papers=34 | ||
+ | |Submitted papers=65 | ||
+ | |ISBN =978-3-030-29435-9 | ||
+ | }} | ||
+ | ISBN=978-3-030-29435-9 (print) | ||
+ | |||
+ | ISBN=978-3-030-29436-6 (online) |
Latest revision as of 03:06, 7 December 2021
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)