- Haskell - Haskell.org

[CFP] HOPE'26: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
by Taro Sekiyama 29 Apr '26

29 Apr '26

TL;DR: Talk proposal deadline for HOPE 2026 is on May 29, 2026. This year, the workshop will be co-located with ICFP'26 (Indiana, US) and FW'26 (Paris, France) ---------------------------------------------------------------------- HOPE 2026 The 14th ACM SIGPLAN Workshop on Higher-Order Programming with Effects August 24, 2026 (the day before ICFP 2026) https://icfp26.sigplan.org/home/hope-2026 HOPE 2026 aims to bring together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. ---------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. We recommend preparing proposals of at most 2 pages excluding references, in either plain text or PDF format. However, we will accept longer proposals or submissions to other conferences, under the understanding that PC members are only expected to read the first two pages of such longer submissions. When submitting talk proposals, authors should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs, Taro Sekiyama (tsekiyama(a)acm.org) and Francesco Gavazzo (francesco.gavazzo(a)unipd.it) Important Note: HOPE’26 will be co-located with ICFP’26 (https://icfp26.sigplan.org/) and FW’26 (https://www.irif.fr/~scherer/events/fpw-2026/announce.html) Presenters can choose either event to attend in-person. We also encourage remote participation and will support remote presentations. Deadline for talk proposals: May 29, 2026 (Friday) Notification of acceptance: June 26, 2026 (Friday) Workshop: August 24, 2026, Indiana, United States & Paris, France (tentatively) The submission website is now open: https://hope26.hotcrp.com --------------------- Workshop Organization --------------------- Program Committee: Yuyan Bao (Augusta University) Raphaëlle Crubillé (Aix-Marseille University) Francesco Dagnino (University of Genova) Elena di Lavore (University of Oxford) Francesco Gavazzo (University of Padua) Cristina Matache (University of Edinburgh) Ken Sakayori (The University of Tokyo) Taro Sekiyama (National Institute of Informatics) Dario Stein (Radboud University) Niels Voorneveld (Cybernetica) Zhixuan Yang (University of Exeter) --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make code harder to build, maintain, and reason about. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help “tame” or “encapsulate” effects (e.g. monads and handlers, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc., to be made available online. -- Taro Sekiyama

1 0

Deadline extension: TERMGRAPH 2026 in FLoC
by Koko Akazaki Muroya 27 Apr '26

27 Apr '26

[Apologies for cross-posting.] 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/) **** Extended Deadlines **** - Submission of titles and short abstracts: Wednesday, 6 May 2026 - Submission of extended abstracts: Monday, 11 May 2026 ** 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 (AoE) ** - Submission deadlines (extended): - Titles and short abstracts: Wednesday, 6 May 2026 - Extended abstracts: Monday, 11 May 2026 - Notification (extended): Wednesday, 27 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

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

23 Apr '26

=========================================================================== 2ND CFP UPDATE: Invited Speakers, Deadline Extension to 29 April 2026 (AoE) =========================================================================== 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: 29 April 2026 (Anywhere on Earth) *EXTENDED* --------------------------------------------------------------------------- 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. Invited Speakers --------------------------------------------------------------------------- Nada Amin, Harvard University Nikos Tzevelekos, Queen Mary University of London (joint with GALOP 2026) Important Dates --------------------------------------------------------------------------- Submission of regular papers and extended abstracts: *29* 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

Second CfP: TERMGRAPH 2026 in FLoC
by Koko Akazaki Muroya 17 Apr '26

17 Apr '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/) Submission deadline: Monday, 27 April, 2026 (AoE) ** 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

[C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26
by Manuel Alejandro Borroto Santana 08 Apr '26

08 Apr '26

*2nd 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://carla-ws.github.io/web/>https://ws-carla.github.io/web/ Part of FLoC 2026 https://www.floc26.org/ *IMPORTANT DATES (AoE):* - Paper registration: *May 8* - Paper submission: *May 16* - Notification: *May 24* - Camera-Ready Deadline: *June 19* 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 the option for authors to participate virtually. *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. * - Video Games and Virtual Worlds as Testbeds for Cognitive Robotics: * 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

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