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

• Foundations of Intelligent Systems: 27th International Symposium

  Masoumeh Vahedi (Taler) & Henning Christiansen (Deltager)

  17 jun. 2024 → 19 jun. 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

  Jens Classen (Deltager)

  17 mar. 2024 → 22 mar. 2024

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• Workshop on the Implementation of Type Systems

  Morten Rhiger (Deltager)

  28 aug. 2023

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• Copenhagen Logic Gathering 2023

  Jens Classen (Taler)

  17 mar. 2023

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

  Jens Ulrik Hansen (Deltager)

  25 jun. 2021

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

  Henning Christiansen (Arrangør)

  29 aug. 2020

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• The 26th International Workshop on Functional and Logic Programming

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

  6 sep. 2018

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• 7th International Workshop on Confluence

  Henning Christiansen (Taler)

  7 jul. 2018

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• DanSAS 2012

  Mads Rosendahl (Deltager)

  24 aug. 2012

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• 8th Scandinavian Logic Symposium

  Henning Christiansen (Taler)

  20 aug. 2012 → 21 aug. 2012

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• 4th Workshop on Reversible Computation

  Mads Rosendahl (Deltager)

  2 jul. 2012 → 3 jul. 2012

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• 6th International Workshop on Constraints and Language Processing

  Henning Christiansen (Taler)

  27 sep. 2011

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• Om Brug af LaTeX og BibTeX

  Henning Christiansen (Arrangør)

  6 maj 2011

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• Reasoning and language processing with Constraint Handling Rules

  Henning Christiansen (Arrangør)

  12 nov. 2010 → 26 nov. 2010

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• First International Summer School on Constraint Handling Rules

  Henning Christiansen (Taler)

  30 aug. 2010 → 3 sep. 2010

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• DANSAS 2010

  Mads Rosendahl (Deltager)

  19 aug. 2010

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• European Summer School in Logic, Language and Information

  Christian Theil-Have (Deltager)

  9 aug. 2010 → 19 aug. 2010

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• CHR 2010: Seventh International Workshop on Constraint Handling Rules

  Christian Theil-Have (Deltager)

  20 jul. 2010

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• ICLP 2010, International Conference for Logic Programming

  Henning Christiansen (Deltager)

  16 jul. 2010 → 19 jul. 2010

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

  Christian Theil-Have (Deltager)

  15 jul. 2010

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• Spring Workshop on Mining and Learning 2010

  Henning Christiansen (Deltager)

  17 mar. 2010 → 19 mar. 2010

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

  Christian Theil-Have (Deltager)

  14 jul. 2009 → 17 jul. 2009

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

  Christian Theil-Have (Deltager)

  6 jun. 2009 → 11 jun. 2009

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• Spring Course on Rule-based Programming

  Christian Theil-Have (Deltager)

  18 maj 2009 → 22 maj 2009

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

  Mads Rosendahl (Deltager)

  25 nov. 2008 → 29 nov. 2008

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• The 15th International Static Analysis Symposium

  Mads Rosendahl (Deltager)

  16 jul. 2008 → 18 jul. 2008

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

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

  Christian Theil-Have (Deltager)

  5 feb. 2008

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• Princples of Programming Languages

  Mads Rosendahl (Deltager)

  10 jan. 2008 → 12 jan. 2008

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus

• International Conference RANLP

  Christian Theil-Have (Deltager)

  27 sep. 2007 → 29 sep. 2007

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus