Nice, thanks for sharing! Btw.: do you sometimes give summary talks of your Ph.D?
Besides my defense, I only did give such a talk once at IRIT in Toulouse (before the pandemic really hit).
So I don't have any video available to share, but I'm willing to do another talk if someone invites me.
Well maybe we should have something like a bi-weekly online Coq talk series - outside of conferences and the like. It could cover a wide range of Coq related topics.
That would be a great thing to have!
Fine - shall we organize it together?
Alright, let's do this.
How to we start - with a Zulip stream and a Github wiki project to keep track of the schedule?
By Zulip stream, do you mean a public stream for discussions during and around the talks or do you mean a private stream for the organizers?
I guess the best time would be around 5 PM French time - it would be 8 AM US west coast and 11 PM in China.
And a wiki page for the schedule, yes that sounds good. We probably don't need a separate project for that though, don't you think? A wiki page on the main Coq wiki would be enough.
Yes, I guess just a page on the Coq Wiki would be fine. Similar to how the Coq call is handled.
I guess we should have a public Zulip stream for discussing the next topics.
Michael Soegtrop said:
I guess the best time would be around 5 PM French time - it would be 8 AM US west coast and 11 PM in China.
That or a rotating time to not be Europe-US centered.
Indeed a rotating time would also be good because some people are blocked on some slots and then could never attend.
Last updated: Nov 29 2023 at 18:01 UTC