The Program, and Accepted papers can be viewed in the respective tabs. For more details see NIER page of APLAS.
Plenary
This program is tentative and subject to change.
Mon 27 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Mon 27 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
08:30 - 09:30 | |||
08:30 60mRegistration | ATVA/APLAS Registration Invited Talks | ||
09:30 - 10:30 | |||
09:30 30mTalk | Regular Theories and How to Decide Them NIER Umang Mathur National University of Singapore, Singapore | ||
10:00 30mTalk | Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation NIER | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Property Grouping and Context-Aware Runtime Enforcement NIER Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA | ||
11:30 30mTalk | Compositional Probabilistic Model Checking with String Diagrams of MDPs NIER Ichiro Hasuo National Institute of Informatics, Japan | ||
12:00 30mTalk | PhantomDrive: A Privacy-Focused Navigation System for Concealing User Movements NIER | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 14:30 | |||
14:00 30mTalk | Bidding Your Way to Better Decisions NIER | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee Break Catering | ||