ICGT Session 7: Keynote & Journal-First
Channel: GReTA Seminar
Date: 20/07/2023

13:30 60m Keynote
Formal Mathematics: Matching Algorithms as a Case Study
Keynotes
Mohammad Abdulaziz Technische Universität München

14:30 30m Talk
Fast Rule-Based Graph Programs
ICGT Journal-First
Graham Campbell
Brian Courtehoute
P: Detlef Plump University of York