Stream: Miscellaneous

Topic: Online Coq talks


view this post on Zulip Michael Soegtrop (Apr 13 2021 at 09:19):

Nice, thanks for sharing! Btw.: do you sometimes give summary talks of your Ph.D?

view this post on Zulip Théo Zimmermann (Apr 13 2021 at 09:20):

Besides my defense, I only did give such a talk once at IRIT in Toulouse (before the pandemic really hit).

view this post on Zulip Théo Zimmermann (Apr 13 2021 at 09:20):

So I don't have any video available to share, but I'm willing to do another talk if someone invites me.

view this post on Zulip Michael Soegtrop (Apr 13 2021 at 09:27):

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.

view this post on Zulip Théo Zimmermann (Apr 13 2021 at 09:28):

That would be a great thing to have!

view this post on Zulip Michael Soegtrop (Apr 13 2021 at 09:31):

Fine - shall we organize it together?

view this post on Zulip Théo Zimmermann (Apr 13 2021 at 09:32):

Alright, let's do this.

view this post on Zulip Michael Soegtrop (Apr 13 2021 at 09:35):

How to we start - with a Zulip stream and a Github wiki project to keep track of the schedule?

view this post on Zulip Théo Zimmermann (Apr 13 2021 at 09:38):

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?

view this post on Zulip Michael Soegtrop (Apr 13 2021 at 09:39):

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.

view this post on Zulip Théo Zimmermann (Apr 13 2021 at 09:39):

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.

view this post on Zulip Michael Soegtrop (Apr 13 2021 at 09:40):

Yes, I guess just a page on the Coq Wiki would be fine. Similar to how the Coq call is handled.

view this post on Zulip Michael Soegtrop (Apr 13 2021 at 09:41):

I guess we should have a public Zulip stream for discussing the next topics.

view this post on Zulip Théo Zimmermann (Apr 13 2021 at 09:41):

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.

view this post on Zulip Michael Soegtrop (Apr 13 2021 at 09:42):

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