Stream: Coq workshop 2020

Topic: General Discussion


view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 11:42):

Great! Thanks Théo! Looking great.

We should may pin some topic / message?

Another tweak we could do is to add before the talk title "[Day 1 - 04]"

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 11:42):

as for the paper numbeR?

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 11:43):

I will also edit the paper titles to link to the zoom meeting / pdf when available

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:04):

Another tweak we could do is to add before the talk title "[Day 1 - 04]"

The topic length is limited and I thought that if there is a direct link from the program to each topic, then it's not really necessary.

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:04):

as for the paper numbeR?

AFAICT the paper numbers are only relevant to discussions within the PC and with authors.

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:24):

I mean the order on the day, could work well for visually locating the corresponding topic for those hanging out

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:24):

if we have a limitation we could use [1/02]

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:24):

?

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:30):

OK, sure. [1/02] would designate the second talk on the first day? Given that there are no more than 7 talks in a given day, I'd rather make it [D1-2] or [05/1] ... [05/6], [06/1] ... [06/7].

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:32):

Sure, [D1] [M1] would work

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:32):

Sorry

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:32):

[S1] = Sunday 1st

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:33):

[M2] = Monday 2nd

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:33):

or any variation you'd like

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:33):

Umm, it seems I cannot pin topics, etc...

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:34):

Neither move topics, etc...

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:34):

Sounds good! Though, let's wait for the schedule to be definitive before changing the topic names (note that this means that the links to the topics will also have to be updated).

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:34):

I don't think that the pinning feature exists in Zulip.

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:34):

What do you call "moving" topics?

view this post on Zulip Théo Zimmermann (Jun 24 2020 at 13:35):

Can't you rename topics?

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:36):

For example I was trying to move your message to Miscellaneous and I cannot

view this post on Zulip Emilio Jesús Gallego Arias (Jun 24 2020 at 13:36):

I can rename tho

view this post on Zulip Karl Palmskog (Jun 27 2020 at 07:51):

so will there be any opportunity to ask J.-C. Filliatre any questions about Coq 7.0 development and similar topics? In the workshop or perhaps even in the chat? I don't see a topic for this here.

view this post on Zulip Karl Palmskog (Jun 27 2020 at 08:07):

suggestion: for panelists and the keynote speaker, it might be good to add affiliation(s) to the workshop website

view this post on Zulip Paolo Giarrusso (Jun 27 2020 at 14:47):

Looking promising! BTW, can you mention the M1/S2 naming convention in a more prominent place?

view this post on Zulip Paolo Giarrusso (Jun 27 2020 at 14:52):

Also, do you plan to record the talks? That’s especially interesting for those who’ll submit to POPL 3-4 days later!

view this post on Zulip Théo Zimmermann (Jun 27 2020 at 15:08):

Karl Palmskog said:

so will there be any opportunity to ask J.-C. Filliatre any questions about Coq 7.0 development and similar topics? In the workshop or perhaps even in the chat? I don't see a topic for this here.

Yes, we've just forgot to add a topic for this.

view this post on Zulip Théo Zimmermann (Jun 27 2020 at 15:09):

Paolo G. Giarrusso said:

Also, do you plan to record the talks? That’s especially interesting for those who’ll submit to POPL 3-4 days later!

See what's written on the website:

The workshop will also be recorded, but some of the talk recordings may be accessible only to registered participants depending on speakers' consent.

view this post on Zulip Paolo Giarrusso (Jun 27 2020 at 15:47):

Doh, thanks!

view this post on Zulip Karl Palmskog (Jun 27 2020 at 16:27):

at PLDI, some people were nice and continued to answer questions in the chat after their session. Would be very convenient if people flagged up if they will do this.

view this post on Zulip Théo Zimmermann (Jun 28 2020 at 12:12):

Karl Palmskog said:

at PLDI, some people were nice and continued to answer questions in the chat after their session. Would be very convenient if people flagged up if they will do this.

We're expecting most speakers / co-authors to have this attitude here as well. I don't see the need for flagging topics.

view this post on Zulip Karl Palmskog (Jun 28 2020 at 19:31):

Théo Zimmermann said:

We're expecting most speakers / co-authors to have this attitude here as well. I don't see the need for flagging topics.

