Aarhus University Seal / Aarhus Universitets segl

Peter Gorm Larsen

  1. 2020
  2. 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications

    Peter Gorm Larsen (Deltager)

    8 jul. 202010 jul. 2020

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  3. Digital Europe (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    apr. 2020

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  4. Hvad er mulighederne med digitale tvillinger?

    Peter Gorm Larsen (Foredragsholder)

    30 jan. 2020

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  5. HUBCAP

    Carl Peter Leslie Schultz (Deltager), , Hugo Daniel Macedo (Deltager), , Jalil Boudjadar (Deltager), , Lene Birksø Bødskov (Arrangør), , Lukas Esterle (Deltager), , Niklas Braarud Jordal (Arrangør), , Peter Gorm Larsen (Arrangør), & Tomas Kulik (Deltager)

    21 jan. 202023 jan. 2020

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  6. 2020 Summer Simulation Conference (Begivenhed)

    Peter Gorm Larsen (Medlem)

    2020

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  7. Formal Aspects of Computing (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    2020

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  8. Formal Methods in System Design (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    2020

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  9. FormaliSE 2021 (Begivenhed)

    Peter Gorm Larsen (Medlem)

    20202021

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  10. OSS 2020 (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    2020

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  11. Transactions on Cyber-Physical Systems (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    2020

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  12. 2019
  13. Nye tendenser i AI-forskning: Teknologiske muligheder og udviklingspotentiale

    Peter Gorm Larsen (Foredragsholder), & Stephen Alstrup (Foredragsholder)

    7 nov. 2019

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  14. Towards Digital Twins for Cyber-Physical Systems

    Peter Gorm Larsen (Foredragsholder)

    4 nov. 2019

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  15. School of Computing Science, Newcastle University

    Peter Gorm Larsen (Gæsteforsker)

    1 sep. 201931 mar. 2022

    Aktivitet: Besøg på en ekstern institution - typerBesøg ved en ekstern, akademisk institution

  16. Department of Computer Science, University of York

    Peter Gorm Larsen (Gæsteforsker)

    1 apr. 20191 apr. 2024

    Aktivitet: Besøg på en ekstern institution - typerBesøg ved en ekstern, akademisk institution

  17. 17th Overture Workshop (Begivenhed)

    Peter Gorm Larsen (Medlem), & Peter Würtz Vinther Tran-Jørgensen (Medlem)

    2019

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  18. 17th Overture Workshop (Begivenhed)

    Peter Gorm Larsen (Medlem)

    2019

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  19. 3rd World Congress on Formal Methods (Begivenhed)

    Peter Gorm Larsen (Medlem)

    2019

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  20. Akademiet for de Tekniske Videnskaber (ATV) (Ekstern organisation)

    Peter Gorm Larsen (Formand)

    2019

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  21. IEEE Access (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    2019

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  22. IEEE Transactions on Industrial Informatics (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    2019

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  23. 2018
  24. Networking Dinner for researchers & company representatives

    Peter Gorm Larsen (Deltager), , Erich Prem (Deltager), & Tim Llewellyn (Deltager)

    3 dec. 2018

    Aktivitet: Andre aktivitetstyperAndet

  25. The Vienna Development Method (VDM)

    Peter Gorm Larsen (Foredragsholder)

    16 okt. 2018

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  26. STAF 2018 Collocated Workshops

    Cinzia Bernardeschi (Arrangør), , Peter Gorm Larsen (Arrangør), & Paolo Masci (Arrangør)

    jun. 2018

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af workshop, seminar eller kursus

  27. Skærpelse af de studerendes præcision og kritiske sans

    Peter Gorm Larsen (Foredragsholder)

    13 mar. 2018

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  28. OnTheMove Federated Conferences & Workshops 2018 (Begivenhed)

    Peter Gorm Larsen (Medlem)

    2018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  29. 23rd International Conference on Formal Methods for Industrial Critical Systems (Begivenhed)

    Peter Gorm Larsen (Medlem)

    2018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  30. 7th International Conference on Formal Methods in Software Engineering (Begivenhed)

    Peter Gorm Larsen (Medlem)

    20182019

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  31. ACM Transactions on Software Engineering and Methodology (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    2018

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  32. ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018 (Begivenhed)

    Peter Gorm Larsen (Medlem)

    2018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  33. Journal of Applied Sciences (Tidsskrift)

    Peter Gorm Larsen (Redaktør)

    2018 → …

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerRedaktør af tidsskriftFormidling

  34. Journal of Systems and Software (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    2018

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  35. The 16th Overture Workshop (Begivenhed)

    Peter Würtz Vinther Tran-Jørgensen (Medlem), & Peter Gorm Larsen (Medlem)

    2018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  36. 2017
  37. Hvad gør digitaliseringen ved virksomheder og samfund?

    Peter Gorm Larsen (Taler)

    8 nov. 2017

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af workshop, seminar eller kursus

  38. Model-Based Development of Cyber-Physical Systems Revolutionize Time-to-market of Smart Products

    Peter Gorm Larsen (Foredragsholder)

    3 okt. 2017

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  39. Introduction to DIGIT. Vision and plans for the new research centre

    Peter Gorm Larsen (Foredragsholder)

    27 sep. 2017

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  40. FMICS/AVOCS 2017 (Begivenhed)

    Peter Gorm Larsen (Medlem)

    18 sep. 201720 sep. 2017

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  41. IEEE International Workshop on Formal Methods Integration (Begivenhed)

    Peter Gorm Larsen (Medlem)

    4 aug. 20176 aug. 2017

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  42. Opponent at PhD defence

    Peter Gorm Larsen (Eksaminator)

    26 jun. 2017

    Aktivitet: Ekstern undervisning og EksamenEksamination

  43. SYRCoSE 2017 (Begivenhed)

    Peter Gorm Larsen (Medlem)

    31 maj 20172 jun. 2017

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  44. Intro to Cyber-Physical Systems and Smartness

    Peter Gorm Larsen (Foredragsholder)

    21 apr. 2017

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  45. The INTO-CPS Project

    Peter Gorm Larsen (Foredragsholder)

    21 apr. 2017

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  46. 16th International Conference on Software Engineering and Formal Methods (Begivenhed)

    Peter Gorm Larsen (Medlem)

    20172018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  47. 1st International Workshop on Robotics Software Engineering (Begivenhed)

    Peter Gorm Larsen (Medlem)

    20172018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  48. 22nd International Symposium on Formal Methods (Begivenhed)

    Peter Gorm Larsen (Medlem)

    20172018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  49. 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z (Begivenhed)

    Peter Gorm Larsen (Medlem)

    20172018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  50. 6th International Conference on Model-Driven Engineering and Software Development (Begivenhed)

    Peter Gorm Larsen (Medlem)

    20172018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  51. Centre for Digitalisation, Big Data and Data Analytics (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    2017 → …

    Aktivitet: Medlemsskab - typerMedlemskab af styrelse i virksomhed eller organisation

  52. Det Frie Forskningsråd (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    20172021

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  53. FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING

    Peter Gorm Larsen (Chair person)

    20172018

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af workshop, seminar eller kursus

  54. Medical Cyber-Physical Systems Workshop 2018 (Begivenhed)

    Peter Gorm Larsen (Medlem)

    20172018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  55. OnTheMove 2017 (Begivenhed)

    Peter Gorm Larsen (Medlem)

    2017 → …

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  56. Sensors (Tidsskrift)

    Peter Gorm Larsen (Redaktør)

    2017

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  57. Simulation Modelling Practice and Theory (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    2017

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  58. THE 15TH OVERTURE WORKSHOP (Begivenhed)

    Peter Gorm Larsen (Medlem)

    2017 → …

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  59. The 16th Overture Workshop (Begivenhed)

    Peter Gorm Larsen (Medlem)

    20172018

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  60. 2016
  61. Brazilian Symposium on Formal Methods

    Peter Gorm Larsen (Deltager)

    21 nov. 201625 nov. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  62. 21st International Symposium on Formal Methods

    Peter Gorm Larsen (Arrangør)

    7 nov. 201611 nov. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  63. Industry 4.0

    Peter Gorm Larsen (Taler)

    3 nov. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  64. Journal of Systems and Software (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    nov. 2016

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  65. Applied Sciences (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    18 jun. 2016

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  66. Well-founded Engineering of CyberPhysical Systems and Systems of Systems

    Peter Gorm Larsen (Foredragsholder)

    23 maj 201627 maj 2016

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  67. MDPI (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    mar. 2016

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  68. International Workshop on Formal Methods Integration

    Peter Gorm Larsen (Arrangør)

    jan. 2016aug. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  69. SYRCoSE 2016

    Peter Gorm Larsen (Arrangør)

    jan. 2016jun. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  70. FormaliSE 2017 (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    20162017

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  71. 2015
  72. International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems

    Peter Gorm Larsen (Arrangør)

    26 nov. 201528 sep. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  73. INTO-CPS: An well-founded integrated tool chain for comprehensive Model-Based Design of Cyber-Physical Systems

    Peter Gorm Larsen (Foredragsholder)

    8 okt. 2015

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  74. The 56th Conference on Simulation and Modelling

    Peter Gorm Larsen (Arrangør)

    7 okt. 2015

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  75. Collaborative Modelling and Cosimulation using Crescendo:: Tools and techniques for Designing Embedded Systems

    Peter Gorm Larsen (Foredragsholder)

    10 aug. 2015

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  76. 5th International ABZ Conference

    Peter Gorm Larsen (Deltager)

    jul. 2015jun. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  77. Formal Methods - Frontiers in Applied Mathematics and Statistics and ICT (Tidsskrift)

    Peter Gorm Larsen (Redaktør)

    jul. 20152100

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerRedaktør af tidsskriftForskning

  78. FormaliSE 2015

    Peter Gorm Larsen (Arrangør)

    18 jun. 2015

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  79. International Conference on Integrated Formal Methods

    Peter Gorm Larsen (Arrangør)

    maj 2015jun. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  80. Formal Specifications: Research and Industrial Practice

    Peter Gorm Larsen (Foredragsholder)

    8 mar. 2015

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  81. 18th IEEE International Conference on Computational Science and Engineering

    Peter Gorm Larsen (Arrangør)

    1 mar. 201530 okt. 2015

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  82. 18th Brazilian Symposium on Formal Methods

    Peter Gorm Larsen (Arrangør)

    15 feb. 20151 okt. 2015

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  83. Formal Aspects of Computing (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    feb. 2015

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  84. International Journal on Software Tools for Technology Transfer (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    feb. 2015

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  85. Science of Computer Programming (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    feb. 2015

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  86. 2014
  87. Model-baseret udvikling af indlejrede systemer - fra forskning til industriel anvendelse

    Peter Gorm Larsen (Foredragsholder)

    11 dec. 2014

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  88. Review of application: ENVISAGE

    Peter Gorm Larsen (Deltager)

    1 nov. 201430 nov. 2014

    Aktivitet: Andre aktivitetstyperAndet

  89. Collaborative Modelling and Co-simulation - Tools and Techniques for the Development of Industrial Embedded Control Systems

    Peter Gorm Larsen (Foredragsholder)

    31 okt. 2014

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  90. The European approach to use of rigor for improving trustworthiness of future ICT systems

    Peter Gorm Larsen (Foredragsholder)

    29 okt. 2014

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  91. Introduction to the Overture Tool

    Peter Gorm Larsen (Foredragsholder)

    28 okt. 2014

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  92. Are Formal Methods Ready for Agility?

    Peter Gorm Larsen (Foredragsholder)

    25 okt. 2014

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  93. NPO TopSE centre at NII

    Peter Gorm Larsen (Gæsteunderviser)

    24 okt. 2014

    Aktivitet: Besøg på en ekstern institution - typerBesøg ved en ekstern, akademisk institution

  94. Collaborative modelling and co-simulation: Tools and Techniques for the Development of Industrial Embedded Control Systems

    Peter Gorm Larsen (Foredragsholder)

    22 okt. 2014

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  95. Using Formal Approaches in different ways to improve system dependability

    Peter Gorm Larsen (Foredragsholder)

    22 okt. 2014

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  96. Advances in Intelligent Systems and Computing (Tidsskrift)

    Peter Gorm Larsen (Fagfællebedømmer)

    okt. 2014

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  97. Review of application: iCARGO

    Peter Gorm Larsen (Deltager)

    1 sep. 201430 sep. 2014

    Aktivitet: Andre aktivitetstyperAndet

  98. 2nd IEEE International Workshop on Formal Methods Integration (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    1 jan. 2014

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  99. ABZ'2014 conference (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    1 jan. 201431 dec. 2014

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  100. ARTEMIS (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    1 jan. 201431 dec. 2014

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  101. Advances of Systems of Systems (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    1 jan. 201431 dec. 2014

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  102. Formal Methods (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    1 jan. 201431 dec. 2014

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  103. FormaliSE 2014 workshop at ICSE 2014 (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    1 jan. 201431 dec. 2014

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  104. ICFEM (Ekstern organisation)

    Peter Gorm Larsen (Medlem)

    1 jan. 201431 dec. 2014

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

Forrige 1 2 Næste