caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages
@ 2022-06-13 20:25 Pieter Koopman
  0 siblings, 0 replies; only message in thread
From: Pieter Koopman @ 2022-06-13 20:25 UTC (permalink / raw)
  To: Caml-List

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

*CALL FOR PAPERS - The 34th Symposium on Implementation and Application of
Functional Languages*

*Important dates*
Draft paper submission:    7th of August 2022
Draft paper notification:  9th of August 2022
Registration deadline:    12th of August 2022
Symposium:                31th of August to 2nd of September

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 2022 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.

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 specialization
* run-time code generation
* partial evaluation
* abstract interpretation
* metaprogramming
* 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
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* industrial applications

*Submissions and peer-review*
Following IFL tradition, IFL 2022 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 chair 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, a formal review process will take place, conducted by
the program committee.  Reviewing is single blind. There will be at least 3
reviews per paper. The reviewers have 6 weeks to write their reviews. For
the camera-ready version the authors can make minor revisions which are
accepted without further reviewing.

IFL 2022 will be held physically in Copenhagen, Denmark, arranged by DIKU
at the University of Copenhagen.

See the IFL 2022 website at for more information.
[image: beacon]

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-06-13 20:25 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-13 20:25 [Caml-list] CALL FOR PAPERS - IFL22 - The 34th Symposium on Implementation and Application of Functional Languages Pieter Koopman

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).