Сперва подумал что лолдог генсек там

Немного переключусь на другой вопрос:
@odomontois @skucherenko
А поехали бы вы летом на недельку на школу по верификации/.../ с самоорганизованными воркшопами?
Где-то, скажем, в июле в Подмосковье на турбазе или в Грузии?

плюс к Олегу, недельку в Грузии это классно в теории, но на практике неделя отпуска это навряд ли

Неделька в Грузии

плюс к Олегу, недельку в Грузии это классно в теории, но на практике неделя отпуска это навряд ли

Кстати, не обязательно на неделю ехать. Типа дня на три, например?

Орги подвели к твоему ментору по верификации, он достал нож.
Твои действия?

Дорогие друзья! В этом новом году, в первые дни весны, с тёплыми лучами солнца я рад анонсировать школу 2021, этим летом.

Конструктивная верификация, model checking, индустриальное компиляторостроение, реверс-инжиниринг железа с перерывами на спорт, лошадей, дайвинг, личностный рост, музыку, танцы, йогу, бёрнинг мэн, шахматы, показ мод, хайкинг и фотографию.

Возьмём настоящих верификаторов, сеньоров-помидоров и перспективных молодых специалистов и сольём в экстазе со-образовательного процесса.
Для верификаторов возможность поменторить, обменяться опытом, опробовать свои конструкции на помидорах, для помидоров и молодых скоростная прокачка в уникальной теме и сообщество, для всех нетворкинг, коммьюнити билдинг и ярко проведённое время.
Форматы: самоорганизованные воркшопы, курсы лекций и семинаров, кулуары, доклады модных спикеров.
В дне четыре пары и вечернее мероприятие.

Контакты:
@bed128365216c019988915ed3add75fb генеральный секретарь, по любым непонятным вопросам.
@AntonTrunov председатель программного комитета, если вы хотите что-нибудь рассказать или услышать.

Те, кто знает только что такое лошади, что йога рифмуется с шойгу и что дайвинг это суецид с баллоном тоже рассматриваются?

На этом этапе интересно прежде всего обратную связь получить. Когда лучше устраивать (июль?), где делать? Может добровольцы-докладчики образуются