Programmering, logik og intelligente systemer

Aktiviteter

Aktiviteter pr. år 1999 2007 2008 2009 2010 2022

• 93 Organisation og deltagelse i konference
• 79 Foredrag og mundtlige bidrag
• 78 Medlemskab af udvalg, råd og nævn
• 38 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

• International Joint Conference on Artificial Intelligence (Begivenhed)

  Jens Classen (Medlem)

  25 jan. 2022 → 29 jul. 2022

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

• 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

• Nordic Workshop on Programming Theory (Begivenhed)

  Morten Rhiger (Fagfællebedømmer)

  2 nov. 2022 → 4 nov. 2022

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

• AAAI Conference on Artificial Intelligence (Begivenhed)

  Jens Classen (Medlem)

  29 jul. 2022 → 14 feb. 2023

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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• Invited talk: Logic and cognition

  Torben Braüner (Oplægsholder)

  14 jan. 2021

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

• Energy-Labeling Web-based IT Systems

  Maja Hanne Kirkeby (Oplægsholder)

  17 mar. 2021

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

• 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

• 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

• 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

• 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

• 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

• Kunstig intelligens, maskinlæringsalgoritmer, mennesker og etik

  Jens Ulrik Hansen (Oplægsholder)

  26 nov. 2020

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

• 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

• 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

• 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

• Energy-aware software engineering

  John Patrick Gallagher (Oplægsholder)

  1 nov. 2019

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

• 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

• 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

• Photo exhibition: Tribute to circus artist Tetiana Korenieva

  Henning Christiansen (Redaktør)

  1 nov. 2019 → 27 feb. 2020

  Aktivitet: Andet

• 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

• 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

• Big Data

  Henrik Bulskov (Oplægsholder)

  1 apr. 2019

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

• 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

• 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 - definition, usage and pitfalls

  Henrik Bulskov (Oplægsholder)

  25 apr. 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

• 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

• 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

• 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

• 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

• 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

• Universitat Rovira i Virgili (Ekstern organisation)

  Henning Christiansen (Medlem)

  9 maj 2019

  Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg

• Logical proofs: From mathematics to psychology

  Torben Braüner (Oplægsholder)

  30 okt. 2019

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

• 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

• 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

• 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

• 9th International Joint Conference on Automated Reasoning (Begivenhed)

  Torben Braüner (Medlem)

  14 jul. 2018 → 17 jul. 2018

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