Department of Informatics and Mathematical Modeling
- 2011
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
Workshop Integrale Abflusssteuerung DWA-AG ES-2.4
Roland Löwe (Speaker), 14 Nov 2011Activity: Participation in conference/workshop/course/seminar › Participation in workshop, seminar, course
Population Ecology
Gilles Guillot (Reviewer), 2011 → 2012Activity: Ongoing editorial work › Editor of Research journal
- 2010
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, the Open Statistics and Probability Journal
Gilles Guillot (Reviewer), , 1 Jan 2010 → …Activity: Participation in council, board, committee and network › Membership in committee, council, board
Reviewer for BMC Bioinformatics, Biometrics, Conservation Genetics, Entropy, Genetics, Journal of Geographical Systems, Molecular Biology and Evolution, Molecular Ecology, Molecular Ecology Resources, Statistics and Probability Letters
Gilles Guillot (Reviewer), 1 Jan 2010 → 31 Dec 2010Activity: Ongoing editorial work › Peer review of manuscripts
NordSecMob Network meeting
Flemming Stassen (Representative), Aalto University, Espoo, Finland, 18 Jan 2010 → 19 Jan 2010Activity: Other research and communication activities › Period visiting other institutions
JAIST Advanced School on Formal Specification and Systems Verification 2010 ( JAIST-FSSV2010)
Anne Elisabeth Haxthausen (Participant), 1 Mar 2010 → 5 Mar 2010Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
NordSecMob Network meeting
Flemming Stassen (Representative), , 6 May 2010Activity: Other research and communication activities › Period visiting other institutions
Talentudvikling og karriererådgivning
Anne Elisabeth Haxthausen (Participant), , 17 May 2010 → 7 Dec 2010Activity: Lecture and oral contribution