[Verifpal] Eurocrypt 2022: Verifpal Workshop

[Nadim Kobeissi]

Hello everyone,

We are excited for the workshop, which starts tomorrow at 9am sharp at  at the Clarion Hotel Trondheim (the main Eurocrypt 2022 venue) in conference room Cosmos 3A. Please do your best to arrive on time.

Regarding online participation:

The thing is, we still have no idea what are the facilities that will be provided in the conference room for online participation, but regardless, I think we’ll be able to at least do a Zoom screenshare + microphone share. So anyhow, just tune in tomorrow at 9am at the following Zoom link, please:

Meeting ID: 875 3029 8807
Passcode: PLEASE EMAIL ME AT NADIM at SYMBOLIC.SOFTWARE <mailto:NADIM at SYMBOLIC.SOFTWARE> FOR THE PASSCODE
One tap mobile
+13462487799,,87530298807#,,,,*85698473# US (Houston)
+16699006833,,87530298807#,,,,*85698473# US (San Jose)

Dial by your location
        +1 346 248 7799 US (Houston)
        +1 669 900 6833 US (San Jose)
        +1 929 205 6099 US (New York)
        +1 253 215 8782 US (Tacoma)
        +1 301 715 8592 US (Washington DC)
        +1 312 626 6799 US (Chicago)
Meeting ID: 875 3029 8807
Passcode: 85698473
Find your local number: https://us06web.zoom.us/u/kchIIdQtfn

See you tomorrow,

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On 22 May 2022, at 4:19 PM, Nadim Kobeissi <nadim at symbolic.software> wrote:
> 
> Hello everyone,
> 
> The Verifpal Workshop is happening at Eurocrypt 2022, as an affiliated event, next weekend on Sunday, May 29th! Georgio and I look forward to seeing everyone who’s registered.
> 
> Learn more and register here:
> https://verifpal.com/events/eurocrypt2022/ 
> 
> The webpage above has all the info you could possibly need, so I’ll keep this email short. We are almost done with workshop preparations and hope to ensure a fun, educational, and valuable time for all involved.
> 
> Thank you all, and see you soon.
> 
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20220528/e2ddad22/attachment.htm>