• Topics
• Roles
• Notes
• Summary
• More details about some points
• Roadmap update (Theo Zimmermann)
• Parsing recovery mode
• Discussion about nested inductive types
• Extension of ssreflect's "of" syntax
• Organization of an offline meeting between developers