- Haskell - Haskell.org

Extended Deadline – EXTRAAMAS 2026 Workshop @ AAMAS 2026
by Pacioni Elia 26 Feb '26

26 Feb '26

Please, accept our apologies in case of multiple copies of this CFP. ————————————————————————————————————————————————— The 8th International Workshop on EXplainable, Trustworthy, and Responsible AI and Multi-Agent Systems (EXTRAAMAS 2026) - https://extraamas.ehealth.hevs.ch<https://extraamas.ehealth.hevs.ch/> held in conjunction with: 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026) in Paphos, Cyprus. https://cyprusconferences.org/aamas2026/ EXTENDED DEADLINE We are pleased to announce that the submission deadline has been extended to March 8, 2026. Aim and Scope The workshop aims to gather researchers interested in developing explainable approaches to artificial intelligence, in particular to explainable agency, learning, reasoning, and their intersections. Participants are invited to submit papers addressing whichever phase of explainability (e.g., generation, communication, and reception) fostering transparency in autonomous agents and Multi-Agent Systems (MAS), robots, and other intelligent systems. Compliance with such requirements is becoming necessary in most systems where agent-oriented approaches are increasingly employed. Important Dates: ============ Deadline for Submissions: 08 March 2026 (EXTENDED) Notification of acceptance: 27 March 2026 Camera-ready: 10 June 2026 Workshop day: 25-26 May 2026 Tracks: ============ - XAI in symbolic and subsymbolic AI: "XAI for Machine learning Explainable neural networks Symbolic knowledge injection or extraction Neuro-symbolic computation Computational logic for XAI Multi-agent architectures for XAI Surrogate models for sub-symbolic predictors Explainable planning (XAIP) XAI evaluation" - XAI in negotiation and conflict resolution: "Explainable conflict resolution techniques/frameworks Explainable negotiation protocols and strategies Explainable recommendation systems Trustworthy voting mechanisms Argumentation for explaining the process itself Argumentation for explaining and supporting the potential outcomes Explainable user/agent profiling (e.g., learning user's preferences or strategies) User studies and assessment of the aforementioned approaches Applications (virtual coaches, robots, IoT)" - Prompts, Interactive Explainability and Dialogue: "Interactive capabilities for XAI Arguments for persuasive explanations Context modelling User modelling Initiative handling Topic modelling Grounding and acknowledgement Prompt engineering Research methodology for LLM applications Responsible LLM applications" - (X)AI in Law and Ethics: "XAI in AI & Law Fair (X)AI XAI & Machine Ethics Bias reduction Deception and XAI Nudging and XAI Legal issues of XAI Liability and XAI XAI, Transparency, and the Law Enforceability and XAI Culture-aware systems and XAI" Chairs: ============ Davide Calvaresi, HES-SO, Switzerland Amro Najjar, University of Luxembourg, Luxembourg Kary Framling, Umea & Aalto University, Sweden/Finland Andrea Omicini, University of Bologna, Italy Track Chairs ============ Rehyan Aydogan, Ozyegin University, Turkey Giovanni Ciatto, University of Bologna, Italy Rachele Carli, UMEA, Sweden Simona Tiribelli, MIT & University of Macerata, USA/Italy Advisory Board: ============ Virginia Dignum, Umea University, Sweden Tim Miller, University of Melbourne, Australia Michael Ignaz Schumacher, HES-SO, Switzerland Leon van der Torre, University of Luxembourg Publicity Chair: ============ Elia Pacioni, HES-SO & University of Extremadura, Switzerland/Spain CFP link ============ https://extraamas.ehealth.hevs.ch/docs/CfP_EXTRAAMAS26.pdf Submission: ============ https://easychair.org/conferences/?conf=extraamas2026 All accepted papers can be published in the Springer post-proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages (excl. references) in length (5 pages incl. references for demo papers), addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS post-proceedings template) and have to be submitted electronically as PDF files via the EasyChair submission page. -- Elia Pacioni Research Assistant Institute of Informatics HES-SO Valais-Wallis Techno-Pôle 3, 3960 Sierre Switzerland LinkedIn<https://www.linkedin.com/in/elia-pacioni/> | Google Schoolar<https://scholar.google.com/citations?user=YCBmlbUAAAAJ> [cid:image001.png@01DBBB99.AA21E4E0]<https://www.hevs.ch/>

