February 2026 - Haskell

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