[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: 2018 Scheme and Functional Programming Workshop CfP

From: Amirouche Boubekki
Subject: Re: 2018 Scheme and Functional Programming Workshop CfP
Date: Wed, 1 Aug 2018 10:45:56 +0200

Hello Nala,

I did not send my paper about zehefyu (formely known as neon)

nevermind, I did not find time to read the new microkanren code...

Le mer. 1 août 2018 à 10:43, Nala Ginrut <address@hidden> a écrit :
I've sent a paper about guile-lua, hope everything is ok ;-P
On Fri, Jul 6, 2018 at 2:46 PM Amirouche Boubekki
<address@hidden> wrote:
> I did not see this CfP going through Guile mailling list,
> so here is it. Deadline is monday!
> DEADLINE: 9 July 2018, (Any time in the world)
> LOCATION: St. Louis, MO, USA (co-located with ICFP and Strange Loop)
> DATE: 28 September 2018 (Friday)
> The 2018 Scheme and Functional Programming Workshop is calling for
> submissions.
> Full papers are due 9 July 2018.
> Authors will be notified by 20 July 2018.
> Camera-ready versions are due 9 September 2018.
> All deadlines are (23:59 UTC-12), "Anywhere on Earth".
> We invite high-quality papers about novel research results, lessons
> learned from practical experience in industrial or educational setting,
> and even new insights on old ideas. We welcome and encourage submissions
> that apply to any language that can be considered Scheme: from strict
> subsets of RnRS to other "Scheme" implementations, to Racket, to Lisp
> dialects including Clojure, Emacs Lisp, Common Lisp, to functional
> languages with continuations and/or macros (or extended to have them)
> such as Dylan, _ecmascript_, Hop, Lua, Scala, Rust, etc. The elegance of
> the paper and the relevance of its topic to the interests of Schemers
> will matter more than the surface syntax of the examples used. Topics of
> interest include (but are not limited to):
>     Interaction: program-development environments, debugging, testing,
> refactoring
>     Implementation: interpreters, compilers, tools, garbage collectors,
> benchmarks
>     Extension: macros, hygiene, domain-specific languages, reflection,
> and how such extension affects interaction.
>     _expression_: control, modularity, ad hoc and parametric polymorphism,
> types, aspects, ownership models, concurrency, distribution,
> parallelism, non-determinism, probabilism, and other programming
> paradigms
>     Integration: build tools, deployment, interoperation with other
> languages and systems
>     Formal semantics: Theory, analyses and transformations, partial
> evaluation
>     Human Factors: Past, present and future history, evolution and
> sociology of the language Scheme, its standard and its dialects
>     Education: approaches, experiences, curricula
>     Applications: industrial uses of Scheme
>     Scheme pearls: elegant, instructive uses of Scheme
> Submission Information
> Please submit full papers and experience reports to our Submission Page:
> [NEW SINCE 2017!] Paper submissions must use the format acmart and its
> sub-format acmlarge. They must be in PDF, printable in black and white
> on US Letter size. Microsoft Word and LaTeX templates for this format
> are available at:
> This change is in line with ACM conferences (such as ICFP with which we
> are colocated) switching from their traditional two-column formats (e.g.
> sigplanconf) to the above. While a two-column format with small fonts is
> much more practical when reading printed papers, the single-column
> format with large fonts is nicer to view on a computer screen, as most
> papers are read these days.
> To encourage authors to submit their best work, we offer three tracks:
> * Full Papers, with a limit of 14 pages. Each accepted paper will be
> presented by its authors in a 25 minute slot including Q&A.
> * Experience Reports, with a limit to 14 pages. Each accepted report
> will be presented by its authors in a 25 minute slot including Q&A.
> * Lightning talks, with a limit to 192 words. Each accepted lightning
> talk will be presented by its authors in a 5 minute slot, followed by 5
> minutes of Q&A.
> The size limits above exclude references and any optional appendices.
> There are no size limits on appendices, but the papers should stand
> without the need to read them, and reviewers are not required to read
> them.
> Authors are encouraged to publish any code associated to their papers
> under an open source license, so that reviewers may try the code and
> verify the claims.
> Proceedings will be printed as a Technical Report at the University of
> Alabama at Birmingham.
> Publication of a paper at this workshop is not intended to replace
> conference or journal publication, and does not preclude re-publication
> of a more complete or finished version of the paper at some later
> conference or in a journal.
> Sincerely,
> John Clements, General Chair
> William E. Byrd, Program Committee Chair
> Program Committee:
> Claire Alvis  (Sparkfund, USA)
> William E. Byrd  (Program Committee Chair)  (University of Alabama at
> Birmingham, USA)
> Maxime Chevalier-Boisvert  (Montreal Institute for Learning Algorithms,
> Canada)
> John Clements  (General Chair) (Cal Poly, San Luis Obispo, USA)
> Ronald Garcia  (University of British Columbia, Canada)
> Yukiyoshi Kameyama (University of Tsukuba, Japan)
> Paul A. Steckler (Northeastern University, USA)
> Larisse Voufo (Google, USA)
> Workshop Steering Committee:
> Will Clinger, Northeastern University
> Marc Feeley, Université de Montréal
> Dan Friedman, Indiana University
> Olin Shivers, Northeastern University
> Will Byrd, University of Alabama at Birmingham

reply via email to

[Prev in Thread] Current Thread [Next in Thread]