R102 - APLAS 2025

VenueThe International Institute of Information Technology Bangalore (IIIT Bangalore)

Room nameR102

Room InformationNo extra information available

Program

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 1ATVA and APLAS NIER at R102

09:30 30m Talk		Regular Theories and How to Decide Them ATVA and APLAS NIER Umang Mathur National University of Singapore, Singapore
10:00 30m Talk		Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation ATVA and APLAS NIER Sajiv Kumar J.S. , Raghavan Komondoor Indian Institute of Science

11:00 - 12:30	NIER 2ATVA and APLAS NIER at R102

11:00 30m Talk		Property Grouping and Context-Aware Runtime Enforcement ATVA and APLAS NIER Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA
11:30 30m Talk		Compositional Probabilistic Model Checking with String Diagrams of MDPs ATVA and APLAS NIER Ichiro Hasuo National Institute of Informatics, Japan
12:00 30m Talk		PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements ATVA and APLAS NIER Inzemamul Haque Indian Institute of Technology Kanpur, Pankaj Siwan , Indranil Saha IIT Kanpur

14:00 - 14:30	NIER 3ATVA and APLAS NIER at R102

14:00 30m Talk		Bidding Your Way to Better Decisions ATVA and APLAS NIER Guy Avni University of Haifa, Kaushik Mallik IST Austria, Austria, Suman Sadhukhan

Hide past events

Mon 27 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
R102							ATVA and APLAS NIER NIER 1																		ATVA and APLAS NIER NIER 2																																				ATVA and APLAS NIER NIER 3

Hide past events

Mon 27 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
R102							APLAS ATVA and APLAS NIER Regular Theories and How to Decide Them 09:30 - 10:00						APLAS ATVA and APLAS NIER Controller Synthesis for Reactive Systems with Communication Delay by F ... 10:00 - 10:30												APLAS ATVA and APLAS NIER Property Grouping and Context-Aware Runtime Enforcement 11:00 - 11:30						APLAS ATVA and APLAS NIER Compositional Probabilistic Model Checking with String Diagrams of MDPs 11:30 - 12:00						APLAS ATVA and APLAS NIER PhantomDrive: A Privacy-Focused Navigation System for Concealing User M ... 12:00 - 12:30																								APLAS ATVA and APLAS NIER Bidding Your Way to Better Decisions 14:00 - 14:30

Hide past events

Room information: R102

This program is tentative and subject to change.

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

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

ATVA and APLAS NIER

ATVA and APLAS NIER

ATVA and APLAS NIER

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

Tracks

Room information: R102

This program is tentative and subject to change.

Program Display Configuration

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

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

ATVA and APLAS NIER

ATVA and APLAS NIER

ATVA and APLAS NIER

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

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

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

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