Дайджест мероприятий

Рассказываем о научных семинарах ФКН на эту неделю.

Семинары:
➖➖➖➖
🗂️ НУЛ Яндекс х Yandex Research Reading Group
📆 Когда: 19 мая в 16:30
🐭 Подробнее

🗂️ НУЛ ПОИС "Using TLA+ as a Tool for Building Transactional Memory Models from Specialized Frameworks"
📆 Когда: 20 мая в 17:00
🐭 Подробнее

🗂️ НУЛ АГП "An example of Bhatwadekar and Dutta"
📆 Когда: 20 мая в 18:00
🐭 Подробнее