Programming, Logic and Intelligent Systems

Activities

Activities per year 1999 2007 2008 2009 2010 2024

• 98 Organisation and participation in conference
• 92 Membership in committee, council, board
• 89 Lecture and oral contribution
• 41 Peer review of manuscripts
• 106 More
  • 29 Participation in workshop, seminar, course
  • 27 Membership in review committee
  • 15 Examination
  • 11 Visiting an external academic institution
  • 9 Editor of Research journal
  • 7 Other
  • 4 Hosting an academic visitor
  • 2 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

• Foundations of Intelligent Systems: 27th International Symposium

  Masoumeh Vahedi (Speaker) & Henning Christiansen (Participant)

  17 Jun 2024 → 19 Jun 2024

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Dagstuhl Seminar Trustworthiness and Responsibility in AI – Causality, Learning, and Verification

  Jens Classen (Participant)

  17 Mar 2024 → 22 Mar 2024

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Workshop on the Implementation of Type Systems

  Morten Rhiger (Participant)

  28 Aug 2023

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Copenhagen Logic Gathering 2023

  Jens Classen (Speaker)

  17 Mar 2023

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Paneldebat ved reception for udgivelsen af bogen ’Smart Krig - Militær anvendelse af kunstig intelligens’

  Jens Ulrik Hansen (Participant)

  25 Jun 2021

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• MRC 2020 – Human-Centric and Contextual Systems. Eleventh International Workshop Modelling and Reasoning in Context

  Henning Christiansen (Organizer)

  29 Aug 2020

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• The 26th International Workshop on Functional and Logic Programming

  Henning Christiansen (Speaker) & Maja Hanne Kirkeby (Speaker)

  6 Sept 2018

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• 7th International Workshop on Confluence

  Henning Christiansen (Speaker)

  7 Jul 2018

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• DanSAS 2012

  Mads Rosendahl (Participant)

  24 Aug 2012

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• 8th Scandinavian Logic Symposium

  Henning Christiansen (Speaker)

  20 Aug 2012 → 21 Aug 2012

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• 4th Workshop on Reversible Computation

  Mads Rosendahl (Participant)

  2 Jul 2012 → 3 Jul 2012

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• 6th International Workshop on Constraints and Language Processing

  Henning Christiansen (Speaker)

  27 Sept 2011

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Om Brug af LaTeX og BibTeX

  Henning Christiansen (Organizer)

  6 May 2011

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Reasoning and language processing with Constraint Handling Rules

  Henning Christiansen (Organizer)

  12 Nov 2010 → 26 Nov 2010

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• First International Summer School on Constraint Handling Rules

  Henning Christiansen (Speaker)

  30 Aug 2010 → 3 Sept 2010

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• DANSAS 2010

  Mads Rosendahl (Participant)

  19 Aug 2010

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• European Summer School in Logic, Language and Information

  Christian Theil-Have (Participant)

  9 Aug 2010 → 19 Aug 2010

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• CHR 2010: Seventh International Workshop on Constraint Handling Rules

  Christian Theil-Have (Participant)

  20 Jul 2010

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• ICLP 2010, International Conference for Logic Programming

  Henning Christiansen (Participant)

  16 Jul 2010 → 19 Jul 2010

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• CHR 2009, Sixth International Workshop on Constraint Handling Rules : Workshop participation

  Christian Theil-Have (Participant)

  15 Jul 2010

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Spring Workshop on Mining and Learning 2010

  Henning Christiansen (Participant)

  17 Mar 2010 → 19 Mar 2010

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Logic Programming, 25th International Conference, ICLP 2009 : Conference participation with presentations

  Christian Theil-Have (Participant)

  14 Jul 2009 → 17 Jul 2009

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• China-Denmark Graduate Course Cross-Disciplinary Nano-Bio-IT Research

  Christian Theil-Have (Participant)

  6 Jun 2009 → 11 Jun 2009

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Spring Course on Rule-based Programming

  Christian Theil-Have (Participant)

  18 May 2009 → 22 May 2009

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)

  Mads Rosendahl (Participant)

  25 Nov 2008 → 29 Nov 2008

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• The 15th International Static Analysis Symposium

  Mads Rosendahl (Participant)

  16 Jul 2008 → 18 Jul 2008

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• The First LoSt Workshop, Logic-statistic analysis of biological sequence data

  Christian Theil-Have (Participant)

  5 Feb 2008

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• Princples of Programming Languages

  Mads Rosendahl (Participant)

  10 Jan 2008 → 12 Jan 2008

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• International Conference RANLP - 2007, Recent Advances in Natural Language Processing

  Christian Theil-Have (Participant)

  27 Sept 2007 → 29 Sept 2007

  Activity: Participating in or organising an event › Participation in workshop, seminar, course