caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Pieter Koopman <ifl21.publicity@gmail.com>
To: Caml-List <caml-list@inria.fr>
Subject: [Caml-list] IFL2021 First call for papers
Date: Wed, 24 Mar 2021 08:59:15 -0700	[thread overview]
Message-ID: <CAGtcRvBxVMqdP6EuO2jkYfeMyS2v=eqf1_9jmrnMpM9MnJP4nA@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 6847 bytes --]

================================================================================

                                IFL 2021

    33rd Symposium on Implementation and Application of Functional Languages


                             venue: online
                          1 - 3 September 2021

                         https://ifl21.cs.ru.nl
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-0&key=YAMMID-01555625&link=https%3A%2F%2Fifl21.cs.ru.nl>

================================================================================

Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2021 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.


Industrial track and topics of interest

This year's edition of IFL explicitly solicits original work concerning
*applications*
of functional programming in industry and academia. These contributions
will be reviewed by experts with an industrial background.

Topics of interest to IFL include, but are not limited to:

* language concepts
* type systems, type checking, type inferencing
* compilation techniques
* staged compilation
* run-time function specialisation
* run-time code generation
* partial evaluation
* (abstract) interpretation
* meta-programming
* generic programming
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* embedded systems
* web applications
* (embedded) domain-specific languages
* security
* novel memory management techniques
* run-time profiling performance measurements
* debugging and tracing
* testing and proofing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* applications of functional programming in the industry, including
** functional programming techniques for large applications
** successes of the application functional programming
** challenges for functional programming encountered
** any topic related to the application of functional programming that is
interesting for the IFL community


Post-symposium peer-review

Following IFL tradition, IFL 2021 will use a post-symposium review process
to
produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers will
be
screened by the program chairs to make sure that they are within the scope
of
IFL. The draft papers will be made available to all participants at the
symposium. Each draft paper is presented by one of the authors at the
symposium.

After the symposium every presenter is invited to submit a full paper,
incorporating feedback from discussions at the symposium. Work submitted to
IFL
may not be simultaneously submitted to other venues; submissions must
adhere to ACM SIGPLAN's republication policy. The program committee will
evaluate these submissions according to their correctness, novelty,
originality,
relevance, significance, and clarity, and will thereby determine whether
the
paper is accepted or rejected for the formal proceedings. We plan to
publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years. Moreover, the proceedings will
also
be made publicly available as open access.


Important dates

Submission deadline of draft papers:           17 August 2021
Notification of acceptance for presentation:   19 August 2021
Registration deadline:                         30 August 2021
IFL Symposium:                                 1-3 September 2021
Submission of papers for proceedings:          6 December 2021
Notification of acceptance:                    3 February 2022
Camera-ready version:                          15 March 2022


### Submission details

All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:

              http://www.acm.org/publications/proceedings-template
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-0&key=YAMMID-01555625&link=http%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template>


Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.


Organisation

IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The
Netherlands

IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands

PC (under construction):
Peter Achten (co-chair)   - Radboud University, Netherlands
Thomas van Binsbergen     - University of Amsterdam, Netherlands
Edwin Brady               - University of St. Andrews, Scotland
Laura Castro              - University of A Coruña, Spain
Youyou Cong               - Tokyo Institute of Technology, Japan
Olaf Chitil               - University of Kent, England
Andy Gill                 - University of Kansas, USA
Clemens Grelck            - University of Amsterdam, Netherlands
John Hughes               - Chalmers University, Sweden
Pieter Koopman (co-chair) - Radboud University, Netherlands
Cynthia Kop               - Radboud University, Netherlands
Jay McCarthey             - University of Massachussetts Lowell, USA
Neil Mitchell             - Facebook, England
Jan De Muijnck-Hughes     - Glasgow University, Scotland
Keiko Nakata              - SAP Innovation Center Potsdam, Germany
Jurriën Stutterheim       - Standard Chartered, Singapore
Simon Thompson            - University of Kent, England
Melinda Tóth              - Eötvos Loránd University, Hungary
Phil Trinder              - Glasgow University, Scotland
Meng Wang                 - University of Bristol, England
Viktória Zsók             - Eötvos Loránd University, Hungary


Virtual symposium

Because of the Covid-19 pandemic, this year IFL 2021 will be an online
event,
consisting of paper presentations, discussions and virtual social
gatherings.
Registered participants can take part from anywhere in the world.


Acknowledgments

This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organisers for their work, which
is reused here.
[image: beacon]

[-- Attachment #2: Type: text/html, Size: 7676 bytes --]

                 reply	other threads:[~2021-03-24 15:59 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAGtcRvBxVMqdP6EuO2jkYfeMyS2v=eqf1_9jmrnMpM9MnJP4nA@mail.gmail.com' \
    --to=ifl21.publicity@gmail.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).