Еще раз добрый вечер!

Сегодняшние сессии 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!
>
> Всего наилучшего,
>
> Андрей Климов
>

Ответить