Programming, Logic and Intelligent Systems

Activities

Activities per year

1999 2020

• 86 Organisation and participation in conference
• 73 Lecture and oral contribution
• 72 Membership in committee, council, board
• 33 Peer review of manuscripts
• 90 More
  • 25 Membership in review committee
  • 23 Participation in workshop, seminar, course
  • 11 Visiting an external academic institution
  • 10 Examination
  • 9 Editor of Research journal
  • 6 Other
  • 4 Hosting an academic visitor
  • 1 Membership in board of company or public organisation
  • 1 Membership in research network

Activities per year

Search results

• Reviewer for tidsskrift "Journal of Computer and System Sciences" (Journal)

  Henning Christiansen (Peer reviewer)

  2011

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Higher Order and Symbolic Computation (Journal)

  John Patrick Gallagher (Peer reviewer)

  2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer på kapitel i bog "Linguistics, Biology and Computer Science: Interplays"; del af seriee "Mathematics, Computing, Language, and the Life" (Journal)

  Henning Christiansen (Peer reviewer)

  2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• IOSPress, Integrated Computer-Aided Engineering, International Journal (Journal)

  Troels Andreasen (Peer reviewer)

  1 Jan 2010 → 31 Dec 2012

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• ICLP 2010, International Conference for Logic Programming (Event)

  Henning Christiansen (Peer reviewer)

  16 Jul 2010 → 19 Jul 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Theory and Practice of Logic Programming (Journal)

  Henning Christiansen (Peer reviewer)

  2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer for tidsskrift "Knowledge based systems" (Journal)

  Henning Christiansen (Peer reviewer)

  2010 → …

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Lecture Notes in Computer Science (Journal)

  Henning Christiansen (Editor)

  1 Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Springer (Publisher)

  Henning Christiansen (Editor)

  1 Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Springer (Publisher)

  Henning Christiansen (Editor)

  1 Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Springer (Publisher)

  Henning Christiansen (Editor)

  1 Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Proceedings of Sixth International Workshop on Constraint Handling RulesPasadena, California at the occasion of ICLP 2009 : Scientific report, Informatics, Katholeike Universiteit, Leuven, CW 555 (Journal)

  Henning Christiansen (Editor)

  1 Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Journal of Symbolic Computation in Software Science (Journal)

  John Patrick Gallagher (Peer reviewer)

  2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Proceedings of 9th Industrial Conference on Data Mining ICDM´2009 : Lecture Notes of Computer Science, vol. 5633 (Journal)

  Henning Christiansen (Editor)

  1 Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Practical Aspects of Declarative Languages11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings : Lecture Notes in Computer Science 5418 (Publisher)

  Henning Christiansen (Editor)

  1 Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Springer (Publisher)

  Henning Christiansen (Editor)

  1 Jan 2008

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Theory and Practice of Logic Programming (Journal)

  John Patrick Gallagher (Peer reviewer)

  2008 → 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Lecture Notes in Computer Science (Journal)

  Henning Christiansen (Editor)

  1 Jan 2008

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer for tidsskrift "Knowledge based systems" (Journal)

  Troels Andreasen (Peer reviewer)

  1 Jan 2008 → 31 Dec 2012

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Proceedinds of The 15th International Static Analysis Symposium, SAS 2008 (Journal)

  Henning Christiansen (Editor)

  1 Jan 2008

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer for Natural Sciences and Engineering Research Council of Canada (Journal)

  Henning Christiansen (Editor)

  1 Jan 2008

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Information and Computation (Journal)

  John Patrick Gallagher (Peer reviewer)

  2008 → 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Fuzzy Sets and Systems (Journal)

  Henning Christiansen (Editor)

  1 Jan 2008

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Proceedings of Reviewer for ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08) (Journal)

  Henning Christiansen (Editor)

  1 Jan 2007

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer for Højteknologifonden (Journal)

  Henning Christiansen (Editor)

  1 Jan 2007

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Lecture Notes in Computer Science (Journal)

  Mads Rosendahl (Editor)

  1 Jan 2007

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Sigplan Notices (Journal)

  Mads Rosendahl (Editor)

  1 Jan 2007

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Elsevier, Pattern Recognition Letters (Journal)

  Troels Andreasen (Peer reviewer)

  1 Jan 2007 → 31 Dec 2012

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Information Processing & Management (Journal)

  Troels Andreasen (Peer reviewer)

  1 Jan 2007 → 31 Dec 2012

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• IEEE Transactions on Systems, Man and Cybernetics Part B (Journal)

  Troels Andreasen (Peer reviewer)

  1 Jan 2006 → 31 Dec 2012

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• ACM Transactions on Programming Languages and Systems (TOPLAS) (Journal)

  John Patrick Gallagher (Peer reviewer)

  2006 → 2011

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Fuzzy Sets and Systems (Journal)

  Troels Andreasen (Peer reviewer)

  1 Jan 2005 → 31 Dec 2012

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Journal of Intelligent Information Systems (Journal)

  Troels Andreasen (Peer reviewer)

  1 Jan 2004 → 31 Dec 2012

  Activity: Editorial work and peer review › Peer review of manuscripts › Research