December 2025 - Haskell

[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

PhD studentships in Nottingham
by Graham Hutton (staff) 05 Dec '25

05 Dec '25

Dear all, The School of Computer Science at the University of Nottingham in the UK is seeking applications for a number of fully-funded PhD studentships: https://tinyurl.com/uon-phds-2026 Applicants in the area of the Functional Programming Lab (tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible; the application deadline is 7th January 2026: Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory, proof assistants, constructive mathematics, and related topics. Graham Hutton - functional programming, haskell, category theory, program verification, program calculation. Nicolai Kraus - not seeking a student through this scheme, but has separate funding available for a home/international student. Dan Marsden - category theory, logic, finite model theory, diagrammatic reasoning, foundations of computer science. Best wishes, The FP Lab University of Nottingham +-----------------------------------------------------------+ Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/uon-phds-2026 Applications are invited for fully-funded PhD studentships in the School of Computer Science, starting on 1st October 2026. The topics for the studentships are open, but your research proposal should relate to the interests of one of the School's research groups: Cyber-Physical Health and Assistive Robotics; Computational Optimisation and Learning; Computer Vision; Cyber Security; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality; Uncertainty in Data and Decision Making; Visualisation and Computer Graphics; Responsible Digital Futures. The studentships available are fully funded for 3.5 years and include a stipend of £20,780 per year and tuition fees for home students. They are open to students of any nationality, but non-home students must be able to cover the additional cost of international tuition fees. Applicants are expected to have a first-class Bachelor or Masters degree or international equivalent, in a related discipline. If you are interested in applying, please contact a potential supervisor as soon as possible, and at least two weeks prior to the closing date. If the supervisor wishes to support your application, they will direct you to make an official application through the MyNottingham system. Closing date for applications: Wednesday 7th January 2026 +-----------------------------------------------------------+ 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.

2 1

Midlands Graduate School, Nottingham, UK, 13-17 April 2026
by Graham Hutton (staff) 01 Dec '25

01 Dec '25

Dear all, I'm delighted to announce that the next Midlands Graduate School (MGS) in the Foundations of Computing Science will be held in Nottingham, UK, from 13-17 April 2026. Please share in your communities! Best wishes, Graham Hutton ========================================================== 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: - To be announced Introductory courses: - Category Theory for the Lazy Functional Programmer Thorsten Altenkirch (Nottingham) - Introduction to HoTT/UF with Agda Martin Escardó (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) 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> ========================================================== 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