APLAS & ATVA 2026
Tue 1 - Fri 4 December 2026
Hong Kong SAR China
Toggle navigation
Attending
Venue: The Hong Kong University of Science and Technology
Registration
Visa and Invitation Letter
Accommodation Information
Local Information
Program
APLAS & ATVA Program
Your Program
Tue 1 Dec
Wed 2 Dec
Thu 3 Dec
Fri 4 Dec
Tracks
APLAS & ATVA 2026
NIER
Keynotes
APLAS Research Papers
ATVA Research Papers
SRC and Posters
Organization
APLAS & ATVA 2026 Committees
ATVA2026 Steering Committee
Organizing Committee
Track Committees
APLAS Research Papers
Organizing Committee
Program Committee
ATVA Research Papers
Program Committee
ATVA Steering 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
) /
Robert Mensing
APLAS & ATVA 2026 profile
conf.research.org general profile
Not registered as user
Name:
Robert Mensing
Affiliation:
University of Twente
Contributions
2026
APLAS
Spectral - Translating Specifications for Deductive Verification into LLVM-IR
Show activities from other conferences
Share
Using general profile
x
Thu 29 Oct 22:37