• Goals
• Methodology
• People
• Miscellaneous links
• Meeting log and planning
• Next meeting
• 2021-09-15
• Porting of the VM / native to multicore
• How can Coq profit from threads?
• PMP's plan of removing Future.t from the kernel?