April 2026 - Haskell - Haskell.org

[EULP 2026 - Call for Papers] 1st Workshop on End-User Logic Programming, Lisbon, Portugal | July 26
by Manuel Alejandro Borroto Santana 30 Apr '26

30 Apr '26

*Call for Papers* 1st Workshop on End-User Logic Programming (EULP 2026) July 18, 2026 | Lisbon, Portugal https://eulp.gitlab.io/eulp2026/ Part of FLoC 2026 https://www.floc26.org/ IMPORTANT DATES (AoE): - Submission Deadline: *May 9, 2026* - Notification of Acceptance: *May 21, 2026* *GENERAL INFORMATION* Since its inception, Logic Programming (LP) has proven itself as a powerful technique for tackling concrete problems, such as configuration, scheduling, and planning. Yet, LP and related approaches have difficulties gaining wider traction within industry, and LP adoption is still largely driven by an academic push rather than an industry pull. A key reason for this discrepancy is the fact that building accurate programs is a difficult, costly, and error-prone process, especially for people without prior LP experience. More generally, this problem is known as the Knowledge Acquisition Bottleneck, which is a challenge for all approaches in the broader field of knowledge representation. To help tackle this issue, researchers have been looking at ways to improve the accessibility of LP. More recently, the research direction has seen a significant rise in interest. Still, with no dedicated event to support it, tools and methodologies can be scattered and hard to find. The "End-user Logic Programming" (EULP) workshop offers a dedicated forum for work on techniques and methodologies that lower the logic programming threshold for non-experts. Additionally, we also welcome work which allows LP-approaches to be turned into full-fledged, user-ready products. In this way, we facilitate sharing new techniques, and stimulate networking between researchers from different fields. *SCOPE* EULP welcomes all works that aim to lower the threshold related to logic programming for non-experts and to help LP approaches gain more traction in real-life situations. A non-exhaustive list of topics includes: - User-friendly formalisms, such as Controlled Natural Languages and graphical languages - Accessible interactivity with logic programs - Visualisation methods - Explainability - LLM-assisted workflows: LLMs in formalization, validation, explanation, and others - Integration of LP approaches in traditional programs - Cognitive modeling complexity of LP - Accessible UI design for LP-based tools *SUBMISSIONS* We invite three types of submissions: - Long papers (up to 14 pages) describing original, unpublished research. - Short papers (up to 8 pages) describing original, unpublished research. - Extended abstracts (2-4 pages) of work that has already been published. Proceedings shall be submitted to CEUR-WS.org for online publication. Therefore, all papers should use the CEURART style ( https://eulp.gitlab.io/eulp2026/ceur.zip) Submission Site Papers should be submitted through the dedicated EULP submission system: https://submissions.floc26.org/eulp/ *ORGANIZATION* Mario Alviano, University of Calabria Susana Hahn, University of Potsdam Luis Angel Rodriguez Reiners, University of Calabria Torsten Schaub, University of Potsdam Simon Vandevelde, KU Leuven For any questions regarding the workshop, please contact: s.vandevelde(a)kuleuven.be -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

[CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
by Taro Sekiyama 29 Apr '26

29 Apr '26

TL;DR: Talk proposal deadline for HOPE 2026 is on May 29, 2026. This year, the workshop will be co-located with ICFP'26 (Indiana, US) and FW'26 (Paris, France) ---------------------------------------------------------------------- HOPE 2026 The 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 24, 2026 (the day before ICFP 2026) https://icfp26.sigplan.org/home/hope-2026 HOPE 2026 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, Taro Sekiyama (tsekiyama(a)acm.org) and Francesco Gavazzo (francesco.gavazzo(a)unipd.it) Important Note: HOPE’26 will be co-located with ICFP’26 (https://icfp26.sigplan.org/) and FW’26 (https://www.irif.fr/~scherer/events/fpw-2026/announce.html) Presenters can choose either event to attend in-person. We also encourage remote participation and will support remote presentations. Deadline for talk proposals: May 29, 2026 (Friday) Notification of acceptance: June 26, 2026 (Friday) Workshop: August 24, 2026, Indiana, United States & Paris, France (tentatively) The submission website is now open: https://hope26.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Yuyan Bao (Augusta University) Raphaëlle Crubillé (Aix-Marseille University) Francesco Dagnino (University of Genova) Elena di Lavore (University of Oxford) Francesco Gavazzo (University of Padua) Cristina Matache (University of Edinburgh) Ken Sakayori (The University of Tokyo) Taro Sekiyama (National Institute of Informatics) Dario Stein (Radboud University) Niels Voorneveld (Cybernetica) Zhixuan Yang (University of Exeter) --------------------- 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. -- Taro Sekiyama

1 0

Deadline extension: TERMGRAPH 2026 in FLoC
by Koko Akazaki Muroya 27 Apr '26

27 Apr '26

[Apologies for cross-posting.] TERMGRAPH 2026: 14th International Workshop on Computing with Terms and Graphs Lisbon, Portugal 19 July 2026 (one-day workshop) Part of FLoC 2026 (https:/ www.floc26.org/) **** Extended Deadlines **** - Submission of titles and short abstracts: Wednesday, 6 May 2026 - Submission of extended abstracts: Monday, 11 May 2026 ** Background and History ** Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Different research areas include: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the use of graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the semantics and analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical systems, quantum computing, and automated reasoning and symbolic computation systems working on shared structures. Previous editions of TERMGRAPH took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrücken (2011), Rome (2013), Vienna (2014), Eindhoven (2016), Oxford (2018), online (2020, planned to be held in Paris), Haifa (2022), and Luxembourg (2024). The permanent TERMGRAPH website (http://www.termgraph.org.uk/) has further information. ** Aim ** The aim of this workshop is to bring together researchers working in these different domains, to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. ** Topics of Interest ** Topics of interest include all aspects of term-/graph rewriting (term-graph and graph rewriting) and applications of graph transformations in programming, automated reasoning and symbolic computation. This includes (but is not limited to): - theory of first-order and higher-order term and graph rewriting - graph rewriting in lambda calculus (sharing graphs, optimality) - term-/graph based models of computation - graph grammars - term-/graph based languages and modelling frameworks - term-/graph rewriting tools: -- system descriptions, and case studies - applications of term-/graph rewriting in, and term-/graph rewriting aspects of: -- semantics and implementation of programming languages -- compiler construction -- interaction nets and proof nets -- string diagrams -- software engineering -- automated reasoning and symbolic computation -- functional and logic programming -- pattern recognition -- Machine Learning (Graph Neural Networks) -- bioinformatics -- quantum computing ** Call for Papers ** We invite submissions of extended abstracts of at most 8 pages in EPTCS style (http://style.eptcs.org/) (see also template on Overleaf, https://www.overleaf.com/project/6269b347d5e60853563003ad) This may include, concerning any of the topics above: - original work, - tutorials, - work in progress, - system descriptions of term-/graph rewriting tools. Extended abstracts have to be submitted no later than 27 April 2026 (AoE) electronically (pdf) via the FLoC HotCRP submission site ( https://submissions.floc26.org/termgraph/) Papers will be judged on relevance, originality, correctness, and usefulness. After the workshop, authors of presented extended abstracts will be invited to submit a longer version of their work (a 15-page paper) for the publication of the Workshop Post-Proceedings in EPTCS (Electronic Proceedings in Theoretical Computer Science). These submissions will undergo a second round of refereeing with: - submission deadline in the mid of October 2026, - notification in December 2026, - publication in February 2027. ** Important Dates (AoE) ** - Submission deadlines (extended): - Titles and short abstracts: Wednesday, 6 May 2026 - Extended abstracts: Monday, 11 May 2026 - Notification (extended): Wednesday, 27 May 2026 - Program publication: Wednesday, 3 June 2026 - Final pre-proceedings version due: Thursday, 11 June 2026 - Workshop: 19 July 2026 ** Invited Speakers ** TBA ** Program Committee ** - Koko Muroya, Ochanomizu University, Japan (co-chair) - Kazunori Ueda, Waseda University, Japan (co-chair) - Sandra Alves, University of Porto, Portugal - Clemens Grabmayer, Gran Sasso Science Institute, Italy - Amar Hadzihasanovic, Tallinn University of Technology, Estonia - Makoto Hamana, Kyushu Institute of Technology, Japan - Jens Kosiol, Philipps-Universität Marburg, Germany - Robin Piedeleu, University College London, UK - Chris Poskitt, Singapore Management University, Singapore - Femke van Raamsdonk, Vrije Universiteit Amsterdam, Netherlands - Michele Sevegnani, University of Glasgow, UK ** Contact ** Kazunori Ueda and Koko Muroya (kazunori.ueda.ku(a)gmail.com, kmuroya(a)is.ocha.ac.jp)

1 0

WPTE 2026: Second Call for Papers
by Voigtländer, Prof. Dr. Janis 23 Apr '26

23 Apr '26

=========================================================================== 2ND CFP UPDATE: Invited Speakers, Deadline Extension to 29 April 2026 (AoE) =========================================================================== WPTE 2026 (affiliated with FLoC 2026 and FSCD 2026 in Lisbon, Portugal) 12th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (19 July 2026) Webpage: https://wpte2026.github.io/ Submission: https://submissions.floc26.org/wpte/ Deadline: 29 April 2026 (Anywhere on Earth) *EXTENDED* --------------------------------------------------------------------------- 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, a regular paper or extended abstract of at most 10 pages is required. WPTE 2026 accepts submissions in three categories: * Regular paper, reporting on completed work that has not yet been formally published and is not under submission for formal publication at another venue (journal, conference, workshop with formal proceedings). * Work-in-progress extended abstract, reporting on work in progress. * Presentation-only extended abstract, a short version of a paper currently submitted to or formally published at another venue. 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 contribution 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://submissions.floc26.org/wpte/ Post-Proceedings or Journal Special Issue --------------------------------------------------------------------------- For the 2020-2025 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 regular papers and completed work-in-progress extended abstracts selected from this year's edition. Invited Speakers --------------------------------------------------------------------------- Nada Amin, Harvard University Nikos Tzevelekos, Queen Mary University of London (joint with GALOP 2026) Important Dates --------------------------------------------------------------------------- Submission of regular papers and extended abstracts: *29* April 2026 (AoE) Notification of acceptance: 25 May 2026 Early Registration for the workshop: 1 June 2026 Final version for informal proceedings: 29 June 2026 Workshop: 19 July 2026 Submission to post-proceedings/special issue: autumn 2026 (tbd) Program Committee --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Carsten Fuhs (co-chair), Birkbeck University of London Jan-Christoph Kassing, RWTH Aachen University Thomas Kœhler, ICube Lab, CNRS, Université de Strasbourg Misaki Kojima, Nagoya University Rubén Rubio, Universidad Complutense de Madrid Traian Şerbănuţă, University of Bucharest Germán Vidal, Universitat Politècnica de València Janis Voigtländer (co-chair), University of Duisburg-Essen Contact --------------------------------------------------------------------------- Please direct questions to: c.fuhs AT bbk.ac.uk and janis.voigtlaender AT uni-due.de

1 0

Second CfP: TERMGRAPH 2026 in FLoC
by Koko Akazaki Muroya 17 Apr '26

17 Apr '26

[Apologies for multiple copies.] TERMGRAPH 2026: 14th International Workshop on Computing with Terms and Graphs Lisbon, Portugal 19 July 2026 (one-day workshop) Part of FLoC 2026 (https:/ www.floc26.org/) Submission deadline: Monday, 27 April, 2026 (AoE) ** Background and history ** Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Different research areas include: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the use of graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the semantics and analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical systems, quantum computing, and automated reasoning and symbolic computation systems working on shared structures. Previous editions of TERMGRAPH took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrücken (2011), Rome (2013), Vienna (2014), Eindhoven (2016), Oxford (2018), online (2020, planned to be held in Paris), Haifa (2022), and Luxembourg (2024). The permanent TERMGRAPH website (http://www.termgraph.org.uk/) has further information. ** Aim ** The aim of this workshop is to bring together researchers working in these different domains, to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. ** Topics of Interest ** Topics of interest include all aspects of term-/graph rewriting (term-graph and graph rewriting) and applications of graph transformations in programming, automated reasoning and symbolic computation. This includes (but is not limited to): - theory of first-order and higher-order term and graph rewriting - graph rewriting in lambda calculus (sharing graphs, optimality) - term-/graph based models of computation - graph grammars - term-/graph based languages and modelling frameworks - term-/graph rewriting tools: -- system descriptions, and case studies - applications of term-/graph rewriting in, and term-/graph rewriting aspects of: -- semantics and implementation of programming languages -- compiler construction -- interaction nets and proof nets -- string diagrams -- software engineering -- automated reasoning and symbolic computation -- functional and logic programming -- pattern recognition -- Machine Learning (Graph Neural Networks) -- bioinformatics -- quantum computing ** Call for Papers ** We invite submissions of extended abstracts of at most 8 pages in EPTCS style (http://style.eptcs.org/) (see also template on Overleaf, https://www.overleaf.com/project/6269b347d5e60853563003ad) This may include, concerning any of the topics above: - original work, - tutorials, - work in progress, - system descriptions of term-/graph rewriting tools. Extended abstracts have to be submitted no later than 27 April 2026 (AoE) electronically (pdf) via the FLoC HotCRP submission site ( https://submissions.floc26.org/termgraph/) Papers will be judged on relevance, originality, correctness, and usefulness. After the workshop, authors of presented extended abstracts will be invited to submit a longer version of their work (a 15-page paper) for the publication of the Workshop Post-Proceedings in EPTCS (Electronic Proceedings in Theoretical Computer Science). These submissions will undergo a second round of refereeing with: - submission deadline in the mid of October 2026, - notification in December 2026, - publication in February 2027. ** Important Dates ** - Submission deadline: Monday, 27 April, 2026 (AoE) - Notification: Monday, 25 May, 2026 - Program publication: Wednesday, 3 June, 2026 - Final pre-proceedings version due: Thursday, 11 June, 2026 - Workshop: 19 July 2026 ** Invited Speakers ** TBA ** Program Committee ** - Koko Muroya, Ochanomizu University, Japan (co-chair) - Kazunori Ueda, Waseda University, Japan (co-chair) - Sandra Alves, University of Porto, Portugal - Clemens Grabmayer, Gran Sasso Science Institute, Italy - Amar Hadzihasanovic, Tallinn University of Technology, Estonia - Makoto Hamana, Kyushu Institute of Technology, Japan - Jens Kosiol, Philipps-Universität Marburg, Germany - Robin Piedeleu, University College London, UK - Chris Poskitt, Singapore Management University, Singapore - Femke van Raamsdonk, Vrije Universiteit Amsterdam, Netherlands - Michele Sevegnani, University of Glasgow, UK ** Contact ** Kazunori Ueda and Koko Muroya (kazunori.ueda.ku(a)gmail.com, kmuroya(a)is.ocha.ac.jp)

1 0

[C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26
by Manuel Alejandro Borroto Santana 08 Apr '26

08 Apr '26

*2nd Call for Papers* 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (C.A.R.L.A. 2026) July *18*, 2026 | Lisbon, Portugal <https://carla-ws.github.io/web/>https://ws-carla.github.io/web/ Part of FLoC 2026 https://www.floc26.org/ *IMPORTANT DATES (AoE):* - Paper registration: *May 8* - Paper submission: *May 16* - Notification: *May 24* - Camera-Ready Deadline: *June 19* Accepted papers will be presented as posters, with a subset selected for oral presentations. The workshop will take place in person at FLoC 2026, with the option for authors to participate virtually. *GENERAL INFORMATION* The Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) seeks to transform the landscape of intelligent behaviors by pioneering the integration of large language models (LLMs), symbolic reasoning, and logic solvers into autonomous systems. As robotics advances toward 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. This year, the workshop further expands its scope to explicitly include simulated environments as first-class experimental and methodological tools. In particular, CARLA emphasizes the use of videogames and digital twins as scalable, controllable, and safe testbeds for cognitive robotics research. These environments enable systematic investigation of embodied reasoning, LLM-driven planning, and logic-based decision-making under diverse and dynamic conditions that would be difficult or costly to reproduce in physical settings. By bridging cognitive architectures with the structured management of virtual applications, CARLA aims to foster principled approaches to transferring knowledge and behaviors learned in simulation to real-world systems, while supporting reproducibility and benchmarking across research efforts. *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. * - Video Games and Virtual Worlds as Testbeds for Cognitive Robotics: * Leveraging the virtual environments of videogames and digital twins as controlled and scalable testbeds for investigating embodied reasoning, LLM-driven planning, and logic-based decision-making, enabling systematic experimentation in safe and reproducible settings. *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 may be published in the CEUR-WS Proceedings, together with other FLoC workshops, subject to compliance with the publishing requirements. Accepted non-original contributions will be showcased on the workshop website with links to the original publication, where available. *Submission site* Submissions will be managed via the FLoC submission system. Papers will remain private during the review process. All authors must maintain up-to-date profiles to ensure proper conflict-of-interest management and paper matching. Incomplete profiles may result in desk rejection. *Submit papers through the dedicated C.A.R.L.A. submission system:* https://submissions.floc26.org/carla/ *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 - Denise Angilica, University of Calabria, Italy - Sotirios Batsakis, Hellenic Mediterranean University, Greece - Manuel Alejandro Borroto Santana, University of Calabria, Italy

1 0