Научно-практическая конференция 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 шаблоны можно скачать тут.
Этот формат согласуется с общепринятым форматом конференций 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, 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
