Categories

Programme Committees
Digital Twins
Oslo Fjord
Invited Talks
BedreFlyt
Automata Learning
Games
Process Mining
User Journeys
SMOL
Knowledge Graphs
Semantic Reflection
REMARO
Robotics
Testing
Active Learning
Conformance Testing
Fingerprinting
Self-Adaptive Systems
Actors
Confluence
Determinacy
Artificial Intelligence
Learning System
ABS
Denotational Semantics
Semantics
Symbolic Execution
Threads