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 )
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?
@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.
Hi, I'm already in Haifa. Let me know if you'd like to meet up.
Last updated: Dec 07 2023 at 14:02 UTC