[Agda] IFL23 last Call for papers

Pieter Koopman ifl21.publicity at gmail.com
Fri Jul 28 08:28:06 CEST 2023


Important Dates
Draft Paper Submission Deadline 31st July, 2023
Notification of Acceptance for Presentation 1st August, 2023
Early Registration Deadline 11th August, 2023
Late Registration Deadline 23rd August, 2023
IFL Symposium 29th - 31st August, 2023
Submission of Papers for Peer-Reviewed Proceedings 24th November, 2023
Notification of Acceptance 2nd February, 2024
Camera-ready Version 8th March, 2024
SCOPE AND TOPICS
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. You can find more information about
the symposium on its oficial website
<https://ifl21-publicity-dot-yamm-track.appspot.com/2Ax4iTp-yZlvrDtpbtqXSLRTAR68-lYG3VIjG0gUz-aVt2y6biQGFkL-Ls46pKUeDs2b2xLp6nL4KCBqTwHk9fJDaLWPiSwcfnlRe6DV4gI1Hi1BXJk7-wVBIkGXOvFPimKeKM6LRpoS34UtaQ1qnNdFqC65mU98_39Ka60VD1fPJxOs4EnCJ>.
IFL 2023 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. See the call for papers in text format
<https://ifl21-publicity-dot-yamm-track.appspot.com/28PzrwdqoYa130PeD1AAPWM4cEk4sNZ5fVz6rFLxTpANz2y6biQHvTV05jW0XheE3oH52UV6cucpYG8jf9iMav2xIBshnsYwiYp-3pTBgZTrkkUbOfMrncT2G2j6LfhWZA_WUOln-O9tmgkK2qMjjVMaBeYNpAbNcJeRIp6TQzRLR1Ty3cDaKQv1Ix1k7ia8xa8KF81E>
.
Areas of interest 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

PAPER SUBMISSIONS
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 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. As in previous years, we will try to have the papers that are
accepted for the formal proceedings published in the International
Conference Proceedings Series of the ACM Digital Library. This possibility
will be confirmed as soon as possible.
Reviewing is single blind. There will be at least 3 reviews per paper. For
the camera-ready version the authors can make minor revisions which are
accepted without further reviewing.
Papers must use the ACM two columns conference format, which can be found
here
<https://ifl21-publicity-dot-yamm-track.appspot.com/2J0nSHj0FNukmLRmrvdghOIj4gqqCaE8coFj5e-1DgWZ42y6biQGyQqDdX_9sK_U69UAPetMaQU87pc2-GidYeIVICrUG9P1CIAHwkkXlruzj7uyScF792EJPElNtgclFetinAnpFwjrARPRDQI4VxJkbP0xl3qhzSTeYip2npzykWR9xjAq8kqo18Da6H5zPLbiZpH4>.
(For LaTeX users, start your document with
\documentclass[sigconf,screen,review]{acmart}.) All contributions must be
written in English. Note that this format has a rather long but limited
list of packages that can be used. Please make sure that your document
adheres to this list.
The page limit for papers is twelve pages (excluding references). Only
papers that were presented at the IFL 2023 Symposium will be considered for
publication. See the webpage for paper submissions.
LOCATION
IFL 2023 will be held physically in Braga, Portugal. For more information,
click here
<https://ifl21-publicity-dot-yamm-track.appspot.com/20gpAePinpZy6eZnX8qrKhTtIih-tjQ15OmCILsnyRmx92y6biQF3aKJtKUYgwBa0dt8zUC0NT2dSG4-5XmkYgJk5g30PHcD3LCATMOLaJUrEwoPTxOI2OpipmBN-EUfrVqqPHqBhP4l4EZRO2PDo6Ot1EXi5JTZPmGk0ZJLu_sd84K-MoH3XGBOyl17InCjIim0>.
Registration information will be added as soon as possible.
[image: beacon]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230727/a1e1f3b5/attachment-0001.html>


More information about the Agda mailing list