Department of Informatics and Mathematical Modeling

51 - 60 out of 85Page size: 10
Sort by: Start year
  1. 2010
  2. Talentudvikling og karriererådgivning

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

    Activity: Lecture and oral contribution

  3. 5-års seminar om Lavenergihuset i Sisimiut

    Henrik Madsen (Speaker), 2 Jun 2010

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

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

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

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

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

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

  9. Analysis of Astaxanthin in Fish Feed Pellets

    Martin Georg Ljungqvist (Speaker), 4 Oct 2010

    Activity: Lecture and oral contribution

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

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

    Anne Elisabeth Haxthausen (Course lecturer), 14 Oct 2010

    Activity: Lecture and oral contribution

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