Activities 1982 2018

Filter
Membership in committee, council, board

ERCIM, The European Research Consortium for Informatics and Mathematics (External organisation)

Christiansen, H. (Member)
1 Jan 20081 Apr 2009

Activity: Membership in committee, council, board

DANAIM, Danish Research Association for Informatics and Mathematics (External organisation)

Christiansen, H. (Member)
6 Aug 2007 → …

Activity: Membership in committee, council, board

Roskilde University (Organisational unit)

Christiansen, H. (Member)
1 Aug 2005 → …

Activity: Membership in committee, council, board

CoLogNET, Network of Excellence in Computational Logic (External organisation)

Christiansen, H. (Member)
1 Aug 200230 Jun 2005

Activity: Membership in committee, council, board