Aarhus University Seal / Aarhus Universitets segl

Mogens Nielsen

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

    Mogens Nielsen (Member)
    2013

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    2013

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Chairman)
    2012

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    2012

    Activity: Membership typesMembership in review committee

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

    Mogens Nielsen (Member)
    2012

    Activity: Membership typesMembership in review committee

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

    Mogens Nielsen (Member)
    2012

    Activity: Membership typesMembership in review committee

  9. 2011
  10. ERC Starting Grant (External organisation)

    Mogens Nielsen (Member)
    1 Oct 2011 → …

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Chairman)
    2011

    Activity: Membership typesMembership in committee, council, board

  12. Computational Trust

    Mogens Nielsen (Lecturer)
    2011

    Activity: Talk or presentation typesLecture and oral contribution

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

    Mogens Nielsen (Member)
    2011 → …

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    2011

    Activity: Membership typesMembership in review committee

  15. 2010
  16. Workshop on Formal Aspects of Security & Trust, PC  member

    Mogens Nielsen (Organizer)
    16 Sep 201017 Sep 2010

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Mogens Nielsen (Organizer)
    11 Jul 201014 Jul 2010

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  18. University of Upppsala, Sweden (External organisation)

    Mogens Nielsen (Member)
    1 Mar 20101 Jun 2010

    Activity: Membership typesMembership in review committee

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

    Mogens Nielsen (Member)
    2010

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    1 Dec 20091 Mar 2010

    Activity: Membership typesMembership in review committee

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

    Mogens Nielsen (Member)
    1 Sep 20091 Feb 2010

    Activity: Membership typesMembership in committee, council, board

  23. Gödel Prize (External organisation)

    Mogens Nielsen (Member)
    1 Aug 20091 Aug 2011

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    1 Jul 20091 Jul 2010

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Organizer)
    24 Jan 200930 Jan 2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Mogens Nielsen (Organizer)
    1 Jan 200912 Jul 2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Mogens Nielsen (Member)
    1 Jan 20091 Apr 2009

    Activity: Membership typesMembership in review committee

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

    Mogens Nielsen (Member)
    1 Jan 20091 Nov 2009

    Activity: Membership typesMembership in committee, council, board

  29. 2008
  30. Probabilistic Computational Trust

    Mogens Nielsen (Lecturer)
    15 Dec 2008

    Activity: Talk or presentation typesLecture and oral contribution

  31. Computational Trust

    Mogens Nielsen (Lecturer)
    14 Nov 2008

    Activity: Talk or presentation typesLecture and oral contribution

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

    Mogens Nielsen (Member)
    1 Sep 200831 Dec 2008

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    1 Jul 2008 → …

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Organizer)
    18 Jun 200820 Jun 2008

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  35. Computability in Europe 2008, PC member

    Mogens Nielsen (Organizer)
    15 Jun 200820 Jun 2008

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  36. Trust Models in Ubiquitous Computing

    Mogens Nielsen (Lecturer)
    18 Mar 2008

    Activity: Talk or presentation typesLecture and oral contribution

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

    Mogens Nielsen (Member)
    1 Oct 20071 Apr 2008

    Activity: Membership typesMembership in committee, council, board

  39. It-revolutionen - hvem revolutionerede hvad?

    Mogens Nielsen (Lecturer)
    18 Sep 2007

    Activity: Talk or presentation typesLecture and oral contribution

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

    Mogens Nielsen (Organizer)
    3 Sep 20079 Sep 2007

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  41. Security Issues in Concurrency, PC-member

    Mogens Nielsen (Organizer)
    3 Sep 2007

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Mogens Nielsen (Organizer)
    26 Aug 200731 Aug 2007

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Mogens Nielsen (Organizer)
    30 Jul 20072 Aug 2007

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Mogens Nielsen (Member)
    1 Apr 200731 May 2007

    Activity: Membership typesMembership in committee, council, board

  45. It-revolutionen - hvem revolutionerede hvad?

    Mogens Nielsen (Lecturer)
    20 Mar 2007

    Activity: Talk or presentation typesLecture and oral contribution

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

    Mogens Nielsen (Member)
    1 Nov 200631 Dec 2006

    Activity: Membership typesMembership in committee, council, board

  48. Ideas Programme Committee, FP7 (External organisation)

    Mogens Nielsen (Member)
    1 Oct 2006 → …

    Activity: Membership typesMembership in committee, council, board

  49. Danish National Research Foundation (External organisation)

    Mogens Nielsen (Member)
    1 Sep 200631 Dec 2011

    Activity: Membership typesMembership in committee, council, board

  50. Formal Aspects of Security and Trust (Journal)

    Mogens Nielsen (Editor)
    1 Aug 2006 → …

    Activity: Publication peer-review and editorial work typesEditor of Research journalCommunication

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

    Mogens Nielsen (Member)
    1 Jul 20061 Jul 2008

    Activity: Membership typesMembership in committee, council, board

  52. Academia Europaea (External organisation)

    Mogens Nielsen (Member)
    1 Jun 2006 → …

    Activity: Membership typesMembership in board of company or public organisation

  53. The Fourth International Conference on Trust Management, Lecturer

    Mogens Nielsen (Participant)
    16 May 200619 May 2006

    Activity: Other activity typesOther (prizes, external teaching and other activities) - External teaching and subject coordination

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

    Mogens Nielsen (Member)
    1 Jan 200631 Mar 2006

    Activity: Membership typesMembership in committee, council, board

  55. 2005
  56. Formal Models for Trust, Lecturer

    Mogens Nielsen (Participant)
    19 Sep 200524 Sep 2005

    Activity: Other activity typesOther (prizes, external teaching and other activities) - External teaching and subject coordination

  57. Computer Science Reviews (Journal)

    Mogens Nielsen (Editor)
    1 Aug 2005 → …

    Activity: Publication peer-review and editorial work typesEditor of Research journalCommunication

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

    Mogens Nielsen (Organizer)
    18 Jul 200519 Jul 2005

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  59. Invited speaker

    Mogens Nielsen (Lecturer)
    29 Apr 2005

    Activity: Talk or presentation typesLecture and oral contribution

  60. Trustworthy Global Computing, PC-member

    Mogens Nielsen (Organizer)
    7 Apr 20059 Apr 2005

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Mogens Nielsen (Member)
    1 Apr 2005 → …

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    1 Jul 20031 Sep 2006

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    1 Aug 20021 Aug 2006

    Activity: Membership typesMembership in committee, council, board

  66. Higher-Order and Symbolic Computation (Journal)

    Mogens Nielsen (Editor)
    1 Aug 2002 → …

    Activity: Publication peer-review and editorial work typesEditor of Research journalCommunication

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

    Mogens Nielsen (Member)
    1 Aug 20021 Aug 2006

    Activity: Membership typesMembership in committee, council, board

  68. Theoretical Computer Science (Journal)

    Mogens Nielsen (Editor)
    1 Aug 2002 → …

    Activity: Publication peer-review and editorial work typesEditor of Research journalCommunication

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

    Mogens Nielsen (Member)
    30 Jul 200228 Jul 2006

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    1 Aug 1999 → …

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    1 Aug 1996 → …

    Activity: Membership typesMembership in committee, council, board

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

    Mogens Nielsen (Member)
    1 Aug 1996 → …

    Activity: Membership typesMembership in committee, council, board