Get best of the week

Solicitud abierta para el Taller de Esquema y Programación Funcional 2020

imagen

La conferencia científico-práctica Scheme and Functional Programming Workshop 2020 abre la aplicación para informes.


Scheme and Functional Programming Workshop es un evento anual, una conferencia científica y práctica, que reúne a expertos sobre lenguajes de programación que cumplen estética o tecnológicamente los principios básicos establecidos en el lenguaje algorítmico del esquema: minimalismo que preserva la universalidad y un diseño meticuloso que proporciona un diseño flexible.

Se espera que los oradores publiquen artículos sobre resultados científicos avanzados, así como informes sobre logros prácticos en los campos de ingeniería y educación, así como propuestas detalladas para considerar ideas desde la etapa súper temprana o repensar viejos enfoques. Los trabajos relacionados con cualquier idioma de la familia Scheme son bienvenidos y alentados: desde subconjuntos puros de RnRS hasta "variaciones en el tema del Scheme", como Racket, otros dialectos de Lisp, incluidos Closure, Emacs Lisp, Common Lisp y otros lenguajes funcionales admitir cierres y / o macros (o tener dicho soporte en herramientas de extensión de lenguaje, como bibliotecas). Ejemplos de tales pueden ser Dylan, ECMAScript, Hop, Lua, Scala, Rust y muchos otros.La elegancia general del trabajo y la relevancia que se le declarará será un criterio de evaluación más importante que los elementos individuales de la sintaxis en la que se implementan los ejemplos.

( ):


  • : , , ,
  • : , , , ,
  • : , , - , ,
  • : , , , , , , ( , ), , , ,
  • : , ,
  • Semántica formal: teoría, análisis y transformación, evaluación parcial.
  • El factor humano: pasado, presente y futuro, evolución y sociología del lenguaje de esquemas, estándares y dialectos
  • Educación: enfoques, informes prácticos, programas educativos.
  • Aplicaciones: Aplicaciones de esquemas industriales
  • Arte: trucos y aplicaciones de esquemas elegantes y hermosos

fechas


  1. Fecha límite de solicitud: 15 de mayo de 2020
  2. Aviso de revisión de la solicitud 12 de junio de 2020
  3. Trabajos finales para imprimir: 30 de junio de 2020

La fecha límite significa que en cualquier parte del mundo (23:59 UTC-12)

Formato de alimentación


Las versiones finales en papel deben usar el formato acmart y el subformato acmlarge. Deben estar en PDF y permitir la impresión en papel en formato Carta de EE. UU. Las plantillas de Microsoft Word / LaTeX se pueden descargar aquí .

Este formato es coherente con el formato de conferencia ACM generalmente aceptado (incluido ICFP, que tiene lugar en el mismo lugar al mismo tiempo). Se recomienda utilizar la opción "revisión" para la numeración de líneas, lo que facilita la revisión.

La conferencia da la bienvenida a todos los tipos posibles de informes, incluidos artículos científicos completos, informes prácticos y charlas relámpago. Los artículos e informes están limitados a 14 páginas, pero se aceptan tamaños más pequeños. Los informes de Blitz están limitados a 192 palabras. Cada artículo o informe tiene un espacio de 25 minutos, que incluye preguntas. Dos espacios de cinco minutos se asignan al informe de bombardeo, uno para el informe y otro para las preguntas.

Las restricciones de tamaño no se aplican a enlaces y aplicaciones. No hay restricciones en el tamaño de las aplicaciones, pero el material debe leerse sin ellas y, al considerar las aplicaciones, es posible que no se tengan en cuenta.

La publicación del código fuente asociado con el material indicado bajo una licencia abierta, para que los revisores puedan verificar las alegaciones hechas, es bienvenida.

Las actas de la conferencia (Actas) se publicarán en el formato del Informe técnico de la Universidad de Michigan y también se subirán a arXiv.org. La

publicación del trabajo en esta conferencia científica y práctica no implica exclusividad, y deja la oportunidad de publicación posterior para ser más completa. o una versión detallada del trabajo en otra conferencia científica o en una revista científica.

Referencias



Alusiones personales

Comité Organizador


  • Michael D. Adams (copresidente del programa), Universidad de Michigan
  • Baptiste Saleil (copresidente del programa), IBM Canadá
  • Jason Hemann (Cátedra de publicidad), Northeastern University

Comité de programa


  • Michael D. Adams (copresidente del programa), Universidad de Michigan
  • Baptiste Saleil (copresidente del programa), IBM Canadá
  • Maxime Chevalier-Boisvert, Universidad de Montreal
  • Ryan Culpepper, Universidad Técnica Checa
  • 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

More articles:


All Articles