1 0

Midlands Graduate School, 13-17 April 2026, Nottingham, UK
by Graham Hutton (staff) 26 Feb '26

26 Feb '26

Dear all, Registration is now open for the Midlands Graduate School (MGS) in Nottingham! Eight fantastic courses on type theory, category theory, lambda calculus, and more. 13-17 April 2026, Nottingham, UK. Registration closes Sunday 22nd March. Best wishes, Graham ========================================================== MIDLANDS GRADUATE SCHOOL 2026 13-17 April 2026, Nottingham, UK https://tinyurl.com/MGS-2026 ========================================================== BACKGROUND The Midlands Graduate School (MGS) in the Foundations of Computing Science provides a yearly programme of courses on the mathematical foundations of computing, and recently celebrated its 25th year. The MGS is primarily aimed at PhD students in their first or second year, but is open to everyone, and has increasingly seen participation from industry. We welcome participants from all over the world! COURSES Eight courses will be given. Participants usually take around four courses, depending on their interests. Invited course: - Implement your POPL paper (using Haskell) Stephanie Weirich (Pennsylvania) Introductory courses: - Type Theory using Agda Thorsten Altenkirch (Nottingham) - Category Theory Sergey Goncharov (Birmingham) - Lambda Calculus and Combinatory Algebra Sam Speight (Birmingham) Advanced courses: - Effects and Call-By-Push-Value Paul Blain Levy (Birmingham) - Synthetic Homotopy Theory Axel Ljungström (Nottingham) - Categorical Algebra and Logic Sean Moss (Birmingham) - Inductive and Coinductive Reasoning with Isabelle/HOL Andrei Popescu (Sheffield) REGISTRATION Student participants: £350 (or £600 with accommodation) Industry participants: £800 (or £1050 with accommodation) The registration fee includes all lecture courses and example classes, lunch and coffee breaks, and the conference dinner. The 'with accommodation' options include five nights at Rutland Hall with shared bathroom facilities. Registration closes Sunday 22nd March. Spaces are limited, so please register early to secure your place. SPONSORSHIP We offer a range of sponsorship opportunities for industry (bronze, silver, gold and platinum), each with specific benefits. Please see the website for further details. LOCAL ORGANISERS For any queries, please contact the local organisers: Ulrik Buchholtz <ulrik.buchholtz(a)nottingham.ac.uk> Dan Marsden <dan.marsden(a)nottingham.ac.uk> ========================================================== -- Professor Graham Hutton School of Computer Science University of Nottingham, UK http://people.cs.nott.ac.uk/pszgmh 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.

1 0

Call for Talks: Haskell Implementors' Workshop 2026
by Christiaan Baaij 19 Feb '26

19 Feb '26

Haskell Implementors' Workshop 2026 https://haskell.foundation/events/2026-haskell-implementors-workshop.html June 5, 2026 Organized by the Haskell Community Co-located with ZuriHac 2026 and Haskell Ecosystem Workshop 2026 Hosted by the Haskell Foundation at Eastern Switzerland University of Applied Sciences (OST) https://www.ost.ch/en/university-of-applied-sciences/campus/rapperswil-jona… Important dates --------------- Deadline: April 10, 2026 (AoE) Notification: May 8, 2026 Workshop: June 5, 2026 The 18th Haskell Implementors' Workshop is to be held alongside ZuriHac 2026 this year near Zurich. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure to share their work and to discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos, and short lightning talks. Scope and target audience ------------------------- The Implementors' Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community are encouraged to attend the workshop -- we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are especially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we've missed, so by all means submit a proposal even if it doesn't fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimisation and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions can be made via this form https://forms.gle/S8fpAgFaFEvqoMqH6 until April 10 (anywhere on earth). We will also have a lightning talks session. Lightning talks should be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Program Committee ----------------- * Andrew Lelechenko * Avi Press * Christiaan Baaij (chair) * Gergo Erdi * Jeffrey Young Contact ------- * Christiaan Baaij <chrisitaan.baaij at gmail.com>

