13:40
–
15:20
Paper session
2022年9月11日 –
2022年9月16日
Microsoft at ICFP 2022
地点： Ljubljana, Slovenia
所有时间都在 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