ATVA 2025
Mon 27 - Fri 31 October 2025
Bengaluru, India
Toggle navigation
Attending
Venue: International Institute of Information Technolgy, Bangalore
Registration
Visa Information
Accommodation Information
Travel Support
Local Information
Sponsorship
Program
ATVA Program
Your Program
Program at a Glance
Proceedings
Mon 27 Oct
Tue 28 Oct
Wed 29 Oct
Thu 30 Oct
Fri 31 Oct
Tracks
ATVA 2025
Invited Talks
NIER
ATVA Papers
Tutorials and Workshops
APLAS Papers
Organization
ATVA 2025 Committees
Artifact Evaluation Committee
Programme Committee
Steering Committee
Organizing Committee
General Chair
Contributors
People Index
Search
Series
Series
ATVA 2025
ATVA 2024
ATVA 2023
ATVA 2022
ATVA 2021
ATVA 2020
ATVA 2019
ATVA 2018
ATVA 2017
ATVA 2016
ATVA 2015
ATVA 2014
ATVA 2013
ATVA 2012
ATVA 2011
ATVA 2010
ATVA 2009
ATVA 2008
ATVA 2007
ATVA 2006
ATVA 2005
ATVA 2004
ATVA 2003
Sign in
Sign up
ATVA 2025
(
series
) /
International Institute of Information Technolgy, Bangalore
/
Room information: Amantran
Venue
International Institute of Information Technolgy, Bangalore
Room name
Amantran
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
.
Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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:15 - 09:30
Opening Remarks
ATVA Papers
/
APLAS Papers
/
Invited Talks
at
Amantran
09:15
15m
Day opening
Opening Remarks
Invited Talks
09:30 - 10:30
Invited Talk 1
Invited Talks
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
Invited Talks
Peter Müller
ETH Zurich
Wed 29 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
09:30 - 10:30
Invited Talk 2
Invited Talks
at
Amantran
Chair(s):
Meenakshi D'Souza
IIITB - International Institute of Information Technology Bangalore
09:30
60m
Talk
Network Abstractions for Modularity and Performance Verification
Invited Talks
Aarti Gupta
Princeton University
Thu 30 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
09:30 - 10:30
Invited Talk 3
Invited Talks
at
Amantran
Chair(s):
Deepak D'Souza
Indian Institute of Science
09:30
60m
Talk
LLMs meet Program Synthesis
Invited Talks
Rahul Sharma
Microsoft Research
Fri 31 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
09:30 - 10:25
MMAC Workshop 1
Tutorials and Workshops
at
Amantran
09:30
55m
Talk
Talk 1: Verifying programs under weak consistency.
Tutorials and Workshops
Ahmed Bouajjani
IRIF, Université Paris Diderot
11:00 - 12:55
MMAC Workshop 2
Tutorials and Workshops
at
Amantran
11:00
55m
Talk
Talk 2: Causally Deterministic (factored) Markov Decision Processes.
Tutorials and Workshops
P. S. Thiagarajan
12:00
55m
Talk
Talk 3: Abstractions for Scalable Verification of AI-enabled Cyber-Physical Systems
Tutorials and Workshops
Pavithra Prabhakar
Kansas State University
14:30 - 15:25
MMAC Workshop 3
Tutorials and Workshops
at
Amantran
14:30
55m
Talk
Talk 4: On the average-case complexity of the word problem in subgroups of GL_d(Z)
Tutorials and Workshops
Pascal Weil
16:00 - 17:00
MMAC Workshop 4: Milestones and Motifs
Tutorials and Workshops
at
Amantran
Tue 28 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
30
10:00
30
Amantran
ATVA Papers + APLAS Papers + Invited Talks
Opening Remarks
Invited Talks
Invited Talk 1
Wed 29 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
30
10:00
30
Amantran
Invited Talks
Invited Talk 2
Thu 30 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
30
10:00
30
Amantran
Invited Talks
Invited Talk 3
Fri 31 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Amantran
Tutorials and Workshops
MMAC Workshop 1
Tutorials and Workshops
MMAC Workshop 2
Tutorials and Workshops
MMAC Workshop 3
Tutorials and Workshops
MMAC Workshop 4: Milestones and Motifs
Tue 28 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
15
30
45
10:00
15
30
45
Amantran
ATVA Invited Talks
Opening Remarks
09:15 - 09:30
ATVA Invited Talks
15 Years of Viper: Building and Evolving a Verification Infrastructure
09:30 - 10:30
Wed 29 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
15
30
45
10:00
15
30
45
Amantran
ATVA Invited Talks
Network Abstractions for Modularity and Performance Verification
09:30 - 10:30
Thu 30 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
15
30
45
10:00
15
30
45
Amantran
ATVA Invited Talks
LLMs meet Program Synthesis
09:30 - 10:30
Fri 31 Oct
Displayed time zone:
Chennai, Kolkata, Mumbai, New Delhi
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Amantran
ATVA Tutorials and Workshops
Talk 1: Verifying programs under weak consistency.
09:30 - 10:25
ATVA Tutorials and Workshops
Talk 2: Causally Deterministic (factored) Markov Decision Processes.
11:00 - 11:55
ATVA Tutorials and Workshops
Talk 3: Abstractions for Scalable Verification of AI-enabled Cyber-Phys ...
12:00 - 12:55
ATVA Tutorials and Workshops
Talk 4: On the average-case complexity of the word problem in subgroups ...
14:30 - 15:25
x
Mon 3 Nov 13:34