APLAS 2023
Sun 26 - Wed 29 November 2023
Taipei, Taiwan
Toggle navigation
Attending
Venue: IIS, Academia Sinica
Registration
Visa for Taiwan
PRC Passport Holders
Accommodation
Food and Drink
Excursion
Program
APLAS Program
Your Program
Filter by Day
Mon 20 Nov
Tue 21 Nov
Wed 22 Nov
Thu 23 Nov
Fri 24 Nov
Sat 25 Nov
Sun 26 Nov
Mon 27 Nov
Tue 28 Nov
Wed 29 Nov
Tracks
APLAS 2023
APLAS 2023
SRC & Posters
APLAS NIER
Co-hosted Events
AIM XXXVII
Organization
APLAS 2023 Committees
Track Committees
APLAS 2023
Organizing Committee
APLAS 2023
Program Committee
APLAS 2023
Steering Committee
SRC & Posters
Organiser
SRC & Posters
Judges
SRC & Posters
Selection Committee
Contributors
People Index
Co-hosted Events
AIM XXXVII
N/A - check homepage
About the Logo
Search
Series
Series
APLAS 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2023 (
series
) /
Yong Kiam Tan
APLAS 2023 profile
conf.research.org general profile
APLAS 2024 profile
POPL 2024 profile
Not registered as user
Name:
Yong Kiam Tan
Affiliation:
Institute for Infocomm Research, A*STAR
Contributions
2023
APLAS
Covering the Last Mile in Trustworthy Automated Reasoning with CakeML
Show activities from other conferences
Share
APLAS 2023-profile
View general profile
x
Sat 21 Dec 17:13