# IFL — Symposium on Implementation and Application of Functional Languages

- **Submission deadline**: 2025-06-23
- **Notification date**: 2025-08-04
- **Conference date**: 2025-10-01
- **Location**: Montevideo, Uruguay
- **Conference Partner Index**: 55.4/100 (ranked #814, confidence 0.45, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 0
- **Attendees**: 0
- **Canonical page**: https://www.myhuiban.com/conference/5464

## Call for papers

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 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. Topics of interest 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 specialisation run-time code generation partial evaluation (abstract) interpretation meta-programming 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

## Related conferences

- CIAA — International Conference on Implementation and Application of Automata — https://www.myhuiban.com/conference/241
- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408
- CVPR — IEEE Conference on Computer Vision and Pattern Recognition — https://www.myhuiban.com/conference/407
- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421

## Related journals

- Journal of Visual Languages and Computing — https://www.myhuiban.com/journal/387
- IEEE Transactions on Multimedia — https://www.myhuiban.com/journal/152
- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Software & Systems Modeling — https://www.myhuiban.com/journal/99
- IEEE Transactions on Computers — https://www.myhuiban.com/journal/3

---
Source: Conference Partner — https://www.myhuiban.com/conference/5464 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)