Programming, Logic and Intelligent Systems

Activities

Activities per year 1999 2007 2008 2009 2010 2025

• 104 Organisation and participation in conference
• 98 Lecture and oral contribution
• 93 Membership in committee, council, board
• 41 Peer review of manuscripts
• 112 More
  • 32 Participation in workshop, seminar, course
  • 28 Membership in review committee
  • 16 Examination
  • 11 Visiting an external academic institution
  • 9 Editor of Research journal
  • 7 Other
  • 4 Hosting an academic visitor
  • 3 Membership in research network
  • 1 Editor of unfinished research anthology/collection
  • 1 Membership in board of company or public organisation

Activities per year

Search results

• PhD committee for Pavel Karpashevich thesis Designing Monstrous Experiences Through Soma Design (Event)

  Hobye, M. (Member)

  15 Jul 2023

  Activity: Membership › Membership in review committee

• Ph.D. defence: Formally Correct Deduction Methods for Computational Logic (Asta Halkjær From) (Event)

  Braüner, T. (Member)

  21 Apr 2023

  Activity: Membership › Membership in review committee

• Universitat Rovira i Virgili (External organisation)

  Christiansen, H. (Member)

  9 May 2019

  Activity: Membership › Membership in review committee

• Tableau-based decision procedures for epistemic and temporal epistemic logics (Mai Lise Ajspur) (Event)

  Braüner, T. (Member)

  31 Oct 2013

  Activity: Membership › Membership in review committee

• Ph.d. bedømmelsesudvalg (External organisation)

  Braüner, T. (Chairman)

  31 Oct 2013

  Activity: Membership › Membership in review committee

• Linköping University (External organisation)

  Christiansen, H. (Member)

  9 Oct 2012

  Activity: Membership › Membership in review committee

• Ph.d. bedømmelsesudvalg (External organisation)

  Rosendahl, M. (Member)

  28 Feb 2012

  Activity: Membership › Membership in review committee

• University of Copenhagen (External organisation)

  Christiansen, H. (Member)

  13 Apr 2011 → 12 Dec 2011

  Activity: Membership › Membership in review committee

• University of Granada (External organisation)

  Andreasen, T. (Member)

  1 Apr 2011 → 1 Jul 2011

  Activity: Membership › Membership in review committee

• University of Copenhagen (External organisation)

  Christiansen, H. (Member)

  1 Apr 2011 → 1 Oct 2011

  Activity: Membership › Membership in review committee

• Aalborg University (External organisation)

  Andreasen, T. (Member)

  1 Mar 2011 → 30 Jun 2011

  Activity: Membership › Membership in review committee

• Linköping University (External organisation)

  Christiansen, H. (Member)

  19 Nov 2010

  Activity: Membership › Membership in review committee

• Linköping University (External organisation)

  Christiansen, H. (Member)

  1 Sept 2010 → 19 Nov 2010

  Activity: Membership › Membership in review committee

• Aalborg University (External organisation)

  Andreasen, T. (Member)

  1 Apr 2010 → 30 Jun 2010

  Activity: Membership › Membership in review committee

• Trinity College Dublin (External organisation)

  Gallagher, J. P. (Chairman)

  2010 → 2012

  Activity: Membership › Membership in review committee

• Science Research Council Belgium (FUNDP) (External organisation)

  Gallagher, J. P. (Member)

  2010

  Activity: Membership › Membership in review committee

• Technical University of Denmark (External organisation)

  Andreasen, T. (Member)

  1 Oct 2009 → 15 Dec 2009

  Activity: Membership › Membership in review committee

• University of Rennes (External organisation)

  Gallagher, J. P. (Member)

  Oct 2009

  Activity: Membership › Membership in review committee

• Universidad Politécnica de Madrid (External organisation)

  Gallagher, J. P. (Member)

  Oct 2009

  Activity: Membership › Membership in review committee

• Ph.d bedømmelsesudvalg (External organisation)

  Christiansen, H. (Member)

  1 May 2009 → 3 Sept 2009

  Activity: Membership › Membership in review committee

• Distinguished Dissertation Award Reviewer - GULP Association (Group of Users and researchers of Logic Programming (External organisation)

  Gallagher, J. P. (Member)

  2009

  Activity: Membership › Membership in review committee

• CBIT (External organisation)

  Christiansen, H. (Member)

  1 Jun 2008 → 1 Oct 2008

  Activity: Membership › Membership in review committee

• Linköping University (External organisation)

  Gallagher, J. P. (Member)

  Feb 2008

  Activity: Membership › Membership in review committee

• Partial Evaluation and Program Manipulation' 08 (External organisation)

  Rosendahl, M. (Member)

  7 Jan 2008 → 8 Jan 2008

  Activity: Membership › Membership in review committee

• Research Council of Norway (External organisation)

  Andreasen, T. (Member)

  1 Nov 2007 → 1 May 2008

  Activity: Membership › Membership in review committee

• Referee for the Research Fund Council of Chile: Research Council (FONDECYT) (External organisation)

  Andreasen, T. (Member)

  1 Aug 2007 → 1 May 2008

  Activity: Membership › Membership in review committee

• Technical University of Denmark (External organisation)

  Andreasen, T. (Member)

  1 Mar 2007 → 1 Jul 2007

  Activity: Membership › Membership in review committee

• IEEE Computational Intelligence Society (External organisation)

  Andreasen, T. (Member)

  1 Jan 2005 → 31 Dec 2012

  Activity: Membership › Membership in review committee