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

Find Us

Address
123 Main Street
New York, NY 10001

Hours
Monday—Friday: 9:00AM–5:00PM
Saturday & Sunday: 11:00AM–3:00PM

About This Site

This may be a good place to introduce yourself and your site or include some credits.

Search

Proudly powered by WordPress | Theme: Expound by Konstantin Kovshenin