STAF Conferences

STAF 2023 - Software Technologies: Applications and Foundations

[STAF Conferences @STAFconferences]

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: https://t.co/KupFgZMq0d

We hope you are enjoying ICGT!

#STAF23 #STAF #ICGT

[STAF Conferences @STAFconferences]

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

[STAF Conferences @STAFconferences]

Lars Fritsche presenting "Advanced Consistency Restoration with Higher-Order Short-Cut Rules" at #ICGT23!

#STAF23 #STAF #ICGT #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

#STAF #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

#STAF #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

#STAF #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

Detlef Plump presenting "Fast Rule-Based Graph Programs" at #ICGT23!

#STAF23 #STAF #ICGT #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

#STAF #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

#STAF #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

The TAP’23 proceedings have just gone online, which completes the list!

Check out the proceedings for #TAP23, #ICGT23 and #ECMFA23 here: https://t.co/Wcu42TxLZk!

We hope you are enjoying STAF!

#STAF23 #STAF #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

#STAF #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

Bernhard Westfechtel presenting "Extending single- to multi-variant model transformations by trace-based propagation of variability annotations" at #ICGT23!

#STAF23 #STAF #ICGT #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

#STAF #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

Aloïs Rosset presenting "Fuzzy Presheaves are Quasitoposes" at #ICGT23!

#STAF23 #STAF #ICGT #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

#STAF #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

Richard Eggert presenting "A Monoidal View on Fixpoint Checks" at #ICGT23!

#STAF23 #STAF #ICGT #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

Richard Banach presenting "Formalisation, Abstraction and Refinement of Bond Graphs" at #ICGT23!

#STAF23 #STAF #ICGT #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

#STAF #TAP23 #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

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

[STAF Conferences @STAFconferences]

Andrea Laretto presenting "Specification and Verification of a Linear-time Temporal Logic for Graph Transformation" at #ICGT23!

#STAF23 #STAF #ICGT #Leicester @UoLCMS

[STAF Conferences @STAFconferences]

Invited speaker Dan Ghica presenting "Syntactic trinitarianism: terms, graphs, diagrams" at #ICGT23!

#STAF23 #STAF #ICGT #Leicester @UoLCMS