APLAS 2024 - Catering

Tue 22 - Fri 25 October 2024 Kyoto

Lunch, Dinner, Coffee-breaks

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

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 22 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

09:30 - 10:30	Keynote 1Keynote at Yamauchi Hall Chair(s): Atsushi Igarashi Kyoto University, Oleg Kiselyov Tohoku University

09:30 60m Talk		How to design, document, and implement programming languages Keynote Sukyoung Ryu KAIST

	10:30 - 11:00	Coffee BreakCatering at The 2nd floor corridor

	12:30 - 14:00	LunchCatering at Open space (2nd floor)

	15:30 - 16:00	Coffee BreakCatering at The 2nd floor corridor

	18:00 - 19:30	ReceptionCatering at Yamauchi Hall

Wed 23 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:00	Keynote 2Keynote at Yamauchi Hall Chair(s): Oleg Kiselyov Tohoku University

09:00 60m Talk		K-Pop the Ultimate Compilation: No Kernel Left Behind Keynote Albert Cohen Google DeepMind File Attached

	10:00 - 10:30	Coffee BreakCatering at The 2nd floor corridor

	12:00 - 14:00	LunchCatering at Open space (2nd floor)

	15:40 - 16:00	Coffee BreakCatering at The 2nd floor corridor

19:00 - 21:00	BanquetCatering at The Sodoh Higashiyama Kyoto

19:00 2h Dinner		Dinner Catering

Thu 24 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:00	Keynote 3Keynote at Inamori Hall

09:00 60m Talk		High-Order Fixpoint Logic for Automated Program Verification Keynote Naoki Kobayashi University of Tokyo

	10:30 - 11:00	Coffee BreakCatering at The 2nd floor corridor

	12:00 - 14:30	LunchCatering at Open space (2nd floor)

	15:30 - 16:00	Coffee BreakCatering at The 2nd floor corridor

Fri 25 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

	10:30 - 11:00	Coffee BreakCatering at The 2nd floor corridor

12:00 - 13:30	LunchCatering at Open space (2nd floor)

12:00 90m Lunch		Lunch Catering

15:00 - 15:30	BreakCatering at The 2nd floor corridor

15:00 30m Coffee break		Break Catering

Events

	Title
	Break Catering
	Dinner Catering
	Lunch Catering

CateringAPLAS 2024

Tue 22 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 23 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 24 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Fri 25 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Events

Tracks

CateringAPLAS 2024

Program Display Configuration

Tue 22 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Wed 23 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Thu 24 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Fri 25 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Events

Tue 22 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 23 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 24 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Fri 25 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change