Data Structures for Finite Downsets of Natural Vectors: Theory and Practice (ATVA 2025 - ATVA Papers) - ATVA 2025

Mon 27 - Fri 31 October 2025 Bengaluru, India

Who

Michaël Cadilhac, Guillermo A. Perez

Track

ATVA 2025 ATVA Papers

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

When

Tue 28 Oct 2025 14:00 - 14:30 at R102 - Verification I Chair(s): Kartik Nagar

Michaël Cadilhac

Guillermo A. Perez

University of Antwerp

Belgium

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

Session Program

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

	14:00 - 15:30	Verification IATVA Papers at R102 Chair(s): Kartik Nagar IIT Madras

	14:00 30m Paper		Data Structures for Finite Downsets of Natural Vectors: Theory and Practice ATVA Papers Michaël Cadilhac , Guillermo A. Perez University of Antwerp
	14:30 30m Paper		Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains ATVA Papers Linus Heck , Tim Quatmann RWTH Aachen University, Jip Spel RWTH Aachen University, Joost-Pieter Katoen RWTH Aachen University, Sebastian Junges Radboud University
	15:00 30m Paper		Antarbhukti: Verifying Correctness of PLC Software during System Evolution ATVA Papers Soumyadip Bandyopadhyay ACM Member, Santonu Sarkar BITS Pilani, India Pre-print