Difference between revisions of "IJCAR 2020"
Jump to navigation
Jump to search
(pushed from or by wikipush) |
(No difference)
|
Latest revision as of 18:11, 13 January 2021
| Name | Value |
|---|---|
| isA | Event |
| Acronym | IJCAR 2020 |
| Title | International Joint Conference on Automated Reasoning |
| Start date | 2020/06/29 |
| End date | 2020/07/02 |
| Homepage | https://ijcar2020.org/ |
| ... | ... |
IJCAR 2020 was held online and was organized together with FSCD 2020 and a series of workshops and related events.
IJCAR 2020 is the merger of the following leading events in automated reasoning:
- CADE (Conference on Automated Deduction)
- FroCoS (Symposium on Frontiers of Combining Systems)
- ITP (International Conference on Interactive Theorem Proving)
- TABLEAUX (Conference on Analytic Tableaux and Related Methods)