- Haskell - Haskell.org

IFL 2025 - Call For Draft Papers (deadline extension)
by Mart Lubbers 27 Jul '25

27 Jul '25

Please, find below the call for draft papers for IFL 2025. The submission deadline has been extended to August 31. In this CFP we also include the announcement of our keynote speakers and of tutorials to be held on September 29 and 30, prior to IFL. Please forward this to anyone you think may be interested. ===================================================================== IFL 2025 37th Symposium on Implementation and Application of Functional Languages Montevideo, Uruguay October 1-3, 2025 https://www.fing.edu.uy/inco/congresos/ifl2025 ===================================================================== [NEWS: Extended deadline for draft paper submission, Keynote speakers, Tutorials] ### 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 ### Keynote speakers - Roberto Ierusalimschy Departamento de Informática, PUC-Rio, Río de Janeiro, Brazil - Iván Pérez NASA Ames Research Center, California, USA ### 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 - TBA ### Peer-review process Differently from previous editions of IFL, IFL 2025 solicits two kinds of submissions: * Regular papers (12 pages excluding references) * Draft papers for presentations ('weak' limit between 5 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. Regular papers can be: accepted for publication in the formal proceedings, accepted for presentation at the symposium or rejected. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. We require that at least one of the authors present the work at IFL 2025. Authors of accepted presentations will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings after the symposium. 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. ### Important dates Submission of regular papers: June 23, 2025 (extended) Regular papers notification: August 4, 2025 Submission of draft papers: August 31, 2025 (extended) Draft papers notification: September 4, 2025 Deadline for early registration: September 5, 2025 Submission of pre-proceedings version: September 8, 2025 Pre-symposium tutorials September 29-30, 2025 IFL Symposium: October 1-3, 2025 Submission of papers for post-proceedings: December 15, 2025 Notification of acceptance: February 28, 2026 Camera-ready version: March 30, 2026 Deadlines are end of day Anywhere on Earth (UTC-12) (https://www.timeanddate.com/time/zones/aoe) ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your draft paper here: https://easychair.org/conferences/?conf=ifl2025 using the track [IFL 2025 - Draft papers]. Important note to authors about the new ACM open access publishing model ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance. Further information may be found on the ACM website, as follows: - Full details of the new ICPS publishing model: https://www.acm.org/publications/icps/faq - Full details of the ACM Open program: https://www.acm.org/publications/openaccess - Please direct all questions about the new model to icps-info(a)acm.org. ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: Alberto Pardo, Universidad de la República, Montevideo, Uruguay Marcos Viera, Universidad de la República, Montevideo, Uruguay Publicity Chair: Mart Lubbers, Radboud University, The Netherlands Local Chairs: Alberto Pardo, Universidad de la República, Montevideo, Uruguay Marcos Viera, Universidad de la República, Montevideo, Uruguay ### Program committee: Matteo Cimini, University of Massachusetts Lowell Facundo Domínguez, Tweag João Paulo Fernandes, Universidade do Porto Jeremy Gibbons, Oxford University Jurriaan Hage, Heriot Watt University Jason Hemann, Seton Hall University Maja Hanne Kirkeby, Roskilde University Mart Lubbers, Radboud University Bruno C. D. S. Oliveira, The University of Hong Kong Rinus Plasmeijer, Radboud University Andre Rauber Du Bois, Universidade Federal de Pelotas Rodrigo Ribeiro, Universidade Federal de Ouro Preto Alejandro Russo, Chalmers University of Technology João Saraiva, University of Minho Wenhao Tang, University of Edinburgh Zhixuan Yang, Imperial College London Brent Yorgey, Hendrix College Beta Ziliani, Manas.Tech Viktória Zsók, Eötvös Loránd University ### Venue IFL 2025 will be held physically in Montevideo, Uruguay. See the website for more information. https://www.fing.edu.uy/inco/congresos/ifl2025 ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026)
by Achim D. Brucker 24 Jul '25

24 Jul '25

