Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Service
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
AGERE 2019
AGERE 2019, Athens, Greece, 20-25 Oct 2019
Oct 20, 2019 11:10 PM
FM 2019
FM 2019, Porto, Portugal, 7-11 October, 2019
Oct 7, 2019 11:10 PM
FormaliSE 2019
FormaliSE 2019, Montreal, Canada, 27 May 2019
May 27, 2019 11:11 PM
SAC-NGPS 2019
SAC-NGPS 2019, Limassol, Cyprus, 8-12 April, 2019
Apr 8, 2019 11:12 PM
»
Cite
×