Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] IFL23 first CFP

Email Gateway (Apr 03 2023 at 10:34):

From: Pieter Koopman <ifl21.publicity@gmail.com>
Call for papers

The 35th Symposium on Implementation and Application of Functional
Languages (IFL 2023)

Braga, Portugal, August 29th-August 31st, 2023
Important dates

Draft paper submission: July 31st, 2023
Draft paper notification: August 1st, 2023
Early registration deadline: August 11th, 2023
Late registration deadline: August 23rd, 2023
Symposium: August 29th - August 31st (3 days)
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 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 2023 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. Notice that it is a requirement
that accepted draft papers are presented physically 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.

Contributions submitted for the draft paper deadline must be between
two and twelve pages long. For submission details, please consult the
IFL 2023 website at https://ifl23.github.io/
<https://ifl21-publicity-dot-yamm-track.appspot.com/22ZyU7kVk5QnDsB4AtSZZ4ox2ceBtHSNUZB5YNRGybHNONItGhwGrhGSm3n-cRyEUgsqLrHihONltbXOtFvRXPI23qrMOoGFwdh3RxkOtxhzeY7qFkaqSSa70wInzdqXULNzzv2ktcCYf-7XLpaOFAtTJ9YYpE_cc0aI8lN7-srlbC82QBUQ5h5c>
.
*Where * IFL 2023 will be held physically in Braga, Portugal, arranged by
University of Minho.

See the IFL 2023 website at https://ifl23.github.io/
<https://ifl21-publicity-dot-yamm-track.appspot.com/2yzg--xs6-hGB3HrATlNn0z25ABUf4W2oSsiAU3aGJa1QNItGhwERZGrBgK7WZYScLvka8_6M9Vrc8nWq4nPcZoemgqo69pNZUHnfP6peIRueluYora4zE81HNrp10QHRipfG17u870qDzpTQ8s7sJct_bvZdpuTHrEdfHP2yYWX5aad1ohoh-3Y>
for more
information.

[image: beacon]

Last updated: Apr 19 2024 at 08:19 UTC