R102 - APLAS 2025

VenueThe International Institute of Information Technology Bangalore (IIIT Bangalore)

Room nameR102

Room InformationNo extra information available

Program

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

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

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

Room information: R102

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

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