Department of Informatics and Mathematical Modeling

  1. 2010
  2. An Introduction to Formal Methods for Software Development

    Anne Elisabeth Haxthausen (Invited speaker), Banedanmark (Rail Net Denmark), 25 Jun 2010

    Activity: Other research and communication activitiesExternal teaching and subject coordination

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

    Gilles Guillot (Chairman), 9 Aug 201013 Aug 2010

    Activity: Participation in conference/workshop/course/seminarParticipation in workshop, seminar, course

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

    Anne Elisabeth Haxthausen (Invited speaker), Trafikstyrelsen (Danish Transport Authority), 1 Sep 2010

    Activity: Other research and communication activitiesExternal teaching and subject coordination

  5. Sociale robotter i støbeskeen: Artikel om min forskning på videnskab.dk

    Thomas Bolander (Interview person), 2 Sep 2010

    Activity: Appearance in mass mediaParticipation in Interview for Printed Media

  6. Analysis of Astaxanthin in Fish Feed Pellets

    Martin Georg Ljungqvist (Speaker), 4 Oct 2010

    Activity: Lecture and oral contribution

  7. Official visit DTU KAIST (Republic of Korea)

    Flemming Stassen (Invited speaker), KAIST, Daejeon, Republic of Korea, 11 Oct 201015 Oct 2010

    Activity: Other research and communication activitiesPeriod visiting other institutions

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

    Anne Elisabeth Haxthausen (Course lecturer), 14 Oct 2010

    Activity: Lecture and oral contribution

  9. Member of the review board for a VIP position at Engineering College of Århus

    Anne Elisabeth Haxthausen (Reviewer), 22 Nov 20101 Dec 2010

    Activity: Participation in council, board, committee and networkMembership in committee, council, board

  10. Associate Editor, Population Ecology

    Gilles Guillot (Member), 2010 → …

    Activity: Participation in council, board, committee and networkMembership in committee, council, board

  11. Editorial Board, The Open Statistics and Probability Journal

    Gilles Guillot (Editor), 2010 → …

    Activity: Ongoing editorial workEditor of Research journal

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