Stream: Miscellaneous

Topic: FLOC 2022


view this post on Zulip Emilio Jesús Gallego Arias (Aug 04 2022 at 13:48):

Hi folks, I created this thread for those of us at FLOC's next week in case we'd like to meet up, etc... I will be arriving to Haifa tomorrow late afternoon myself, and I'd be happy to meet up any time for coffee or lunch.

By the way I noticed that in this page https://www.floc2022.org/workshops the link to the Coq workshop is not set (cc @Talia Ringer @Karl Palmskog )

view this post on Zulip Talia Ringer (Aug 04 2022 at 16:46):

I'm on the airplane to Israel right now, I'm not sure how to go about changing this, @Karl Palmskog do you know how this works? Also, Karl, do you want to sync sometime before the workshop?

view this post on Zulip Karl Palmskog (Aug 04 2022 at 17:14):

@Talia Ringer I emailed the FLoC workshop chairs about this link before, and I thought they had fixed it. I will email them again first thing this Friday and ask again. Unfortunately that's all we can do for the FLoC website. I can synchronize anytime in the next few days, including the weekend, during usual central European day hours (or evenings). Feel free to suggest some time after you arrive in private message here on the Zulip, for example.

view this post on Zulip Ana de Almeida Borges (Aug 04 2022 at 19:05):

Hi, I'm already in Haifa. Let me know if you'd like to meet up.


Last updated: Jan 29 2023 at 18:03 UTC