Fri 6 Sep 2024 09:00 - 10:30 at Meeting 5 - Tutorial: Aeneas, a framework to verify safe Rust programs (part 1)
Fri 6 Sep 2024 11:00 - 12:30 at Meeting 5 - Tutorial: Aeneas, a framework to verify safe Rust programs (part 2)
Fri 6 Sep 2024 14:00 - 15:30 at Meeting 5 - Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 1)
Fri 6 Sep 2024 16:00 - 17:30 at Meeting 5 - Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 2)
Fri 6 Sep 2024 11:00 - 12:30 at Meeting 5 - Tutorial: Aeneas, a framework to verify safe Rust programs (part 2)
Fri 6 Sep 2024 14:00 - 15:30 at Meeting 5 - Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 1)
Fri 6 Sep 2024 16:00 - 17:30 at Meeting 5 - Tutorial: Aeneas, a framework to verify safe Rust programs (repetition of part 2)
Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
11:00 - 12:30 | |||
11:00 90mTutorial | 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 90mTutorial | 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 90mTutorial | Aeneas, a framework to verify safe Rust programs ICFP Tutorials Son Ho Inria | ||
