Title Event Type Date  

Oral session 1

TGM113 Seminar 27 July 2022 – 10:30 to 12:00

Rust verification

VSO2 Seminar 27 July 2022 – 10:30 to 12:00

Break

TGM113 Seminar 27 July 2022 – 12:00 to 12:30

Oral Session 2

TGM113 Seminar 27 July 2022 – 12:30 to 14:00

Rust verification

VSO2 Seminar 27 July 2022 – 13:30 to 15:00

Poster Session & Coffee Break

TGM113 Seminar 27 July 2022 – 14:00 to 15:00

Oral Session 3

TGM113 Seminar 27 July 2022 – 15:00 to 16:00

WiMIUA Workshop Hors d'oeuvre Closing Event WiMIUA Workshop

TGM113 Seminar 27 July 2022 – 15:00 to 16:00

Oral Session 4

TGM113 Seminar 28 July 2022 – 09:00 to 10:00

Oral Session 5

TGM113 Seminar 28 July 2022 – 10:15 to 11:10

Keynote Speaker

TGM113 Seminar 28 July 2022 – 11:20 to 12:20

Flash Podium Talk Microsoft

TGM113 Seminar 28 July 2022 – 12:20 to 12:35

Abstract Submissions: Flash Talks

TGM113 Seminar 28 July 2022 – 13:00 to 13:20

Abstract Submissions: Poster Session

TGM113 Seminar 28 July 2022 – 13:20 to 14:10

Oral Session 6

TGM113 Seminar 28 July 2022 – 14:10 to 15:20

Microsoft Workshop *(Gold Sponsor MIUA)

TGM113 Seminar 28 July 2022 – 16:30 to 17:30

Gala Dinner

TGM113 Seminar 28 July 2022 – 19:00 to 22:00

Oral Session 7

TGM113 Seminar 29 July 2022 – 09:00 to 10:00

Oral Session 8

TGM113 Seminar 29 July 2022 – 10:15 to 11:05

Compiler verification

VSO2 Seminar 29 July 2022 – 10:30 to 12:00

Supported By