**CALL FOR PAPERS** **Special Track on Tests and Proofs (TAP 2026)** *at the* **27th International Symposium on Formal Methods (FM 2026)** **May 18-22, 2026 --- Tokyo, Japan** **Website:** <https://conf.researchr.org/track/fm-2026/> **Abstract Submission**: Tuesday, 25 November 2025 **Full Paper Submission:** Tuesday, 2 December 2025 ### **New TAP Track at FM 2026: A Premier Venue for Tests and Proofs** Since 2007, the [Test and Proof (TAP) conference](https://tapconference.github.io/2024/) has long been a leading venue for research on the intersection of software testing and formal verification. Now, TAP is joining the 27th International Symposium on Formal Methods (FM 2026) as a new special track. This integration places the ground-breaking work of the Test and Proofs community at the heart of the world's premier conference on formal methods. This new track provides a dedicated forum for researchers, practitioners, and tool developers to present and discuss the latest advances in the synergistic combination of traditionally distinct areas of dynamic analysis, e.g., testing, and static analysis, e.g., proving. By joining FM, the TAP track offers authors a wider, more diverse audience and the prestige of publication in the main, open-access FM 2026 proceedings, published by Springer in the LNCS series. We invite you to be part of this exciting new chapter for the tests and proofs community! **Track Highlight: FM 2026 Keynote by Professor Cristian Cadar** We are thrilled to announce that TAP Track at FM 2026 will feature a keynote address by **Professor Cristian Cadar** of Imperial College London. Professor Cadar is a world-renowned authority on software reliability, security, and verification, and is particularly celebrated for his pioneering contributions to symbolic and dynamic execution (e.g., KLEE). His selection as a main symposium keynote speaker is a powerful testament to the increasing importance of the core topics of the TAP track to the broader computer science community. ### **Scope and Topics of Interest** The TAP track solicits high-quality, original research on the interplay between dynamic techniques such as testing, runtime verification etc.testing and formal verification such as proving, model checking, abstract interpretation, etc. . The track aims to foster new collaborations and advance the state of the art in creating reliable and secure software and systems. Topics of interest include, but are not limited to, the following areas: **Foundations for Combining Testing and Verification** - Formalisms and theories that unify testing and proof\ - Semantic foundations for combined static and dynamic analysis\ - Proof theory for test-case generation and specification conformance\ - Type systems with a testing and proving focus\ - Formal models of test-based and proof-based development **Synergistic Techniques and Tools** - Combination of model checking, theorem proving, and runtime verification - Synergies between symbolic execution, fuzzing, and formal analysis - Test-case generation from formal specifications (e.g., using B, Z, TLA+, VDM) - Using test execution results to guide or automate proof discovery - Static analysis for test-suite reduction, prioritization, and optimization - Verification-based and property-based testing - Formal methods for testing AI/ML-based systems - AI/ML techniques for enhancing formal verification and testing - Derivation of specifications and contracts from tests - Combination of static and dynamic analysis for security vulnerability detection **Applications and Empirical Evaluation** - Case studies and experience reports applying combined test-and-proof techniques to industrial systems (e.g., in security, cyber-physical systems, autonomous systems, blockchain, or IoT) - Empirical comparisons of different verification, testing, and combined techniques - Tool demonstration papers for new and innovative tools that support tests and proofs - Application of TAP techniques to challenge problems and benchmarks ### **Submission Categories and Guidelines** The TAP track papers can be submitted in all paper categories supported by the FM 2026 Research Track and submissions to the TAP track will be reviewed following the policies and quality criteria of the FM Research Track. The TAP track solicits papers in the following categories: - **Regular Papers (max 15 pages, excluding references and appendices):** For mature, original research contributions. - **Long Tool Papers (max 15 pages, excluding references and appendices):** For presenting mature tools, their theoretical foundations, and empirical evaluations. - **Case Study Papers (max 15 pages, excluding references and appendices):** For in-depth reports on the application of TAP techniques to significant, real-world problems. - **Short Papers (max 6 pages, excluding references and appendices):** For presenting novel but not yet fully mature ideas, or for tool demonstration papers that focus on a tool's features and usage. Papers should be original work, not published or submitted elsewhere, in Springer [LNCS format](https://www.springer.com/gp/computer-science/lncs/conference-procee…, and written in English. Submit your papers at https://easychair.org/conferences/?conf=fm2026 Reviewing is single-blind. Each paper will be evaluated by at least three members of the Program Committee. Papers will be accepted or rejected in the category in which they were submitted and will not be moved between categories Authors of accepted papers are strongly encouraged to submit their supporting artifacts to the FM 2026 Artifact Evaluation track. ### **Important Dates** All deadlines are **Anywhere on Earth (AoE, UTC-12h)**. The deadlines for the TAP track are aligned with the FM 2026 Research Track. Milestone Date --------------------------- ------------------------------- **Abstract Submission** **Tuesday, 25 November 2025** **Full Paper Submission** **Tuesday, 2 December 2025** **Author Notification** **Friday, 6 February 2026** **Camera-Ready Version** **Monday, 2 March 2026** **FM 2026 Conference** **May 18-22, 2026** ### **Publication** All accepted papers for the TAP track will be published as part of the main FM 2026 conference proceedings. The proceedings will be published by Springer in their **open-access Lecture Notes in Computer Science (LNCS)** series. At least one author of an accepted paper must register for the conference and present the work. ### **Track Organization** **Track Chairs:** - Marie-Christine Jakobs, Ludwig-Maximilan University, Munich, Germany - Achim D. Brucker, University of Exeter, UK For inquiries, please contact the track chairs. -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

[ICLP 2025 - Call for Participation] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
by Manuel Alejandro Borroto Santana 18 Jul '25

18 Jul '25

