Department of Informatics and Mathematical Modeling
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
An Introduction to Formal Methods for Software Development
Anne Elisabeth Haxthausen (Invited speaker), Banedanmark, Copenhagen, 7 Oct 2011Activity: Other research and communication activities › External teaching and subject coordination
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
An Introduction to Multisensory Perception
Tobias Andersen (Invited speaker), , 1 Jan 2008 → …Activity: Other research and communication activities › External teaching and subject coordination
An Introduction to Multisensory Perception
Tobias Andersen (Invited speaker), Aalborg University, Ballerup, Denmark, 1 Jan 2007 → …Activity: Other research and communication activities › External teaching and subject coordination
Assessment Committee for a post.doc. position
Anne Elisabeth Haxthausen (Member), , 21 Nov 2012 → 21 Dec 2012Activity: Participation in council, board, committee and network › Membership in committee, council, board
Associate Editor, Journal of the Royal Statistical Society, Series A
Gilles Guillot (Member), , Jun 2012 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
Associate Editor Molecular Ecology
Gilles Guillot (Member), , 1 Jan 2009 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
Associate Editor Population Ecology
Gilles Guillot (Reviewer), , 1 Jan 2010 → …Activity: 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