1 0

CMCS 2026: Second Call for Papers and Deadline Extension
by Thorsten Wissmann 29 Jan '26

29 Jan '26

The 18th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'26) Turin (Italy), 11-12 April 2026 (co-located with ETAPS 2026) https://www.coalg.org/cmcs26/ # Objectives and scope Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: * set-theoretic and categorical foundations of coalgebra; * algebra & coalgebra, (co)monads, and distributive laws; * (modal) logic; * automata theory and formal languages; * coinductive definitions and proof principles (including "up-to" techniques) * semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) * functional, objected-oriented, concurrent, and constraint programming; * type theory (notably behavioural typing); * formal verification and specification; * control theory (notably discrete events and hybrid systems); * quantum computing; * game theory; * implementation, tools, and proof assistants # Venue and event CMCS '26 will be held in Turin, Italy, co-located with ETAPS 2026 on 11-12 April 2026. # Invited Speakers - Keynote: Barbara König - Invited talks: Bahareh Afshari and Sergey Goncharov - Tutorial: Benjamin Bisping # Important dates (Anywhere On Earth) Abstract of regular papers: 02 February 2026 (Extended) Submission of regular papers: 05 February 2026 (Extended) Notification of regular papers: 04 March 2026 Submission short contributions: 05 March 2026 Notification short contributions: 10 March 2022 Final camera-ready version: 27 March 2026 # Committees and chairs ## Programme committee Stelios Tsampas (University of Southern Denmark) Jorge A. Pérez (University of Groningen) Chase Ford (Leiden University) Andrei Popescu (University of Sheffield) Clovis Eberhart (Tohoku University) Filippo Bonchi (University of Pisa) Niccolò Veltri (Tallinn University of Technology) Corina Cirstea (University of Southampton) Harsh Beohar (University of Sheffield) Sebastian Enqvist (Lund University) Larry Moss (Indiana University Bloomington) Alexander Kurz (Chapman University) Ana Sokolova (University of Salzburg) Vincenzo Ciancia (Istituto di Scienza e Tecnologie) Elena Di Lavore (University of Oxford) Shin-Ya Katsumata (Kyoto Sangyo University) Helle Hvid Hansen (University of Groningen) Damien Pous (CNRS - ENS Lyon) ## PC Co-Chairs Henning Basold (Universiteit Leiden, The Netherlands) Clemens Kupke (University of Strathclyde, Glasgow) ## Publicity chair and website Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany) ## Steering committee Corina Cirstea (University of Southampton, United Kingdom) Helle Hvid Hansen (University of Groningen, The Netherlands) Ichiro Hasuo (National Institute of Informatics, Japan) Bart Jacobs (Radboud University Nijmegen, The Netherlands) Daniela Petrişan (IRIF, Université Paris-Cité, France) Jurriaan Rot (Radboud University Nijmegen, The Netherlands) Lutz Schröder (Friedrich-Alexander Universität Erlangen-Nürnberg, Germany) Alexandra Silva (Cornell University, United States) Henning Urbat (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany) Fabio Zanasi (University College London, United Kingdom) # Submission guidelines We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Regular papers should be at most 18 pages long in Springer LNCS style, excluding references. A clearly marked appendix containing technical proofs can be added, but this will not be published in the proceedings. Note that the reviewers are not obliged to read the appendix, and the merits of the paper should be clear from the main text. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages including references. Regular papers and short contributions must be submitted electronically as a PDF file via the Easychair system at https://easychair.org/conferences/?conf=cmcs2026 The proceedings of CMCS 2026 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report.

1 0

NEU: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)
by Achim D. Brucker 26 Jan '26

26 Jan '26