*[apologize for multiple postings]* *Call for Participation* 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 https://iclp25.demacs.unical.it/ We are pleased to invite you to participate in the 41st International Conference on Logic Programming (ICLP’25), which will be held at the University of Calabria from September 12-19, 2025. The event will include: ● 4 invited talks (Vladimir Lifschitz, Esra Erdem, Stefania Costantini, and Georg Gottlob) ● 63 conference paper presentations (24 regular papers and 39 Technical Communications) ● 4 Recently Published Research (RPR) presentations ● 2 co-located events (PPDP 2025 and LOPSTR 2025) ● 8 workshops ● Autumn School ● Doctoral Consortium ● Logic Programming Contest Registration is now open, with early fees available until July 30th AOE. The registration procedure will close on August 30th AOE. *On-Site Registration is not available.* For more information on the registration process, please visit the following webpage: https://iclp25.demacs.unical.it/registration *SCOPE* Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions span all areas of logic programming, including but not limited to the following: *Theoretical Foundations:* Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results. *Language Design and Programming Methodologies:* Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Theory reasoning, Answer set programming, Inductive logic programming, Coinductive logic programming. *Program Analysis and Optimization:* Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs. *Implementation Methodologies and Applications:* Compilation, Constraint implementation, Ethics and trustworthiness, Explainability, Parallel/distributed execution, Search and optimization problems, Heuristic methods, Logic-based prompt engineering, Tabling, User interfaces. *REGISTRATION* Early fees are available until July 30th AOE, the registration procedure closes August 30th AOE*. **On-Site Registration is not available.* https://iclp25.demacs.unical.it/registration *KEYNOTE SPEAKERS* ● Vladimir Lifschitz, University of Texas at Austin ( https://www.cs.utexas.edu/~vl/) September 15 ● Esra Erdem, Sabanci University ( https://people.sabanciuniv.edu/esraerdem/) September 16 ● Stefania Costantini, University of L’Aquila ( https://people.disim.univaq.it/~stefcost/) September 17 ● Georg Gottlob, University of Calabria ( https://www.unical.it/storage/teachers/georg.gottlob/) September 18 *ACCEPTED PAPERS* The full list of accepted papers is available at the following link: https://iclp25.demacs.unical.it/program/accepted-papers *AFFILIATED EVENTS* ● Workshops: September 12-13, 2025 https://iclp25.demacs.unical.it/workshops-school-and-dc/workshops - 32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025) - 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025) - 12th Workshop on Probabilistic Logic Programming (PLP 2025) - 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2025) - Third Prolog Education Workshop (PEG 2025) - Second Annual Workshop on Prolog Improvement Proposals (PIPs) - Workshop on Logic Programming and Legal Reasoning (LPLR 2025) - 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) ● Autumn School in Computational Logic: September 12-13, 2025 https://iclp25.demacs.unical.it/workshops-school-and-dc/autumn-school-on-lo… ● Doctoral Consortium: September 12-13, 2025 https://iclp25.demacs.unical.it/workshops-school-and-dc/doctoral-consortium ● Logic Programming Contest: September 17, 2025 ● International Symposium on Principles and Practice of Declarative Programming (PPDP 2025) https://ppdp25.github.io/site/ ● International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025) https://lopstr.github.io/2025/ *VENUE* ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, during 12-19 September 2025. The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts. For more information about the venue, please visit the following webpage: https://iclp25.demacs.unical.it/venue/conference-venue Useful information about accommodation and travel can be found at the following links: ● https://iclp25.demacs.unical.it/venue/accommodation ● https://iclp25.demacs.unical.it/venue/travel-information *ORGANIZATION* General Chair: Francesco Ricca Program Co-chairs: Martin Gebser and Daniela Inclezan Publicity Chairs: Manuel Borroto and Francesco Calimeri Local Chairs: Antonio Ielo and Giuseppe Mazzotta *PROGRAM COMMITTEE* Salvador Abreu, NOVA-LINCS / University of Evora Mario Alviano, University of Calabria Nicos Angelopoulos, The Pirbright Institute Marcello Balduccini, Saint Joseph’s University Mutsunori Banbara, Nagoya University Elena Bellodi, University of Ferrara Stefano Bistarelli, University of Perugia Bart Bogaerts, KU Leuven Pedro Cabalar, University of Corunna Roberta Calegari, Alma Mater Studiorum–University of Bologna Angelos Charalambidis, Harokopio University Michael Codish, Ben-Gurion University of the Negev Stefania Costantini, University of L'Aquila Alessandro Dal Palù, University of Parma Marina De Vos, University of Bath Marc Denecker, KU Leuven Carmine Dodaro, University of Calabria Thomas Eiter, TU Wien Esra Erdem, Sabanci University Wolfgang Faber, University of Klagenfurt François Fages, INRIA Saclay Jorge Fandinno, University of Nebraska Omaha Johannes K. Fichte, Linköping University Fabio Fioravanti, University of Chieti-Pescara Andrea Formisano, University of Udine Gerhard Friedrich, University of Klagenfurt Sarah Alice Gaggl, TU Dresden Marco Gavanelli, University of Ferrara Laura Giordano, DISIT, University of Eastern Piedmont Ricardo Gonçalves, NOVA University Lisbon Gopal Gupta, The University of Texas at Dallas Carito Guziolowski, Centrale Nantes Markus Hecher, CNRS, Artois University Giovambattista Ianni, University of Calabria Tomi Janhunen, Tampere University Nikos Katzouris, NCSR Demokritos Gabriele Kern-Isberner, TU Dortmund Matthias Knorr, NOVA University Lisbon Isabelle Kuhlmann, University of Hagen Joao Leite, NOVA University Lisbon Michael Leuschel, Heinrich-Heine University of Düsseldorf Vladimir Lifschitz, The University of Texas at Austin Francesca Alessandra Lisi, University of Bari Aldo Moro Yanhong A. Liu, Stony Brook University Marco Maratea, University of Calabria Viviana Mascardi, DIBRIS, University of Genova Jose F. Morales, Technical University of Madrid / IMDEA Software Institute Johannes Oetsch, Jönköping University Simona Perri, University of Calabria Enrico Pontelli, New Mexico State University Fabrizio Riguzzi, University of Ferrara Ricardo Rocha, University of Porto Chiaki Sakama, Wakayama University Zeynep G. Saribatur, TU Wien Torsten Schaub, University of Potsdam Konstantin Schekotihin, University of Klagenfurt Tom Schrijvers, KU Leuven Dietmar Seipel, University of Würzburg Theresa Swift, Johns Hopkins Applied Physics Lab Paul Tarau, University of North Texas Hans Tompits, TU Wien Mirek Truszczynski, University of Kentucky Athénaïs Vaginay, University of Caen Normandy Germán Vidal, VRAIN, Polytechnic University of Valencia Concepcion Vidal, University of Corunna Alicia Villanueva, VRAIN – Polytechnic University of Valencia Johannes P. Wallner, TU Graz Kewen Wang, Griffith University David S.Warren, Stony Brook University Felix Weitkämper, German UDS Potsdam Stefan Woltran, TU Wien Roland Yap, National University of Singapore Jia-Huai You, University of Alberta Zhizheng Zhang, Southeast University Yuanlin Zhang, Texas Tech University Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

