I presented a paper at #vmcai and will attend #popl2023 until tomorrow! Hmu if you’re into formal verification, model checking, concurrent systems & the like :)

RT @KenoFischer
If you're in town for #popl2023, do join us on Thursday at MIT for the monthly #julialang meetup. There'll be a talk on quantum computing by the one and only @kslimes as well as general hacking and dicussion. Usually a great time. https://www.meetup.com/julia-cajun/events/290849824

Forwarded from @afd_icl@twitter.com

Check out the camera-ready version of our #popl2023 paper on using formal technique to improve the #SPIRV programming language. Joint with Vasileios Klimis, Jack Clark, @wicko3, Alan Baker and @dneto.

@thekhronosgroup @VulkanAPI

https://t.co/uUIF9kxlKX

A program for #CPP2023 is now out https://popl23.sigplan.org/home/CPP-2023#program including keynote talks from Sandrine Blazy 'CompCert: a journey through the landscape of mechanized semantics for verified compilation' and Cezary Kaliszyk 'Improved Assistance for Interactive Proof'. The conference is co-hosted with #POPL2023 #VMCAI2023 and various workshops.

Will ProLaLa 2023 talks be streamed online? @legaltech @computationallaw
#prolala #prolala2023 #popl #popl2023 #complaw #legaltech #legaltechnology

#popl2023 in boston omg #popl