Difference between revisions of "or:CADE 2019"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| (3 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
| − | |Acronym= | + | |Acronym=CADE 2019 |
|Title=The 27th International Conference on Automated Deduction | |Title=The 27th International Conference on Automated Deduction | ||
| + | |Ordinal=27 | ||
|Series=CADE | |Series=CADE | ||
|Type=Conference | |Type=Conference | ||
| Line 7: | Line 8: | ||
|Start date=2019/08/25 | |Start date=2019/08/25 | ||
|End date=2019/08/30 | |End date=2019/08/30 | ||
| + | |Submission deadline=2019/02/27 | ||
|Homepage=https://www.mat.ufrn.br/cade-27/ | |Homepage=https://www.mat.ufrn.br/cade-27/ | ||
|City=Natal | |City=Natal | ||
|Country=Brazil | |Country=Brazil | ||
| − | | | + | |presence=presence |
|Abstract deadline=2019/02/20 | |Abstract deadline=2019/02/20 | ||
|Workshop deadline=2018/11/15 | |Workshop deadline=2018/11/15 | ||
|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 | ||
| + | |Submitted papers=65 | ||
| + | |Accepted papers=34 | ||
| + | |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 | ||
| + | |ISBN=978-3-030-29435-9 | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Saskia.Ernert | ||
| + | |contributionType=1 | ||
}} | }} | ||
| + | ISBN=978-3-030-29435-9 (print) | ||
| + | |||
| + | ISBN=978-3-030-29436-6 (online) | ||
Latest revision as of 19:20, 1 April 2022
| 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: | Natal, Brazil |
| 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)