Dear Fellow Researchers! Our dear colleague and friend David Basin is turning 65 in December 2026 and this has to be celebrated! We therefore organize a Festschrift and a Fest to celebrate his birthday and his extensive research contributions! The Fest/celebration itself will be held as a one-day event on the 15th of January 2027 at ETH Zürich. We have already checked that David is available. You do not have to keep it a secret - on the contrary, it is great if you share this message with anybody who might like to contribute! We hereby cordially invite you to contribute an article to the Festschrift and present it at the Fest. We welcome contributions in all areas close to David's research and interests, including but not limited to security, privacy, formal methods, logic, automated reasoning, model checking, theorem proving, software engineering, bridge, juggling, biking and more. The articles will be lightly reviewed by the Festschrift committee, and the proceedings will be published by Springer Heidelberg in the LNCS series. David will of course love to receive a research article from you, but also short personal articles that celebrate the history and friendship with David will be very much appreciated. We would like to set a deadline for submissions at the 21st of May 2026 via our submission site <https://easychair.org/conferences/?conf=feschi2027>. Articles should be formatted in Springer’s LNCS style and not exceed 5 pages for personal articles and 16 pages for scientific articles. If you have a work that you would like to contribute that does not fit into this page limit, it might be possible, but please reach out to us first. There will be no participation fee for the Fest and coffee breaks, lunch, and dinner will be included. Travel and accommodation costs are at the expense of the participants. We are happy to provide hotel suggestions for Zürich. Submission Information: * Format: 16 pages in LNCS format, templates available at: <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…> * Submission: <https://easychair.org/conferences/?conf=feschi2027> * Website (under construction) with updates and further information: <https://feschi2027.github.io/> * Timeline: * Submission: 21 May 2026 * Notification: end of June 2026 (to be confirmed) * Camera Ready Copy: early September 2026 (to be confirmed) Please let us know if you have any questions! Best wishes Achim D. Brucker (University of Exeter) Sebastian Mödersheim (Danmarks Tekniske Universitet) Christoph Sprenger (ETH Zürich) Luca Viganò (King’s College London)

1 0

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

14 Jan '26

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://ws-carla.github.io/web/ Part of FLoC 2026 https://www.floc26.org/ IMPORTANT DATES (AoE) - Paper registration: 2 May - Paper submission deadline: 8 May - Paper notification: 22 May - Camera-Ready deadline: 19 June 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 virtual participation options not guaranteed at the moment. 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. - Videogames, Digital Twins and non-physical Agents: 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

CMCS 2026: Call for Papers
by Thorsten Wissmann 07 Jan '26

07 Jan '26

The 18th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'26) Turin (Italy), 11-12 April 2026 (co-located with ETAPS 2026) https://www.coalg.org/cmcs26/ ==== Objectives and scope ==== Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: * set-theoretic and categorical foundations of coalgebra; * algebra & coalgebra, (co)monads, and distributive laws; * (modal) logic; * automata theory and formal languages; * coinductive definitions and proof principles (including "up-to" techniques) * semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) * functional, objected-oriented, concurrent, and constraint programming; * type theory (notably behavioural typing); * formal verification and specification; * control theory (notably discrete events and hybrid systems); * quantum computing; * game theory; * implementation, tools, and proof assistants ==== Venue and event ==== CMCS '26 will be held in Turin, Italy, co-located with ETAPS 2026 on 11-12 April 2026. ==== Invited Speakers ==== - Keynote: Barbara König - Invited talks: Bahareh Afshari and Sergey Goncharov - Tutorial: Benjamin Bisping ==== Important dates (Anywhere On Earth) ==== Abstract of regular papers: 29 January 2026 Submission of regular papers: 02 February 2026 Notification of regular papers: 04 March 2026 Submission short contributions: 05 March 2026 Notification short contributions: 10 March 2022 Final camera-ready version: 27 March 2026 ==== Committees and chairs ==== == Programme committee == Stelios Tsampas (University of Southern Denmark) Jorge A. Pérez (University of Groningen) Chase Ford (Leiden University) Andrei Popescu (University of Sheffield) Clovis Eberhart (Tohoku University) Filippo Bonchi (University of Pisa) Niccolò Veltri (Tallinn University of Technology) Corina Cirstea (University of Southampton) Harsh Beohar (University of Sheffield) Sebastian Enqvist (Lund University) Larry Moss (Indiana University Bloomington) Alexander Kurz (Chapman University) Ana Sokolova (University of Salzburg) Vincenzo Ciancia (Istituto di Scienza e Tecnologie) Elena Di Lavore (University of Oxford) Shin-Ya Katsumata (Kyoto Sangyo University) Helle Hvid Hansen (University of Groningen) Damien Pous (CNRS - ENS Lyon) == PC Co-Chairs == Henning Basold (Universiteit Leiden, The Netherlands) Clemens Kupke (University of Strathclyde, Glasgow) == Publicity chair and website == Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany) == Steering committee == Corina Cirstea (University of Southampton, United Kingdom) Helle Hvid Hansen (University of Groningen, The Netherlands) Ichiro Hasuo (National Institute of Informatics, Japan) Bart Jacobs (Radboud University Nijmegen, The Netherlands) Daniela Petrişan (IRIF, Université Paris-Cité, France) Jurriaan Rot (Radboud University Nijmegen, The Netherlands) Lutz Schröder (Friedrich-Alexander Universität Erlangen-Nürnberg, Germany) Alexandra Silva (Cornell University, United States) Henning Urbat (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany) Fabio Zanasi (University College London, United Kingdom) ==== Submission guidelines ==== We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Regular papers should be at most 18 pages long in Springer LNCS style, excluding references. A clearly marked appendix containing technical proofs can be added, but this will not be published in the proceedings. Note that the reviewers are not obliged to read the appendix, and the merits of the paper should be clear from the main text. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages including references. Regular papers and short contributions must be submitted electronically as a PDF file via the Easychair system at https://easychair.org/conferences/?conf=cmcs2026 The proceedings of CMCS 2026 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report.

