Department of Informatics and Mathematical Modeling
- 2010
5-års seminar om Lavenergihuset i Sisimiut
Philip Hvidthøft Delff Andersen (Speaker), 2 Jun 2010Activity: Participation in conference/workshop/course/seminar › Participation in workshop, seminar, course
An Introduction to Formal Methods for Software Development
Anne Elisabeth Haxthausen (Invited speaker), Banedanmark (Rail Net Denmark), 25 Jun 2010Activity: Other research and communication activities › External teaching and subject coordination
73rd Annual Meeting of the Institute of Mathematical Statistics
Gilles Guillot (Chairman), 9 Aug 2010 → 13 Aug 2010Activity: Participation in conference/workshop/course/seminar › Participation in workshop, seminar, course
An Introduction to Formal Methods for the Development of Safety-critical Applications
Anne Elisabeth Haxthausen (Invited speaker), Trafikstyrelsen (Danish Transport Authority), 1 Sep 2010Activity: Other research and communication activities › External teaching and subject coordination
Sociale robotter i støbeskeen : Artikel om min forskning på videnskab.dk
Thomas Bolander (Interview person), , 2 Sep 2010Activity: Appearance in mass media › Participation in Interview for Printed Media
Analysis of Astaxanthin in Fish Feed Pellets
Martin Georg Ljungqvist (Speaker), , 4 Oct 2010Activity: Lecture and oral contribution
Official visit DTU KAIST (Republic of Korea)
Flemming Stassen (Invited speaker), KAIST, Daejeon, Republic of Korea, 11 Oct 2010 → 15 Oct 2010Activity: Other research and communication activities › Period visiting other institutions
Formal Methods : A Tutorial on Model-oriented Specification
Anne Elisabeth Haxthausen (Course lecturer), , 14 Oct 2010Activity: Lecture and oral contribution
Member of the review board for a VIP position at Engineering College of Århus
Anne Elisabeth Haxthausen (Reviewer), , 22 Nov 2010 → 1 Dec 2010Activity: Participation in council, board, committee and network › Membership in committee, council, board
Associate Editor, Population Ecology
Gilles Guillot (Member), , 2010 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board