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
Registration
Accommodation Information
Local Information
Tracks
APLAS & ATVA 2026
NIER
Keynotes
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
) /
Jan Kretinsky
APLAS & ATVA 2026 profile
conf.research.org general profile
ETAPS 2019 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
POPL 2025 profile
Registered user since Mon 24 Sep 2018
Name:
Jan Kretinsky
Contributions
2026
APLAS
Co-chair in Program Committee within the ATVA Research Papers-track
ATVA Program Co-Chair in Organizing Committee
Show activities from other conferences
Share
Using general profile
x
Mon 14 Sep 10:29