Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Russ Harmer
conf.researchr.org general profile
POPL 2026 profile
STAF 2023 profile
STAF 2024 profile
Registered user since Mon 28 Nov 2022
Name:
Russ Harmer
Country:
France
Affiliation:
CNRS
Contributions
2026
CPP
Author of Adhesive Category Theory for Graph Rewriting in Rocq within the CPP 2026-track
2024
ICGT
Co-chair in Program Committee
Session Chair of ICGT Session 1 (part of ICGT Research Papers)
2023
ICGT
Committee Member in Program Committee within the Research Papers-track
Session Chair of ICGT Session 4: Graph Transformation Properties (part of Research Papers)
Presenter of A living monograph for graph transformation within the Research Papers-track
Share
x
Sun 7 Dec 01:52