1 0

The 8th International Workshop on EXplainable, Trustworthy, and Responsible AI and Multi-Agent Systems (EXTRAAMAS 2026)
by Pacioni Elia 07 Jan '26

07 Jan '26

http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=191272&copyownerid… Please, accept our apologies in case of multiple copies of this CFP. ************************************************************************************************************************************* The 8th International Workshop on EXplainable, Trustworthy, and Responsible AI and Multi-Agent Systems (EXTRAAMAS 2026) https://extraamas.ehealth.hevs.ch/ held in conjunction with: 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026) in Paphos, Cyprus. https://cyprusconferences.org/aamas2026/ ************************************************************************************************************************************** Aim and Scope ============ The workshop aims to gather researchers interested in developing explainable approaches to artificial intelligence, in particular to explainable agency, learning, reasoning, and their intersections. Participants are invited to submit papers addressing whichever phase of explainability (e.g., generation, communication, and reception) fostering transparency in autonomous agents and Multi-Agent Systems (MAS), robots, and other intelligent systems. Compliance with such requirements is becoming necessary in most systems where agent-oriented approaches are increasingly employed. Important Dates: ============ Deadline for Submissions: 01 March 2026 Notification of acceptance: 25 March 2026 Camera-ready: 10 June 2026 Workshop day: 25-26 May 2026 Tracks: ============ - XAI in symbolic and subsymbolic AI: "XAI for Machine learning Explainable neural networks Symbolic knowledge injection or extraction Neuro-symbolic computation Computational logic for XAI Multi-agent architectures for XAI Surrogate models for sub-symbolic predictors Explainable planning (XAIP) XAI evaluation" - XAI in negotiation and conflict resolution: "Explainable conflict resolution techniques/frameworks Explainable negotiation protocols and strategies Explainable recommendation systems Trustworthy voting mechanisms Argumentation for explaining the process itself Argumentation for explaining and supporting the potential outcomes Explainable user/agent profiling (e.g., learning user's preferences or strategies) User studies and assessment of the aforementioned approaches Applications (virtual coaches, robots, IoT)" - Prompts, Interactive Explainability and Dialogue: "Interactive capabilities for XAI Arguments for persuasive explanations Context modelling User modelling Initiative handling Topic modelling Grounding and acknowledgement Prompt engineering Research methodology for LLM applications Responsible LLM applications" - (X)AI in Law and Ethics: "XAI in AI & Law Fair (X)AI XAI & Machine Ethics Bias reduction Deception and XAI Nudging and XAI Legal issues of XAI Liability and XAI XAI, Transparency, and the Law Enforceability and XAI Culture-aware systems and XAI" Chairs: ============ Davide Calvaresi, HES-SO, Switzerland Amro Najjar, University of Luxembourg, Luxembourg Kary Framling, Umea & Aalto University, Sweden/Finland Andrea Omicini, University of Bologna, Italy Track Chairs ============ Rehyan Aydogan, Ozyegin University, Turkey Giovanni Ciatto, University of Bologna, Italy Rachele Carli, UMEA, Sweden Simona Tiribelli, MIT & University of Macerata, USA/Italy Advisory Board: ============ Virginia Dignum, Umea University, Sweden Tim Miller, University of Melbourne, Australia Michael Ignaz Schumacher, HES-SO, Switzerland Leon van der Torre, University of Luxembourg Publicity Chair: ============ Elia Pacioni, HES-SO & University of Extremadura, Switzerland/Spain CFP link ============ https://extraamas.ehealth.hevs.ch/docs/CfP_EXTRAAMAS26.pdf Submission: ============ https://easychair.org/conferences/?conf=extraamas2026 All accepted papers can be published in the Springer post-proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages (excl. references) in length (5 pages incl. references for demo papers), addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS post-proceedings template) and have to be submitted electronically as PDF files via the EasyChair submission page. -- Elia Pacioni Publicity Chair

