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 2025
AIware 2024
Sign in
Sign up
ASE 2025
(
series
) /
AIware 2025
(
series
) /
Pierre Ganty
ASE 2025 profile
conf.research.org general profile
ESOP 2015 profile
ETAPS 2019 profile
ICFP/SPLASH 2025 profile
PLDI 2020 profile
POPL 2020 profile
POPL 2021 profile
Registered user since Mon 13 Aug 2018
Name:
Pierre Ganty
Affiliation:
IMDEA Software Institute, Spain
Personal website:
http://software.imdea.org/~pierreganty/
Contributions
2025
ASE
How Big is the Automaton? Certified Lower Bounds on the Size of Presburger DFAs
Show activities from other conferences
Share
Using general profile
x
Tue 4 Nov 16:13