Welcome to the ATVA 2024 sponsorship webpage!

We invite sponsors for the joint organization of two conferences, ATVA 2024 and APLAS 2024.

ATVA is a premier international symposium dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification, and synthesis, by providing a forum for interaction between international research communities and industry in the field.

Invitation

The details of the sponsorship plan can be found here.

	Fees	Basic benefits	Free registration	Additional benefits
Platinum	USD 7000	+ Acknowledgments on the websites: https://atva-conference.org/2024/ https://conf.researchr.org/home/aplas-2024 + On-site acknowledgments + Poster presentation	2	Lightening talk at the ATVA Mentoring Workshop
Gold	USD 5000	+ Acknowledgments on the websites: https://atva-conference.org/2024/ https://conf.researchr.org/home/aplas-2024 + On-site acknowledgments + Poster presentation	2
Silver	USD 3000	+ Acknowledgments on the websites: https://atva-conference.org/2024/ https://conf.researchr.org/home/aplas-2024 + On-site acknowledgments + Poster presentation	1
“Banquet” Option	USD 4000			“Banquet sponsored by (Your Company)”
“Reception” Option	USD 2000			“Reception sponsored by (Your Company)”
“PC Dinner” Option	USD 1000			“PC Dinner sponsored by (Your Company)”

Contact

For any questions, please contact:

• Sponsorship Chair: Masaaki Konishi, National Institute of Informatics, konishi@nii.ac.jp
• General Chair: Ichiro Hasuo, National Institute of Informatics, i.hasuo@acm.org