by Jens Weber | Nov 3, 2023 | Grape
I recently gave a seminar on GrapeVine and Functional Graph Programs. The recording includes a live demo. It’s available here:Â https://www.irif.fr/~greta/event/2023-sep-22/
by Jens Weber | Nov 3, 2023 | REDI
This keynote was given as part of UVic’s 5 days of action this Fall. It’s excellent and helped me reflect on equity, inclusivity and diversity issues, biases and opportunities. Well worth viewing. Unfortunately, its recording may be accessible to the...
by Jens Weber | Jul 7, 2022 | formal methods, Grape, tools
Given flight chaos, pandemic and other issues, I was not able to participate in person in this year’s Workshop on Graph Computation Models (GCM ’22). I presented my  paper on control structures for functional graph rewriting using an online presentation...
by Jens Weber | Jul 5, 2022 | Uncategorized
The proceedings for the Int. Conference on Graph Transformations (ICGT) have now been published in a Springer book (as part of the LNCS series). My paper on GrapeVine has a chapter in that volume. It is available for download here...
by Jens Weber | Jun 1, 2022 | formal methods
My paper on a graph transformation control algebra for functional graph transformations has been accepted at the 13th International Workshop on Graph Computation Models (GCM 2022). https://gcm2022.github.io