DataMod 2025 - First Call for Papers
by Ouadie Khebbeb 07 Jul '25

07 Jul '25

DataMod 2025 - 13th International Symposium "From Data to Models and Back" Toledo, Spain, 10-11 November 2025 Website: https://datamod-symposium.github.io/DataMod-2025/ DataMod 2025 is a satellite event of the 23rd International Conference of Software Engineering and Formal Methods (SEFM 2025): https://sefm-conference.github.io/2025/ -------------------------------------------------------------------------------- Abstract submission deadline (optional): 22 August 2025 Paper submission deadline: 29 August 2025 -------------------------------------------------------------------------------- CONTEXT & OBJECTIVES DataMod 2025 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, security, education, software engineering, and any other field that deals with complex systems and large amounts of data. Papers can present research results in any of the themes of interest for the symposium, as well as application experiences, tools and promising preliminary ideas. Papers dealing with synergistic approaches that integrate modelling and knowledge management/discovery, or that exploit knowledge management/discovery to develop/synthesise system models are especially welcome. Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. TOPICS Modelling and analysis methodologies include: - Agent-based Methodologies - Automata-based Notations - Big Data Analytics - Cellular Automata - Classification - Clustering, Segmentation and Profiling - Conformance Analysis - Constraint Programming - Data Mining - Differential Equations - Game Theory - Machine Learning - Membrane Systems - Network Theory and Analysis - Ontologies - Optimisation Modelling - Petri Nets - Process Calculi - Process Mining - Rewriting Systems - Spatio-temporal Data Analysis/Mining - Statistical Model Checking - Text Mining - Topological Data Analysis Application domains include: - Biology - Brain Data and Simulation - Business Process Management - Climate Change - Cybersecurity - Ecology - Education - Environmental Risk Assessment and Management - Enterprise Architectures - Epidemiology - Genetics and Genomics - Governance - HCI and Human Behaviour - Open Source Software Development and Communities - Pharmacology - Resilience Engineering - Safety and Security Risk Assessment - Social Good - Social Software Engineering - Social Systems - Sustainable Development - Threat Modelling and Analysis - Urban Ecology - Smart Cities and Smart Lands Synergistic approaches include: (1) Use of modelling methods and notations in a knowledge management/discovery context (2) Development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest SUBMISSION AND PUBLICATION All contributions in the form of either - regular (research, tool or position) paper, up to 16 pages (excluding references) - short (research, tool or position) paper, up to 8 pages (excluding references) will be reviewed by three members of the Program Committee. Authors are invited to submit their contributions via Easychair https://easychair.org/conferences/?conf=datamod2025 In addition, presentation reports will be considered having the following form: - presentation report, up to 4 pages Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as to previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognised conference, or which has not yet been submitted. Presentation reports will receive a lightweight review to establish their relevance for DataMod. Authors are invited to submit their presentation report via Easychair https://easychair.org/conferences/?conf=datamod2025 All papers should be written in English and formatted according to the LNCS style. Paper formatting guidelines according to LNCS style are available here: http://www.springer.com/lncs Detailed information on the submission procedure and format are available on the symposium web page: https://datamod2025.github.io/ Accepted papers (both regular and short) will be included in a dedicated LNCS post-proceedings volume published by Springer after the Symposium. Condition for inclusion in the proceedings is that at least one of the co-authors attends and presents the paper at the Symposium. IMPORTANT DATES Abstract Submission deadline (optional): 22 August 2025 Paper Submission deadline: 29 August 2025 Notification: 30 September 2025 Revised Version: 7 October 2025 Symposium: 10-11 November 2025 KEYNOTE SPEAKERS * TBA PROGRAM CO-CHAIRS * Livia Lestingi, Politecnico di Milano, Italy * Gwen Salaün, Université Grenoble Alpes, France PROGRAM COMMITTEE * Oana Andrei, University of Glasgow * Kyungmin Bae, Pohang University of Science and Technology (POSTECH) * Juliana Bowles, School of Computer Science, University of St Andrews * Giovanna Broccia, ISTI-CNR, FMT Lab * Antonio Cerone, Nazarbayev University * Robert Clarisó, Universitat Oberta de Catalunya * Carla Ferreira, Universidade NOVA de Lisboa * Marc Frappier, Université de Sherbrooke * Elisa Gonzalez Boix, Vrije Universiteit Brussel * Riccardo Guidotti, University of Pisa * Alexander Kocian, University of Pisa * Ricardo M. Czekster, Aston University * José Machado, University of Minho, DI, ALGORITMI/LASI * Paolo Milazzo, Dipartimento di Informatica - Università di Pisa * Pedro Ribeiro, University of York * Arpit Sharma, Indian Institute of Science Education and Research * Volker Stolz, Høgskulen på Vestlandet * Martin Tappler, TU Wien * Thais Webber, Aston University * Lina Ye, CentraleSupélec, LMF, University Paris-Saclay, France CONTACT > All inquiries should be sent to datamod2025(a)easychair.org

