Programming, Logic and Intelligent Systems

Activities

Activities per year 1999 2007 2008 2009 2010 2023

• 95 Organisation and participation in conference
• 83 Membership in committee, council, board
• 81 Lecture and oral contribution
• 39 Peer review of manuscripts
• 97 More
  • 27 Membership in review committee
  • 26 Participation in workshop, seminar, course
  • 11 Visiting an external academic institution
  • 10 Examination
  • 9 Editor of Research journal
  • 7 Other
  • 4 Hosting an academic visitor
  • 2 Membership in research network
  • 1 Membership in board of company or public organisation

Activities per year

Search results

• Tilburg University

  Henning Christiansen (Visiting researcher)

  19 Feb 2012 → 2 Mar 2012

  Activity: Visiting an external institution › Visiting an external academic institution

• Universitat Rovira i Virgili

  Henning Christiansen (Visiting researcher)

  30 May 2010 → 5 Jun 2010

  Activity: Visiting an external institution › Visiting an external academic institution

• École pour l'informatique et les nouvelles technologies

  Henning Christiansen (Visiting lecturer)

  19 Jan 2010 → 21 Jan 2010

  Activity: Visiting an external institution › Visiting an external academic institution

• Universitat Rovira i Virgili

  Henning Christiansen (Visiting researcher)

  7 Nov 2010 → 10 Nov 2010

  Activity: Visiting an external institution › Visiting an external academic institution

• ETH Zürich

  Henning Christiansen (Visiting researcher)

  19 Mar 2010 → 21 Mar 2010

  Activity: Visiting an external institution › Visiting an external academic institution

• Norges teknisk-naturvitenskapelige universitet

  Henning Christiansen (Visiting researcher)

  14 Jun 2009 → 16 Jun 2009

  Activity: Visiting an external institution › Visiting an external academic institution

• Universitat Rovira i Virgili

  Henning Christiansen (Visiting researcher)

  15 Apr 2009 → 20 Apr 2009

  Activity: Visiting an external institution › Visiting an external academic institution

• Universitat Rovira i Virgili

  Henning Christiansen (Visiting researcher)

  15 Oct 2009 → 28 Oct 2009

  Activity: Visiting an external institution › Visiting an external academic institution

• Aalborg University

  Henning Christiansen (Visiting researcher)

  24 Jun 2008 → 26 Jun 2008

  Activity: Visiting an external institution › Visiting an external academic institution

• Universidade NOVA de Lisboa

  Henning Christiansen (Visiting researcher)

  24 Mar 2008 → 28 Mar 2008

  Activity: Visiting an external institution › Visiting an external academic institution

• University of Provence Aix-Marseille I

  Henning Christiansen (Visiting researcher)

  18 Sept 2007

  Activity: Visiting an external institution › Visiting an external academic institution