Categories

Invited Talks
5 October 2026
Programme Committees
18 May 2026
Digital Twins
31 March 2026
Knowledge Graphs
31 March 2026
Semantic Reflection
31 March 2026
SMOL
31 March 2026
REMARO
23 March 2026
Robotics
23 March 2026
Testing
23 March 2026
Active Learning
19 February 2026
Conformance Testing
19 February 2026
Fingerprinting
19 February 2026
BedreFlyt
17 February 2026
Self-Adaptive Systems
17 February 2026
Actors
12 January 2026
Confluence
12 January 2026
Determinacy
12 January 2026
Games
11 December 2025
User Journeys
11 December 2025
Artificial Intelligence
1 November 2025
Learning System
1 November 2025
ABS
29 August 2025
Denotational Semantics
15 June 2025
Semantics
15 June 2025
Symbolic Execution
15 June 2025
Reinforcement Learning
1 May 2025
Threads
9 April 2025
Software Product Lines
5 January 2025
Operational Semantics
17 November 2024
DART
2 October 2024