Руслан над подолом красиво пошёл https://t.co/dfP8p0D9qe

Register now: registration closes on 5 June! Thanks to our generous sponsors, registration is FREE!
Check out our song, “This is Still PLDI”!  
Proceedings for PLDI and affiliated events will be available through SIGPLAN OpenTOC.
Authors: please see the page on resources for video recording.
Distinguished Papers

 Data-Driven Inference of Representation Invariants  
 Armada: Low-Effort Verification of High-Performance Concurrent Programs  
 Validating SMT Solvers via Semantic Fusion  
 From Folklore to Fact: Comparing Implementations of Stacks and Continuations  
 Fast Graph Simp ...

Всем привет.

Сегодня мы продолжаем наши уютные встречи по четвергам – BeerJS Online в Zoom/Hub c 20:00. Планируем сделать несколько комнат по основным городам и технологиям, чтобы обсудить разное по интересам за пивом в хорошей компании.
Если кто-то хочет захостить у себя еще какие-то темы/города, пишите. Для этого желательно иметь Pro аккаунт, чтобы не было ограничений по времени.
Вся синхронизация через чат @beerjssummit – какие темы где обсуждаются, какие митинги появились и прочее. Все ссылки на митинги будут появляться в этом сообщении. Запасайтесь пивом, фонами для зума и веселым настроением на вечер 🍻

BeerJS Online: https://us02web.zoom.us/j/85446901429 – общая комната
БляЖС/КиївЖС: https://us02web.zoom.us/j/88006164151 – подполье

Hubs: https://hub.link/GvnQwLF/beerjs – виртуальное пространство поиграться

Интервьюеры