ATVA 2025
Mon 27 - Fri 31 October 2025
Bengaluru, India
Toggle navigation
Attending
Venue: International Institute of Information Technolgy, Bangalore
Registration
Visa Information
Accommodation Information
Travel Support
Local Information
Sponsorship
Program
ATVA Program
Your Program
Program at a Glance
Proceedings
Mon 27 Oct
Tue 28 Oct
Wed 29 Oct
Thu 30 Oct
Fri 31 Oct
Tracks
ATVA 2025
Invited Talks
NIER
ATVA Papers
Tutorials and Workshops
APLAS Papers
Organization
ATVA 2025 Committees
Artifact Evaluation Committee
Programme Committee
Organizing Committee
General Chair
Contributors
People Index
Search
Series
Series
ATVA 2025
ATVA 2024
ATVA 2023
ATVA 2022
ATVA 2021
ATVA 2020
ATVA 2019
ATVA 2018
ATVA 2017
ATVA 2016
ATVA 2015
ATVA 2014
ATVA 2013
ATVA 2012
ATVA 2011
ATVA 2010
ATVA 2009
ATVA 2008
ATVA 2007
ATVA 2006
ATVA 2005
ATVA 2004
ATVA 2003
Sign in
Sign up
ATVA 2025
(
series
) /
Alfons Laarman
ATVA 2025 profile
conf.research.org general profile
ECOOP and ISSTA 2021 profile
PLDI 2025 profile
POPL 2017 profile
POPL 2019 profile
POPL 2026 profile
PPoPP 2016 profile
Registered user since Fri 28 Dec 2018
Name:
Alfons Laarman
Country:
Netherlands
Affiliation:
Leiden University
Research interests:
Verification, Parallel Computing
Contributions
2025
ATVA
Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing (tool paper)
Show activities from other conferences
Share
Using general profile
x
Sat 25 Oct 16:41