1 0

ICFP/SPLASH 2025: call for volunteers
by ICFP Publicity 03 Jul '25

03 Jul '25

ICFP/SPLASH 2025 are looking for volunteers to help with the organization and smooth running of the conference. In exchange, volunteers receive: - Free conference registration (including banquet) - Free lunches and refreshments during breaks - Volunteer shirt - Admission to all social events *Note: Travel and accommodation are not covered.* *Who can apply? *Anyone can apply. Priority will be given to junior members of the community, such as students in computer science or related fields. *Availability. *Volunteers must be available for at least five (5) full days between October 12–18, 2025, and should be ready to help with various tasks during that period. Some pre-conference coordination and training may be required. We welcome both virtual and in-person volunteers from all time zones. *Apply here: *https://tinyurl.com/splashifcp25-sv-application *More details: * https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-voluntee…

1 0

[AI3 2025 - Final Call for Papers] *DEADLINES EXTENSION* 9th Workshop on Advances in Argumentation in Artificial Intelligence
by Manuel Alejandro Borroto Santana 26 Jun '25

26 Jun '25

*[apologize for multiple postings]* -------------------------------------------------------------------------- CALL FOR PAPERS 9th Workshop on Advances in Argumentation in Artificial Intelligence AI³ 2025 https://tinyurl.com/ai3w25 12 or 13 September 2025, Rende, Italy Workshop of ICLP 2025 -------------------------------------------------------------------------- AIMS AND SCOPE Argumentation is the study of the processes and activities involving the production and exchange of arguments, where arguments are attempts to persuade someone or something by giving reasons for accepting a particular conclusion as evident. The goal of the workshop is to stimulate discussions and promote scientific collaboration among researchers not only directly involved in argumentation, but also from research fields indirectly related to argumentation. TOPICS We invite submissions of the latest research results concerning applications and theory of computational argumentation. Topics include, but are not limited to: Explainable AI with Argumentation, Persuasion systems, Formal, semi-formal and informal models for argumentation, Properties and evaluation of formal models of argumentation, Computational properties of argumentation, Traditional and ranking-based semantics, Instantiations of abstract argumentation frameworks, Implementation of argumentation systems, Relationships among different argumentation frameworks, Philosophical theories of argumentation, Argument mining, Argumentation in agent and multi-agent systems, Dialogue based on argumentation, Strategies in argumentation, Decision making based on argumentation, Argumentation-based negotiation, Argumentation, trust and reputation, Argumentation for coordination and coalition formation, Argumentation and other Artificial Intelligence techniques, Argumentation and game theory, Argumentation and probability, Argumentation and fuzzy-logic, Argumentation and narrative, Argumentation and computational linguistics, Argumentation and human-computer interaction, Reasoning about action and time with argumentation, Tools for supporting argumentation, Practical applications of formal models of argumentation, Systems for learning through argument, Argument-based machine learning, Validation and evaluation of applications of argumentation. SUBMISSION The workshop invites three types of submissions: - Full papers (15 pages), possibly already submitted to other conferences or journals, and - Short papers (5 pages), which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. - Short overviews of research projects (3 pages), possibly moved to a poster session. All papers will be peer-reviewed and final copies of papers for inclusion to the conference proceedings will be published on CEUR in the AI*IA Series (Scopus indexed). Manuscripts should be formatted using the 1-column CEUR-ART Style. You can access the Overleaf template (https://www.overleaf.com/read/pznxxvfnyjhk#c5dcb0 (select Copy Project in the Menu) or download an offline version ( https://drive.google.com/file/d/1-BiptYhT-FNFZip8XuAESLXX3R6G8n2S/view?usp=… ) with the style files. Papers must be submitted through Microsoft CMT at the link https://cmt3.research.microsoft.com/AI32025. FURTHER INFORMATION WWW: https://tinyurl.com/ai3w25 Email: mario.alviano%2Bai32025(a)unical.it IMPORTANT DATES Paper registration: July 1 (final extension, was June 27) Paper submission: July 5 (final extension, was July 1) Notification: July 15 Final versions due: September 1 VENUE The workshop will be co-located with the 41th International Conference on Logic Programming (ICLP 2025) at the University of Calabria. The University area amounts to around 200 hectares, and is organized in 14 departments and 13 interdepartmental centers, with around 170 classrooms frequented by more than 14,500 persons. The University provides 77 degree courses and 2 specialization schools, and owns the largest library in Southern Italy, with more than 390,000 volumes and 660 workstations. The Residential Center of the University has around 3,000 beds and 1,300 canteen seats, and serves more than 3,500 meals per day. The Art Music Entertainment Center organizes more than 30 events per year, including concerts, film festivals, and theater. The Sport Center offers more than 25 courses. Other structures in the University are the Museum of Natural History of Calabria and Botanical Garden, the Paleontology Museum, the Museum for the Environment Rimuseum, the Zoology Museum, and the Linguistic University Center. PROGRAM CHAIRS Mario Alviano, University of Calabria, Italy Bettina Fazzinga, University of Calabria, Italy PUBLICITY CHAIR Manuel Alejandro Borroto Santana, University of Calabria, Italy PROGRAM COMMITTEE Gianvincenzo Alfano (University of Calabria) Pietro Baroni (University of Brescia) Stefano Bistarelli (University of Perugia) Sergio Flesca (DIMES - UNICAL) Massimiliano Giacomin (University of Brescia) Daniele Porello (University of Genoa) Carlo Proietti (CNR, ILC) Francesco Santini (University of Perugia) Carlo Taticchi (University of Perugia) Alice Toniolo (University of St Andrews) Paolo Torroni (University of Bologna) Mauro Vallati (University of Huddersfield) -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE
by Manuel Alejandro Borroto Santana 25 Jun '25

