credits
Tutorial Day

Tuesday, May 23
10:30 AM Introduction and Foundations (John Reynolds)
12:00 AM Lunch
1:30 PM Concurrency (Peter O'Hearn)
3:00 PM Break
3:30 PM Semantics and Soundness (Stephen Brookes)
5:00 PM MFPSXXII Welcoming Party

The slides of some tutorial were made available by the speaker: see if a title is an active link.