Monday, October 17, 2016

26th International Conference on Automated Reasoning with Analytic Tableaux (Tableaux 2017)

25-29 September 2017
Brazil

Important Dates

  • 18 Apr 2017: Abstract submission
  • 25 Apr 2017: Paper submission
  • 8 Jun 2017: Notification of paper decisions
  • 3 Jul 2017: Camera-ready papers due
  • 23-25 Sep 2017: Workshops & Tutorials