Department of Informatics and Mathematical Modeling

  1. 2010
  2. NordSecMob Network meeting

    Flemming Stassen (Representative), 6 May 2010

    Activity: Other research and communication activitiesPeriod visiting other institutions

  3. Talentudvikling og karriererådgivning

    Anne Elisabeth Haxthausen (Participant), 17 May 20107 Dec 2010

    Activity: Lecture and oral contribution

  4. 5-års seminar om Lavenergihuset i Sisimiut

    Henrik Madsen (Speaker), 2 Jun 2010

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

  5. 5-års seminar om Lavenergihuset i Sisimiut

    Philip Hvidthøft Delff Andersen (Speaker), 2 Jun 2010

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

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

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

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

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

  10. Analysis of Astaxanthin in Fish Feed Pellets

    Martin Georg Ljungqvist (Speaker), 4 Oct 2010

    Activity: Lecture and oral contribution

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

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