From icfp.publicity at googlemail.com Thu Jul 3 13:14:58 2025 From: icfp.publicity at googlemail.com (ICFP Publicity) Date: Thu, 3 Jul 2025 09:14:58 -0400 Subject: [Haskell] ICFP/SPLASH 2025: call for volunteers Message-ID: 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-volunteers -------------- next part -------------- An HTML attachment was scrubbed... URL: From ouadie.khebbeb.tmp at gmail.com Mon Jul 7 13:41:28 2025 From: ouadie.khebbeb.tmp at gmail.com (Ouadie Khebbeb) Date: Mon, 7 Jul 2025 15:41:28 +0200 Subject: [Haskell] DataMod 2025 - First Call for Papers Message-ID: 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 at easychair.org From manuel.borroto at unical.it Fri Jul 18 16:35:41 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Fri, 18 Jul 2025 18:35:41 +0200 Subject: [Haskell] =?utf-8?q?=5BICLP_2025_-_Call_for_Participation=5D_41st?= =?utf-8?q?_International_Conference_on_Logic_Programming_=28ICLP?= =?utf-8?q?=E2=80=9925=29_University_of_Calabria=2C_Rende=2C_Italy_?= =?utf-8?q?=7C_September_12-19=2C_2025?= Message-ID: *[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-logic-programming ● 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From adbrucker at 0x5f.org Thu Jul 24 04:58:07 2025 From: adbrucker at 0x5f.org (Achim D. Brucker) Date: Thu, 24 Jul 2025 05:58:07 +0100 Subject: [Haskell] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) Message-ID: **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:** **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-proceedings-guidelines), 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 From ifl21.publicity at gmail.com Sun Jul 27 14:57:09 2025 From: ifl21.publicity at gmail.com (Mart Lubbers) Date: Sun, 27 Jul 2025 10:57:09 -0400 Subject: [Haskell] IFL 2025 - Call For Draft Papers (deadline extension) Message-ID: 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 at 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. From manuel.borroto at unical.it Mon Jul 28 09:48:39 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Mon, 28 Jul 2025 11:48:39 +0200 Subject: [Haskell] [Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize Message-ID: *[apologize for multiple postings]* Organized by the Association for Logic Programming In the summer of 1972, Alain Colmerauer and his team in Marseille developed and implemented the first version of the logic programming language Prolog. Together with both earlier and later collaborations with Robert Kowalski and his colleagues in Edinburgh, this work laid the practical and theoretical foundations for the Prolog and logic programming of today. Prolog and its related technologies soon became key tools of symbolic programming and Artificial Intelligence. 2022 was celebrated as the Year of Prolog to recognize the 50th anniversary of these events and highlight the continuing significance of Prolog and Logic Programming both for symbolic, explainable AI, and for computing more generally. The celebration inaugurated the ALP Alain Colmerauer Prolog Heritage Prize (in short: the Alain Colmerauer Prize). 2025 marks the fourth awarding of the Alain Colmerauer Prize. The Prize is given for recent accomplishments and practical advances in Prolog-inspired computing, understood in a broad sense, where foundational, technological and practical contributions are eligible with proven evidence or potential for the future development of Logic Programming. *The 2025 Award* Nominations are sought for the 2025 edition of the Alain Colmerauer Prize. *Eligibility* Any individual or group of individuals can nominate themselves or their institution(s)/organization(s) for the Prize. Nominations should describe work that meets the purpose of the Prize. Submissions that address the well-being of society or of the planet are especially welcome. *Submissions* Nominations should explain the contribution and argue for its present and future significance. The submissions must not exceed three pages plus references and may optionally be accompanied by up to two letters of support no longer than 500 words each. Submissions should be made by the candidates themselves, in pdf, through EasyChair: https://easychair.org/conferences?conf=acprize2025 *Selection and award* The Prize is given for depth, novelty, and proven or potential impact. The winner is selected by the Jury from the submitted nominations in consultation with the Executive Committee of the Association for Logic Programming. Furthermore, a shortlist of up to five finalists may also be selected in the process. The Jury will provide a detailed citation that explains the basis of the awarding of the Prize. The winner receives a certificate and cash support of up to 2,000 Euros for attending the conference and award ceremony. If there are multiple winners, this amount is shared. Finalists also receive certificates. *Timeline for the 2025 award* Deadline for submissions: August 19, 2025. Notification of the shortlisted candidates: August 23, 2025. *Award and presentation of the 2025 Prize* The winner of the 2025 Prize will be announced at the 41st International Conference on Logic Programming (ICLP 2025, Rende, Italy 9-19 September 2025). https://iclp25.demacs.unical.it/ *The 2025 AC Prize Jury* David S. Warren, Miguel Calejo, Stefania Costantini, Agostino Dovier, Maria Garcia de la Banda, Michael Leuschel -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From manuel.borroto at unical.it Mon Jul 28 13:47:05 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Mon, 28 Jul 2025 15:47:05 +0200 Subject: [Haskell] =?utf-8?q?=5BICLP_2025_-_Last_Call_for_Participation=5D?= =?utf-8?q?_41st_International_Conference_on_Logic_Programming_=28I?= =?utf-8?q?CLP=E2=80=9925=29_University_of_Calabria=2C_Rende=2C_Ita?= =?utf-8?q?ly_=7C_September_12-19=2C_2025?= Message-ID: *[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 *Persons in need and from target groups in the ALP policy for diversity and inclusion can request limited travel grants to ALP.* *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-logic-programming ● 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: