The Program, and Accepted papers can be viewed in the respective tabs. For more details see NIER page of APLAS.
Plenary
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 | ||