Programmering, logik og intelligente systemer

Aktiviteter

Aktiviteter pr. år 1999 2021

• 93 Organisation og deltagelse i konference
• 79 Foredrag og mundtlige bidrag
• 76 Medlemskab af udvalg, råd og nævn
• 36 Peer reviewer/fagfællebedømmer af manuskripter
• 93 Mere
  • 25 Deltagelse i workshop, seminar og kursus
  • 25 Medlemskab af bedømmelsesudvalg
  • 11 Besøger en ekstern, akademisk institution
  • 10 Eksamination
  • 9 Redaktør af tidsskrift
  • 7 Andet
  • 4 Vært for en akademisk besøgende
  • 1 Medlemskab af styrelse i virksomhed eller organisation
  • 1 Medlemskab af forskningsnetværk

Aktiviteter pr. år

Søgeresultater

• FQAS 2021, 14th International Conference on Flexible Query Answering Systems

  Henning Christiansen (Arrangør)

  19 sep. 2021 → 24 sep. 2021

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• The 8th Workshop on Probabilistic Logic Programming

  Henning Christiansen (Deltager)

  20 sep. 2021 → 27 sep. 2021

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• 9th Indian Conference on Logic and its Applications (Online)

  Torben Braüner (Deltager)

  6 mar. 2021

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• 31st International Symposium onLogic-based Program Synthesis and Transformation (Begivenhed)

  Maja Hanne Kirkeby (Medlem)

  7 sep. 2021

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Energy-Labeling Web-based IT Systems

  Maja Hanne Kirkeby (Oplægsholder)

  17 mar. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Begivenhed)

  Maja Hanne Kirkeby (Medlem)

  20 jun. 2021

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• 20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Begivenhed)

  Maja Hanne Kirkeby (Medlem)

  17 aug. 2021

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• MRC-HCCS – Human-Centric and Contextual Systems Thirteenth International Workshop Modelling | Reasoning | Context

  Henning Christiansen (Deltager)

  21 aug. 2021 → 26 aug. 2021

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• International Conference on Thinking

  Torben Braüner (Deltager)

  21 jun. 2021 → 25 jun. 2021

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Invited talk: Logic and cognition

  Torben Braüner (Oplægsholder)

  14 jan. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• The role of expert knowledge in Big Data and Machine Learning

  Jens Ulrik Hansen (Oplægsholder)

  6 jul. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited talk: Remarks on hybrid modal logic with propositional quantiers

  Torben Braüner (Oplægsholder)

  5 mar. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• 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

• R for Advanced Analytics - how to be smaRt about it

  Jens Ulrik Hansen (Oplægsholder)

  22 sep. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• 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

• The 7th Workshop on Probabilistic Logic Programming

  Henning Christiansen (Arrangør)

  19 sep. 2020

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Kunstig intelligens, maskinlæringsalgoritmer, mennesker og etik

  Jens Ulrik Hansen (Oplægsholder)

  26 nov. 2020

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Fundamenta Informaticae (Tidsskrift)

  John Patrick Gallagher (Redaktør)

  2020

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning

• 25th International Symposium on Methodologies for Intelligent Systems

  Henning Christiansen (Arrangør)

  20 maj 2020 → 22 maj 2020

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Artificial Intelligence (Tidsskrift)

  Henning Christiansen (Fagfællebedømmer)

  2020

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

• 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

• 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

• Big Data - definition, usage and pitfalls

  Henrik Bulskov (Oplægsholder)

  25 apr. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Universitat Rovira i Virgili (Ekstern organisation)

  Henning Christiansen (Medlem)

  9 maj 2019

  Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

• The 12th International Symposium on Frontiers of Combining Systems (Begivenhed)

  Torben Braüner (Medlem)

  4 sep. 2019 → 6 sep. 2019

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Fairness in Context and Philosophy

  Jens Ulrik Hansen (Oplægsholder)

  26 aug. 2019 → 30 aug. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• the Young Scientist's Third International Workshop on Trends in Information Processing 2019 (Begivenhed)

  Maja Hanne Kirkeby (Medlem)

  17 sep. 2019

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Logic and Cognition Pre-Conference Workshop

  Torben Braüner (Arrangør) & Sujata Ghosh (Arrangør)

  2 mar. 2019

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Big Data

  Henrik Bulskov (Oplægsholder)

  1 apr. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited talk: Hybrid logic and its Proof-Theory

  Torben Braüner (Oplægsholder)

  27 nov. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Energy-aware software engineering

  John Patrick Gallagher (Oplægsholder)

  1 nov. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Præsentation: Danser med robotter

  Henning Christiansen (Oplægsholder)

  5 sep. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Photo exhibition: Tribute to circus artist Tetiana Korenieva

  Henning Christiansen (Redaktør)

  1 nov. 2019 → 27 feb. 2020

  Aktivitet: Andet

• Conference participation with poster presentation and robot demo

  Henning Christiansen (Andet), Mads Hobye (Andet) & Anja Mølle Lindelof (Andet)

  5 mar. 2019 → 8 mar. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Eighth Indian Conference on Logic and its Applications 2019 (Begivenhed)

  Torben Braüner (Medlem)

  1 mar. 2019 → 5 mar. 2019

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Logical proofs: From mathematics to psychology

  Torben Braüner (Oplægsholder)

  30 okt. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Poster Presentation: The Sounds of Techno-genesis

  Maja Fagerberg Ranten (Oplægsholder), David Kadish (Oplægsholder) & Megan Hines (Oplægsholder)

  20 sep. 2019 → 23 sep. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• 13th International Conference on FlexibleQuery Answering Systems

  Henning Christiansen (Arrangør)

  2 jul. 2019 → 5 jul. 2019

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Philosophizing on Big Data, Data Science, and AI

  Jens Ulrik Hansen (Oplægsholder)

  5 aug. 2019 → 10 aug. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Mapping the concepts of AI, Big Data, and Data Science, and identifying related philosophical problems

  Jens Ulrik Hansen (Oplægsholder)

  28 feb. 2019 → 2 mar. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Virtual Reality, Learning and Experience - seminar at Roskilde University

  Søren Larsen (Arrangør), Connie Svabo (Arrangør), Remzi Ates Gürsimsek (Arrangør), Eduardo Abrantes (Arrangør), John Patrick Gallagher (Arrangør), Sisse Siggaard Jensen (Arrangør), Troels Andreasen (Arrangør), Per Meyer Jepsen (Arrangør) & Prajakt Pande (Arrangør)

  21 aug. 2019

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Workshop on Linguistic Complexity & Natural Language Processing

  Henning Christiansen (Arrangør)

  20 aug. 2018 → 25 aug. 2018

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• 25th Workshop on Logic, Language, Information and Computation (Begivenhed)

  Torben Braüner (Medlem)

  24 jul. 2018 → 27 jul. 2018

  Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn

• Logic in progress talk

  Torben Braüner (Oplægsholder)

  23 maj 2018

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• 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

• 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

• LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation

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

  4 sep. 2018 → 6 sep. 2018

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Confluence in Constraint Handling Rules (Invited talk)

  Maja Hanne Kirkeby (Oplægsholder)

  7 jul. 2018

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

  Fil

• MRC 2018

  Henning Christiansen (Arrangør)

  9 jul. 2018 → 19 jul. 2018

  Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference

• Invited talk: Hybrid Logic and its Proof-Theory

  Torben Braüner (Oplægsholder)

  2 mar. 2018

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag