Hyper parametric timed CTL (APLAS 2024 - The 7th Workshop on New Ideas and Emerging Results in Programming Languages and Systems)

Tue 22 - Fri 25 October 2024 Kyoto

Who

Masaki Waga, Étienne André

Track

APLAS 2024 APLAS NIER

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Fri 25 Oct 2024 09:30 - 10:00 at Yamauchi Hall - Session 1

Masaki Waga

Kyoto University

Japan

Étienne André

Université Sorbonne Paris Nord; LIPN; CNRS

France