image

Научно-практическая конференция 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

Даты


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

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

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


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

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

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

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

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

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

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

Ссылки



Персоналии

Оргкомитет


  • 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, Universite de Montreal
  • Ryan Culpepper, Czech Technical University
  • Kimball Germane, University of Utah
  • Yukiyoshi Kameyama, University of Tsukuba
  • Andy Keep, Cisco Systems, Inc
  • Julien Pages, Universite de Montreal
  • Alexey Radul

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


  • Will Byrd, University of Alabama at Birmingham
  • Will Clinger, The Larceny Project
  • Marc Feeley, Universite de Montreal
  • Dan Friedman, Indiana University
  • Olin Shivers, Northeastern University