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
Talks
2024
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
The Semantically Reflected Digital Twin
Tutorial @ MODELS 2024, Linz, Austria
22 September 2024 2:00 PM — 3:30 PM
Linz, Austria
Einar Broch Johnsen
,
Eduard Kamburjan
,
Silvia Lizeth Tapia Tarifa
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
En digital tvilling for Oslofjorden
Innlegg ved Oslo Science City Rundebordsmøte om klimarisiko og naturrisiko, og ESG-rapportering
27 May 2024 3:00 PM — 5:30 PM
Universitetet i Oslo
Einar Broch Johnsen
A Digital Twin of the Oslo Fjord
Talk at UiO’s Sustainability Seminar 2024
13 May 2024 — 14 May 2024
Thon Hotel Vettre, Asker
Einar Broch Johnsen
GreenhouseDT: An Exemplar for Digital Twins
Talk at SEAMS 2024
16 April 2024 2:00 PM
Lisbon, Portugal
Einar Broch Johnsen
Programming and reasoning about autonomous software with semantic reflection
Talk at REMARO 2024
6 April 2024 2:00 PM
ETAPS 2024, Luxembourg City, Luxembourg
Einar Broch Johnsen
REMARO 2024
Workshop on Reliability Engineering Methods for Autonomous Robots (REMARO 2024)
6 April 2024 — 11 April 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
A Digital Twin for Pandemic Monitoring and Prevention
Norway Life Science 2024
13 February 2024 11:15 AM
Meet Ullevaal, Ullevaal Stadion
Einar Broch Johnsen
En digital tvilling for Oslofjorden
Oslofjord Citizen Science Evening
8 February 2024 8:15 PM
Auditorium 3, Kristine Bonnevies Hus, University of Oslo, Blindernveien 31, Oslo
Einar Broch Johnsen
Digital Twins: An Emerging Paradigm for Self-Adaptive Model-Centric Systems
OASIS seminar
26 January 2024 2:00 PM
Lecture Theatre B, Dept. of Computer Science, University of Oxford, UK
Einar Broch Johnsen
2023
The Semantically Reflected Digital Twin.
Tutorial, ICTAC summer school
5 December 2023 9:00 AM
Lima, Peru
Einar Broch Johnsen
,
Eduard Kamburjan
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
iFM 2023
Intl. Conf. on integrated Formal Methods (iFM 2023)
13 November 2023 — 15 November 2023
Leiden, NL
Klimabarometer for Oslofjorden (Faglig-pedagogisk dag)
Invited talk, Faglig-pedagogisk dag ved Universitetet i Oslo
2 November 2023 11:15 AM — 12:00 PM
Auditorium 5 i Vilhelm Bjerknes’ hus
TAP 2023
Intl. Conf. on Fundamentals of Software Engineering (FSEN 2023)
18 July 2023 — 21 July 2023
Leicester, UK
Digital Twins: An Emerging Paradigm for Model-Centric Systems
SWS seminar, Radboud University, Nijmegen, NL
2 May 2023 12:30 PM
HFML 0220
FSEN 2023
Intl. Conf. on Fundamentals of Software Engineering (FSEN 2023)
26 April 2023 — 28 April 2023
Tehran, Iran
FASE 2023
26th Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2023)
16 April 2023 — 19 April 2023
Paris, France
Klimabarometer for Oslofjorden
Invited talk, Åpen dag ved Universitetet i Oslo
9 March 2023 12:45 PM — 1:15 PM
Auditorium 1 i Vilhelm Bjerknes’ hus
FM 2023
Intl. Symp. on Formal Methods (FM 2023)
6 March 2023 — 10 March 2023
Lübeck, Germany
2022
Digital Twins: An Emerging Paradigm for Model-Centric Engineering
Invited talk, Department research seminar, Dept. of Informatics, University of Oslo
21 November 2022 11:15 AM
Informatics library, Dept. of Informatics, University of Oslo, Norway
ASE-NIER 2022
NIER track, Intl Conf. on Automated Software Engineering (ASE-NIER 2022)
10 October 2022 — 14 October 2022
Ann Arbor, USA
A Semantically Reflected Digital Twin
Tutorial, ICTAC summer school
26 September 2022 11:00 AM — 27 September 2022 12:30 PM
Tbilisi, Georgia
Einar Broch Johnsen
,
Eduard Kamburjan
,
Rudolf Schlatte
,
Silvia Lizeth Tapia Tarifa
FAACS 2022
6th Intl. Workshop on Formal Approaches for Advanced Computing System (FAACS 2022)
19 September 2022 — 20 September 2022
Prague, Czech Republic
Digital Twins: An Emerging Paradigm for Model-Centric Engineering (PNSE 2022)
Keynote, Intl. Workshop on Petri Nets and Software Engineering (PNSE 2022)
20 June 2022 9:00 AM
Western Norway University of Applied Science, Bergen
Digital Twins and HPC
Invited talk, Data@UiO
15 June 2022 12:00 PM
Store Aud, Kristen Nygaards Hus / Virtual
A Digital Twin for Land-Ocean Coupling During Intense Precipitation
The Faculty of Natural Sciences’ Sustainability Seminar
24 May 2022 2:00 PM
Holmen Fjordhotell
Digital Twins: An Emerging Paradigm for Model-Centric Engineering (FormaliSE 2022)
Keynote, Intl. Conf. on Formal Methods in Software Engineering (FormaliSE 2022)
19 May 2022 3:00 PM — 4:00 PM
Pittsburgh / Virtual
Follow
Digital Twins as Evolving Model-Centric Systems
Invited talk, Engineering Digital Twins Seminar Series
2 May 2022 5:00 PM — 6:00 PM
Virtual seminar
Follow
Digital Twins: From Engineering to Science
Distinguished Lecture Series, Dept. of Informatics, University of Bergen
17 February 2022 12:45 PM — 2:00 PM
Høyteknologisenteret, Bergen, Norway
TAP 2022
TAP 2022, Nantes, France, 5-6 July 2022
26 January 2022 11:09 PM
2021
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
2020
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
2019
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
2018
NWPT 2018
NWPT 2018, Oslo, Norway, 24-26 Oct 2018
24 October 2018 11:12 PM
2018 Nik
NIK 2018, Spitsbergen, Norway, 18-20 Sept 2018 (PC chair)
18 September 2018 11:12 PM
ESOCC 2018
ESOCC 2018, Como, Italy, 12-14 September 2018
12 September 2018 11:12 PM
iFM 2018
iFM 2018, Maynooth, Ireland, 5-7 September 2018
5 September 2018 11:12 PM
SETTA 2018
SETTA 2018, Beijing, China, 4-6 Sept 2018
4 September 2018 11:13 PM
FM 2018
FM 2018, Oxford, UK, 15-17 July 2018
15 July 2018 11:13 PM
SEFM 2018
SEFM 2018, Toulouse, France, 25-29 June 2018 (PC chair)
25 June 2018 11:13 PM
FORTE 2018
FORTE 2018, Madrid, Spain, 18 - 21 June, 2018
18 June 2018 11:13 PM
FormaliSE 2018
FormaliSE 2018, Gothenburg, Sweden, 2 June 2018
2 June 2018 11:13 PM
FASE 2018
FASE 2018, Thessaloniki, Greece, 14-21 April 2018
14 April 2018 11:13 PM
2017
NWPT 2017
NWPT 2017, Turku, Finland, 1-3 November 2017
1 November 2017 11:14 PM
Microservices 2017
Microservices 2017, Odense, DK, 23-27 Oct 2017
23 October 2017 11:14 PM
FACS 2017
FACS 2017, Braga, Portugal, 10-13 Oct 2017
10 October 2017 11:14 PM
ESOCC 2017
ESOCC 2017, Oslo, Norway, 27-29 September 2017
27 September 2017 11:14 PM
iFM 2017
iFM 2017, Torino, Italy, 18-22 September 2017
18 September 2017 11:14 PM
SEFM 2017
SEFM 2017, Trento, Italy, 6-10 September 2017
6 September 2017 11:15 PM
TAP 2017
TAP 2017, Marburg, Germany, 17-21 July 2017 (PC chair)
17 July 2017 11:15 PM
FSEN 2017
FSEN 2017, Tehran, Iran, 26 - 28 April 2017
26 April 2017 11:15 PM
FASE 2017
FASE 2017, Uppsala, Sweden, 22-29 April 2017
22 April 2017 11:15 PM
2016
FM 2016
FM 2016, Limassol, Cyprus, 7-11 November 2016
7 November 2016 11:16 PM
NWPT 2016
NWPT 2016, North Jutland, Denmark, 31 October - 2 November 2016
31 October 2016 11:16 PM
ESOCC 2016
ESOCC 2016, Vienna, Austria, September 5-7, 2016 (PC chair)
5 September 2016 11:16 PM
TASE 2016
TASE 2016, Shanghai, China, July 17-19, 2016
17 July 2016 11:16 PM
SEFM 2016
SEFM 2016, Vienna, Austria, July 4-8, 2016
4 July 2016 11:16 PM
E-MuCoCoS 2016
E-MuCoCoS 2016, Frankfurt, Germany, 23 June 2016
23 June 2016 11:16 PM
Coordination 2016
Coordination 2016, Heraklion, Greece, June 6-9, 2016
6 June 2016 11:16 PM
FORTE 2016
FORTE 2016, Heraklion, Greece, June 6-9, 2016
6 June 2016 11:16 PM
IFM 2016
IFM 2016, Reykjavik, Iceland, June 1-4, 2016
1 June 2016 11:17 PM
SCORE@ICSE 2016
SCORE@ICSE 2016, Austin, Texas, May 14-22, 2016
14 May 2016 11:17 PM
2015
ICTAC 2015
ICTAC 2015, Cali, Colombia, October 29-31, 2015
29 October 2015 11:17 PM
NWPT 2015
NWPT 2015, Reykjavik, Iceland, October 21-23, 2015
21 October 2015 11:17 PM
ECOOP 2015
ECOOP 2015, Prague, Czech republic, July 6-10, 2015
6 July 2015 11:17 PM
FM 2015
FM 2015, Oslo, Norway, June 22-26, 2015 (General chair)
22 June 2015 11:17 PM
FSEN 2015
FSEN 2015, Tehran, Iran, April 22-24, 2015
22 April 2015 11:18 PM
FASE 2015
FASE 2015, London, UK, April 11-19, 2015
11 April 2015 11:18 PM
2014
NWPT 2014
NWPT 2014, Halmstad, Sweden, Nov 29-31, 2014
29 November 2014 11:18 PM
AGERE 2014
AGERE 2014, Portland, USA, Oct 20, 2014
20 October 2014 11:18 PM
iFM 2014
iFM 2014, Bertinoro, Italy, Sep. 9-11, 2014
9 September 2014 11:18 PM
BEAT 2014
BEAT 2014, Rome, Italy, Sep. 1, 2014
1 September 2014 11:18 PM
ECOOP 2014
ECOOP 2014, Uppsala, Sweden, July 28-Aug 1, 2014
28 July 2014 11:18 PM
WING 2014
WING 2014, Vienna, Austria, July 23, 2014
23 July 2014 11:18 PM
SFM 2014, Envisage Summer School
SFM 2014, Envisage Summer School in Bertinoro, Italy, June 16-20, 2014
16 June 2014 11:18 PM
Project
FormaliSE 2014
FormaliSE 2014, Hyderabad, India, May 31-June 7, 2014
31 May 2014 11:19 PM
2013
NWPT 2013
NWPT 2013, Tallinn, Estonia, Nov 20-22, 2013
20 November 2013 11:19 PM
SEFM 2013
SEFM 2013, Madrid, Spain, Sep 25-27, 2013
25 September 2013 11:19 PM
BEAT 2013
BEAT 2, Madrid, Spain, Sep 23-24, 2013
23 September 2013 11:19 PM
PPPJ 2013
PPPJ 2013, Stuttgart, Germany, Sep 11-13, 2013
11 September 2013 11:19 PM
CALCO Tools 2013
CALCO Tools 2013, Warsaw, Poland, Sep. 3-6, 2013
3 September 2013 11:20 PM
iFM 2013
iFM 2013, Turku, Finland, June 12-14, 2013 (PC chair)
12 June 2013 11:20 PM
FMDEP 2013
FMDEP 2013, Turku, Finland, June 10, 2013
10 June 2013 11:19 PM
FSEN 2013
FSEN 2013, Tehran, Iran, April 24-26, 2013
24 April 2013 11:20 PM
2012
NWPT 2012
NWPT 2012, Bergen, Norway, Oct 31- Nov 02 2012.
31 October 2012 11:20 PM
Agere 2012
Agere 2012, Tuczon, USA, Oct 21-22, 2012
21 October 2012 11:20 PM
LfSA 2012
LfSA 2012, Berkeley, USA, July 7, 2012
7 July 2012 11:20 PM
IFM 2012
IFM 2012, Pisa, Italy, June 18-22, 2012
18 June 2012 11:21 PM
FMOODS/FORTE 2012
FMOODS/FORTE 2012, Stockholm, Sweden, June 13-16, 2012
13 June 2012 11:21 PM
2011
FOVEOOS 2011
FOVEOOS 2011, Torino, Italy, October 5-7, 2011
5 October 2011 11:21 PM
TASE 2011
TASE 2011, Xi’an, China, August 29-31, 2011
29 August 2011 11:21 PM
FM 2011
FM 2011, Limerick, Ireland, June 20-24, 2011
20 June 2011 11:22 PM
FMOODS/FORTE 2011
FMOODS/FORTE 2011, Reykjavik, Iceland, June 6-9, 2011
6 June 2011 11:22 PM
FSEN 2011
FSEN 2011, Tehran, Iran, April 20-22, 2011
20 April 2011 11:22 PM
2010
NWPT 2010
NWPT 2010, Turku, Finland, November 10-12 2010
10 November 2010 11:21 PM
FACS 2010
FACS 2010, Guimaraes, Portugal, October 14-16 2010.
14 October 2010 11:22 PM
TTSS 2011
TTSS 2011, Oslo, Norway, September 13, 2011
13 September 2010 11:21 PM
LfSA 2010
LfSA 2010, Edinburgh, UK, July 15, 2010
15 July 2010 11:22 PM
NWPT 2010
NWPT 2010, Turku, Finland, November 10-12 2010
10 July 2010 11:22 PM
FOVEOOS 2010
FOVEOOS 2010, Paris, France, June 28-30, 2010
28 June 2010 11:22 PM
FMOODS/FORTE 2010
FMOODS/FORTE 2010, Amsterdam, the Netherlands, June 7-10, 2010
7 June 2010 11:22 PM
2009
FACS 2009
FACS 2009, Eindhoven, the Netherlands, October 30-31, 2009
30 October 2009 11:23 PM
NWPT 2009
NWPT 2009, Lyngby, Denmark, October 14-16 2009.
14 October 2009 11:23 PM
FMOODS/FORTE 2009
FMOODS/FORTE 2009, Lisbon, Portugal, June 9-11, 2009
9 June 2009 11:23 PM
2009 Fsen
FSEN 2009, Kish, Persian Gulf, Iran, April 15-17, 2009
15 April 2009 11:23 PM
IFM 2009
IFM 2009, Düsseldorf, Germany, February 16-19 2009
16 February 2009 11:23 PM
COST IC0701 Winter School
COST Action IC0701 Winter School on Verification of Object-Oriented Programs, Viinistu, Estonia, 25-29 January, 2009
25 January 2009 11:23 PM
2008
NWPT 2008
NWPT 2008, Tallinn, Estonia, November 19-21 2008.
19 November 2008 11:24 PM
DisCoTec 2008
DisCoTec 2008, Oslo, Norway, June 4-6 2008, including FMOODS 2008 (General chair)
26 July 2008 11:24 PM
Cite
×
