March 2026 - Haskell - Haskell.org

CfP: TERMGRAPH 2026 in FLoC
by Koko Akazaki Muroya 31 Mar '26

31 Mar '26

[Apologies for multiple copies.] TERMGRAPH 2026: 14th International Workshop on Computing with Terms and Graphs Lisbon, Portugal 19 July 2026 (one-day workshop) Part of FLoC 2026 (https:/ www.floc26.org/) ** Background and history ** Graphs, and graph transformation systems, are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Different research areas include: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the use of graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the semantics and analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical systems, quantum computing, and automated reasoning and symbolic computation systems working on shared structures. Previous editions of TERMGRAPH took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrücken (2011), Rome (2013), Vienna (2014), Eindhoven (2016), Oxford (2018), online (2020, planned to be held in Paris), Haifa (2022), and Luxembourg (2024). The permanent TERMGRAPH website (http://www.termgraph.org.uk/) has further information. ** Aim ** The aim of this workshop is to bring together researchers working in these different domains, to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. ** Topics of Interest ** Topics of interest include all aspects of term-/graph rewriting (term-graph and graph rewriting) and applications of graph transformations in programming, automated reasoning and symbolic computation. This includes (but is not limited to): - theory of first-order and higher-order term and graph rewriting - graph rewriting in lambda calculus (sharing graphs, optimality) - term-/graph based models of computation - graph grammars - term-/graph based languages and modelling frameworks - term-/graph rewriting tools: -- system descriptions, and case studies - applications of term-/graph rewriting in, and term-/graph rewriting aspects of: -- semantics and implementation of programming languages -- compiler construction -- interaction nets and proof nets -- string diagrams -- software engineering -- automated reasoning and symbolic computation -- functional and logic programming -- pattern recognition -- Machine Learning (Graph Neural Networks) -- bioinformatics -- quantum computing ** Call for Papers ** We invite submissions of extended abstracts of at most 8 pages in EPTCS style (http://style.eptcs.org/) (see also template on Overleaf, https://www.overleaf.com/project/6269b347d5e60853563003ad) This may include, concerning any of the topics above: - original work, - tutorials, - work in progress, - system descriptions of term-/graph rewriting tools. Extended abstracts have to be submitted no later than 27 April 2026 (AoE) electronically (pdf) via the FLoC HotCRP submission site ( https://submissions.floc26.org/termgraph/) Papers will be judged on relevance, originality, correctness, and usefulness. After the workshop, authors of presented extended abstracts will be invited to submit a longer version of their work (a 15-page paper) for the publication of the Workshop Post-Proceedings in EPTCS (Electronic Proceedings in Theoretical Computer Science). These submissions will undergo a second round of refereeing with: - submission deadline in the mid of October 2026, - notification in December 2026, - publication in February 2027. ** Important Dates ** - Submission deadline: Monday, 27 April, 2026 (AoE) - Notification: Monday, 25 May, 2026 - Program publication: Wednesday, 3 June, 2026 - Final pre-proceedings version due: Thursday, 11 June, 2026 - Workshop: 19 July 2026 ** Invited Speakers ** TBA ** Program Committee ** - Koko Muroya, Ochanomizu University, Japan (co-chair) - Kazunori Ueda, Waseda University, Japan (co-chair) - Sandra Alves, University of Porto, Portugal - Clemens Grabmayer, Gran Sasso Science Institute, Italy - Amar Hadzihasanovic, Tallinn University of Technology, Estonia - Makoto Hamana, Kyushu Institute of Technology, Japan - Jens Kosiol, Philipps-Universität Marburg, Germany - Robin Piedeleu, University College London, UK - Chris Poskitt, Singapore Management University, Singapore - Femke van Raamsdonk, Vrije Universiteit Amsterdam, Netherlands - Michele Sevegnani, University of Glasgow, UK ** Contact ** Kazunori Ueda and Koko Muroya (kazunori.ueda.ku(a)gmail.com, kmuroya(a)is.ocha.ac.jp)

1 0

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

25 Mar '26

Dear all, *** Registration extended until Sunday 29th March *** There are just a few days left now to register for this years Midlands Graduate School (MGS) in Nottingham. Eight fantastic courses on type theory, category theory, lambda calculus and more. 13-17 April 2026, Nottingham, UK. 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 29th 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

WPTE 2026: Call for Papers
by Voigtländer, Prof. Dr. Janis 23 Mar '26

23 Mar '26

WPTE 2026 (affiliated with FLoC 2026 and FSCD 2026 in Lisbon, Portugal) 12th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (19 July 2026) Webpage: https://wpte2026.github.io/ Submission: https://submissions.floc26.org/wpte/ Deadline: 22 April 2026 --------------------------------------------------------------------------- The aim of WPTE is to bring together researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. Topics of Interest --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. * Rewriting-based transformations for bidirectional programming and reversible computation. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline, a regular paper or extended abstract of at most 10 pages is required. WPTE 2026 accepts submissions in three categories: * Regular paper, reporting on completed work that has not yet been formally published and is not under submission for formal publication at another venue (journal, conference, workshop with formal proceedings). * Work-in-progress extended abstract, reporting on work in progress. * Presentation-only extended abstract, a short version of a paper currently submitted to or formally published at another venue. The program committee will select the presentations for the workshop based on the submissions. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted contribution is expected to present it at the workshop in person. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions are to be made via: https://submissions.floc26.org/wpte/ Post-Proceedings or Journal Special Issue --------------------------------------------------------------------------- For the 2020-2025 editions, papers from WPTE were selected for post-submission and eventual publication in JLAMP special issues. We will discuss, also based on interest expressed by authors at the workshop, whether to arrange a special issue or other formal proceedings for regular papers and completed work-in-progress extended abstracts selected from this year's edition. Important Dates --------------------------------------------------------------------------- Submission of regular papers and extended abstracts: 22 April 2026 (AoE) Notification of acceptance: 25 May 2026 Early Registration for the workshop: 1 June 2026 Final version for informal proceedings: 29 June 2026 Workshop: 19 July 2026 Submission to post-proceedings/special issue: autumn 2026 (tbd) Program Committee --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Carsten Fuhs (co-chair), Birkbeck University of London Jan-Christoph Kassing, RWTH Aachen University Thomas Kœhler, ICube Lab, CNRS, Université de Strasbourg Misaki Kojima, Nagoya University Rubén Rubio, Universidad Complutense de Madrid Traian Şerbănuţă, University of Bucharest Germán Vidal, Universitat Politècnica de València Janis Voigtländer (co-chair), University of Duisburg-Essen Contact --------------------------------------------------------------------------- Please direct questions to: c.fuhs AT bbk.ac.uk and janis.voigtlaender AT uni-due.de

1 0

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

17 Mar '26

Dear all, There are just a few days left now to register for this years 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

GPCE 2026: Final Call for Papers (extended deadline)
by Thomas van Binsbergen 05 Mar '26

05 Mar '26

TL;DR: The GPCE paper submission deadline is earlier this year but was just extended to 12 March 2026. Also, there is no abstract submission deadline – submit your papers directly at https://gpce26.hotcrp.com Like last year, GPCE will be co-located with ECOOP rather than SPLASH. The ECOOP conference will be hosted in Brussels, Belgium, between Mon 29 June and Fri 3 July 2026. We are interested in all topics related to generative programming, including (but not limited to) topics from type theory to software engineering and AI code generation. GPCE 2026 website: https://2026.ecoop.org/home/gpce-2026 --------------------------- Call for Papers --------------------------- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a conference at the intersection of programming languages and software engineering, focusing on techniques and tools for code generation, language implementation, model-driven engineering, and product-line development. --------------------------- Topics of Interest: --------------------------- GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: - program transformation, staging, - macro systems, preprocessors, - program synthesis, - code-recommendation systems, - domain-specific languages, - generative language workbenches, - language embedding, language design, - domain engineering, - software product lines, configurable software, - feature interactions, - applications and properties of code generation, - language implementation, - AI/ML techniques for generative programming, - generative programming for AI/ML techniques, - model-driven engineering, low code / no code approaches. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. --------------------------- Paper Categories --------------------------- GPCE solicits four kinds of submissions: - Full Papers: reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topic. Full paper submissions must not exceed 10 pages excluding the bibliography. - Short Papers: presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 5 pages excluding the bibliography, and must have the text “(Short Paper)” appended to their titles. - Tool Demonstrations: presenting tools for any GPCE topic. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 5 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 5 pages. Tool demonstration submissions must have the text “(Tool Demonstration)” appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used to evaluate the planned demonstration. - Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are included in the proceedings and will be presented at the conference. Generative Pearl submissions must not exceed 10 pages excluding the bibliography, and must have the text “(Generative Pearl)” appended to their titles. --------------------------- Paper Selection --------------------------- The GPCE program committee will evaluate each submission according to the following selection criteria: - Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. - Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. - Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. - Clarity. The paper must present its contributions and results clearly. --------------------------- Best Paper Award --------------------------- Following the tradition, the GPCE program committee will select the best paper among accepted papers. The authors of the best paper will be given the best paper award at the conference. --------------------------- Paper Submission --------------------------- Papers must be submitted using HotCRP: https://gpce26.hotcrp.com/ All submissions must use the ACM SIGPLAN Conference Format “acmart”. Be sure to use the latest LaTeX templates and class files, the SIGPLAN sub-format, and 10-point font. Consult the `sample-sigplan.tex` template and use the document-class `\documentclass[sigplan,anonymous,review]{acmart}`. To increase fairness in reviewing, GPCE uses the **double-blind review process** which has become standard across SIGPLAN conferences: - Author names, institutions, and acknowledgments should be omitted from submitted papers, and - references to the authors’ own work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer authors’ identities in implicit ways. By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy. Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. For additional information, clarification, or answers to questions, contact the program chair. --------------------------- ACM Artifact Badges --------------------------- There as been quite some momentum in recent years to improve replication and reproducibility in software engineering. Starting the 2024 edition, we want to give authors the chance to apply for an ACM Artifact Badge. Even though the artifact submission is not mandatory, we recommend authors to submit their artifacts to reach a higher impact with their research. Authors that want to apply for an ACM Artifact Badge are asked to add a brief paragraph in the Acknowledgments section of their submission. The paragraph should indicate which ACM Badge is the submission aiming for (see ACM page linked below) and what is part of the artifact. The paragraph may be removed for the final version of the paper, if it is clear from the manuscript what constitutes the artifact. Only the artifacts of accepted papers will be reviewed (the artifacts of rejected submissions will not be reviewed at all). The received artifact badges will be announced shortly before the camera ready version is due. More information on ACM Artifact Badges: https://www.acm.org/publications/policies/artifact-review-and-badging-curre… --------------------------- Important Dates --------------------------- Paper submission: Thu 12 Mar 2026 Author response period: Mon 13 - Thu 16 Apr 2026 Author Notification: Thu 23 Apr 2026 Conference: Mon 29 Jun 2026 --------------------------- Questions? Use the GPCE contact form: https://2026.ecoop.org/contact2/ecoop-gpce-2026

1 0