Department of Informatics and Mathematical Modeling

  1. 2010
  2. The Open Statistics & Probability Journal (Journal)

    Guillot, G. (Editor)
    2010 → …

    Activity: ResearchEditor of Research journal

  3. 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

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

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

    Activity: Talks and presentationsConference presentations

  5. Official visit DTU KAIST (Republic of Korea)

    Stassen, F. (Speaker)
    11 Oct 201015 Oct 2010

    Activity: OtherOther (prizes, external teaching and other activities) - Period visiting other institutions

  6. Analysis of Astaxanthin in Fish Feed Pellets

    Ljungqvist, M. G. (Speaker)
    4 Oct 2010

    Activity: Talks and presentationsConference presentations

  7. 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

  8. 73rd Annual Meeting of the Institute of Mathematical Statistics

    Guillot, G. (Chairman)
    9 Aug 201013 Aug 2010

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

  9. 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

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