25 Jun '25

*** Apologies for multiple copies *** ======================================================================= *EXTENDED SUBMISSION DEADLINE* *IMPORTANT DATES (AoE)* Abstract submission deadline: *30 June 2025 * Paper submission deadline: *30 June 2025 * Notification: *20 July 2025 * ======================================================================= ========================================================================= CALL FOR PAPERS ASPOCP 2025 18th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/view/aspocp-2025/ September 12 - 13, 2025 Affiliated with ICLP 2025, 41th International Conference on Logic Programming https://iclp25.demacs.unical.it/ ========================================================================= *AIMS AND SCOPE * Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. The practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). Furthermore, significant research effort is being devoted to delivering ASP-based solutions to real-world problems and end-users. This includes the development of visualization and explanation tools, which are becoming increasingly important for the acceptance of ASP in practice. A large body of general results regarding ASP is available and several efficient ASP solvers have been implemented. However, there are still significant challenges in applying ASP to real life applications, and more interest in relating ASP to other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. *TOPICS* Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and knowledge compilation. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Debugging and visualization of ASP programs. - Explanations for ASP or using ASP. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. *SUBMISSIONS * The workshop invites two types of submissions: - original papers describing original research. - non-original paper already published on formal proceedings or journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the 1-column CEURART style available in the website. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=iclp25 and selecting the track "Workshop on Answer Set Programming and Other Computing Paradigm". *IMPORTANT DATES (AoE)* Abstract submission deadline: 30 May 2025 *30 June 2025* Paper submission deadline: 06 June 2025 *30 June 2025* Notification: 04 July 2025 * 20 July 2025* *WORKSHOP CO-CHAIRS* Alice Tarzariol, University of Klagenfurt, Klagenfurt, Austria - alice.tarzariol(a)aau.at Brais Muñiz, University of Coruña, A Coruña, Spain - brais.mcastro(a)udc.es *PROGRAM COMMITTEE* - Mario Alviano, University of Calabria - Pedro Cabalar, University of Coruña - Tran Cao, New Mexico State University - Francesco Cauteruccio, University of Salerno - Stefania Costantini, University of L'Aquila - Carmine Dodaro, University of Calabria - Esra Erdem, Sabanci University - Cristina Feier, Technical University of Cluj-Napoca - Johannes K. Fichte, Linköping University - Tobias Geibinger, Vienna University of Technology - Giovambattista Ianni, University of Calabria - Tomi Janhunen, Tampere University - Vladimir Lifschitz, University of Texas - Marco Maratea, University of Calabria - Michael Morak, University of Klagenfurt - Orkunt Sabuncu, Potassco Solutions Turkey - Konstantin Schekotihin, University of Klagenfurt - Van-Giang Trinh, Inria Saclay - Jia-Huai You, University of Alberta - Johannes P. Wallner, TU Graz -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

DataMod 2025 - First Call for Papers
by Ouadie Khebbeb 16 Jun '25

16 Jun '25

