Peter Gorm Larsen

  1. 2018
  2. The Vienna Development Method (VDM)

    Larsen, P. G. (Lecturer)
    16 Oct 2018

    Activity: Talk or presentationLecture and oral contribution

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

    Larsen, P. G. (Lecturer)
    13 Mar 2018

    Activity: Talk or presentationLecture and oral contribution

  4. OnTheMove Federated Conferences & Workshops 2018 (Event)

    Larsen, P. G. (Member)
    2018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    2018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Reviewer)
    2018

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  7. Journal of Applied Sciences (Journal)

    Larsen, P. G. (Editor)
    2018 → …

    Activity: Peer-review and editorial workEditor of Research journalCommunication

  8. Journal of Systems and Software (Journal)

    Larsen, P. G. (Reviewer)
    2018

    Activity: Peer-review and editorial workPeer review of manuscriptsResearch

  9. 2017
  10. Hvad gør digitaliseringen ved virksomheder og samfund?

    Larsen, P. G. (Speaker)
    8 Nov 2017

    Activity: Participation in or organisation af an eventParticipation in or organisation of workshop, seminar or course

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

    Larsen, P. G. (Lecturer)
    3 Oct 2017

    Activity: Talk or presentationLecture and oral contribution

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

    Larsen, P. G. (Lecturer)
    27 Sep 2017

    Activity: Talk or presentationLecture and oral contribution

  13. FMICS/AVOCS 2017 (Event)

    Larsen, P. G. (Member)
    18 Sep 201720 Sep 2017

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    4 Aug 20176 Aug 2017

    Activity: MembershipMembership in committee, council, board

  15. Opponent at PhD defence

    Larsen, P. G. (Examiner)
    26 Jun 2017

    Activity: Examination

  16. SYRCoSE 2017 (Event)

    Larsen, P. G. (Member)
    31 May 20172 Jun 2017

    Activity: MembershipMembership in committee, council, board

  17. Intro to Cyber-Physical Systems and Smartness

    Larsen, P. G. (Lecturer)
    21 Apr 2017

    Activity: Talk or presentationLecture and oral contribution

  18. The INTO-CPS Project

    Larsen, P. G. (Lecturer)
    21 Apr 2017

    Activity: Talk or presentationLecture and oral contribution

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

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

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  23. 6th International Conference on Model-Driven Engineering and Software Development (Event)

    Larsen, P. G. (Member)
    20172018

    Activity: MembershipMembership in committee, council, board

  24. Centre for Digitalisation, Big Data and Data Analytics (External organisation)

    Larsen, P. G. (Member)
    2017 → …

    Activity: MembershipMembership in board of company or public organisation

  25. Det Frie Forskningsråd (External organisation)

    Larsen, P. G. (Member)
    20172021

    Activity: MembershipMembership in committee, council, board

  26. FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING

    Larsen, P. G. (Chair person)
    20172018

    Activity: Participation in or organisation af an eventParticipation in or organisation of workshop, seminar or course

Previous 1 2 3 4 Next