ICGT 2024
Wed 10 - Thu 11 July 2024 Enschede, Netherlands
co-located with STAF 2024
Thu 11 Jul 2024 14:00 - 14:30 at Waaier 1 - ICGT Session 5

We revise our former definition of graph operations and correspondingly adapt the construction of graph term algebras. As a first contribution to a prospective research field, Universal Graph Algebra, we generalize some basic concepts and results from algebras to graph algebras. To tackle this generalization task, we revise and reformulate traditional set-theoretic definitions, constructions and proofs in Universal Algebra by means of more category-theoretic concepts and constructions. In particular, we generalize the concept of generated subalgebra and prove that all monomorphic homomorphisms between graph algebras are regular. Derived graph operations are the other main topic. After an in-depth analysis of terms as representations of derived operations in traditional algebras, we identify three basic mechanisms to construct new graph operations out of given ones: parallel composition, instantiation, and sequential composition. As a counterpart of terms, we introduce graph operation expressions with a structure as close as possible to the structure of terms. We show that the three mechanisms allow us to construct, for any graph operation expression, a corresponding derived graph operation in any graph algebra.

Thu 11 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
13:30
30m
Talk
A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models
ICGT Research Papers
P: Christopher Stone University of St Andrews, AndrĂ¡s Z. Salamon University of St Andrews, Ian Miguel University of St Andrews
14:00
30m
Talk
Graph Algebras and Derived Graph OperationsJournal-first paper
ICGT Research Papers
P: Uwe Wolter University of Bergen, Tam Truong University of Bergen
Link to publication DOI
14:30
30m
Talk
Linear-Time Graph Programs for Unbounded-Degree Graphs
ICGT Research Papers
P: Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York