Aktiviteter pr. år
Aktiviteter
- 1 - 50 ud af 381 resultater
Søgeresultater
-
International Joint Conference on Artificial Intelligence (Begivenhed)
Jens Classen (Medlem)
25 jan. 2022 → 29 jul. 2022Aktivitet: 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. 2022Aktivitet: 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. 2022Aktivitet: 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. 2023Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
9th Indian Conference on Logic and its Applications (Online)
Torben Braüner (Deltager)
6 mar. 2021Aktivitet: 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. 2021Aktivitet: 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. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Conference on Thinking
Torben Braüner (Deltager)
21 jun. 2021 → 25 jun. 2021Aktivitet: 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. 2021Aktivitet: 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. 2021Aktivitet: 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. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Begivenhed)
Maja Hanne Kirkeby (Medlem)
7 sep. 2021Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
International Journal of Approximate Reasoning (Tidsskrift)
Henning Christiansen (Fagfællebedømmer)
2021Aktivitet: 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. 2021Aktivitet: 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. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Energy-Labeling Web-based IT Systems
Maja Hanne Kirkeby (Oplægsholder)
17 mar. 2021Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
The 8th Workshop on Probabilistic Logic Programming
Henning Christiansen (Deltager)
20 sep. 2021 → 27 sep. 2021Aktivitet: 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. 2021Aktivitet: 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. 2021Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Fundamenta Informaticae (Tidsskrift)
John Patrick Gallagher (Redaktør)
2020Aktivitet: 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 2020Aktivitet: 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. 2020Aktivitet: 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. 2020Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
The 7th Workshop on Probabilistic Logic Programming
Henning Christiansen (Arrangør)
19 sep. 2020Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Artificial Intelligence (Tidsskrift)
Henning Christiansen (Fagfællebedømmer)
2020Aktivitet: 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)
2020Aktivitet: 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. 2019Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Energy-aware software engineering
John Patrick Gallagher (Oplægsholder)
1 nov. 2019Aktivitet: 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. 2019Aktivitet: 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. 2019Aktivitet: 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. 2020Aktivitet: Andet
-
13th International Conference on FlexibleQuery Answering Systems
Henning Christiansen (Arrangør)
2 jul. 2019 → 5 jul. 2019Aktivitet: 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. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Big Data
Henrik Bulskov (Oplægsholder)
1 apr. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Fairness in Context and Philosophy
Jens Ulrik Hansen (Oplægsholder)
26 aug. 2019 → 30 aug. 2019Aktivitet: 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. 2019Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Big Data - definition, usage and pitfalls
Henrik Bulskov (Oplægsholder)
25 apr. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Præsentation: Danser med robotter
Henning Christiansen (Oplægsholder)
5 sep. 2019Aktivitet: 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. 2019Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
-
Invited talk: Hybrid logic and its Proof-Theory
Torben Braüner (Oplægsholder)
27 nov. 2019Aktivitet: 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. 2019Aktivitet: 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. 2019Aktivitet: 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. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Universitat Rovira i Virgili (Ekstern organisation)
Henning Christiansen (Medlem)
9 maj 2019Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
Logical proofs: From mathematics to psychology
Torben Braüner (Oplægsholder)
30 okt. 2019Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
-
Confluence in Constraint Handling Rules (Invited talk)
Maja Hanne Kirkeby (Oplægsholder)
7 jul. 2018Aktivitet: 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. 2018Aktivitet: 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. 2018Aktivitet: 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. 2018Aktivitet: 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. 2018Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn