January 2026 - Haskell

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