1. 2012
  2. Assessment Committee for a post.doc. position (External organisation)

    Haxthausen, A. E. (Member)
    21 Nov 201221 Dec 2012

    Activity: MembershipMembership in committee, council, board

  3. Danish Railway Conference 2012

    Haxthausen, A. E. (Participant)
    9 May 2012

    Activity: Participating in or organising an eventParticipating in or organising a conference

  4. Conference on European Rail Traffic Management System

    Haxthausen, A. E. (Participant)
    17 Apr 2012

    Activity: Participating in or organising an eventParticipating in or organising workshops, courses, seminars etc.

  5. 2011
  6. MicroSoft Research Software Summit

    Haxthausen, A. E. (Participant)
    13 Apr 201115 Apr 2011

    Activity: Participating in or organising an eventParticipating in or organising a conference

  7. Effective Development and Verification of Railway Control Software

    Haxthausen, A. E. (Speaker)
    21 Jan 2011

    Activity: Talks and presentationsConference presentations

  8. 2010
  9. Member of the review board for a VIP position at Engineering College of Århus (External organisation)

    Haxthausen, A. E. (Reviewer)
    22 Nov 20101 Dec 2010

    Activity: MembershipMembership in committee, council, board

  10. Formal Methods: A Tutorial on Model-oriented Specification

    Haxthausen, A. E. (Course lecturer)
    14 Oct 2010

    Activity: Talks and presentationsConference presentations

  11. An Introduction to Formal Methods for the Development of Safety-critical Applications

    Haxthausen, A. E. (Speaker)
    1 Sep 2010

    Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

  12. An Introduction to Formal Methods for Software Development

    Haxthausen, A. E. (Speaker)
    25 Jun 2010

    Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

  13. Talentudvikling og karriererådgivning

    Haxthausen, A. E. (Participant)
    17 May 20107 Dec 2010

    Activity: Talks and presentationsConference presentations

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word