Re: 17-22 января 2021, онлайн: 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)

2021-01-17 Пенетрантность Andrei Klimov andrei_AT_klimov . net
Еще раз добрый вечер! Сегодняшние сессии CPP (International Conference Certified Programs and Proofs) транслировались в Ютубе и остались там доступными для всех желающих. Вот две записи в соответствии с программой https://popl21.sigplan.org/home/CPP-2021?#program: 18:00–19:30

17-22 января 2021, онлайн: 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)

2021-01-17 Пенетрантность Andrei Klimov andrei_AT_klimov . net
Добрый вечер всем! Сегодня *17 января* 2021 в *18:00* (мск) начинает работать * онлайн* крупная конференция по нашей тематике: - *48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)* https://popl21.sigplan.org/ При ней проходят несколько тематических