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

[Andrei Klimov]

Добрый вечер всем!

Сегодня 17 января 2021 в 18:00 (мск) начинает работать онлайн крупная конференция по нашей тематике:

• 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021)
  https://popl21.sigplan.org/

При ней проходят несколько тематических конференций и workshop'ов. Самый родственный нам – PEPM.

Чтобы слушать онлайн, надо зарегистрироваться, заплатив $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'ов приведен на сайте под пунктом меню 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!

Всего наилучшего,

Андрей Климов

[Andrei Klimov]

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

Сегодняшние сессии 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 работает в открытую.

Всего наилучшего,

Андрей