Well, I meant that it could be convenient if speakers explicitly said in the stream at the end of their session, "I will be around in the chat for the next hour, my co-author X will also be." - the chair could also ask about this. Some people likely have other engagements, so good to know constraints.

view this post on Zulip Karl Palmskog (Jul 04 2020 at 15:09):

how many minutes of questions are there in each regular presentation again?

view this post on Zulip Emilio Jesús Gallego Arias (Jul 04 2020 at 15:28):

We aim for 15+5 @Karl Palmskog

view this post on Zulip Emilio Jesús Gallego Arias (Jul 04 2020 at 15:28):

Of course each speaker can vary a bit

view this post on Zulip Karl Palmskog (Jul 04 2020 at 16:08):

Emilio Jesús Gallego Arias said:

We aim for 15+5 Karl Palmskog

I think the ideal for us, if possible, would be more like 17+3 to fit a small demo (and I will stay in the Zulip topic for quite long afterwards to answer questions there)

view this post on Zulip Emilio Jesús Gallego Arias (Jul 04 2020 at 18:11):

Sure, that's your call I think.

view this post on Zulip Emilio Jesús Gallego Arias (Jul 05 2020 at 08:49):

Hi all, we will open the streaming very soon.

view this post on Zulip Bas Spitters (Jul 05 2020 at 08:54):

Will you be streaming the coffee break?
https://coq-workshop.gitlab.io/2020/#program

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 08:57):

I don't think so.

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 08:57):

At least, not IJCAR-FSCD coffee break room

view this post on Zulip Théo Zimmermann (Jul 05 2020 at 08:58):

It's possible that the streaming of the Coq workshop room won't stop during coffee breaks.

view this post on Zulip Emilio Jesús Gallego Arias (Jul 05 2020 at 08:58):

@Bas Spitters I think so; but it won't be archived

view this post on Zulip Emilio Jesús Gallego Arias (Jul 05 2020 at 08:58):

for this coffee break likely not

view this post on Zulip Emilio Jesús Gallego Arias (Jul 05 2020 at 08:58):

I mean for the others

view this post on Zulip Bas Spitters (Jul 05 2020 at 09:01):

@Emilio Jesús Gallego Arias
Only 39 people here. Should the stream be announced more widely?

view this post on Zulip Bas Spitters (Jul 05 2020 at 09:04):

@Gaëtan Gilbert Is 39 the number of people subscribed, or "present"?

view this post on Zulip Karl Palmskog (Jul 05 2020 at 09:04):

it's the number of people subscribed

view this post on Zulip Emilio Jesús Gallego Arias (Jul 05 2020 at 14:47):

We will upload the slides for today after the last session

view this post on Zulip Karl Palmskog (Jul 05 2020 at 15:17):

@Emilio Jesús Gallego Arias should I email you the slides?

view this post on Zulip Emilio Jesús Gallego Arias (Jul 05 2020 at 15:17):

@Karl Palmskog please!

view this post on Zulip Enrico Tassi (Jul 06 2020 at 07:31):

Is the session open? I'm trying to connect but I'm having troubles. If I connect as a regular user, it kicks me out saying that I'm a panelist and I've to use the link they provide. If I use the link it seems so connect but then no window shows up

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:39):

@Enrico Tassi That's weird because the link in the e-mail worked for me and several of us.

view this post on Zulip Enrico Tassi (Jul 06 2020 at 07:40):

could you just try to make me not a panelist

view this post on Zulip Enrico Tassi (Jul 06 2020 at 07:40):

an promote me later?

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:41):

The issue is that for now the room is only open to panelists.

view this post on Zulip Enrico Tassi (Jul 06 2020 at 07:42):

Just to be sure, I've received an email and I take the link for "click here to join". then the tool asks me "please enter your meeting ID"

view this post on Zulip Enrico Tassi (Jul 06 2020 at 07:42):

I'm putting the 912 888 ... thing, is that right?

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:43):

You're using the wrong e-mail, the one you received because you are registered as a participant.

view this post on Zulip Enrico Tassi (Jul 06 2020 at 07:44):

Subject: Panelist for The Coq Workshop 2020

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:44):

OK, this is the correct e-mail then.

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:45):

