Простите, друзья, копипаста с Хабра, но я надеюсь, что здесь есть люди, которым это было бы интересно:

https://habr.com/ru/post/495050/

Научно-практическая конференция Scheme and Functional Programming Workshop 2020 открывает подачу заявок на доклады.

Scheme and Functional Programming Workshop — это ежегодное мероприятие, научно-практическая конференция, на которой собираются специалисты про языкам программирования, эстетически или технологически отвечающим основным принципам, заложенным в Алгоритмическим Языке Scheme: минимализму, сохраняющему универсальность, и тщательному проектированию, обеспечивающему гибкий дизайн.

От докладчиков ожидаются статьи о передовых научных результатах, а также отчёты о практических достижениях, как в инженерной, так и в образовательной сферах, а также развёрнутые предложения по рассмотрению идей сверх-ранней стадии или переосмыслению старых подходов. Приветствуются и поощряются работы, имеющие отношение к любым языкам, входящим в семейство Scheme: от чистых подмножеств RnRS, до «вариаций на тему Схемы», таких как Racket, других диалектов Lisp, включая Closure, Emacs Lisp, Common Lisp, и иных функциональных языков, поддерживающих замыкания и/или макросы (или имеющих таковую поддержку в средствах расширения языка, например, библиотеках). Примерами подобных могут являться Dylan, ECMAScript, Hop, Lua, Scala, Rust и ещё множество других. Общая элегантность работы и релевантность заявленной тебе будут являться более важным критерием оценки, нежели отдельные элементы синтаксиса, в котором реализованы примеры.

Наиболее интересующие темы включают (но не исчерпываются):

    Взаимодействие с разработчиком: средства написания программ, интегрированные среды разработки, отладка, тестирование и рефакторинг
    Реализация вычислительных движков: интерпретаторы, компиляторы, инструменты, сборщики мусора, бенчмарки
    Средства расширения языка: макросы, гигиена, доменно-специфичные языки, рефлексия, а так же как таковые влияют на процесс разработки
    Выражения: средства управления, модульность, полиморфизмы разных видов, типы, аспекты, модели владения, параллельные вычисления (конкурентные вычисления, многопоточность), иные способы параллельного выполнения, недетерминированные вычисления, вероятностные вычисления, и тому подобное
    Средства интеграции: инструменты сборки, развёртывания, взаимодействия с другими языками и системами
    Формальная семантика: теория, анализ и преобразования, частичное выполнение (partial evaluation)
    Человеческий фактор: прошлое, настоящее и будущее, эволюция и социология языке Scheme, стандарт и диалекты
    Образование: подходы, практические отчёты, образовательные программы
    Приложения: промышленные применения Scheme
    Искусство: элегантные и красивые трюки и применения Scheme

Даты

    Окончание подачи заявок: 15 Мая 2020
    Уведомление о рассмотрении заявок 12 Июня 2020
    Финальные версии работ для печати: 30 Июня 2020

Под датой дедлайна подразумевается таковая в любой точке Земли (23:59 UTC-12)

Формат подачи

Финальные бумажные версии работ должны использовать формат acmart и подформат acmlarge. Они должны быть в PDF, и допускать печать на бумаге формата US Letter. Microsoft Word/LaTeX шаблоны можно скачать:

http://www.sigplan.org/Resources/Author/

Этот формат согласуется с общепринятым форматом конференций ACM (включая ICFP, которая проходит в том же месте в то же время). Рекомендуеся использовать опцию «review» для нумерации строк, это упрощает рецензирование.

Конференция приветствует все возможные виды докладов, включая полноценные научные статьи, практические отчёты и блиц-доклады (lightning talks). Статьи и отчёты ограничены в объёме 14 страницами, но и меньшие размеры приветствуются. Блиц-доклады ограничены 192 словами. На каждую статью или доклад отводится слот в 25 минут, включая вопросы. На блиц-доклад отводится два пятиминутных слота, один для доклада и один для вопросов.

Ограничения по размеру не распространяются на ссылки и приложения. На размер приложений ограничения отсутствуют, однако материал должен читаться без них, и при рассмотрении заявок они могут не учитываться.

Публикация исходного кода, связанного с изложенным материалом, под открытой лицензией, для того, чтобы рецензенты могли проверить сделанные утверждения, приветствуется.

Труды конференции (Proceedings) будут опубликованы в формате технического отчёта (Technical Report) Мичиганского Университета (University of Michigan), а также загружены на arXiv.org

Публикация работы на данной научно-практической конференции не предполагает исключительности, и оставляет возможность для публикации позднее более полной или развёрнутой версии работы на иной научной конференции или в научном журнале.

Ссылки

    schemeworkshop.org
    icfp20.sigplan.org/home/scheme-2020#Call-for-Papers

Персоналии:

Оргкомитет

    Michael D. Adams (Program Co-Chair), University of Michigan
    Baptiste Saleil (Program Co-Chair), IBM Canada
    Jason Hemann (Publicity Chair), Northeastern University

Программный комитет

    Michael D. Adams (Program Co-Chair), University of Michigan
    Baptiste Saleil (Program Co-Chair), IBM Canada
    Maxime Chevalier-Boisvert, Université de Montréal
    Ryan Culpepper, Czech Technical University
    Kimball Germane, University of Utah
    Yukiyoshi Kameyama, University of Tsukuba
    Andy Keep, Cisco Systems, Inc
    Julien Pagès, Université de Montréal
    Alexey Radul

Направляющий комитет

    Will Byrd, University of Alabama at Birmingham
    Will Clinger, The Larceny Project
    Marc Feeley, Université de Montréal
    Dan Friedman, Indiana University
    Olin Shivers, Northeastern University