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