@STAFconferences profile picture
STAF Conferences @STAFconferences

STAF 2023 - Software Technologies: Applications and Foundations

Joined November 2018
  • Tweets 200
  • Following 196
  • Followers 269
78 Photos and videos
Pinned Tweet
STAF Conferences@STAFconferences
19 Jul 2023
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
1
222
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
9
518
Lars Fritsche presenting "Advanced Consistency Restoration with Higher-Order Short-Cut Rules" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS
1
186
Keynote speaker Kim Larsen presenting 'Symbolic, Statistical and Randomized Engines in UPPAAL' at #TAP @ #STAF2023! #STAF #Leicester @UoLCMS
2
177
Maximilian Kratz presenting 'Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)' at #GCM @ #STAF2023! #STAF #Leicester @UoLCMS
3
175
Adwoa Donyina presenting 'Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformation' at #GCM @ #STAF2023! #STAF #Leicester @UoLCMS
1
135
Detlef Plump presenting "Fast Rule-Based Graph Programs" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS
1
5
712
Stefan Klikovits welcoming everyone at the start of #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS
4
177
Keynote speaker Phu Nguyen presenting 'MDS4IoT: Access Control for Edge-based Data Sharing and towards Security Orchestration' at #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS
1
4
259
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
1
79
Samuele Giussani presenting 'A Semi-Decentralized Self-Adaptive IoT Architecture for Energy Efficiency in Smart Households' at #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS
2
119
Bernhard Westfechtel presenting "Extending single- to multi-variant model transformations by trace-based propagation of variability annotations" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS
3
115
Paula Muñoz presenting 'A Conceptual Architecture for Building Digital Twins' at #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS
2
11
366
Aloïs Rosset presenting "Fuzzy Presheaves are Quasitoposes" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS
1
87
Javier Troya presenting ‘Modeling Urban Digital Twins over the Cloud-to-Thing Continuum’ at #MeSS @ #STAF2023! #STAF #Leicester @UoLCMS
2
5
405
Richard Eggert presenting "A Monoidal View on Fixpoint Checks" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS
1
100
Richard Banach presenting "Formalisation, Abstraction and Refinement of Bond Graphs" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS
1
94
Martin Gogolla presenting ‘Proving Properties of Operation Contracts with Test Scenarios’ at #TAP @ #STAF2023! #STAF #TAP23 #Leicester @UoLCMS
1
122
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
1
99
Andrea Laretto presenting "Specification and Verification of a Linear-time Temporal Logic for Graph Transformation" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS
1
108
Invited speaker Dan Ghica presenting "Syntactic trinitarianism: terms, graphs, diagrams" at #ICGT23! #STAF23 #STAF #ICGT #Leicester @UoLCMS
3
137
Load more