Еще раз добрый вечер!
Сегодняшние сессии CPP (International Conference Certified Programs and
Proofs) транслировались в Ютубе и остались там доступными для всех
желающих. Вот две записи в соответствии с программой
https://popl21.sigplan.org/home/CPP-2021?#program:
18:00–19:30 https://www.youtube.
Добрый вечер всем!
Сегодня *17 января* 2021 в *18:00* (мск) начинает работать * онлайн*
крупная конференция по нашей тематике:
- *48th ACM SIGPLAN Symposium on Principles of Programming Languages
(POPL 2021)*
https://popl21.sigplan.org/
При ней проходят несколько тематических конференци