Difference between revisions of "or:CADE 2019"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=CADE 2019 |Title=The 27th International Conference on Automated Deduction |Series=CADE |Type=Conference |Field=Automated Deduction |Start date=2019/08/25 |End...") |
|||
| Line 7: | Line 7: | ||
|Start date=2019/08/25 | |Start date=2019/08/25 | ||
|End date=2019/08/30 | |End date=2019/08/30 | ||
| + | |Homepage=https://www.mat.ufrn.br/cade-27/ | ||
|City=Natal | |City=Natal | ||
|Country=Brazil | |Country=Brazil | ||
Revision as of 10:25, 15 March 2019
| CADE 2019 | |
|---|---|
The 27th International Conference on Automated Deduction
| |
| Event in series | CADE |
| Dates | 2019/08/25 (iCal) - 2019/08/30 |
| Homepage: | https://www.mat.ufrn.br/cade-27/ |
| Submitting link: | 15 |
| Location | |
| Location: | Natal, Brazil |
| Important dates | |
| Workshops: | 2018/11/15 |
| Abstracts: | 2019/02/20 |
| Submissions: | 2019/02/27 |
| Notification: | 2019/04/15 |
| Table of Contents | |