Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Categories
Programme Committees
30 June 2025
REMARO
20 February 2025
Robotics
20 February 2025
Self-Adaptive Systems
20 February 2025
Software Product Lines
20 February 2025
Invited Talks
28 November 2024
Digital Twins
19 November 2024
Operational Semantics
17 November 2024
Symbolic Execution
17 November 2024
Games
23 October 2024
Semantic Reflection
23 October 2024
SMOL
23 October 2024
User Journeys
23 October 2024
ABS
17 September 2024
Minneord
6 May 2024
Denotational Semantics
15 March 2024
Semantics
15 March 2024
Tutorials
5 December 2023
PC Chair
31 May 2021
Demo
13 December 2020
教程
13 December 2020
Programme Committees[]
26 July 2020
General Chair
26 July 2020
PhD Schools
26 July 2020
Cite
×