Department of Informatics and Mathematical Modeling

  1. 2010
  2. Population Ecology

    Gilles Guillot (Editor), 2010 → …

    Activity: Ongoing editorial workEditor of Research journal

  3. 2011
  4. Effective Development and Verification of Railway Control Software

    Anne Elisabeth Haxthausen (Speaker), 21 Jan 2011

    Activity: Lecture and oral contribution

  5. NordSecMob Network meeting

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

    Activity: Other research and communication activitiesPeriod visiting other institutions

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

    Thomas Bolander (Speaker), 11 Apr 2011

    Activity: Appearance in mass mediaParticipation in TV Programme

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

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

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

  10. Multi-spectral Image Analysis for Astaxanthin Coating Classification

    Martin Georg Ljungqvist (Speaker), 27 May 2011

    Activity: Lecture and oral contribution

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

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