From w.s.swierstra at uu.nl Thu May 1 09:53:14 2025 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Thu, 1 May 2025 11:53:14 +0200 Subject: [Haskell] Utrecht Summer School on Advanced Functional Programming Message-ID: # Second Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 07 July – 11 July 2025 http://afp.school **Please register before June 15th** ## ABOUT The Advanced Functional Programming summer school has been running for more than fifteen years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school will be held in Utrecht and consists of a mix of lectures, labs, and a busy social program. ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. ## DATES Registration deadline: June 15th, 2025 School: 07 July – 11 July 2025 ## COSTS € 950 euro - Profession registration fee € 500 euro - Student registration fee € 200 euro - Housing fee We will charge a registration fee of €950 (or €500 for students) to cover our expenses. This fee includes all lunches, dinners, and coffee breaks - you won't need to budget much else besides your travel. If this is problematic for you for any reason at all, please email the organisers and we can try to offer you a discounted rate or a fee waiver. We have a limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under-represented minorities. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://afp.school From manuel.borroto at unical.it Fri May 2 12:40:12 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Fri, 2 May 2025 14:40:12 +0200 Subject: [Haskell] [C.A.R.L.A. 2025 - Call for Papers] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025 Message-ID: *[apologize for multiple postings]* *Call for Papers* 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (C.A.R.L.A. 2025) September 12-13, 2025 | Rende, Italy https://carla-ws.github.io/web/ Part of ICLP 2025 https://iclp25.demacs.unical.it *IMPORTANT DATES (AoE)* - Paper Deadline: June 1, 2025 - Notification: July 13, 2025 - Camera-Ready Deadline: July 27, 2025 Accepted papers will be presented as posters, with a subset selected for oral presentations. The workshop will take place in person at ICLP 2025, with virtual participation options to be confirmed. *GENERAL INFORMATION* The 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) seeks to transform the landscape of intelligent robotics by pioneering the integration of large language models (LLMs), symbolic reasoning, and logic solvers into robotic systems. As robotics moves towards real-world applications requiring adaptability, safety, and complex decision-making, this workshop focuses on harnessing the synergy between data-driven learning models and symbolic logic-based systems to advance automation. *SCOPE* CARLA invites research contributions and discussions in the following focus areas: - Knowledge Representation for Robotics: Frameworks and methodologies for integrating structured knowledge into robotic architectures. - LLMs as Cognitive Engines: Leveraging LLMs to process complex commands, generate actionable insights, and facilitate human-robot communication. - Neuro-Symbolic Systems in Robotics: Hybrid approaches combining neural networks with symbolic reasoning for decision-making and task execution. - Logic Solvers in Robotic Control: Employing constraint solvers, SAT solvers, or theorem provers for autonomous planning and reliable decision-making. - Adaptive and Safe Robotic Architectures: Strategies for real-time adaptation and coordination in robotic systems using LLMs and symbolic logic. - Human-Robot Collaboration: Innovations in language-driven interactions, focusing on usability, interpretability, and reliability in diverse scenarios. - Challenges of LLM Deployment in Robotics: Addressing safety, robustness, and ethical considerations when integrating LLMs into robotic systems. - LLM-Driven Planning and Problem Solving: Enabling robots to perform dynamic planning and adapt to novel situations using LLM-guided reasoning. *SUBMISSIONS* CARLA welcomes the following types of submissions: - Original Research Papers: Presenting novel research contributions aligned with the workshop’s focus areas. - Work-in-Progress Reports: Sharing preliminary findings and ongoing research efforts. - Position Papers: Discussing emerging challenges, visionary ideas, and future directions at the intersection of robotics, LLMs, and logic solvers. - Already Presented Works: Contributions that have been previously presented at other venues but are relevant to the workshop themes. Such works can be resubmitted to foster further discussion and exploration. *Submissions should adhere to the following guidelines:* - Maximum of 12 pages (excluding references) for full papers and 6 pages (excluding references) for short papers. - Formatting must follow the CEURART style: https://ceur-ws.org/HOWTOSUBMIT.html - All submissions must be in English and submitted in PDF format. Accepted original contributions will be published in the CEUR-WS Proceedings (possibly in conjunction with other ICLP workshops). Accepted non-original contributions will be showcased on the workshop website with links to the original publication, where available. *Submissions site:* Submissions will be managed via Microsoft CMT. Papers will remain private during the review process. All authors must maintain up-to-date Microsoft CMT profiles to ensure proper conflict-of-interest management and paper matching. Incomplete profiles may result in desk rejection. Submit papers through the C.A.R.L.A. Submission Portal on Microsoft CMT: https://cmt3.research.microsoft.com/CARLA2025 *Anonymity:* The workshop follows a single-blind review process. Submissions must not be anonymized by removing author names, affiliations, and acknowledgments. *ORGANIZATION* - Fabrizio Lo Scudo · University of Calabria, Italy - Sotirios Batsakis · Hellenic Mediterranean University, Greece - Manuel Borroto · University of Calabria, Italy -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue May 6 08:04:10 2025 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 6 May 2025 08:04:10 +0000 Subject: [Haskell] Journal of Functional Programming - Call for PhD Abstracts Message-ID: <1EA92233-FF1D-4B6A-9BF4-4612EBE8B7BB@nottingham.ac.uk> Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 30th May 2025. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th May 2025 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the student and the advisor/supervisor although we encourage them to coordinate. Habilitation dissertations are also eligible for inclusion. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 29th November 2024. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From andrask at chalmers.se Wed May 7 13:00:16 2025 From: andrask at chalmers.se (Andras Kovacs) Date: Wed, 7 May 2025 13:00:16 +0000 Subject: [Haskell] TyDe 2025 - Second Call for Papers Message-ID: ========================================================================= The Tenth International Workshop on TYPE-DRIVEN DEVELOPMENT Call for papers and extended abstracts Singapore, 12 October 2025 https://icfp25.sigplan.org/home/tyde-2025 ========================================================================= The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP and SPLASH, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: * dependently typed programming; * generic programming; * design and implementation of programming languages, exploiting types in novel ways; * exploiting typed data, data dependent data, or type providers; * static and dynamic analyses of typed programs; * tools, IDEs, or testing tools exploiting type information; * pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. ### Important dates ### * Mon 9 Jun 2025 (AoE): Submission deadline for papers and extended abstracts * Wed 16 Jul 2025: Notification of acceptance * Wed 30 Jul 2025: Submission of camera-ready papers to ACM * Sun 12 Oct 2025: Workshop ### Proceedings and Copyright ### We will have formal proceedings for full-length papers, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Submission Details ### Submissions should fall into one of two categories: * regular research papers (12 pages); * extended abstracts (3 pages). The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: > https://tyde25.hotcrp.com All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: > https://www.sigplan.org/Resources/Author/ Note that submissions should use the new ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmsmall’ subformat). Extended abstracts must be submitted with the label ‘Extended Abstract’ clearly in the title. ### Presentations ### We expect that each accepted submission is presented at the workshop. Presentations are around 20 minutes plus questions. Remote presentation is possible. ### Participant Support ### Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover participation-related expenses. PAC also offers other support, such as for child-care expenses during the meeting or for accommodations for members with physical disabilities. For details on the PAC program, see its web page: > https://www.sigplan.org/PAC/ ### Workshop Organization ### Organizing Committee: - András Kovács (University of Gothenburg and Chalmers University of Technology) - Yuting Wang (Shanghai Jiao Tong University, China) Program Committee: - Nathan Corbyn (University of Oxford, United Kingdom) - Stephen Dolan (Jane Street, United Kingdom) - Paul Downen (University of Massachusetts at Lowell, United States) - Brandon Hewer (University of Nottingham, United Kingdom) - Hongwei Xi (Boston University, United States) - Wen Kokke (University of Edinburgh, United Kingdom) - Yao Li (Portland State University, United States) - Hidehiko Masuhara (Institute of Science Tokyo, Japan) - Stefan Monnier (Université de Montréal, Canada) - Steven Ramsay (University of Bristol, United Kingdom) - Di Wang (Peking University, China) - Zhixuan Yang (Imperial College London, United Kingdom) -------------- next part -------------- An HTML attachment was scrubbed... URL: From manuel.borroto at unical.it Wed May 7 21:33:58 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Wed, 7 May 2025 23:33:58 +0200 Subject: [Haskell] [AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence Message-ID: *[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. 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=sharing ) 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+ai32025 at unical.it IMPORTANT DATES Paper registration: July 1 Paper submission: July 8 Notification: August 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. -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From chisvasileandrei at gmail.com Thu May 8 12:47:24 2025 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Thu, 8 May 2025 14:47:24 +0200 Subject: [Haskell] Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering Message-ID: ** Call for Participation ** 18th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2025) 12-13 June 2025 Koblenz, Germany https://conf.researchr.org/home/sle-2025 https://www.sleconf.org/2025/ https://x.com/sleconf ------------------------------------------------------------------------ The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution. Like its predecessors, the 18th edition of the SLE conference, SLE 2025, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasises the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Registration --------------------------- Registration happens via the STAF registration page Early Bird Registration Deadline is May 10th, 2025 https://conf.researchr.org/attending/staf-2025/staf-2025-registration --------------------------- Venue --------------------------- University of Koblenz https://conf.researchr.org/venue/sle-2025/staf-2025-venue --------------------------- Keynotes --------------------------- * Thorsten Berger, Ruhr University Bochum, Germany A New DSL Textbook in Town! * Friedrich Steimann, Fernuniversität in Hagen, Germany an Programming Be Liberated from the Functional Style? https://conf.researchr.org/home/sle-2025#Keynotes --------------------------- Awards --------------------------- During the conference, we will announce the following awards: * Distinguished paper: Award for the most notable paper, as determined by the PC chairs based on the recommendations of the program committee. * Distinguished artefact: Award for the artefact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artefact evaluation committee. * Distinguished reviewer: Award for the programme committee member that produced the most useful reviews as assessed by paper authors. * Most Influential Paper: Award for the SLE 2015 paper with the greatest impact, as judged by the SLE Steering Committee. * COLA Award: 2024 Journal of Computer Languages Best Paper Award --------------------------- Accepted Papers --------------------------- * A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe, Sebastian Will * AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support Georg Hinkel, Alexander Hert, Niklas Hettler, Kevin Weinert * Boosting Parallel Parsing through Cyclic Operator Precedence Grammars Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella * Detecting Resource Leaks on Android with Alpakka Gustavo Amorim Santos, Alexandra Mendes, João Bispo * Dynamic Dependency-Based Purity Checking Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach * Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen * Handling Grammar Cycles in the 1997 Standard ML Definition Elizabeth Scott, Adrian Johnstone * Integrating Model Checking into a Live Modeling Environment Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe * Lessons Learned: Challenges of Modular Language Design Alex Lüpges, Nico Jansen, Bernhard Rumpe * Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) Standardization Philipp Riemer, Yury Nikulin, Ashley Claymore, Mikhail Barash * Optimize Effect Handling for Tail-resumption with Stack Unwinding Yuze Fu, Shigeru Chiba * Property-based Testing of Attribute Grammars José Nuno Macedo, Marcos Viera, João Saraiva * Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars Luke Bessant, Eric Van Wyk * (Semantic) Feature Model Differences with (Q)SAT Simone Heisinger, Maximilian Heisinger, Martina Seidl * TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly José Pedro Ferreira, João Bispo, Susana Lima * Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair Aleksandar S. Dimovski -------------- next part -------------- An HTML attachment was scrubbed... URL: From s-dgq at thorsten-wissmann.de Fri May 9 09:20:00 2025 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Fri, 9 May 2025 11:20:00 +0200 Subject: [Haskell] CALCO/MFPS 2025: Call for Participation Message-ID: ========================================================== Call for Participation CALCO 2025 / MFPS XLI June 16-20, 2025 University of Strathclyde in Glasgow, UK https://coalg.org/calco-mfps-2025/ ========================================================== 11th International Conference on Algebra and Coalgebra in Computer Science 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS XLI) ========================================================== Registration ------------ The registration is now open; please register before June 2, 2025 via: https://coalg.org/calco-mfps-2025/registration/ Invited Speakers ---------------- * Ugo dal Lago, University of Bologna, Italy (joint special session on Quantitative Semantics) * Gordon Plotkin, University of Edinburgh, UK (joint keynote speaker) * Elena di Lavore, University of Pisa, Italy (CALCO) * Alexander Kurz, Chapman University, US (CALCO) * Chris Heunen, University of Edinburgh, UK (MFPS) * Delia Kesner, Université Paris Cité, France (MFPS) * Jurriaan Rot, Radboud University, the Netherlands (MFPS) Talks ----- List of papers accepted for presentation at CALCO on topics relating to algebraic and coalgebraic theory and their applications: https://www.coalg.org/calco-mfps-2025/calco/accepted/ MFPS notification of acceptance will be on May 15, 2025. About CALCO and MFPS -------------------- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. From janis.voigtlaender at uni-due.de Sat May 10 05:22:54 2025 From: janis.voigtlaender at uni-due.de (=?iso-8859-1?Q?Voigtl=E4nder=2C_Prof=2E_Dr=2E_Janis?=) Date: Sat, 10 May 2025 05:22:54 +0000 Subject: [Haskell] WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation Message-ID: <7978d0d7c0e14236b518099b27b6106b@uni-due.de> The submission deadline has been extended by five days: 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/ Submission: https://easychair.org/conferences/?conf=wpte2025 Deadline: 14th May 2025 --------------------------------------------------------------------------- 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. Topics of Interest --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. * Rewriting-based transformations for bidirectional programming and reversible computation. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline an extended abstract of at most 10 pages is required. The extended abstract may present original work, but also work in progress. The program committee will select the presentations for the workshop based on the submissions. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop in person. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions are to be made via: https://easychair.org/conferences/?conf=wpte2025 Post-Proceedings or Journal Special Issue --------------------------------------------------------------------------- For the 2020-2023 editions, papers from WPTE were selected for post-submission and eventual publication in JLAMP special issues. We will discuss, also based on interest expressed by authors at the workshop, whether to arrange a special issue or other formal proceedings for this year's edition. Important Dates --------------------------------------------------------------------------- Submission of extended abstracts: 14th May 2025 (AoE) Notification of acceptance: 11th June 2025 Early Registration for the conference: 13th June 2025 Final version for informal proceedings: 30th June 2025 Workshop: 20th July 2025 Submission to post-proceedings/special issue: autumn 2025 (tbd) 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 Contact --------------------------------------------------------------------------- Please direct questions to: wpte2025 at easychair.org CFP also at: https://easychair.org/cfp/wpte2025 -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7343 bytes Desc: not available URL: From manuel.borroto at unical.it Tue May 20 08:36:07 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Tue, 20 May 2025 10:36:07 +0200 Subject: [Haskell] [AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence Message-ID: *[apologize for multiple postings]* We are eager to receive your papers... and we want you to get notified in time for the early registration. For these reasons, we moved the deadline for paper registration to June 27 and the deadline for submitting papers to July 1. Act now! Register and submit your paper today! -------------------------------------------------------------------------- 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=sharing ) 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+ai32025 at unical.it IMPORTANT DATES Paper registration: June 27 Paper submission: 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) Francesco Santini (University of Perugia) Carlo Taticchi (University of Perugia) Mauro Vallati (University of Huddersfield) -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From chrisreade at mac.com Tue May 20 16:31:34 2025 From: chrisreade at mac.com (chrisreade at mac.com) Date: Tue, 20 May 2025 17:31:34 +0100 Subject: [Haskell] ANN: PenroseKiteDart v1.3 Message-ID: A new (and possibly final) version of PenroseKiteDart is now available on Hackage. This is a library for exploring and drawing Penrose's Kite and Dart tilings using Haskell Diagrams. (For more information see blogs at https://readerunner.wordpress.com/) Chris -------------- next part -------------- An HTML attachment was scrubbed... URL: From manuel.borroto at unical.it Thu May 22 09:30:06 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Thu, 22 May 2025 11:30:06 +0200 Subject: [Haskell] =?utf-8?q?=5BICLP_2025_-_Announcement_of_Accepted_Works?= =?utf-8?q?hops_=5D_41st_International_Conference_on_Logic_Programm?= =?utf-8?q?ing_=28ICLP=E2=80=9925=29=2C_University_of_Calabria=2C_R?= =?utf-8?q?ende=2C_Italy_=7C_September_12-19=2C_2025?= Message-ID: *[apologize for multiple postings]* ICLP 2025, the 41st International Conference on Logic Programming, will be held at the University of Calabria, Rende, Italy, from September 12 to September 19, 2025. This year, we are pleased to announce that eight workshops will be co-located with ICLP 2025. The topics span a broad range of areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. Below is the list of the accepted workshops, along with short descriptions and links to their respective websites. For comprehensive details, including submission procedures and important dates, please refer to the individual workshop websites. The calls for paper submission are open. - 32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025). Website: https://rcra2025.wordpress.com - 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025). Website: https://sites.google.com/view/aspocp-2025/ - 12th Workshop on Probabilistic Logic Programming (PLP 2025). Website: https://stoics.org.uk/~plp2025/ - 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2025). Website: https://tinyurl.com/ai3w25 - Third Prolog Education Workshop (PEG 2025). Website: https://prolog-lang.org/Education/PrologEducationWS2025.html - Second Annual Workshop on Prolog Improvement Proposals (PIPs). Website: https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html - Workshop on Logic Programming and Legal Reasoning (LPLR 2025). Website: https://lplr2025.legaltech.wales/ - 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA). Website: https://carla-ws.github.io/web/ ------------------------------ 32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025) The scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches regarding efficiency, problem modelling, and ease of development. Website: https://rcra2025.wordpress.com ------------------------------ 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025) Workshop on combining Answer Set Programming with Other Computing Paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL). Website: https://sites.google.com/view/aspocp-2025/ ------------------------------ 12th Workshop on Probabilistic Logic Programming (PLP 2025) The PLP workshop encompasses all aspects of combining logic, algorithms, programming, and probability. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. Website: https://stoics.org.uk/~plp2025/ ------------------------------ 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2025) 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. Website: https://tinyurl.com/ai3w25 ------------------------------ Third Prolog Education Workshop (PEG 2025) The PEG workshop series is one of the initiatives of the Prolog Education Group 2.0 (PEG 2.0), which aims to promote the use of Prolog-like computing to make logical reasoning and trustworthy coding skills more universally available. PEG 2.0 builds upon a nearly 50-year history of developing educational materials for using logic programming languages such as Prolog and ASP to introduce children in primary and secondary schools to both logic and computing. It also includes the insights and innovations developed for teaching Prolog at university level in both Computing and non-Computing courses. Website: https://prolog-lang.org/Education/PrologEducationWS2025.html ------------------------------ Second Annual Workshop on Prolog Improvement Proposals (PIPs) The PIP workshop series offers Prolog implementers and users an opportunity to present short descriptions of features desired or not supported in all systems that they believe would benefit other systems and are thus candidates for PIPs. It is also a chance to become familiar and comment on the process of PIP creation and the current PIPs. Website: https://prolog-lang.org/ImplementersForum/PIPWorkshop2025.html ------------------------------ Workshop on Logic Programming and Legal Reasoning (LPLR 2025) Representation of legal rules and reasoning over them is a critical application area since laws and regulations are used in almost all human activities. Furthermore, corpora pertaining to laws and regulations are typically complex and enormous in size, and experts are usually needed in order to apply legal reasoning in everyday life. Thus, automating reasoning over legal documents by means of applying logic programming can speed up a process that is laborious and time consuming. The aim of the workshop is to give the opportunity to legal experts and computer scientists to present recent research results and discuss related ideas on this particularly active area of research. Website: https://lplr2025.legaltech.wales/ ------------------------------ 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) CARLA aims to advance the field of intelligent robotics through the integration of large language models (LLMs), symbolic reasoning, and logic solvers. Addressing the demands of real-world adaptability, safety, and complex decision-making, the workshop explores the complementary roles of LLMs and symbolic systems. By combining the dynamic adaptability of LLMs with the precise inferential capabilities of symbolic solvers, CARLA seeks to promote the development of intelligent, reliable, and explainable robotic systems capable of effective human interaction. Website: https://carla-ws.github.io/web/ Best regards, ICLP 2025 Chairs -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From sekiyama at nii.ac.jp Mon May 26 02:02:25 2025 From: sekiyama at nii.ac.jp (Taro Sekiyama) Date: Mon, 26 May 2025 11:02:25 +0900 Subject: [Haskell] [2nd CFP] HOPE'25: ACM SIGPLAN Workshop on Higher-Order Programming with Effects Message-ID: <0b8b9c50-aa91-4407-ab74-3565c22eeda2@nii.ac.jp> TL;DR: Talk proposal deadline for HOPE 2025 is on May 29, 2025. ---------------------------------------------------------------------- HOPE 2025 The 13th ACM SIGPLAN Workshop on Higher-Order Programming with Effects October 12, 2025 Singapore (the day before ICFP 2025) https://conf.researchr.org/home/icfp-splash-2025/hope-2025 HOPE 2025 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Guilhem Jaber (guilhem.jaber at inria.fr) and Taro Sekiyama (tsekiyama at acm.org). Deadline for talk proposals: May 29, 2025 (Thursday) Notification of acceptance: June 26, 2025 (Thursday) Workshop: October 12, 2025 (Sunday) The submission website is now open: https://hope25.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: William J. Bowman (University of British Columbia) Zeinab Galal (University of Bologna) Justin Hsu (Cornell University) Guilhem Jaber (Nantes Université) Danielle Marshall (University of Glasgow) Alexandre Moine (New York University) Takahiro Sanada (Fukui Prefectural University) Taro Sekiyama (National Institute of Informatics) Yahui Song (National University of Singapore) Leo White (Jane Street) Yizhou Zhang (University of Waterloo) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. From s-dgq at thorsten-wissmann.de Fri May 30 21:55:51 2025 From: s-dgq at thorsten-wissmann.de (Thorsten Wissmann) Date: Fri, 30 May 2025 23:55:51 +0200 Subject: [Haskell] CALCO/MFPS 2025: Second Call for Participation Message-ID: <66057d8564e3aa2@srv.thorsten-wissmann.de> ========================================================== Second Call for Participation CALCO 2025 / MFPS XLI June 16-20, 2025 University of Strathclyde in Glasgow, UK https://coalg.org/calco-mfps-2025/ ========================================================== 11th International Conference on Algebra and Coalgebra in Computer Science 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS XLI) ========================================================== Registration ------------ The registration is open until June 2, 2025 via: https://coalg.org/calco-mfps-2025/registration/ Programme --------- The tentative MFPS programme is available on https://www.coalg.org/calco-mfps-2025/programme/ The CALCO programme will be announced shortly! Invited Speakers ---------------- * Ugo dal Lago, University of Bologna, Italy (joint special session on Quantitative Semantics) * Gordon Plotkin, University of Edinburgh, UK (joint keynote speaker) * Elena di Lavore, University of Pisa, Italy (CALCO) * Alexander Kurz, Chapman University, US (CALCO) * Chris Heunen, University of Edinburgh, UK (MFPS) * Delia Kesner, Université Paris Cité, France (MFPS) * Jurriaan Rot, Radboud University, the Netherlands (MFPS) Talks ----- In addition to the above invited speakers, the accepted papers will be presented: * Accepted CALCO Papers: https://www.coalg.org/calco-mfps-2025/calco/accepted/ * Accepted MFPS Papers: https://www.coalg.org/calco-mfps-2025/mfps/accepted/ About CALCO and MFPS -------------------- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. From manuel.borroto at unical.it Sat May 31 17:35:28 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Sat, 31 May 2025 19:35:28 +0200 Subject: [Haskell] [C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025 Message-ID: Dear all, We are pleased to announce that the submission deadline has been extended to *JUNE 15, 2025*. Don't miss this opportunity to share your paper. We look forward to seeing your amazing contributions! *[apologize for multiple postings]* *Call for Papers - Deadline Extended* 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (C.A.R.L.A. 2025) September 12-13, 2025 | Rende, Italy https://carla-ws.github.io/web/ Part of ICLP 2025 https://iclp25.demacs.unical.it *IMPORTANT DATES (AoE)* - Paper Submission Deadline: *June 15, 2025 (EXTENDED)* - Notification: July 13, 2025 - Camera-Ready Deadline: July 27, 2025 Accepted papers will be presented as posters, with a subset selected for oral presentations. The workshop will take place in person at ICLP 2025, with virtual participation options to be confirmed. *GENERAL INFORMATION* The 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) seeks to transform the landscape of intelligent robotics by pioneering the integration of large language models (LLMs), symbolic reasoning, and logic solvers into robotic systems. As robotics moves towards real-world applications requiring adaptability, safety, and complex decision-making, this workshop focuses on harnessing the synergy between data-driven learning models and symbolic logic-based systems to advance automation. *SCOPE* CARLA invites research contributions and discussions in the following focus areas: - Knowledge Representation for Robotics: Frameworks and methodologies for integrating structured knowledge into robotic architectures. - LLMs as Cognitive Engines: Leveraging LLMs to process complex commands, generate actionable insights, and facilitate human-robot communication. - Neuro-Symbolic Systems in Robotics: Hybrid approaches combining neural networks with symbolic reasoning for decision-making and task execution. - Logic Solvers in Robotic Control: Employing constraint solvers, SAT solvers, or theorem provers for autonomous planning and reliable decision-making. - Adaptive and Safe Robotic Architectures: Strategies for real-time adaptation and coordination in robotic systems using LLMs and symbolic logic. - Human-Robot Collaboration: Innovations in language-driven interactions, focusing on usability, interpretability, and reliability in diverse scenarios. - Challenges of LLM Deployment in Robotics: Addressing safety, robustness, and ethical considerations when integrating LLMs into robotic systems. - LLM-Driven Planning and Problem Solving: Enabling robots to perform dynamic planning and adapt to novel situations using LLM-guided reasoning. *SUBMISSIONS* CARLA welcomes the following types of submissions: - Original Research Papers: Presenting novel research contributions aligned with the workshop’s focus areas. - Work-in-Progress Reports: Sharing preliminary findings and ongoing research efforts. - Position Papers: Discussing emerging challenges, visionary ideas, and future directions at the intersection of robotics, LLMs, and logic solvers. - Already Presented Works: Contributions that have been previously presented at other venues but are relevant to the workshop themes. Such works can be resubmitted to foster further discussion and exploration. *Submissions should adhere to the following guidelines:* - Maximum of 12 pages (excluding references) for full papers and 6 pages (excluding references) for short papers. - Formatting must follow the CEURART style: https://ceur-ws.org/HOWTOSUBMIT.html - All submissions must be in English and submitted in PDF format. Accepted original contributions will be published in the CEUR-WS Proceedings (possibly in conjunction with other ICLP workshops). Accepted non-original contributions will be showcased on the workshop website with links to the original publication, where available. *Submissions site:* Submissions will be managed via Microsoft CMT. Papers will remain private during the review process. All authors must maintain up-to-date Microsoft CMT profiles to ensure proper conflict-of-interest management and paper matching. Incomplete profiles may result in desk rejection. Submit papers through the C.A.R.L.A. Submission Portal on Microsoft CMT: https://cmt3.research.microsoft.com/CARLA2025 *Anonymity:* The workshop follows a single-blind review process. Submissions must not be anonymized by removing author names, affiliations, and acknowledgments. *ORGANIZATION* - Fabrizio Lo Scudo · University of Calabria, Italy - Sotirios Batsakis · Hellenic Mediterranean University, Greece - Manuel Borroto · University of Calabria, Italy -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: