Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Service
FM 2024
26th Intl. Symposium on Formal Methods (FM 2024)
Sep 9, 2024 — Sep 13, 2024
Milano, IT
ECMFA 2024
20th European Conference on Modelling Foundations and Applications (ECMFA 2024)
Jul 8, 2024 — Jul 12, 2024
Enschede, NL
FASE 2024
27th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2024)
Apr 6, 2024 — Apr 11, 2024
Luxembourg City, Luxembourg
REMARO 2024
Workshop on Reliability Engineering Methods for Autonomous Robots (REMARO 2024)
Apr 6, 2024 — Apr 11, 2024
Enschede, NL
iFM 2023
Intl. Conf. on integrated Formal Methods (iFM 2023)
Nov 13, 2023 — Nov 15, 2023
Leiden, NL
TAP 2023
Intl. Conf. on Fundamentals of Software Engineering (FSEN 2023)
Jul 18, 2023 — Jul 21, 2023
Leicester, UK
FSEN 2023
Intl. Conf. on Fundamentals of Software Engineering (FSEN 2023)
Apr 26, 2023 — Apr 28, 2023
Tehran, Iran
FASE 2023
26th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2023)
Apr 16, 2023 — Apr 19, 2023
Paris, France
FM 2023
Intl. Symp. on Formal Methods (FM 2023)
Mar 6, 2023 — Mar 10, 2023
Lübeck, Germany
ASE-NIER 2022
NIER track, Intl Conf. on Automated Software Engineering (ASE-NIER 2022)
Oct 10, 2022 — Oct 14, 2022
Ann Arbor, USA
FAACS 2022
6th Intl. Workshop on Formal Approaches for Advanced Computing System (FAACS 2022)
Sep 19, 2022 — Sep 20, 2022
Prague, Czech Republic
iFM 2022
iFM 2022, Lugano, Switzerland, 7-10 June 2022
Jul 26, 2021 11:09 PM
FASE 2022
FASE 2022, Munich, Germany, April 2-7, 2022
May 31, 2021 11:09 PM
VORTEX 2021
VORTEX 2021, Virtual Aarhus, Denmark July 12, 2021
Mar 31, 2021 11:09 PM
FM 2021
FM 2021, Beijing, China Nov 20, 2021 - Nov 26, 2021
Jul 27, 2020 11:09 PM
AGERE 2020
AGERE 2020, Chicago, US, 20 November 2020
Jul 26, 2020 11:19 PM
iFM 2020
iFM 2020, Lugano, Switzerland, 16-20 November 2020
Jul 26, 2020 11:09 PM
FormaliSE 2020
FormaliSE 2020, Seoul, Korea, 25-26 May 2020
May 25, 2020 11:09 PM
ESOCC 2020
ESOCC 2020, Heraklion, Crete, 1-3 April 2020
Apr 1, 2020 11:10 PM
iFM 2019
iFM 2019, Bergen, Norway, 2-6 December 2019
Dec 2, 2019 11:10 PM
»
Cite
×