Department of Informatics and Mathematical Modeling

  1. 2011
  2. Effective Development and Verification of Railway Control Software

    Anne Elisabeth Haxthausen (Speaker), 21 Jan 2011

    Activity: Lecture and oral contribution

  3. NordSecMob Network meeting

    Flemming Stassen (Reviewer), Aalto University, Espoo, Finland, 26 Jan 201128 Jan 2011

    Activity: Other research and communication activitiesPeriod visiting other institutions

  4. Kunstig intelligens: Foredrag i Danskernes Akademi på DR2

    Thomas Bolander (Speaker), 11 Apr 2011

    Activity: Appearance in mass mediaParticipation in TV Programme

  5. MicroSoft Research Software Summit

    Anne Elisabeth Haxthausen (Participant), 13 Apr 201115 Apr 2011

    Activity: Participation in conference/workshop/course/seminarOrganisation of and participation in conference

  6. Har du talt med din computer i dag?: Sproglaboratoriet på DR P1

    Thomas Bolander (Interview person), 28 Apr 2011

    Activity: Appearance in mass mediaParticipation in Radio Programme

  7. Sprog, intelligens og kunstig intelligens: Interview på DR P1, Sproglaboratoriet

    Thomas Bolander (Interview person), 28 Apr 2011

    Activity: Appearance in mass mediaParticipation in Radio Programme

  8. Multi-spectral Image Analysis for Astaxanthin Coating Classification

    Martin Georg Ljungqvist (Speaker), 27 May 2011

    Activity: Lecture and oral contribution

  9. Towards a Semantics for VDM Core

    Anne Elisabeth Haxthausen (Course lecturer), 20 Jun 2011

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

  10. Kunstig intelligens: Danskernes Akademi på P1

    Thomas Bolander (Interview person), 8 Aug 201111 Aug 2011

    Activity: Appearance in mass mediaParticipation in Radio Programme

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