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

Awards

BEST PAPER AWARD

The IJCAR 2020 Best Paper Award was shared by two papers:

  • Politeness for The Theory of Algebraic Datatypes
    by Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine and Clark Barrett

  • The Resolution of Keller’s Conjecture
    by Joshua Brakensiek, Marijn Heule, John Mackey and David Narvaez.

Support

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