APLAS 2025
Mon 27 - Thu 30 October 2025 Bengaluru, India
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 28 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:30 - 10:30
Invited TalkKeynotes at Amantran
Chair(s): Alex Potanin Australian National University

(Joint APLAS-ATVA Invited Talk)

09:30
60m
Talk
15 Years of Viper: Building and Evolving a Verification Infrastructure (Joint APLAS-ATVA Invited Talk)
Keynotes
Peter Müller ETH Zurich

Tue 28 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Tue 28 Oct

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change