Program - ATVA 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

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 DelhiSelect other time zone

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 programSpecify 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

Mon 27 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

	09:30 - 10:30	NIER 1NIER at NIER room

	11:00 - 12:30	NIER 2NIER at NIER room

	14:00 - 14:30	NIER 3NIER at NIER room

14:30 - 15:30	Tutorial 1Tutorials and Workshops at Tutorial Room

14:30 60m Tutorial		Replicated Data Types Tutorials and Workshops

16:00 - 17:00	Tutorial 2Tutorials and Workshops at Tutorial Room

16:00 60m Tutorial		Replicated Data Types Tutorials and Workshops

Tue 28 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:30 - 10:30	Invited TalkInvited Talks at InvitedTalk room

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

11:00 - 12:30	AutomataResearch and Tool Papers / ATVA 2025 at ATVA room

11:00 30m Paper		Componentwise Automata Learning for System Integration Research and Tool Papers
11:30 30m Paper		Learning Event-recording Automata Passively Research and Tool Papers
12:00 15m Paper		[TOOL] TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper) Research and Tool Papers

14:00 - 15:30	Verification IResearch and Tool Papers / ATVA 2025 at ATVA room

14:00 30m Paper		Antarbhukti: Verifying Correctness of PLC Software during System Evolution Research and Tool Papers
14:30 30m Paper		Data Structures for Finite Downsets of Natural Vectors: Theory and Practice Research and Tool Papers
15:00 15m Paper		[TOOL] PolyQEnt: A Polynomial Quantified Entailment Solver Research and Tool Papers

16:00 - 17:30	Hybrid and Dynamical SystemsResearch and Tool Papers / ATVA 2025 at ATVA room

16:00 30m Paper		Control Closure Certificates Research and Tool Papers
16:30 30m Poster		Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates Research and Tool Papers
17:00 15m Paper		[TOOL] Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE Research and Tool Papers

Wed 29 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:30 - 10:30	Invited TalkInvited Talks at InvitedTalk room

09:30 60m Talk		Network Abstractions for Modularity and Performance Verification Invited Talks Aarti Gupta Princeton University

11:00 - 12:30	GamesResearch and Tool Papers / ATVA 2025 at ATVA room

11:00 30m Paper		Energy Games with Weight Uncertainty Research and Tool Papers
11:30 30m Paper		Quantitative Strategy Templates Research and Tool Papers
12:00 30m Paper		Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games Research and Tool Papers

14:00 - 15:30	Runtime VerificationResearch and Tool Papers / ATVA 2025 at ATVA room

14:00 30m Paper		Efficient Dynamic Shielding for Parametric Safety Specifications Research and Tool Papers
14:30 30m Paper		Learning Verified Monitors for Hidden Markov Models Research and Tool Papers
15:00 30m Poster		Prompt Runtime Enforcement Research and Tool Papers

Thu 30 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

09:30 - 10:30	Invited TalkInvited Talks at InvitedTalk room

09:30 60m Talk		LLMs meet Program Synthesis Invited Talks Rahul Sharma Microsoft Research

11:00 - 12:30	LearningResearch and Tool Papers / ATVA 2025 at ATVA room

11:00 30m Paper		Inductive Generalization in Reinforcement Learning from Specifications Research and Tool Papers
11:30 30m Paper		Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models Research and Tool Papers
12:00 30m Poster		Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification Research and Tool Papers

14:00 - 15:00	Verification IIResearch and Tool Papers / ATVA 2025 at ATVA room

14:00 30m Paper		Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains Research and Tool Papers
14:30 15m Paper		[TOOL] Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing Research and Tool Papers
14:45 15m Paper		Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy Research and Tool Papers

15:00 - 16:00	Tutorial 3Tutorials and Workshops at Tutorial Room

15:00 60m Tutorial		Quantitative and Probabilistic Verification Tutorials and Workshops

16:30 - 17:30	Tutorial 4Tutorials and Workshops at Tutorial Room

16:30 60m Tutorial		Quantitative and Probabilistic Verification Tutorials and Workshops

Fri 31 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

	09:30 - 10:30	MMAC Workshop 1Tutorials and Workshops at MMAC room

	11:00 - 12:30	MMAC Workshop 2Tutorials and Workshops at MMAC room

	14:00 - 15:30	MMAC Workshop 3Tutorials and Workshops at MMAC room

	16:00 - 17:30	MMAC Workshop 4Tutorials and Workshops at MMAC room

ATVA 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Mon 27 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Tue 28 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Wed 29 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Thu 30 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Fri 31 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Get Calendar (iCal)

Mon 27 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Tue 28 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Wed 29 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Thu 30 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

Fri 31 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change