Looks like the best time overall is March 21, 3-5PM Paris time (=10AM to noon US Eastern, I believe, since the US will have switched to Daylight Savings time but Europe will not). The meeting will be held on Zoom.
During the first hour or so, Romain, Enrico, and Maxime will present the principles of the LSP protocol, the subset used in VsCoq2, and its VsCoq2-specific extensions. The second hour is for questions and discussion.
Last updated: Mar 02 2024 at 14:01 UTC