The problem is then that Zoom doesn't do anything when you click the "Launch meeting" link.

view this post on Zulip Enrico Tassi (Jul 06 2020 at 07:45):

I'll do a reboot, just in case zoom is very broken

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:46):

Don't worry, we are going to quit practice mode now.

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:47):

You should be able to join using the meeting ID now.

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:47):

And we'll promote you as panelist when you join.

view this post on Zulip Enrico Tassi (Jul 06 2020 at 07:48):

it still does not work, it tells me "if you were invited as a panelist..."

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:49):

Even if you use the link on the workshop page?

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 07:49):

If it doesn't work in your desktop client, feel free to use the web client instead.

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 07:55):

Dear all, the first session of the second day of the workshop will start in 5 minutes, you can already join the Zoom chat

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 07:56):

We wil enable the streaming in 5 minutes

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 08:02):

Youtube link is https://www.youtube.com/watch?v=tROOcO44Uho&feature=youtu.be

view this post on Zulip Pierre Corbineau (Jul 06 2020 at 08:02):

Emilio Jesús Gallego Arias said:

Dear all, the first session of the second day of the workshop will start in 5 minutes, you can already join the Zoom chat

The two youtube links on the website link to day 1 streaming, did you post the day 2 link ?

view this post on Zulip Pierre Corbineau (Jul 06 2020 at 08:03):

Pierre Corbineau said:

Emilio Jesús Gallego Arias said:

Dear all, the first session of the second day of the workshop will start in 5 minutes, you can already join the Zoom chat

The two youtube links on the website link to day 1 streaming, did you post the day 2 link ?

It is online now, thanks.

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 08:11):

@Pierre Corbineau indeed we had to start the session then update the page, sorry, there is likely a way to know the link zoom will use in advance but we didn't manage

view this post on Zulip Karl Palmskog (Jul 06 2020 at 09:03):

where do we ask questions for the Coq Dev Team session? [edit: saw it now]

view this post on Zulip Enrico Tassi (Jul 06 2020 at 09:06):

@Karl Palmskog see the stream just bumped

view this post on Zulip Cyril Cohen (Jul 06 2020 at 15:01):

Thank you!

view this post on Zulip Enrico Tassi (Jul 06 2020 at 15:01):

Great WS!

view this post on Zulip Christian Doczkal (Jul 06 2020 at 15:01):

Thanks to the organizers and everyone else! :clap:

view this post on Zulip Cyril Cohen (Jul 06 2020 at 15:02):

And the double channel: zoom + zulip, was really nice to have!!!

view this post on Zulip Pierre Corbineau (Jul 06 2020 at 15:02):

Thanks to the organizers for this great workshop !!

view this post on Zulip Enzo Crance (Jul 06 2020 at 15:03):

Thanks for this workshop. :slight_smile:

view this post on Zulip Matthieu Sozeau (Jul 06 2020 at 15:04):

Thanks to the organizers :clap: It went well and was really interesting!

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 15:05):

Thanks a lot to everyone who participated by asking questions, presenting papers, panelists, and especially the session chairs. Great job everyone!

view this post on Zulip Dimitur Krustev (Jul 06 2020 at 15:07):

Great organization and very interesting presentations! Thanks! :clap:

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 15:09):

Thanks everybody!

Slides are up [some missing, please send to us] , sliced videos should be up soon, meanwhile the streamed versions should be still up

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 15:11):

I think we forgot to thank the PC as well :grimacing:

view this post on Zulip Théo Zimmermann (Jul 06 2020 at 15:11):

Thank you everybody that participated in making this possible.

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 15:11):

Indeed, thanks to the PC of course!!!

view this post on Zulip Emilio Jesús Gallego Arias (Jul 06 2020 at 15:16):

And thanks to the IJCAR/FCSD organizers, who had a very difficult job, to the panel moderators who worked pretty hard to coordinate everyone, and to the session chairs.

And sorry for indeed a few things that could have been handled better from the organization, indeed at some point there was quite a bit of uncertainty on the way to proceed due to all the circumstances, but at least I think we learned quite a few things.

view this post on Zulip Bas Spitters (Jul 06 2020 at 15:18):

Thanks for the great workshop!


Last updated: Feb 06 2023 at 05:03 UTC