ATVA 2019, Taipei City, Taiwan

International Symposium on Automated Technology for Verification and Analysis / October 27-31, 2019

Menu

Skip to content
  • About
  • Organization
  • Invited Speakers
  • Call for Papers
    • Important Dates
    • Artifact Evaluation
    • Accepted Papers
  • Program
    • Photos
  • Affiliated Workshops
    • INFINITY 2019
  • Registration
  • Local Information
  • Sponsors

Invited Speakers

Armin BiereJohannes Kepler University Linz
Patricia BouyerCNRS and ENS de Cachan
Rupak Majumdar
Max Planck Institute for Software Systems
Joseph SifakisUniversité Grenoble Alpes, Verimag Laboratory

Important Dates

April 26, 2019 (AoE)Abstract submission
May 3, 2019 (AoE)Paper submission
June 16, 2019Notification
June 23, 2019 (AoE)Artifact submission
July 24, 2019Artifact notification
July 26, 2019 (AoE)Camera-ready version
September 16, 2019Early registration (extended)
October 27-31, 2019Conference

Platinum Sponsors

Gold Sponsors

Silver Sponsors

Proudly powered by WordPress | Theme: Expound by Konstantin Kovshenin