Programmering, logik og intelligente systemer

Aktiviteter

Aktiviteter pr. år 1999 2007 2008 2009 2010 2024

• 98 Organisation og deltagelse i konference
• 93 Medlemskab af udvalg, råd og nævn
• 89 Foredrag og mundtlige bidrag
• 41 Peer reviewer/fagfællebedømmer af manuskripter
• 106 Mere
  • 29 Deltagelse i workshop, seminar og kursus
  • 27 Medlemskab af bedømmelsesudvalg
  • 15 Eksamination
  • 11 Besøger en ekstern, akademisk institution
  • 9 Redaktør af tidsskrift
  • 7 Andet
  • 4 Vært for en akademisk besøgende
  • 2 Medlemskab af forskningsnetværk
  • 1 Redaktør af uafslutttet antologi/samleværk
  • 1 Medlemskab af styrelse i virksomhed eller organisation

Aktiviteter pr. år

Søgeresultater

• ACM Conference on Fairness, Accountability, and Transparency 2024 (Begivenhed)

  Jens Ulrik Hansen (Fagfællebedømmer)

  22 jan. 2024 → 6 jun. 2024

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• 7th International Conference on the History and Philosophy of Computing (Begivenhed)

  Jens Ulrik Hansen (Redaktør)

  18 okt. 2023 → 20 okt. 2023

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• 26th European Conference on Artificial Intelligence ECAI 2023 (Begivenhed)

  Jens Ulrik Hansen (Fagfællebedømmer)

  19 maj 2023 → 5 okt. 2023

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Nordic Workshop on Programming Theory (Begivenhed)

  Morten Rhiger (Fagfællebedømmer)

  2 nov. 2022 → 4 nov. 2025

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• The 34th Symposium on Implementation and Application of Functional Languages (Begivenhed)

  Morten Rhiger (Fagfællebedømmer)

  31 aug. 2022 → 2 sep. 2022

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• International Journal of Approximate Reasoning (Tidsskrift)

  Henning Christiansen (Fagfællebedømmer)

  2021

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Artificial Intelligence (Tidsskrift)

  Henning Christiansen (Fagfællebedømmer)

  2020

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Frontiers in Robotics and AI (Tidsskrift)

  Henning Christiansen (Fagfællebedømmer)

  2020

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Fagfællebedømmer)

  2011

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Fagfællebedømmer)

  16 jul. 2010 → 19 jul. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Troels Andreasen (Fagfællebedømmer)

  1 jan. 2010 → 31 dec. 2012

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Fagfællebedømmer)

  2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Higher Order and Symbolic Computation (Tidsskrift)

  John Patrick Gallagher (Fagfællebedømmer)

  2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Fagfællebedømmer)

  2010 → …

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Theory and Practice of Logic Programming (Tidsskrift)

  Henning Christiansen (Fagfællebedømmer)

  2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Lecture Notes in Computer Science (Tidsskrift)

  Henning Christiansen (Redaktør)

  1 jan. 2009

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Redaktør)

  1 jan. 2009

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Springer (Forlag)

  Henning Christiansen (Redaktør)

  1 jan. 2009

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Springer (Forlag)

  Henning Christiansen (Redaktør)

  1 jan. 2009

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Springer (Forlag)

  Henning Christiansen (Redaktør)

  1 jan. 2009

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Redaktør)

  1 jan. 2009

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Redaktør)

  1 jan. 2009

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Journal of Symbolic Computation in Software Science (Tidsskrift)

  John Patrick Gallagher (Fagfællebedømmer)

  2009

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Lecture Notes in Computer Science (Tidsskrift)

  Henning Christiansen (Redaktør)

  1 jan. 2008

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Redaktør)

  1 jan. 2008

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Troels Andreasen (Fagfællebedømmer)

  1 jan. 2008 → 31 dec. 2012

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Fuzzy Sets and Systems (Tidsskrift)

  Henning Christiansen (Redaktør)

  1 jan. 2008

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Springer (Forlag)

  Henning Christiansen (Redaktør)

  1 jan. 2008

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Redaktør)

  1 jan. 2008

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Theory and Practice of Logic Programming (Tidsskrift)

  John Patrick Gallagher (Fagfællebedømmer)

  2008 → 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Information and Computation (Tidsskrift)

  John Patrick Gallagher (Fagfællebedømmer)

  2008 → 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Sigplan Notices (Tidsskrift)

  Mads Rosendahl (Redaktør)

  1 jan. 2007

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Reviewer for Højteknologifonden (Tidsskrift)

  Henning Christiansen (Redaktør)

  1 jan. 2007

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Lecture Notes in Computer Science (Tidsskrift)

  Mads Rosendahl (Redaktør)

  1 jan. 2007

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Information Processing & Management (Tidsskrift)

  Troels Andreasen (Fagfællebedømmer)

  1 jan. 2007 → 31 dec. 2012

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Henning Christiansen (Redaktør)

  1 jan. 2007

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Elsevier, Pattern Recognition Letters (Tidsskrift)

  Troels Andreasen (Fagfællebedømmer)

  1 jan. 2007 → 31 dec. 2012

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Troels Andreasen (Fagfællebedømmer)

  1 jan. 2006 → 31 dec. 2012

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  John Patrick Gallagher (Fagfællebedømmer)

  2006 → 2011

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Fuzzy Sets and Systems (Tidsskrift)

  Troels Andreasen (Fagfællebedømmer)

  1 jan. 2005 → 31 dec. 2012

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Journal of Intelligent Information Systems (Tidsskrift)

  Troels Andreasen (Fagfællebedømmer)

  1 jan. 2004 → 31 dec. 2012

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning