Гугл-календарь с конференциями, семинарами и пр. из мира теории (и практики) языков программирования, статического анализа, теории типов и других весёлых и интересных вещей. Начат Александром Чичигиным (кажется), пополняется "сообществом" (что бы это ни значило)
https://calendar.google.com/calendar?cid=MjFrcW1scmk5czJucWl1NWZqZDZmaGozZzhAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