APLAS & ATVA 2026
Tue 1 - Sat 5 December 2026
Hong Kong SAR China
Toggle navigation
Attending
Venue: The Hong Kong University of Science and Technology
Tracks
APLAS & ATVA 2026
APLAS Research Papers
ATVA Research Papers
SRC and Posters
Organization
APLAS & ATVA 2026 Committees
Organizing Committee
Track Committees
APLAS Research Papers
Organizing Committee
Program Committee
ATVA Research Papers
Program Committee
Artifact Evaluation Committee
SRC and Posters
Selection Committee
Judges
Contributors
People Index
Search
Series
Series
APLAS & ATVA 2026
APLAS 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS & ATVA 2026
(
series
) /
The 24th International Symposium on Automated Technology for Verification and Analysis
/
Artifact Evaluation Committee
APLAS & ATVA ATVA Research Papers
Kevin Batz
Co-chair
Cornell University
United States
Arnd Hartmanns
Co-chair
University of Twente
Netherlands
Sarvin Bahmani
University of Liverpool
United Kingdom
Hanxi Chen
Cornell University
Oliver
Emil Bøving
Guangsheng Fan
National University of Defense Technology
China
Tobias Gürtler
Saarland University, Saarland Informatics Campus
Germany
Linus Heck
Radboud University
Netherlands
Agustin Nolasco
University of Rio Cuarto
Argentina
Annabell Petri
Universiteit Twente
Roberto Pettinau
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
Kittiphon Phalakarn
National Institute of Informatics
Japan
Byoungho Son
POSTECH
South Korea
Katherine Wu
Cornell
x
Mon 8 Jun 13:58