[Caml-list] IFL2025 Call for Participation

[Caml-list] IFL2025 Call for Participation

[Mart Lubbers]

==========================================================
              Call for Participation


                       IFL 2025


37th Symposium on Implementation and Application of Functional Languages



              Montevideo, Uruguay

              October 1-3, 2025
              (Tutorials September 29-30)


              https://www.fing.edu.uy/inco/congresos/ifl2025


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

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


### Registration


The registration fee covers use of facilities, participation in the
tutorials and symposium, lunches, coffee breaks, social outing,
symposium dinner and access to draft proceedings.
Early Bird Registration Deadline is Sep 5, 2025.

https://www.fing.edu.uy/inco/congresos/ifl2025/register.html

If you choose online payment at registration, you will receive payment
instructions during the week.

### Keynote speakers

Roberto Ierusalimschy
Departamento de Informática, PUC-Rio, Río de Janeiro, Brazil
Functions in Lua

Iván Pérez
NASA Ames Research Center, California, USA
Making Haskell Fly

https://www.fing.edu.uy/inco/congresos/ifl2025/keynotes.html


### Tutorials

On September 29 and 30, the two days prior to the symposium, four
tutorials will be held:

Gradual typing
Éric Tanter, University of Chile, Chile

Type Based Static Analysis
Jurriaan Hage, Heriot-Watt University, UK

Development of dApps in the UTxO model
TxPipe, Argentina

Programming-Based Automata Theory
Marco T. Morazán, Seton Hall University, USA

https://www.fing.edu.uy/inco/congresos/ifl2025/tutorials.html


### Accepted Papers

Regular Papers:
Compilation of the Stochastic Language ALEA, Baltasar Trancón Y
Widemann and Markus Lepper.
Design and Implementation of DSLs for Unit Testing, Marco T. Morazán
and Andres Garced.
Recipe-Based Errors: Methodology, Implementation, and Evaluation,
Marco T. Morazán, Shamil Dzhatdoyev, Josephine Des Rosiers, Rose
Bohrer, Andres Garced and David Anthony Fields.
Refinement-Types Driven Development: A study, Facundo Domínguez and
Arnaud Spiwack.

Draft Papers:


 AI-Assisted Program Design Using Structural Recursion, Marco T. Morazán.
 A Quantum-Control Lambda-Calculus with Multiple Measurement Bases,
Nicolas A. Monzon and Alejandro Díaz-Caro.
 Automatic Testing for Finite-State Machines, Marco T. Morazán, Sophia
G. Turano, Andres Garced and David Anthony Fields.
 Closures in a Higher-Order Polymorphic DSL for GPU programming, Andre
Rauber Du Bois, Henrique Gabriel Rodrigues and Rodrigo Geraldo
Ribeiro.
 Energy-aware Data-Parallel Functional Array Processing for
Heterogeneous Platforms, Clemens Grelck.
 Formalizating System I with type Top in Agda, Agustín Séttimo,
Cristian Sottile and Cecilia Manzino.
 Foundations of Gradual Abstract Interpretation, Gaspar Ricci,
Sebastian Erdweg, Éric Tanter and Matías Toro.
 Heuristics-based Type Error Diagnosis for Haskell: the case of type
families, Niels Kwadijk and Jurriaan Hage.
 Higher-ranked region inference for polymorphic, lazy languages, Ivo
Gabe de Wolff and Jurriaan Hage.
 Improving a Group Membership Protocol Implementation using Liquid
Haskell and QuickCheck, Jianhao Li and Viktoria Zsok.
 List Fold Operators in Dafny, Juan Michelini, Nora Szasz and Alvaro Tasistro.
 Reducibility candidates modulo isomorphisms, Cristian Sottile and
Alejandro Díaz-Caro.
 Type Checking Dependently Sorted Nominal Signatures, Maribel
Fernandez, Miguel Pagano, Nora Szasz and Alvaro Tasistro.
 Unrestricted Grammar Design and Visualization: A Design Recipe and
Dynamic Visualization Tool, Marco T. Morazán, Andres Garced and Tijana
Minić.