Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation (APLAS 2025 - The 8th Workshop on New Ideas and Emerging Results in Programming Languages and Systems)

Mon 27 - Thu 30 October 2025 Bengaluru, India

Who

Sajiv Kumar J.S., Raghavan Komondoor

Track

APLAS 2025 ATVA and APLAS NIER

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

When

Mon 27 Oct 2025 10:00 - 10:30 at NIER room - NIER 1

Sajiv Kumar J.S.

Raghavan Komondoor

Indian Institute of Science

India