Emilio Jesús Gallego Arias (Jun 24 2020 at 11:42): 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]"
Emilio Jesús Gallego Arias (Jun 24 2020 at 11:42):as for the paper numbeR?
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
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.
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.
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
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:24):if we have a limitation we could use [1/02]
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:24):?
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].
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:32):Sure, [D1] [M1] would work
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:32):Sorry
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:32):[S1] = Sunday 1st
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:33):[M2] = Monday 2nd
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:33):or any variation you'd like
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:33):Umm, it seems I cannot pin topics, etc...
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:34):Neither move topics, etc...
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).
Théo Zimmermann (Jun 24 2020 at 13:34):I don't think that the pinning feature exists in Zulip.
Théo Zimmermann (Jun 24 2020 at 13:34):What do you call "moving" topics?
Théo Zimmermann (Jun 24 2020 at 13:35):Can't you rename topics?
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
Emilio Jesús Gallego Arias (Jun 24 2020 at 13:36):I can rename tho
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.
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
Paolo Giarrusso (Jun 27 2020 at 14:47):Looking promising! BTW, can you mention the M1/S2 naming convention in a more prominent place?
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!
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.
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.
Paolo Giarrusso (Jun 27 2020 at 15:47):Doh, thanks!
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.
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.
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.
Karl Palmskog (Jul 04 2020 at 15:09):how many minutes of questions are there in each regular presentation again?
Emilio Jesús Gallego Arias (Jul 04 2020 at 15:28):We aim for 15+5 @Karl Palmskog
Emilio Jesús Gallego Arias (Jul 04 2020 at 15:28):Of course each speaker can vary a bit
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)
Emilio Jesús Gallego Arias (Jul 04 2020 at 18:11):Sure, that's your call I think.
Emilio Jesús Gallego Arias (Jul 05 2020 at 08:49):Hi all, we will open the streaming very soon.
Bas Spitters (Jul 05 2020 at 08:54):Will you be streaming the coffee break?
https://coq-workshop.gitlab.io/2020/#program
Théo Zimmermann (Jul 05 2020 at 08:57):I don't think so.
Théo Zimmermann (Jul 05 2020 at 08:57):At least, not IJCAR-FSCD coffee break room
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.
Emilio Jesús Gallego Arias (Jul 05 2020 at 08:58):@Bas Spitters I think so; but it won't be archived
Emilio Jesús Gallego Arias (Jul 05 2020 at 08:58):for this coffee break likely not
Emilio Jesús Gallego Arias (Jul 05 2020 at 08:58):I mean for the others
Bas Spitters (Jul 05 2020 at 09:01):@Emilio Jesús Gallego Arias
Only 39 people here. Should the stream be announced more widely?
Bas Spitters (Jul 05 2020 at 09:04):@Gaëtan Gilbert Is 39 the number of people subscribed, or "present"?
Karl Palmskog (Jul 05 2020 at 09:04):it's the number of people subscribed
Emilio Jesús Gallego Arias (Jul 05 2020 at 14:47):We will upload the slides for today after the last session
Karl Palmskog (Jul 05 2020 at 15:17):@Emilio Jesús Gallego Arias should I email you the slides?
Emilio Jesús Gallego Arias (Jul 05 2020 at 15:17):@Karl Palmskog please!
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
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.
Enrico Tassi (Jul 06 2020 at 07:40):could you just try to make me not a panelist
Enrico Tassi (Jul 06 2020 at 07:40):an promote me later?
Théo Zimmermann (Jul 06 2020 at 07:41):The issue is that for now the room is only open to panelists.
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"
Enrico Tassi (Jul 06 2020 at 07:42):I'm putting the 912 888 ... thing, is that right?
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.
Enrico Tassi (Jul 06 2020 at 07:44):Subject: Panelist for The Coq Workshop 2020
Théo Zimmermann (Jul 06 2020 at 07:44):OK, this is the correct e-mail then.
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.
Enrico Tassi (Jul 06 2020 at 07:45):I'll do a reboot, just in case zoom is very broken
Théo Zimmermann (Jul 06 2020 at 07:46):Don't worry, we are going to quit practice mode now.
Théo Zimmermann (Jul 06 2020 at 07:47):You should be able to join using the meeting ID now.
Théo Zimmermann (Jul 06 2020 at 07:47):And we'll promote you as panelist when you join.
Enrico Tassi (Jul 06 2020 at 07:48):it still does not work, it tells me "if you were invited as a panelist..."
Théo Zimmermann (Jul 06 2020 at 07:49):Even if you use the link on the workshop page?
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.
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
Emilio Jesús Gallego Arias (Jul 06 2020 at 07:56):We wil enable the streaming in 5 minutes
Emilio Jesús Gallego Arias (Jul 06 2020 at 08:02):Youtube link is https://www.youtube.com/watch?v=tROOcO44Uho&feature=youtu.be
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 ?
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.
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
Karl Palmskog (Jul 06 2020 at 09:03):where do we ask questions for the Coq Dev Team session? [edit: saw it now]
Enrico Tassi (Jul 06 2020 at 09:06):@Karl Palmskog see the stream just bumped
Cyril Cohen (Jul 06 2020 at 15:01):Thank you!
Enrico Tassi (Jul 06 2020 at 15:01):Great WS!
Christian Doczkal (Jul 06 2020 at 15:01):Thanks to the organizers and everyone else! :clap:
Cyril Cohen (Jul 06 2020 at 15:02):And the double channel: zoom + zulip, was really nice to have!!!
Pierre Corbineau (Jul 06 2020 at 15:02):Thanks to the organizers for this great workshop !!
Enzo Crance (Jul 06 2020 at 15:03):Thanks for this workshop. :slight_smile:
Matthieu Sozeau (Jul 06 2020 at 15:04):Thanks to the organizers :clap: It went well and was really interesting!
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!
Dimitur Krustev (Jul 06 2020 at 15:07):Great organization and very interesting presentations! Thanks! :clap:
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
Théo Zimmermann (Jul 06 2020 at 15:11):I think we forgot to thank the PC as well :grimacing:
Théo Zimmermann (Jul 06 2020 at 15:11):Thank you everybody that participated in making this possible.
Emilio Jesús Gallego Arias (Jul 06 2020 at 15:11):Indeed, thanks to the PC of course!!!
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.
Bas Spitters (Jul 06 2020 at 15:18):Thanks for the great workshop!
Last updated: Oct 03 2023 at 02:34 UTC