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
Programme Committees
ECOOP 2025
39th European Conference on Object-Oriented Programming (ECOOP 2025)
30 June 2025 — 4 July 2025
Bergen, Norway
ASQAP 2025
1st International Workshop on Autonomous System Quality Assurance and Prediction with Digital Twins (ASQAP 2025)
4 May 2025
Hamilton, Canada
iFM 2024
19th International Conference on Integrated Formal Methods (iFM 2024)
13 November 2024 — 15 November 2024
Manchester, UK
EDTconf 2024
1st International Conference on Engineering Digital Twins (EDTconf 2024)
23 September 2024 — 24 September 2024
Linz, AUT
FM 2024
26th Intl. Symposium on Formal Methods (FM 2024)
9 September 2024 — 13 September 2024
Milano, IT
ECMFA 2024
20th European Conference on Modelling Foundations and Applications (ECMFA 2024)
8 July 2024 — 12 July 2024
Enschede, NL
FASE 2024
27th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2024)
6 April 2024 — 11 April 2024
Luxembourg City, Luxembourg
REMARO 2024
Workshop on Reliability Engineering Methods for Autonomous Robots (REMARO 2024)
6 April 2024 — 11 April 2024
Enschede, NL
iFM 2023
Intl. Conf. on integrated Formal Methods (iFM 2023)
13 November 2023 — 15 November 2023
Leiden, NL
TAP 2023
Intl. Conf. on Fundamentals of Software Engineering (FSEN 2023)
18 July 2023 — 21 July 2023
Leicester, UK
FSEN 2023
Intl. Conf. on Fundamentals of Software Engineering (FSEN 2023)
26 April 2023 — 28 April 2023
Tehran, Iran
FM 2023
Intl. Symp. on Formal Methods (FM 2023)
6 March 2023 — 10 March 2023
Lübeck, Germany
ASE-NIER 2022
NIER track, Intl Conf. on Automated Software Engineering (ASE-NIER 2022)
10 October 2022 — 14 October 2022
Ann Arbor, USA
TAP 2022
TAP 2022, Nantes, France, 5-6 July 2022
26 January 2022 11:09 PM
iFM 2022
iFM 2022, Lugano, Switzerland, 7-10 June 2022
26 July 2021 11:09 PM
FASE 2022
FASE 2022, Munich, Germany, April 2-7, 2022
31 May 2021 11:09 PM
VORTEX 2021
VORTEX 2021, Virtual Aarhus, Denmark July 12, 2021
31 March 2021 11:09 PM
FM 2021
FM 2021, Beijing, China Nov 20, 2021 - Nov 26, 2021
27 July 2020 11:09 PM
AGERE 2020
AGERE 2020, Chicago, US, 20 November 2020
26 July 2020 11:19 PM
iFM 2020
iFM 2020, Lugano, Switzerland, 16-20 November 2020
26 July 2020 11:09 PM
FormaliSE 2020
FormaliSE 2020, Seoul, Korea, 25-26 May 2020
25 May 2020 11:09 PM
FASE 2020
FASE 2020, Dublin, Ireland, 28 April - 1 May, 2020
28 April 2020 11:30 PM
ESOCC 2020
ESOCC 2020, Heraklion, Crete, 1-3 April 2020
1 April 2020 11:10 PM
iFM 2019
iFM 2019, Bergen, Norway, 2-6 December 2019
2 December 2019 11:10 PM
AGERE 2019
AGERE 2019, Athens, Greece, 20-25 Oct 2019
20 October 2019 11:10 PM
FM 2019
FM 2019, Porto, Portugal, 7-11 October, 2019
7 October 2019 11:10 PM
FormaliSE 2019
FormaliSE 2019, Montreal, Canada, 27 May 2019
27 May 2019 11:11 PM
SAC-NGPS 2019
SAC-NGPS 2019, Limassol, Cyprus, 8-12 April, 2019
8 April 2019 11:12 PM
NWPT 2018
NWPT 2018, Oslo, Norway, 24-26 Oct 2018
24 October 2018 11:12 PM
ESOCC 2018
ESOCC 2018, Como, Italy, 12-14 September 2018
12 September 2018 11:12 PM
»
Cite
×