Meeting 5 - TyDe 2024

VenueAllianz MiCo (Milano Convention Centre)

Room nameMeeting 5

Floor-1

Capacity40

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Tutorial: Aeneas, a framework to verify safe Rust programs (part 1)ICFP Tutorials at Meeting 5

09:00 90m Tutorial		Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria

11:00 - 12:30	Tutorial: Aeneas, a framework to verify safe Rust programs (part 2)ICFP Tutorials at Meeting 5

11:00 90m Tutorial		Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria

14:00 - 15:30	Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 1)ICFP Tutorials at Meeting 5

14:00 90m Tutorial		Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria

16:00 - 17:30	Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 2)ICFP Tutorials at Meeting 5

16:00 90m Tutorial		Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Tutorial part 1ICFP Tutorials at Meeting 5

09:00 90m Tutorial		Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH

11:00 - 12:30	Tutorial part 2ICFP Tutorials at Meeting 5

11:00 90m Tutorial		Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH

14:00 - 15:30	Tutorial part 3ICFP Tutorials at Meeting 5

14:00 90m Tutorial		Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH

16:00 - 17:30	Tutorial part 4ICFP Tutorials at Meeting 5

16:00 90m Tutorial		Teaching functional programming ICFP Tutorials Michael Sperber Active Group GmbH

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting 5	ICFP Tutorials Tutorial: Aeneas, a framework to verify safe Rust programs (part 1)																								ICFP Tutorials Tutorial: Aeneas, a framework to verify safe Rust programs (part 2)																																				ICFP Tutorials Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 1)																								ICFP Tutorials Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 2)

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting 5	ICFP Tutorials Tutorial part 1																								ICFP Tutorials Tutorial part 2																																				ICFP Tutorials Tutorial part 3																								ICFP Tutorials Tutorial part 4

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Meeting 5	ICFP Tutorials Aeneas, a framework to verify safe Rust programs 09:00 - 10:30																								ICFP Tutorials Aeneas, a framework to verify safe Rust programs 11:00 - 12:30																																				ICFP Tutorials Aeneas, a framework to verify safe Rust programs 14:00 - 15:30																								ICFP Tutorials Aeneas, a framework to verify safe Rust programs 16:00 - 17:30

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Meeting 5	ICFP Tutorials Teaching functional programming 09:00 - 10:30																								ICFP Tutorials Teaching functional programming 11:00 - 12:30																																				ICFP Tutorials Teaching functional programming 14:00 - 15:30																								ICFP Tutorials Teaching functional programming 16:00 - 17:30

Room information: Meeting 5

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICFP Tutorials

ICFP Tutorials

ICFP Tutorials

ICFP Tutorials

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICFP Tutorials

ICFP Tutorials

ICFP Tutorials

ICFP Tutorials

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Room information: Meeting 5

Program Display Configuration

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICFP Tutorials

ICFP Tutorials

ICFP Tutorials

ICFP Tutorials

Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICFP Tutorials

ICFP Tutorials

ICFP Tutorials

ICFP Tutorials

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change