1 0

[TFP 2026] 1st Call for Participation for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-29 2026 - TFPiE Jan 26
by Peter Achten 24 Dec '25

24 Dec '25

TFP 2026 -- Call For Participation (trendsfp.github.io [1]) Venue TFPiE and TFP will take place in-person in Odense, Denmark, at the University of Southern Denmark. Dates Early registration: 31 December, 2025 Late registration: 20 January , 2026 TFPiE Workshop: Monday 26 January, 2026 TFP Symposium: Tuesday 27 - Thursday 29 January, 2026 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. Keynote speakers We are happy to have the following keynotes in the programme: Alex Gerdes (TFPiE), Gothenburg University and Chalmers: "Generating Feedback from Rewrite Strategies for Interactive Exercises" Joachim Breitner, Lean Focused Research Organization: "Lean Highlights" Ohad Kammar, University of Edinburgh: "Synthetic Convolution" András Kovács, Gothenburg University and Chalmers: TBA Programme We have 13 paper presentations, as well as invited talks. A preliminary programme schedule can be found here: trendsfp.github.io/schedule.html [2] Excursion and banquet In the afternoon and evening of Wednesday January 28th we have an excursion to H.C. Andersen Museum, followed by a break before heading to Madklubben for the conference banquet. Travel Scholarship Thanks to the generous support from the Carlsberg Foundation, we are able to offer travel scholarships (DKK 3000 ~ USD 470 ~ EUR 400) to young researchers traveling to attend TFP 2026 in Odense, Denmark. Information on how to apply can be found here: https://trendsfp.github.io/scholarship.html Links: ------ [1] https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftrendsfp.g… [2] https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftrendsfp.g…

1 0

Call for Participation: BOB 2026 (Berlin, Mar 13)
by Stefan Wehr 19 Dec '25

19 Dec '25

there's quite a bit of Haskell material at BOB 2026. Come along! ========================================================================= BOB 2026 Conference “What happens if we simply use what’s best?” March 13, 2026, Berlin https://bobkonf.de/2026/ Program: https://bobkonf.de/2026/program.html Registration: https://bobkonf.de/2026/registration.html ========================================================================= BOB conference is a place for developers, architects, and decision-makers to explore technologies beyond the mainstream in software development and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 16 talks and 8 tutorials on current topics: https://bobkonf.de/2026/program.html Talk subjects includes functional programming, software architecture, formal methods, accessibility, UI programming, reactive systems, and domain-driven design. BOB tutorial include sessions on TypeScript, OCaml, Haskell, Agda, accessibility, and reactive systems. Stefan Kaufmann will give the keynote talk on digital sovereignty. Registration is open - many discount options - including limited early-bird discounts - are available, as are grants for members of groups underrepresented in tech. https://bobkonf.de/2026/registration.html

1 0