Program - VMCAI 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select 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 20 Jan
Displayed time zone: Mountain Time (US & Canada) 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			16:00			15			30			45			17:00			15			30			45
Hopscotch	VMCAI Keynote Talk: Formal methods in a model-free, data-driven world 09:00 - 10:00												VMCAI Synthesis of Controllers for Continuous Blackbox Systems 10:00 - 10:30												VMCAI Affine Disjunctive Invariant Generation with Farkas’ Lemma 11:00 - 11:30						VMCAI Automatic Inference of Relational Object Invariants 11:30 - 12:00						VMCAI A Static Analysis of Entanglement 12:00 - 12:30																								VMCAI Space-Efficient Model-Checking of Higher-Order Recursion Schemes 14:00 - 14:30						VMCAI Parameterized Verification of Systems with Precise (0,1)-Counter Abstra ... 14:30 - 15:00						VMCAI Property-agnostic base case extension for scalable verification of dist ... 15:00 - 15:30												VMCAI ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic ... 16:00 - 16:30						VMCAI Constructing Trustworthy Smart Contracts 16:30 - 17:00						VMCAIRecorded Automated Flaw Detection for Industrial Robot RESTful Service 17:00 - 17:30

Tue 21 Jan
Displayed time zone: Mountain Time (US & Canada) 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			16:00			15			30			45			17:00			15			30			45
Hopscotch	VMCAI Keynote Talk: Outcome Logic: a foundational framework for concurrent an ... 09:00 - 10:00												VMCAI 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes ... 10:00 - 10:30												VMCAI A Real-Blasting Extension of Cvc5 for Reasoning about Floating-Point Ar ... 11:00 - 11:30						VMCAI Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study 11:30 - 12:00						VMCAI Formal Verification of Probabilistic Deep Reinforcement Learning Polici ... 12:00 - 12:30																								VMCAI Abstract Local Completeness: A Local form of Abstract Non-Interference 14:00 - 14:30						VMCAI An Abstract Domain for Heap Commutativity 14:30 - 15:00						VMCAI Two-way collaboration between flow and proof in SPARK 15:00 - 15:30												VMCAI LLOR: Automated Repair of OpenMP Programs 16:00 - 16:30						VMCAI Synthesis of Parametric Locally Symmetric Protocols from Abstract Tempo ... 16:30 - 17:00						VMCAI Correctness Witnesses for Concurrent Programs: Bridging the Semantic Di ... 17:00 - 17:30

VMCAI 2025 Program

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

Tue 21 Jan
Displayed time zone: Mountain Time (US & Canada) change

Tracks

VMCAI 2025 Program

Switch Program View

Program Display Configuration

Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change

Tue 21 JanDisplayed time zone: Mountain Time (US & Canada) change

Get Calendar (iCal)

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

Tue 21 Jan
Displayed time zone: Mountain Time (US & Canada) change