Thursday, October 13, 2016

23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017)

22-29 April 2017
Uppsala, Sweden

Dates and Deadlines:

  • Abstracts due: 14 October 2016 23:59 AoE (=GMT-12)
  • Papers due: 21 October 2016 23:59 AoE (=GMT-12)
  • Rebuttal: 7-9 December 2016
  • Author notification: 22 December 2016
  • Camera-ready versions: 20 January 2017