You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
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 2020|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)
Save page Show preview Cancel