Прошедшие события

Митап в баре.

Митап в баре.

Собрались в Сокольниках пообщаться и поесть мяса.

Митап в баре.

Серия воркшопов по доказательству корректности программ и языку Coq.

Групповое упражнение, которое помогают развивать навыки проектирования программ.

Брусника на Фрунзенской.

Пишем браузер за выходные.

Совместно с МТС.

Доклад Дмитрия Родионова.