* Fprog Tbilisi Meetup

* Программа мероприятия:

*** Воркшоп: формальная верификация программ с состоянием на Lean4 (@GabrielFallen)

(sic!) Воркшоп стартует в 12:00, хронометраж ~3 часа. Это практическое занятие, берите с собой компьютеры. После воркшопа обеденный перерыв на 1 час, потом доклады из списка ниже.

*** Оптимизации в Common Lisp (@love5an)
*** Метапрограммирование в языках семейства Lisp (@akater)
*** Сорта Clojure(Script) в браузере (@astynax)
*** Дебаггеры в Clojure (@apostaat)

* Язык: чёрное наречие
* Вход: бесплатный
* Хост: @cofob @klntsky
* Место: F0RTHSPACE, Ana Kalanadze, 5
* Дата: 01.12.2024 (воскресенье)
* Дискуссия - а куда без неё
* Если планируете прийти - ставьте 👍

UPD:
YouTube - https://www.youtube.com/watch?v=5T-XONZCptc
Meet - https://meet.jit.si/fprogtbilisi