Mogens Nielsen

  1. 2013
  2. Logic in Computer Science, LICS'13 (External organisation)

    Nielsen, M. (Member)
    2013

    Activity: MembershipMembership in committee, council, board

  3. Privacy, Trust Management and Security, IFIPTM'13 (External organisation)

    Nielsen, M. (Member)
    2013

    Activity: MembershipMembership in committee, council, board

  4. 2012
  5. Gödel Prize (External organisation)

    Nielsen, M. (Chairman)
    2012

    Activity: MembershipMembership in committee, council, board

  6. Mathematical Foundations of Computer Science, MFCS'12 (External organisation)

    Nielsen, M. (Member)
    2012

    Activity: MembershipMembership in review committee

  7. Principles of Security and Trust 2012 (External organisation)

    Nielsen, M. (Member)
    2012

    Activity: MembershipMembership in review committee

  8. Privacy, Trust Management and Security, IFIPTM'12 (External organisation)

    Nielsen, M. (Member)
    2012

    Activity: MembershipMembership in review committee

  9. 2011
  10. Assessment of Research, Reykjavik University, Iceland (External organisation)

    Nielsen, M. (Chairman)
    2011

    Activity: MembershipMembership in committee, council, board

  11. Computational Trust

    Nielsen, M. (Lecturer)
    2011

    Activity: Talk or presentationLecture and oral contribution

  12. Steering Committee for Principles of Security and Trust (External organisation)

    Nielsen, M. (Member)
    2011 → …

    Activity: MembershipMembership in committee, council, board

  13. Workshop on Formal Aspects of Security and Trust (External organisation)

    Nielsen, M. (Member)
    2011

    Activity: MembershipMembership in review committee

  14. ERC Starting Grant (External organisation)

    Nielsen, M. (Member)
    1 Oct 2011 → …

    Activity: MembershipMembership in committee, council, board

  15. 2010
  16. Assessment of Research, Reykjavik University, Iceland (External organisation)

    Nielsen, M. (Member)
    2010

    Activity: MembershipMembership in committee, council, board

  17. Workshop on Formal Aspects of Security & Trust, PC  member

    Nielsen, M. (Organizer)
    16 Sep 201017 Sep 2010

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  18. Annual IEEE Symposium on Logic in Computer Science, PC member

    Nielsen, M. (Organizer)
    11 Jul 201014 Jul 2010

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  19. University of Upppsala, Sweden (External organisation)

    Nielsen, M. (Member)
    1 Mar 20101 Jun 2010

    Activity: MembershipMembership in review committee

  20. 2009
  21. University of Uppsala, Sweden (External organisation)

    Nielsen, M. (Member)
    1 Dec 20091 Mar 2010

    Activity: MembershipMembership in review committee

  22. Assessment of Research, Reykjavik University, Iceland (External organisation)

    Nielsen, M. (Member)
    1 Sep 20091 Feb 2010

    Activity: MembershipMembership in committee, council, board

  23. Gödel Prize (External organisation)

    Nielsen, M. (Member)
    1 Aug 20091 Aug 2011

    Activity: MembershipMembership in committee, council, board

  24. Logic in Computer Science, LICS 2010 (External organisation)

    Nielsen, M. (Member)
    1 Jul 20091 Jul 2010

    Activity: MembershipMembership in committee, council, board

  25. Current Trends in Theory and Practice of Computer Science, SOFSEM'09, General Chair

    Nielsen, M. (Organizer)
    24 Jan 200930 Jan 2009

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  26. International Colloquium on Automata, Languages, and Programming, ICALP'09, PC-member

    Nielsen, M. (Organizer)
    1 Jan 200912 Jul 2009

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  27. PhD Evaluation Committee, University of Turin, Italy (External organisation)

    Nielsen, M. (Member)
    1 Jan 20091 Apr 2009

    Activity: MembershipMembership in review committee

  28. Workshop on Formal Aspects in Security and Trust (External organisation)

    Nielsen, M. (Member)
    1 Jan 20091 Nov 2009

    Activity: MembershipMembership in committee, council, board

  29. 2008
  30. Probabilistic Computational Trust

    Nielsen, M. (Lecturer)
    15 Dec 2008

    Activity: Talk or presentationLecture and oral contribution

  31. Computational Trust

    Nielsen, M. (Lecturer)
    14 Nov 2008

    Activity: Talk or presentationLecture and oral contribution

  32. Assessment of Research, Reykjavik University, Iceland (External organisation)

    Nielsen, M. (Member)
    1 Sep 200831 Dec 2008

    Activity: MembershipMembership in committee, council, board

  33. European Association for Theoretical Computer Science (External organisation)

    Nielsen, M. (Member)
    1 Jul 2008 → …

    Activity: MembershipMembership in committee, council, board

  34. FIP Conference on Privacy, Trust Management and Security, PC member

    Nielsen, M. (Organizer)
    18 Jun 200820 Jun 2008

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  35. Computability in Europe 2008, PC member

    Nielsen, M. (Organizer)
    15 Jun 200820 Jun 2008

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  36. Trust Models in Ubiquitous Computing

    Nielsen, M. (Lecturer)
    18 Mar 2008

    Activity: Talk or presentationLecture and oral contribution

  37. 2007
  38. Evaluationpanel for International PhD Schools in Sweden (External organisation)

    Nielsen, M. (Member)
    1 Oct 20071 Apr 2008

    Activity: MembershipMembership in committee, council, board

  39. It-revolutionen - hvem revolutionerede hvad?

    Nielsen, M. (Lecturer)
    18 Sep 2007

    Activity: Talk or presentationLecture and oral contribution

  40. Security Issues in Concurrency, PC-member

    Nielsen, M. (Organizer)
    3 Sep 2007

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  41. 18th International Conference on Concurrency Theory, PC-member

    Nielsen, M. (Organizer)
    3 Sep 20079 Sep 2007

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  42. 32nd International Symposium on Mathematical Foundations of Computer Science

    Nielsen, M. (Organizer)
    26 Aug 200731 Aug 2007

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  43. IFIP Conference on Privacy, Trust Management and Security, PC-member

    Nielsen, M. (Organizer)
    30 Jul 20072 Aug 2007

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  44. International Evaluation Panel, INRIA, France (External organisation)

    Nielsen, M. (Member)
    1 Apr 200731 May 2007

    Activity: MembershipMembership in committee, council, board

  45. It-revolutionen - hvem revolutionerede hvad?

    Nielsen, M. (Lecturer)
    20 Mar 2007

    Activity: Talk or presentationLecture and oral contribution

  46. 2006
  47. International Evaluation Panel IPA, The Netherlands (External organisation)

    Nielsen, M. (Member)
    1 Nov 200631 Dec 2006

    Activity: MembershipMembership in committee, council, board

  48. Ideas Programme Committee, FP7 (External organisation)

    Nielsen, M. (Member)
    1 Oct 2006 → …

    Activity: MembershipMembership in committee, council, board

  49. Danish National Research Foundation (External organisation)

    Nielsen, M. (Member)
    1 Sep 200631 Dec 2011

    Activity: MembershipMembership in committee, council, board

  50. Formal Aspects of Security and Trust (Journal)

    Nielsen, M. (Editor)
    1 Aug 2006 → …

    Activity: CommunicationEditor of Research journal

  51. European Association for Theoretical Computer Science (External organisation)

    Nielsen, M. (Member)
    1 Jul 20061 Jul 2008

    Activity: MembershipMembership in committee, council, board

  52. Academia Europaea (External organisation)

    Nielsen, M. (Member)
    1 Jun 2006 → …

    Activity: MembershipMembership in board of company or public organisation

  53. The Fourth International Conference on Trust Management, Lecturer

    Nielsen, M. (Participant)
    16 May 200619 May 2006

    Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

  54. International Evaluation Committee, INRIA, France (External organisation)

    Nielsen, M. (Member)
    1 Jan 200631 Mar 2006

    Activity: MembershipMembership in committee, council, board

  55. 2005
  56. Formal Models for Trust, Lecturer

    Nielsen, M. (Participant)
    19 Sep 200524 Sep 2005

    Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

  57. Computer Science Reviews (Journal)

    Nielsen, M. (Editor)
    1 Aug 2005 → …

    Activity: CommunicationEditor of Research journal

  58. Formal Aspects of Security and Trust, PC-member

    Nielsen, M. (Organizer)
    18 Jul 200519 Jul 2005

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  59. Invited speaker

    Nielsen, M. (Lecturer)
    29 Apr 2005

    Activity: Talk or presentationLecture and oral contribution

  60. Trustworthy Global Computing, PC-member

    Nielsen, M. (Organizer)
    7 Apr 20059 Apr 2005

    Activity: Participating in or organising an eventOrganisation of or participation in conference

  61. Advisory Panel for the Icelandic Centre of Excellence in Theoretical Computer Science (External organisation)

    Nielsen, M. (Member)
    1 Apr 2005 → …

    Activity: MembershipMembership in committee, council, board

  62. 2003
  63. Danish Councils for Independent Research (External organisation)

    Nielsen, M. (Member)
    1 Jul 20031 Sep 2006

    Activity: MembershipMembership in committee, council, board

  64. 2002
  65. ACM Special Interest Group on Algorithms and Computation Theory, SICACT (External organisation)

    Nielsen, M. (Member)
    1 Aug 20021 Aug 2006

    Activity: MembershipMembership in committee, council, board

  66. Higher-Order and Symbolic Computation (Journal)

    Nielsen, M. (Editor)
    1 Aug 2002 → …

    Activity: CommunicationEditor of Research journal

  67. Logic in Computer Science, LICS (External organisation)

    Nielsen, M. (Member)
    1 Aug 20021 Aug 2006

    Activity: MembershipMembership in committee, council, board

  68. Theoretical Computer Science (Journal)

    Nielsen, M. (Editor)
    1 Aug 2002 → …

    Activity: CommunicationEditor of Research journal

  69. European Association for Theoretical Computer Science (External organisation)

    Nielsen, M. (Member)
    30 Jul 200228 Jul 2006

    Activity: MembershipMembership in committee, council, board

  70. 1999
  71. International Federation for Information Processing, IFIP, TC1: Foundations of Computer Science (External organisation)

    Nielsen, M. (Member)
    1 Aug 1999 → …

    Activity: MembershipMembership in committee, council, board

  72. 1996
  73. Board of the European Educational Forum (External organisation)

    Nielsen, M. (Member)
    1 Aug 1996 → …

    Activity: MembershipMembership in committee, council, board

  74. Friends of the University of Aarhus (External organisation)

    Nielsen, M. (Member)
    1 Aug 1996 → …

    Activity: MembershipMembership in committee, council, board