Еще раз добрый вечер! Сегодняшние сессии CPP (International Conference Certified Programs and Proofs) транслировались в Ютубе и остались там доступными для всех желающих. Вот две записи в соответствии с программой https://popl21.sigplan.org/home/CPP-2021?#program:
18:00–19:30 https://www.youtube.com/watch?v=PAxUO84tUE8 - 18:00 - 19:00: Invited TalkCPP at CPP - 19:00 - 19:30: Proof TacticsCPP at CPP 20:00–21:30 https://www.youtube.com/watch?v=U_ZT9hfDAUQ - 20:00 - 20:45: Logic, Set Theory, and Category TheoryCPP at CPP - 20:45 - 21:30: Formalized MathematicsCPP at CPP Какие из других конференций/воркшопов транслировались в Ютуб и остались ли доступными – не знаю. Видел, что не все. Видимо, решения об этом принимается организаторами конкретного мероприятия. CPP работает в открытую. Всего наилучшего, Андрей On Sun, Jan 17, 2021 at 5:45 PM Andrei Klimov <and...@klimov.net> wrote: > Добрый вечер всем! > > Сегодня *17 января* 2021 в *18:00* (мск) начинает работать * онлайн* > крупная конференция по нашей тематике: > > - *48th ACM SIGPLAN Symposium on Principles of Programming Languages > (POPL 2021)* > https://popl21.sigplan.org/ > > При ней проходят несколько тематических конференций и workshop'ов. Самый > родственный нам – PEPM <https://popl21.sigplan.org/home/pepm-2021>. > > Чтобы слушать онлайн, надо зарегистрироваться > <https://regmaster.com/2021conf/POPL21/register.php>, заплатив $10. Однако > на сайте много материалов, доступных и без регистрации: > > - 61 статья по докладам POPL; некоторые из других конференций и > workshop'ов тоже выставили статьи, а некоторые нет. > - 5-минутные записи коротких видео-презентаций докладов (video > pre-publication); а некоторые авторы рядом выставили и длинные презентации > (причем иногда более длинные, чем окно в программе). > - у некоторых есть и файлы презентаций. > > Программа здесь (обратите внимание, что можно указать свой часовой пояс): > > - https://popl21.sigplan.org/program/program-POPL-2021 > > На сегодня я пометил для себя такие два интересных доклада, но и другие > тоже повключаю: > > - 18:00 - 19:00 > Invited Talk: > *Teaching Algorithms and Data Structures with a Proof Assistant *Tobias > Nipkow (Technische Universität München) > - 20:30 - 20:45 > *Formalizing Category Theory in Agda* > Jason Z.S. (HuMcGill University), Jacques Carette (McMaster University) > > Список сопутствующих конференций и workshop'ов приведен на сайте > <https://popl21.sigplan.org/> под пунктом меню Tracks: > > - *Co-hosted Conferences* > - CPP: International Conference Certified Programs and Proofs > - PLMW: Programming Languages Mentoring Workshop > - VMCAI: 22nd International Conference on Verification, Model > Checking, and Abstract Interpretation > - *Workshops* > - CoqPL: The Seventh International Workshop on Coq for Programming > Languages > - LAFI: Workshop on Languages for Inference > - PEPM: Workshop on Partial Evaluation and Program Manipulation > - PriSC: 5th Workshop on Principles of Secure Compilation > - *Co-hosted Symposiums* > - PADL: 23rd International Symposium on Practical Aspects of > Declarative Languages > > Enjoy! > > Всего наилучшего, > > Андрей Климов >