AIware 2025
Wed 19 - Thu 20 November 2025
co-located with
ASE 2025
Toggle navigation
Attending
Attending: Registration
Venue: Grand Walkerhill Seoul
About Seoul
Accommodations
Transportation
Program
AIware Program
Your Program
Wed 19 Nov
Thu 20 Nov
Tracks
AIware 2025
Keynotes
Main Track
ArXiv Track
Benchmark & Dataset Track
Industry Demo Track
Organization
AIware 2025 Committees
Steering Committee
Organizing Committee
Track Committees
Main Track
ArXiv Track
Benchmark & Dataset Track
Contributors
People Index
Search
Series
Series
AIware 2026
AIware 2025
AIware 2024
Sign in
Sign up
ASE 2025
(
series
) /
AIware 2025
(
series
) /
Timos Antonopoulos
ASE 2025 profile
conf.research.org general profile
APLAS 2019 profile
ETAPS 2019 profile
ICFP/SPLASH 2025 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
Registered user since Sat 20 Aug 2022
Name:
Timos Antonopoulos
Country:
United States
Affiliation:
Yale University
Contributions
2025
ASE
Efficient and Verifiable Proof Logging for MaxSAT Solving
Show activities from other conferences
Share
ASE 2025-profile
View general profile
x
Mon 2 Feb 08:11