<div dir="ltr"><div style="box-sizing:border-box;display:flex;color:rgb(59,54,74);font-family:"Source Sans Pro",sans-serif;font-size:16px;text-align:justify"><div style="box-sizing:border-box;width:539.25px;min-height:1px;padding-right:15px;padding-left:15px;max-width:50%;float:left"><h4 style="box-sizing:border-box;margin-top:11px;margin-bottom:11px;font-family:inherit;font-weight:100;line-height:1.1;color:inherit;font-size:20px"><br>Important Dates</h4><table style="border-collapse:collapse;border-spacing:0px;background-color:transparent;width:509.25px;max-width:100%;margin-bottom:22px;overflow-x:auto;min-height:0.01%"><thead style="box-sizing:border-box"></thead><tbody style="box-sizing:border-box"><tr style="box-sizing:border-box;background-color:rgb(249,249,249)"><th scope="row" style="box-sizing:border-box;text-align:left;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">Draft Paper Submission Deadline</th><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">31<span style="box-sizing:border-box;font-size:12px;line-height:0;vertical-align:baseline">st</span> July, 2023</td><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857"></td></tr><tr style="box-sizing:border-box"><th scope="row" style="box-sizing:border-box;text-align:left;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">Notification of Acceptance for Presentation</th><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">1<span style="box-sizing:border-box;font-size:12px;line-height:0;vertical-align:baseline">st</span> August, 2023</td></tr><tr style="box-sizing:border-box;background-color:rgb(249,249,249)"><th scope="row" style="box-sizing:border-box;text-align:left;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">Early Registration Deadline</th><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">11<span style="box-sizing:border-box;font-size:12px;line-height:0;vertical-align:baseline">th</span> August, 2023</td><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857"></td></tr><tr style="box-sizing:border-box"><th scope="row" style="box-sizing:border-box;text-align:left;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">Late Registration Deadline</th><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">23<span style="box-sizing:border-box;font-size:12px;line-height:0;vertical-align:baseline">rd</span> August, 2023</td><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857"></td></tr><tr style="box-sizing:border-box;background-color:rgb(249,249,249)"><th scope="row" style="box-sizing:border-box;text-align:left;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">IFL Symposium</th><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">29<span style="box-sizing:border-box;font-size:12px;line-height:0;vertical-align:baseline">th</span> - 31<span style="box-sizing:border-box;font-size:12px;line-height:0;vertical-align:baseline">st</span> August, 2023</td><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857"></td></tr><tr style="box-sizing:border-box"><th scope="row" style="box-sizing:border-box;text-align:left;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">Submission of Papers for Peer-Reviewed Proceedings</th><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">24<span style="box-sizing:border-box;font-size:12px;line-height:0;vertical-align:baseline">th</span> November, 2023</td><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857"></td></tr><tr style="box-sizing:border-box;background-color:rgb(249,249,249)"><th scope="row" style="box-sizing:border-box;text-align:left;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">Notification of Acceptance</th><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">2<span style="box-sizing:border-box;font-size:12px;line-height:0;vertical-align:baseline">nd</span> February, 2024</td><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857"></td></tr><tr style="box-sizing:border-box"><th scope="row" style="box-sizing:border-box;text-align:left;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">Camera-ready Version</th><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857">8<span style="box-sizing:border-box;font-size:12px;line-height:0;vertical-align:baseline">th</span> March, 2024</td><td style="box-sizing:border-box;padding:8px;vertical-align:top;border-top:1px solid rgb(221,221,221);line-height:1.42857"></td></tr></tbody></table></div></div><h3 style="box-sizing:border-box;margin-top:22px;margin-bottom:11px;font-family:"Source Sans Pro",sans-serif;font-weight:100;line-height:1.1;color:rgb(59,54,74);font-size:28px;text-align:justify">SCOPE AND TOPICS</h3><div style="box-sizing:border-box;display:flex;color:rgb(59,54,74);font-family:"Source Sans Pro",sans-serif;font-size:16px;text-align:justify"><div style="box-sizing:border-box;width:1078.5px;min-height:1px;padding-right:15px;padding-left:15px;max-width:100%;float:left">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 <a href="https://ifl21-publicity-dot-yamm-track.appspot.com/2Ax4iTp-yZlvrDtpbtqXSLRTAR68-lYG3VIjG0gUz-aVt2y6biQGFkL-Ls46pKUeDs2b2xLp6nL4KCBqTwHk9fJDaLWPiSwcfnlRe6DV4gI1Hi1BXJk7-wVBIkGXOvFPimKeKM6LRpoS34UtaQ1qnNdFqC65mU98_39Ka60VD1fPJxOs4EnCJ" rel="nofollow" rel="noopener noreferrer" style="box-sizing:border-box;color:rgb(51,122,183);text-decoration-line:none;background-color:transparent" target="_blank">oficial website</a>. 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 <a href="https://ifl21-publicity-dot-yamm-track.appspot.com/28PzrwdqoYa130PeD1AAPWM4cEk4sNZ5fVz6rFLxTpANz2y6biQHvTV05jW0XheE3oH52UV6cucpYG8jf9iMav2xIBshnsYwiYp-3pTBgZTrkkUbOfMrncT2G2j6LfhWZA_WUOln-O9tmgkK2qMjjVMaBeYNpAbNcJeRIp6TQzRLR1Ty3cDaKQv1Ix1k7ia8xa8KF81E" rel="nofollow" rel="noopener noreferrer" style="box-sizing:border-box;color:rgb(51,122,183);text-decoration-line:none;background-color:transparent" target="_blank">text format</a>.</div></div><div style="box-sizing:border-box;margin-top:20px;color:rgb(59,54,74);font-family:"Source Sans Pro",sans-serif;font-size:16px;text-align:justify"></div><span style="color:rgb(59,54,74);font-family:"Source Sans Pro",sans-serif;font-size:16px;text-align:justify">Areas of interest include, but are not limited to:</span><div style="box-sizing:border-box;display:flex;margin-top:20px;color:rgb(59,54,74);font-family:"Source Sans Pro",sans-serif;font-size:16px;text-align:justify"></div><div style="box-sizing:border-box;display:flex;color:rgb(59,54,74);font-family:"Source Sans Pro",sans-serif;font-size:16px;text-align:justify"><div style="box-sizing:border-box;width:539.25px;min-height:1px;padding-right:15px;padding-left:15px;max-width:50%;float:left"><ul><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none;border-top-left-radius:4px;border-top-right-radius:4px">language concepts</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">type systems, type checking, type inferencing</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">compilation techniques</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">staged compilation</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">run-time function specialization</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">run-time code generation</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">partial evaluation</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">abstract interpretation</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">metaprogramming</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">generic programming</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">automatic program generation</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">array processing</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;margin-bottom:0px;border:none;border-bottom-right-radius:4px;border-bottom-left-radius:4px">concurrent/parallel programming</li></ul></div><div style="box-sizing:border-box;width:539.25px;min-height:1px;padding-right:15px;padding-left:15px;max-width:50%;float:left"><ul><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none;border-top-left-radius:4px;border-top-right-radius:4px">concurrent/parallel program execution</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">embedded systems</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">web applications</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">embedded domain specific languages</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">security</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">novel memory management techniques</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">run-time profiling performance measurements</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">debugging and tracing</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">virtual/abstract machine architectures</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">validation, verification of functional programs</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;border:none">tools and programming techniques</li><li style="box-sizing:border-box;padding:0.75rem 1.25rem;margin-bottom:0px;border:none;border-bottom-right-radius:4px;border-bottom-left-radius:4px">industrial applications</li></ul></div></div><div style="box-sizing:border-box;margin:20px auto;height:2px;width:50px;background-color:rgb(59,54,74);color:rgb(59,54,74);font-family:"Source Sans Pro",sans-serif;font-size:16px;text-align:justify"></div><h3 style="box-sizing:border-box;margin-top:22px;margin-bottom:11px;font-family:"Source Sans Pro",sans-serif;font-weight:100;line-height:1.1;color:rgb(59,54,74);font-size:28px;text-align:justify">PAPER SUBMISSIONS</h3><div style="box-sizing:border-box;display:flex;color:rgb(59,54,74);font-family:"Source Sans Pro",sans-serif;font-size:16px;text-align:justify"><div style="box-sizing:border-box;width:1078.5px;min-height:1px;padding-right:15px;padding-left:15px;max-width:100%;float:left">Following IFL tradition, IFL 2023 will use a post-symposium review process to produce the formal proceedings.<div style="box-sizing:border-box;margin-top:20px"></div>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.<div style="box-sizing:border-box;margin-top:20px"></div>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.<div style="box-sizing:border-box;margin-top:20px"></div>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.<div style="box-sizing:border-box;margin-top:20px"></div>Papers must use the ACM two columns conference format, which can be found <a href="https://ifl21-publicity-dot-yamm-track.appspot.com/2J0nSHj0FNukmLRmrvdghOIj4gqqCaE8coFj5e-1DgWZ42y6biQGyQqDdX_9sK_U69UAPetMaQU87pc2-GidYeIVICrUG9P1CIAHwkkXlruzj7uyScF792EJPElNtgclFetinAnpFwjrARPRDQI4VxJkbP0xl3qhzSTeYip2npzykWR9xjAq8kqo18Da6H5zPLbiZpH4" rel="nofollow" style="box-sizing:border-box;color:rgb(51,122,183);text-decoration-line:none;background-color:transparent" target="_blank">here</a>. (For LaTeX users, start your document with <code style="box-sizing:border-box;font-family:Menlo,Monaco,Consolas,"Courier New",monospace;font-size:14.4px;padding:2px 4px;color:rgb(199,37,78);background-color:rgb(249,242,244);border-radius:4px">\documentclass[sigconf,screen,review]{acmart}</code>.) 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.<div style="box-sizing:border-box;margin-top:20px"></div>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.<div style="box-sizing:border-box;margin:20px auto;height:2px;width:50px;background-color:rgb(59,54,74)"></div><h3 style="box-sizing:border-box;margin-top:22px;margin-bottom:11px;font-family:inherit;font-weight:100;line-height:1.1;color:inherit;font-size:28px">LOCATION</h3><div style="box-sizing:border-box;display:flex"><div style="box-sizing:border-box;width:1078.5px;min-height:1px;padding-right:15px;padding-left:15px;max-width:100%;float:left">IFL 2023 will be held physically in Braga, Portugal. For more information, click <a href="https://ifl21-publicity-dot-yamm-track.appspot.com/20gpAePinpZy6eZnX8qrKhTtIih-tjQ15OmCILsnyRmx92y6biQF3aKJtKUYgwBa0dt8zUC0NT2dSG4-5XmkYgJk5g30PHcD3LCATMOLaJUrEwoPTxOI2OpipmBN-EUfrVqqPHqBhP4l4EZRO2PDo6Ot1EXi5JTZPmGk0ZJLu_sd84K-MoH3XGBOyl17InCjIim0" rel="nofollow" style="box-sizing:border-box;color:rgb(51,122,183);text-decoration-line:none;background-color:transparent" target="_blank">here</a>. Registration information will be added as soon as possible.</div></div></div></div></div>
<img src="https://ifl21-publicity-dot-yamm-track.appspot.com/2bgHOCcVIQkV35oEwh6PX8NyMKVuutJ5UD-Tdew7uxi9T2y6biQFsof5isMG9Nut_OS1ZorNbp6mMBqXpvBMWsAKQHOJwbHh4qSy5t1q1_lHQCL5kHQTPU47FVxn8ljMGeyW_G2gLw8JbwweAceqCocMB1vI7Iysfrg" width="1" height="1" alt="beacon" style="display:none; display:none!important;">