PLMW @ ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
co-located with ICFP 2024
VenueAllianz MiCo (Milano Convention Centre)
Room nameMeeting 5
Floor-1
Capacity40
Room InformationNo extra information available
Program

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

Sat 7 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Meeting 5