2018 Scheme and Functional Programming Workshop CfP

2018 Scheme and Functional Programming Workshop CfP

[Amirouche Boubekki]

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)
WEBSITE: https://brinckerhoff.org/scheme2018/
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, ECMAcript, 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:
https://easychair.org/conferences/?conf=scheme2018

[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:

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

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

Re: 2018 Scheme and Functional Programming Workshop CfP

[Nala Ginrut]

I've sent a paper about guile-lua, hope everything is ok ;-P
On Fri, Jul 6, 2018 at 2:46 PM Amirouche Boubekki
<amirouche@hypermove.net> 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)
> WEBSITE: https://brinckerhoff.org/scheme2018/
> 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, ECMAcript, 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:
> https://easychair.org/conferences/?conf=scheme2018
>
> [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:
>
> http://www.sigplan.org/Resources/Author/
>
> 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
>

Re: 2018 Scheme and Functional Programming Workshop CfP

[Amirouche Boubekki]

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 <nalaginrut@gmail.com> 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
> <amirouche@hypermove.net> 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)
> > WEBSITE: https://brinckerhoff.org/scheme2018/
> > 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, ECMAcript, 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:
> > https://easychair.org/conferences/?conf=scheme2018
> >
> > [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:
> >
> > http://www.sigplan.org/Resources/Author/
> >
> > 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
> >
>
>