* 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
* Программа мероприятия:
*** Воркшоп: формальная верификация программ с состоянием на 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