Categories

Programme Committees
Digital Twins
Semantic Reflection
SMOL
REMARO
Robotics
Self-Adaptive Systems
Denotational Semantics
Semantics
Symbolic Execution
Knowledge Graphs
Testing
Invited Talks
ABS
Actors
Threads
Software Product Lines
Operational Semantics
Games
User Journeys
Minneord
Tutorials
PC Chair
Demo
教程
Programme Committees[]
General Chair
PhD Schools