• Monday the 16th
• 10am
• 12.30-2.30pm
• 2.30-4pm
• 4...
• Tuesday the 17th
• 10am-12pm:
• 12am-2pm:
• 2pm-3.30pm:
• 4pm-5pm:
• Notes (by M. Sozeau)
• 10am-12pm:
• Next Coq IW
• Open recursion pretyper [Pierre-Marie, 30']
• Coq and Machine Learning [Emilio, 30']
• Incremental type-checking [Emilio, 30']
• Dune
• 12am-2pm:
• 2pm-3.30pm:
• Coq and OCaml [Emilio 15', GMM 15']
• Status of build automation for Coq projects [Karl, 10']
• Integrating Scala as a new extraction language for Coq, see Scallina [Joseph, 10' on my side].
• 4pm-5pm:
• Polls on implicit arguments and primitive projections
• Refactoring the refman [Théo and Matthieu, 30-45']
• Participants
• Draft topics:
• Those were postponed to the next for the october working group (by Emilio I think)
• Visio details