Peter Gorm Larsen

  1. 2018
  2. Networking Dinner for researchers & company representatives

    Peter Gorm Larsen (Participant), Erich Prem (Participant), Tim Llewellyn (Participant)
    3 Dec 2018

    Activity: Other activity typesOther

  3. The Vienna Development Method (VDM)

    Peter Gorm Larsen (Lecturer)
    16 Oct 2018

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Lecturer)
    13 Mar 2018

    Activity: Talk or presentation typesLecture and oral contribution

  5. OnTheMove Federated Conferences & Workshops 2018 (Event)

    Peter Gorm Larsen (Member)
    2018

    Activity: Membership typesMembership in committee, council, board

  6. (7TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (Event)

    Peter Gorm Larsen (Member)
    20182019

    Activity: Membership typesMembership in committee, council, board

  7. 23rd International Conference on Formal Methods for Industrial Critical Systems (Event)

    Peter Gorm Larsen (Member)
    2018

    Activity: Membership typesMembership in committee, council, board

  8. ACM Transactions on Software Engineering and Methodology (Journal)

    Peter Gorm Larsen (Reviewer)
    2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  9. ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018 (Event)

    Peter Gorm Larsen (Member)
    2018

    Activity: Membership typesMembership in committee, council, board

  10. Journal of Applied Sciences (Journal)

    Peter Gorm Larsen (Editor)
    2018 → …

    Activity: Publication peer-review and editorial work typesEditor of Research journalCommunication

  11. Journal of Systems and Software (Journal)

    Peter Gorm Larsen (Reviewer)
    2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  12. Spring Conference of Young Scientists on Software Engineering (Spring / Summer Young Researchers Colloquium on Software Engineering - SYRCoSE) (Event)

    Peter Gorm Larsen (Member)
    20182019

    Activity: Membership typesMembership in committee, council, board

  13. The 16th Overture Workshop (Event)

    Peter Würtz Vinther Tran-Jørgensen (Member), Peter Gorm Larsen (Member)
    2018

    Activity: Membership typesMembership in committee, council, board

  14. 2017
  15. Hvad gør digitaliseringen ved virksomheder og samfund?

    Peter Gorm Larsen (Speaker)
    8 Nov 2017

    Activity: Participating in or organising an event typesParticipation in or organisation of workshop, seminar or course

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

    Peter Gorm Larsen (Lecturer)
    3 Oct 2017

    Activity: Talk or presentation typesLecture and oral contribution

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

    Peter Gorm Larsen (Lecturer)
    27 Sep 2017

    Activity: Talk or presentation typesLecture and oral contribution

  18. FMICS/AVOCS 2017 (Event)

    Peter Gorm Larsen (Member)
    18 Sep 201720 Sep 2017

    Activity: Membership typesMembership in committee, council, board

  19. IEEE International Workshop on Formal Methods Integration (Event)

    Peter Gorm Larsen (Member)
    4 Aug 20176 Aug 2017

    Activity: Membership typesMembership in committee, council, board

  20. Opponent at PhD defence

    Peter Gorm Larsen (Examiner)
    26 Jun 2017

    Activity: Examination typesExamination

  21. SYRCoSE 2017 (Event)

    Peter Gorm Larsen (Member)
    31 May 20172 Jun 2017

    Activity: Membership typesMembership in committee, council, board

  22. Intro to Cyber-Physical Systems and Smartness

    Peter Gorm Larsen (Lecturer)
    21 Apr 2017

    Activity: Talk or presentation typesLecture and oral contribution

  23. The INTO-CPS Project

    Peter Gorm Larsen (Lecturer)
    21 Apr 2017

    Activity: Talk or presentation typesLecture and oral contribution

  24. 16th International Conference on Software Engineering and Formal Methods (Event)

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

  25. 1st International Workshop on Robotics Software Engineering (Event)

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

  26. 22nd International Symposium on Formal Methods (Event)

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

  27. 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z (Event)

    Peter Gorm Larsen (Member)
    20172018

    Activity: Membership typesMembership in committee, council, board

Previous 1 2 3 4 Next