IJCAR 2020

June 29 – July 6, 2020, Paris, France, co-located with FSCD 2020

Menu
  • Overview
  • Topics and Programme
  • Committees
  • Deadlines
  • Submission
  • Awards
  • Workshops & Competitions
Menu

Workshops & Competitions

Workshops

Please see here.

Competitions

The CADE ATP System Competition CASC-J10

Termination and Complexity Competition 2020

Support

AWS Logo
Springer LNAI
© 2025 IJCAR 2020 | Powered by Minimalist Blog WordPress Theme