В этом файле собраны научные конференций по языкам программирования (ЯП), а также сопутствующие летние и прочие школы. В каждом разделе упорядочение производится, насколько возможно, в хронологическом порядке (январские конференции указаны раньше февральских и т. п.). Дополнительную информацию о проведении многих конференций можно получить на портале WikiCfP (присутствует категоризация: к пример, категория ЯП).
Нас серьёзно заботит российская научная действительность, в которой отсутствует такая тема как ЯП, потому мы приводим наиболее авторитетные российские конференции и журналы по информатике, где (как мы надеемся) могли бы быть приняты работы по ЯП. Источником журналов такого рода для нас является в первую очередь mathnet.ru. Для удобства журналы разделены по традиционному принципу (не)включения в реферативные базы и список ВАК.
-
POPL: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2016, 2015) — январь.
-
PLDI: Programming Language Design and Implementation (2016, 2015) — июнь.
-
ICFP: The ACM SIGPLAN International Conference on Functional Programming (сайт) + ценные страницы со списками конференций и семинаров “related” (часть из них перечислена в нашем списке) и “affiliated” — сентябрь.
-
SPLASH: Systems, Programming, Languages and Applications: Software for Humanity (включая OOPSLA; 2016, 2015) — ноябрь.
-
ECOOP: European Conference on Object-Oriented Programming (2015) — июль.
-
ETAPS: The European Joint Conferences on Theory and Practice of Software (сайт), особенно ESOP (European Symposium on Programming) — апрель.
-
SNAPL: The Inaugural Summit on Advances in Programming Languages (сайт) — новая конференция, впервые прошла в 2015, планируется проводить раз в два года; май.
-
PADL: Practical Aspects of Declarative Languages (последние годы совмещено с POPL; 2018, 2017) — январь.
-
MSFP: Workshop on Mathematically Structured Functional Programming (2016) — апрель раз в два года, в рамках ETAPS.
-
TFP: Trends in Functional Programming (сайт) — июнь, Великобритания.
-
PPDP: Principles and Practice of Declarative Programming (2017, WikiCfP) — июль.
-
IFL: Symposium on Implementation and Application of Functional Languages (сайт — август.
-
SBLP: Brazilian Symposium on Programming Languages (2016) — сентябрь.
-
APLAS: Asian Symposium on Programming Languages and Systems (2016) — ноябрь.
Большиснтво из перечисленных ниже конференции (кроме PLC) имеет более широкую или смежную с (но не в точности) ЯП-тематику.
-
TMPA: Conference on tools and methods of program analysis (сайт) — март.
-
PLC: Языки программирования и компиляторы (сайт) — апрель.
-
CSR: International Computer Science Symposium in Russia (2016, 2015) — конференция с чётким уклоном в алгоритмы и сложность; июнь.
-
PSI: Ершовская конференция по информатике «Перспективы систем информатики» (сайт) — август.
-
СИТиИТО: Современные информационные технологии и ИТ-образование (секция «Теоретическая информатика и компьютерные науки», сайт) — ноябрь.
- Программирование (сайт) — ИСП РАН.
- Информатика и её применения (сайт) — ИПИ РАН.
- Системы и средства информатики (сайт) — ИПИ РАН.
- Вычислительные методы и программирование (сайт) — ВЦ МГУ.
- Труды Института системного программирования РАН (сайт) — ИСП РАН.
- Труды СПИИРАН (сайт).
- Препринты ИПМ им. М. В. Келдыша РАН (сайт).
- Системное программирование (сайт) — СПБГУ.
- Программные системы: теория и приложения (сайт) — ИПС РАН.
На всех «главных» конференциях предусмотрено «студенческое волонтёрство», куда может подать любой имеющий отношение к академии человек и получить финансовую поддержку для очного участия в конференции. Полезность последнего для формирования представлений о ЯП как научной области, а также о карьерных перспективах, трудно переоценить.
-
ICFP SRC: Student Research Competition в рамках ICFP (см. выше).
-
BCTCS: British Colloquium for Theoretical Computer Science (2017).
-
SYRCoSE: Spring/Summer Young Researchers' Colloquium on Software Engineering (сайт) — ИСП РАН.
-
MSG: Midlands Graduate School in the Foundations of Computing Science (2015, сайт) — апрель.
-
Oregon: Летняя школа по ЯП в Орегоне (сайт) — июнь.
Здесь хотелось бы собрать ссылки на наиболее значимые университетские научные группы, проводящие исследования в области языков программирования, с упоминанием наиболее ярких представителей.
- PL group @ IU — Indiana U. (Daniel Friedman, Andrew Lumsdaine, Amr Sabry, Jeremy Siek)
- PRL@NEU — Northeastern U. (Amal Ahmed, Matthias Felleisen)
- PL club @ UPenn — U. of Pennsylvania (Rajeev Alur, Benjamin Pierce, Stephanie Weirich, Steve Zdancewic)
- POP — Carnegie Mellon U. (Jonathan Aldrich, Robert Harper, Frank Pfenning, Stephanie Balzer)
- PLUM — U. of Maryland (Mike Hicks, David Van Horn)
- PurPL — Purdue U. (Tiark Romf, Samantha Roopsha, Ben Delaware)
- PL + SE @ MIT CSAIL — MIT (Adam Chlipala)