DataMod 2025 - 13th International Symposium "From Data to Models and Back" Toledo, Spain, 10-11 November 2025 Website: https://datamod-symposium.github.io/DataMod-2025/ DataMod 2025 is a satellite event of the 23rd International Conference of Software Engineering and Formal Methods (SEFM 2025): https://sefm-conference.github.io/2025/ -------------------------------------------------------------------------------- Abstract submission deadline (optional): 22 August 2025 Paper submission deadline: 29 August 2025 -------------------------------------------------------------------------------- CONTEXT & OBJECTIVES DataMod 2025 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, security, education, software engineering, and any other field that deals with complex systems and large amounts of data. Papers can present research results in any of the themes of interest for the symposium, as well as application experiences, tools and promising preliminary ideas. Papers dealing with synergistic approaches that integrate modelling and knowledge management/discovery, or that exploit knowledge management/discovery to develop/synthesise system models are especially welcome. Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. TOPICS Modelling and analysis methodologies include: - Agent-based Methodologies - Automata-based Notations - Big Data Analytics - Cellular Automata - Classification - Clustering, Segmentation and Profiling - Conformance Analysis - Constraint Programming - Data Mining - Differential Equations - Game Theory - Machine Learning - Membrane Systems - Network Theory and Analysis - Ontologies - Optimisation Modelling - Petri Nets - Process Calculi - Process Mining - Rewriting Systems - Spatio-temporal Data Analysis/Mining - Statistical Model Checking - Text Mining - Topological Data Analysis Application domains include: - Biology - Brain Data and Simulation - Business Process Management - Climate Change - Cybersecurity - Ecology - Education - Environmental Risk Assessment and Management - Enterprise Architectures - Epidemiology - Genetics and Genomics - Governance - HCI and Human Behaviour - Open Source Software Development and Communities - Pharmacology - Resilience Engineering - Safety and Security Risk Assessment - Social Good - Social Software Engineering - Social Systems - Sustainable Development - Threat Modelling and Analysis - Urban Ecology - Smart Cities and Smart Lands Synergistic approaches include: (1) Use of modelling methods and notations in a knowledge management/discovery context (2) Development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest SUBMISSION AND PUBLICATION All contributions in the form of either - regular (research, tool or position) paper, up to 16 pages (excluding references) - short (research, tool or position) paper, up to 8 pages (excluding references) will be reviewed by three members of the Program Committee. Authors are invited to submit their contributions via Easychair https://easychair.org/conferences/?conf=datamod2025 In addition, presentation reports will be considered having the following form: - presentation report, up to 4 pages Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as to previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognised conference, or which has not yet been submitted. Presentation reports will receive a lightweight review to establish their relevance for DataMod. Authors are invited to submit their presentation report via Easychair https://easychair.org/conferences/?conf=datamod2025 All papers should be written in English and formatted according to the LNCS style. Paper formatting guidelines according to LNCS style are available here: http://www.springer.com/lncs Detailed information on the submission procedure and format are available on the symposium web page: https://datamod2025.github.io/ Accepted papers (both regular and short) will be included in a dedicated LNCS post-proceedings volume published by Springer after the Symposium. Condition for inclusion in the proceedings is that at least one of the co-authors attends and presents the paper at the Symposium. IMPORTANT DATES Abstract Submission deadline (optional): 22 August 2025 Paper Submission deadline: 29 August 2025 Notification: 30 September 2025 Revised Version: 7 October 2025 Symposium: 10-11 November 2025 KEYNOTE SPEAKERS * TBA PROGRAM CO-CHAIRS * Livia Lestingi, Politecnico di Milano, Italy * Gwen Salaün, Université Grenoble Alpes, France PROGRAM COMMITTEE * Oana Andrei, University of Glasgow * Kyungmin Bae, Pohang University of Science and Technology (POSTECH) * Juliana Bowles, School of Computer Science, University of St Andrews * Giovanna Broccia, ISTI-CNR, FMT Lab * Antonio Cerone, Nazarbayev University * Robert Clarisó, Universitat Oberta de Catalunya * Carla Ferreira, Universidade NOVA de Lisboa * Marc Frappier, Université de Sherbrooke * Elisa Gonzalez Boix, Vrije Universiteit Brussel * Riccardo Guidotti, University of Pisa * Alexander Kocian, University of Pisa * Ricardo M. Czekster, Aston University * José Machado, University of Minho, DI, ALGORITMI/LASI * Paolo Milazzo, Dipartimento di Informatica - Università di Pisa * Pedro Ribeiro, University of York * Arpit Sharma, Indian Institute of Science Education and Research * Volker Stolz, Høgskulen på Vestlandet * Martin Tappler, TU Wien * Thais Webber, Aston University * Lina Ye, CentraleSupélec, LMF, University Paris-Saclay, France CONTACT > All inquiries should be sent to datamod2025(a)easychair.org

1 0

WPTE 2025 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation
by Voigtländer, Prof. Dr. Janis 15 Jun '25

15 Jun '25

