Stream: CUDW 2020

Topic: Videoconference URL

view this post on Zulip Pierre-Marie Pédrot (Nov 29 2020 at 21:47):

In case you have missed the link, let us all meet tomorrow (Monday 30th) at 10:00 UTC+1 on https://bbb-front.math.univ-paris-diderot.fr/recherche/the-sev-dee-jmp

view this post on Zulip Pierre-Marie Pédrot (Nov 29 2020 at 21:47):

For some reason I cannot ping all persons subscribed to this stream.

view this post on Zulip Karl Palmskog (Nov 30 2020 at 08:46):

should we try to ping people again?

view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 08:49):

The stream options do not let me ping "all", unfortunately. Maybe @Théo Zimmermann can do it though?

view this post on Zulip Théo Zimmermann (Nov 30 2020 at 08:50):

Yes, I can.

view this post on Zulip Théo Zimmermann (Nov 30 2020 at 08:50):

@all: we start in 10 minutes at https://bbb-front.math.univ-paris-diderot.fr/recherche/the-sev-dee-jmp

view this post on Zulip Guillaume Melquiond (Nov 30 2020 at 08:56):

Unless I am missing something, this has been announced neither on the mailing list nor on the Discuss forum. Are people supposed to have a Zulip account to know how to participate?

view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 08:57):

It was advertised that people should subscribe to Zulip as the preferred way of announcing things

view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 08:58):

Plus, I don't know how much we want to publish the BBB URL to random strangers

view this post on Zulip Karl Palmskog (Nov 30 2020 at 08:58):

I think we can at least put it in the "Coq users" stream here, not everyone may know about this stream, there is no autosubscribe

view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 08:59):

OK, let me do that.

view this post on Zulip Michael Soegtrop (Nov 30 2020 at 08:59):

A note for Mac users: afaik you can't share your screen on BBB with Safari but Chrome works. For all other functionality (audio, video sharing) Safari works fine.

view this post on Zulip Théo Zimmermann (Nov 30 2020 at 09:01):

For the record, two registered users are not on Zulip: Pierre Roux and Pierre Vial.

view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 09:01):

I can spam both of them personally.

view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 09:48):

@Théo Zimmermann is it possible to pin this topic so that it doesn't get lost in the flow of other topics?

view this post on Zulip Théo Zimmermann (Nov 30 2020 at 09:48):

No, but I can put the URL in the description of the stream.

Last updated: Jun 10 2023 at 23:01 UTC