[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 ([email protected], [email protected])
_______________________________________________ Haskell mailing list -- [email protected] To unsubscribe send an email to [email protected]