WPTE 2025 (affiliated to FSCD 2025 in Birmingham, UK) 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 20th, 2025) Webpage: https://wpte2025.github.io/ --------------------------------------------------------------------------- The aim of WPTE is to bring together researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. --------------------------------------------------------------------------- The workshop will have two invited talks, by: - Alex Gerdes, University of Gothenburg and Chalmers - Sebastian Maneth, University of Bremen as well as eight contributed presentations: - Misaki Kojima and Naoki Nishida: On Transforming Prioritized Multithreaded Programs into Logically Constrained Term Rewrite Systems - Kasper Hagens and Cynthia Kop: Bounded Rewriting Induction for LCTRSs - Leonid Nosovitskiy and Adam D. Barwell: Refactoring Protocols For Crash Safety - Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Partial Correctness of Separation Logic with Recursive Calls - David Sabel and Manfred Schmidt-Schauss: Probabilistic Lazy PCF with Real-Valued Choice - Ghilain Bergeron, Horatiu Cirstea and Stephan Merz: Towards a verified compiler for Distributed PlusCal - Naoki Nishida and Nozomi Taira: On Merging Constrained Rewrite Rules of Induction Hypotheses in Constrained Rewriting Induction - Dragana Milovancevic, Carsten Fuhs and Viktor Kuncak: Proving Termination of Scala Programs by Constrained Term Rewriting --------------------------------------------------------------------------- Program Committee --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Patrick Bahr, IT University of Copenhagen Demis Ballis, University of Udine Mirai Ikebuchi, Kyoto University Cynthia Kop, Radboud University Nijmegen (co-chair) Ivan Lanese, University of Bologna Pierre Lermusiaux, Inria Rennes Steven Libby, University of Portland Luca Roversi, University of Turin Janis Voigtlaender, University of Duisburg-Essen (co-chair) Johannes Waldmann, Leipzig University of Applied Sciences Sarah Winkler, Free University of Bozen-Bolzano

1 0

IFL 2025, deadline extension
by Mart Lubbers 13 Jun '25

13 Jun '25

===================================================================== IFL 2025 37th Symposium on Implementation and Application of Functional Languages Montevideo, Uruguay October 1-3, 2025 https://www.fing.edu.uy/inco/congresos/ifl2025 ===================================================================== ### 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 ### Peer-review process Differently from previous editions of IFL, IFL 2025 solicits two kinds of submissions: * Regular papers (12 pages excluding references) * Draft papers for presentations ('weak' limit between 8 and 15 pages) Regular papers will undergo a rigorous review by the program committee, and will be evaluated according to their correctness, novelty, originality, relevance, significance, and clarity. Regular papers can be: accepted for publication in the formal proceedings, accepted for presentation at the symposium or rejected. Draft papers will be screened to make sure that they are within the scope of IFL, and will be accepted for presentation or rejected accordingly. We require that at least one of the authors present the work at IFL 2025. Authors of accepted presentations will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal post-proceedings after the symposium. 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. ### Important dates Submission of regular papers: June 23, 2025 (extended) Regular papers notification: August 4, 2025 Submission of draft papers: August 4, 2025 Draft papers notification: August 11, 2025 Deadline for early registration: September 5, 2025 Submission of pre-proceedings version: September 8, 2025 IFL Symposium: October 1-3, 2025 Submission of papers for post-proceedings: December 15, 2025 Notification of acceptance: February 28, 2026 Camera-ready version: March 30, 2026 Deadlines are end of day Anywhere on Earth (UTC-12) (https://www.timeanddate.com/time/zones/aoe) ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=ifl2025 Important note to authors about the new ACM open access publishing model ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance. Further information may be found on the ACM website, as follows: - Full details of the new ICPS publishing model: https://www.acm.org/publications/icps/faq - Full details of the ACM Open program: https://www.acm.org/publications/openaccess - Please direct all questions about the new model to icps-info(a)acm.org. ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: Alberto Pardo, Universidad de la República, Montevideo, Uruguay Marcos Viera, Universidad de la República, Montevideo, Uruguay Publicity Chair: Mart Lubbers, Radboud University, The Netherlands Local Chairs: Alberto Pardo, Universidad de la República, Montevideo, Uruguay Marcos Viera, Universidad de la República, Montevideo, Uruguay ### Program committee: Matteo Cimini, University of Massachusetts Lowell Facundo Domínguez, Tweag João Paulo Fernandes, Universidade do Porto Jeremy Gibbons, Oxford University Jurriaan Hage, Heriot Watt University Jason Hemann, Seton Hall University Maja Hanne Kirkeby, Roskilde University Mart Lubbers, Radboud University Bruno C. D. S. Oliveira, The University of Hong Kong Rinus Plasmeijer, Radboud University Andre Rauber Du Bois, Universidade Federal de Pelotas Rodrigo Ribeiro, Universidade Federal de Ouro Preto Alejandro Russo, Chalmers University of Technology João Saraiva, University of Minho Wenhao Tang, University of Edinburgh Zhixuan Yang, Imperial College London Brent Yorgey, Hendrix College Beta Ziliani, Manas.Tech Viktória Zsók, Eötvös Loránd University ### Venue IFL 2025 will be held physically in Montevideo, Uruguay. See the website for more information. https://www.fing.edu.uy/inco/congresos/ifl2025 ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0