13:40
–
15:20
Paper session
All times are in CEST (UTC +2)
Monday, September 12, 2022
Tuesday, September 13, 2022
-
13:40 – 15:20 Paper session
Program Verification & Synthesis
Wednesday, September 14, 2022
-
10:30 – 12:10 Paper session
Compilation
Thursday, September 15, 2022
-
09:00 – 17:30 Workshop
ML 2022
-
09:00 – 17:30 Workshop
PLanQC 2022
Program Committee: Cassandra Granade, Mathias Soeken