- Haskell - Haskell.org

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

TFPiE 2026, Call for Submissions
by Mart Lubbers 15 Dec '25

15 Dec '25

TFPIE 2026 Call for papers https://wiki.tfpie.science.ru.nl/TFPIE2026 (January 26th 2026, Odense, Denmark, co-located with TFP 2026 at University of Southern Denmark) TFPIE 2026 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: - FP and beginning CS students - FP and Computational Thinking - FP and Artificial Intelligence - FP in Robotics - FP and Music - Advanced FP for undergraduates - FP in graduate education - Engaging students in research using FP - FP in Programming Languages - FP in the high school curriculum - FP as a stepping stone to other CS topics - FP and Philosophy - The pedagogy of teaching FP - FP and e-learning: MOOCs, automated assessment etc. - Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. In addition, the speaker can provide commentary on effectiveness or student feedback. ## Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/my/conference?conf=tfpie26 After the workshop, presenters are invited to submit (a revised version of) their article for the formal review. The PC will select the best articles for publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. ## Important Dates Submission deadline: December 26th 2025, Anywhere on Earth Notification: by December 30th 2025 (Note: submissions will be evaluated on a rolling basis, so earlier submissions will receive an earlier response) TFPIE Registration Deadline: TBA Workshop: January 26th 2026 Submission for formal review: April 22nd 2026, Anywhere on Earth Notification of full article: May 27th 2026 Camera ready: June 24th 2026 ## Program Committee Mart Lubbers, Radboud University, Nijmegen, Netherlands (PC Chair) Tim Steenvoorden, Open Universiteit, Heerlen, Netherlands Marco T. Morazán, Seton Hall University, South Orange, NJ, USA Guannan Wei, Tufts University, Medford, MA, USA Marcos Viera, Universidad de la República, Montevideo, Uruguay Johannes Åman Pohjola, Chalmers University of Technology, Gothenburg, Sweden ## Registration information See https://wiki.tfpie.science.ru.nl/TFPIE2026 for updated information and see https://trendsfp.github.io/ for info on registration Registration and attendance are mandatory for at least one author of every paper that is presented at the workshop. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process.

1 0

ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events
by ICFP Publicity 09 Dec '25

09 Dec '25

ICFP 2026: Call for Workshops, Tutorials, and Co-located Events The 31st ACM SIGPLAN International Conference on Functional Programming (ICFP) invites proposals for workshops, tutorials, and co-located events. ICFP will be held in Indianapolis, IN, United States from *Monday, August 24 to Saturday, August 29, 2026*. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementation, principles, and uses of functional programming. Proposals are invited for: - *Workshops* (and other co-located events, such as symposiums and side meetings) to be affiliated with ICFP 2026 and sponsored by SIGPLAN. We welcome proposals for events that facilitate discussions, presentations, hands-on activities, and other engaging formats to foster the exchange of new ideas and community building. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules may be possible. - *Tutorials* (or panels, discussions, etc.), lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Tutorials may be intended primarily for researchers or for practitioners. Ideally, tutorials will have a concrete result, such as “Learn to do X with Y” rather than “Learn language Y”. The workshops, tutorials, etc. may occur on August 24th (the day before ICFP) and August 28-29th (the two days after ICFP). *Submission Portal*: https://icfp26events.hotcrp.com/ *All co-located events* must submit a proposal — workshops, tutorials, symposiums, or side meetings. Submission Details <https://icfp26.sigplan.org/track/icfp-2026-icfp-tutorials#submission-details> - Deadline for Workshop Proposal Submission: January 15, 2026 - Notification of Acceptance: January 29, 2026 - Deadline for Tutorial Proposal Submission: June 21, 2026 - Notification of Acceptance: June 28, 2026 Prospective organizers of workshops, symposia, or co-located events with PCs should submit proposals before the Workshop deadline. Proposals should outline the objectives, intended audience, and planned activities. Workshops that plan to have proceedings in the ACM DL will need SIGPLAN approval of their proposed PC list. The workshop chairs will solicit approval and send any feedback to workshop organizers. Workshops without proceedings still need conference approval from ICFP. See the Submission Portal for details. The selection committee will review proposals. Successful workshops may be asked to prepare a summary report suitable for publication in SIGPLAN Notices. Prospective organizers of tutorials, panels, or discussions should submit proposals by the Tutorial deadline. Proposals should outline the objectives, intended audience, and planned activities. See the Submission Portal for details. Selection Committee <https://icfp26.sigplan.org/track/icfp-2026-icfp-tutorials#selection-committ…> Event proposals will be evaluated by a committee comprising members from the ICFP 2026 organizing committee, in collaboration with the SIGPLAN executive committee. Sponsorship and Reimbursement <https://icfp26.sigplan.org/track/icfp-2026-icfp-tutorials#sponsorship-and-r…> ACM-sponsored workshops are permitted to have additional sponsors (i.e., getting donations specifically for the workshop, not for the main conference). Funds go to the ACM. Workshop organizers can request reimbursement using this form: https://app.hubspot.com/documents/5374542/view/900008676?accessId=a07c28 Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ Contact Information <https://icfp26.sigplan.org/track/icfp-2026-icfp-tutorials#contact-informati…> For inquiries, please contact the workshop co-chairs: Ben Greenman: blg(a)cs.utah.edu Jiasi Shen: sjs(a)cse.ust.hk We look forward to your proposals and to creating a vibrant and engaging workshop program at ICFP 2026!

1 0