Tuesday, September 20, 2016

Special Session on Automated Reasoning and Proving Techniques with Applications in Intelligent Systems (ARPTA 2017)

April 3-5, 2017
Kanazawa, Japan


IMPORTANT DATES

  • Submission deadline: October 1,2016
  • Notification Due: November 1,2016
  • Final Version Due: November 15,2016
  • No comments:

    Post a Comment