APLAS 2023 (series) /
CateringAPLAS 2023
Lunch, Dinner, Coffee-breaks
Dates
Plenary
Sun 26 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Sun 26 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
12:30 - 13:30 | |||
Mon 27 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 27 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
08:30 - 09:00 | |||
10:00 - 10:30 | Coffee BreakCatering | ||
12:00 - 13:30 | LunchCatering | ||
15:00 - 15:30 | Coffee BreakCatering | ||
15:30 - 17:00 | Poster Session & ReceptionSRC & Posters at Room 106 & 107, IIS See the SRC & Posters track page for more information about the entrants/authors and their work. Food and drink will be served. | ||
Tue 28 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 28 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:00 - 10:30 | Coffee BreakCatering | ||
12:00 - 13:30 | LunchCatering | ||
13:30 - 15:00 | Student Research Competition PresentationsSRC & Posters at Room 106 & 107, IIS Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica | ||
13:30 20mTalk | [SRC] Separate Compilation for Compositional Programming via Extensible Records SRC & Posters Yaozhu Sun University of Hong Kong File Attached | ||
13:50 20mTalk | [SRC] Multiple Screen States for Programming with Small Screens SRC & Posters Jin Ishikawa Oita University File Attached | ||
14:10 20mTalk | [SRC] Type-Safe Auto-Completion of Incomplete Polymorphic Programs SRC & Posters Yong Qi Foo National University of Singapore File Attached | ||
14:30 20mTalk | [SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework SRC & Posters Kazuki Matsuoka Tokyo Institute of Technology File Attached | ||
15:00 - 15:30 | Coffee BreakCatering | ||
Wed 29 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 29 Nov
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:00 - 10:30 | Coffee BreakCatering | ||
12:00 - 12:30 | Student Research Competition and Poster Session AwardsSRC & Posters at Room 106 & 107, IIS Chair(s): Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica | ||
12:30 - 18:00 | ExcursionCatering | ||
19:00 - 21:30 | BanquetCatering | ||
Unscheduled Events
| Not scheduled Lunch | Lunch Catering | ||
| Not scheduled Dinner | Dinner Catering | ||
| Not scheduled Registration | Registration Catering | ||
| Not scheduled Coffee break | Break Catering |
Events
| Title | |
|---|---|
| Break Catering | |
| Dinner Catering | |
| Lunch Catering | |
| Registration Catering |