International Joint Conference on Automated Reasoning (IJCAR) 2020 (External organisation)

  • Armin Biere (Member)

Activity: Membership/Function › Board, Committee or Jury

Description

The International Joint Conference on Automated Reasoning (IJCAR) is the premier international joint conference on all topics in automated reasoning. The IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress, system descriptions, and invited talks. IJCAR 2020 is the 10th edition of IJCAR. It will be held in Paris (France), and will be co-located with FSCD 2020 and a number of workshops and associated events.
Period29 Jun 2020 → 06 Jul 2020
Held atInternational Joint Conference on Automated Reasoning (IJCAR) 2020, Austria

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

Documents & Links