Springer has now published the ICGT'23 proceedings as LNCS vol. 13961! They are providing 4 weeks of free access to conference participants. This can be activated by clicking the link on the page below: conf.researchr.org/info/icgt… We hope you are enjoying ICGT! #STAF23 #STAF #ICGT

Keynote speaker Andrzej Wąsowski presenting 'How I lost my faith (in language technology research)? There and back again' at #ECMFA @ #STAF2023! #STAF #Leicester @UoLCMS

Lars Fritsche presenting "Advanced Consistency Restoration with Higher-Order Short-Cut Rules" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS

Keynote speaker Kim Larsen presenting 'Symbolic, Statistical and Randomized Engines in UPPAAL' at #TAP @ #STAF2023! #STAF #Leicester @UoLCMS

Maximilian Kratz presenting 'Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)' at #GCM @ #STAF2023! #STAF #Leicester @UoLCMS

Adwoa Donyina presenting 'Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformation' at #GCM @ #STAF2023! #STAF #Leicester @UoLCMS

Detlef Plump presenting "Fast Rule-Based Graph Programs" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS

Stefan Klikovits welcoming everyone at the start of #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS

Keynote speaker Phu Nguyen presenting 'MDS4IoT: Access Control for Edge-based Data Sharing and towards Security Orchestration' at #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS

The TAP’23 proceedings have just gone online, which completes the list! Check out the proceedings for #TAP23, #ICGT23 and #ECMFA23 here: conf.researchr.org/info/staf…! We hope you are enjoying STAF! #STAF23 #STAF #Leicester @UoLCMS

Samuele Giussani presenting 'A Semi-Decentralized Self-Adaptive IoT Architecture for Energy Efficiency in Smart Households' at #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS

Bernhard Westfechtel presenting "Extending single- to multi-variant model transformations by trace-based propagation of variability annotations" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS

Paula Muñoz presenting 'A Conceptual Architecture for Building Digital Twins' at #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS

Aloïs Rosset presenting "Fuzzy Presheaves are Quasitoposes" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS

Javier Troya presenting ‘Modeling Urban Digital Twins over the Cloud-to-Thing Continuum’ at #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS

Richard Eggert presenting "A Monoidal View on Fixpoint Checks" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS

Richard Banach presenting "Formalisation, Abstraction and Refinement of Bond Graphs" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS

Martin Gogolla presenting ‘Proving Properties of Operation Contracts with Test Scenarios’ at #TAP @ #STAF2023! #STAF #TAP23 #Leicester @UoLCMS

Robert Söldner, the Best Theory Paper award winner, presenting "Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS

Andrea Laretto presenting "Specification and Verification of a Linear-time Temporal Logic for Graph Transformation" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS

Invited speaker Dan Ghica presenting "Syntactic trinitarianism: terms, graphs, diagrams" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS