Aktiviteter pr. år
Aktiviteter
25th International Symposium on Methodologies for Intelligent Systems
Henning Christiansen (Deltager)20 maj 2020 → 22 maj 2020
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Energy-aware software engineering
John Patrick Gallagher (Oplægsholder)1 nov. 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
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
GRLMC-Research Group on Mathematical Linguistics, Departament de Filologies Romàniques, Facultat de Lletres, 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
Logical proofs: From mathematics to psychology
Torben Braüner (Oplægsholder)30 okt. 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
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
Big Data
Henrik Bulskov (Oplægsholder)1 apr. 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
Big Data - definition, usage and pitfalls
Henrik Bulskov (Oplægsholder)25 apr. 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
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
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
Logic in progress talk
Torben Braüner (Oplægsholder)23 maj 2018
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
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
ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems
Henning Christiansen (Arrangør)29 okt. 2018 → 31 okt. 2018
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
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
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
Fourteenth International Symposium on Functional and Logic Programming (Begivenhed)
John Patrick Gallagher (Redaktør)2018
Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning
27th IEEE International Symposium on Robot and Human Interactive Communication
Henning Christiansen (Taler)27 aug. 2018 → 31 aug. 2018
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Præsentation på IDA Universe – Driving IT: Dances with robots
Henning Christiansen (Oplægsholder)2 nov. 2018
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
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
PLP 2018, The 5th Workshop on Probabilistic Logic Programming
Henning Christiansen (Arrangør)1 sep. 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
Ninth Methods for Modality Workshop - 2017 (Begivenhed)
Torben Braüner (Medlem)8 jan. 2017 → 9 jan. 2017
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests
Torben Braüner (Oplægsholder)8 maj 2017 → 12 maj 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Begivenhed)
Torben Braüner (Medlem)25 sep. 2017 → 28 sep. 2017
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Invited lecture: Second-order false belief reasoning: Some modal logical analyses
Torben Braüner (Oplægsholder)17 maj 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
28th International Conference on Database and Expert Systems Applications - DEXA 2017
Henning Christiansen (Arrangør)2017
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
ICAART 2017 - International Conference on Agents and Artificial Intelligence
Henning Christiansen (Arrangør)2017
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Invited mini-course on hybrid logic
Torben Braüner (Oplægsholder)11 dec. 2017 → 13 dec. 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation
Henning Christiansen (Arrangør)2017
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
23rd International Symposium on Methodologies for Intelligent Systems
Henning Christiansen (Deltager)26 jun. 2017
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Invited lecture: Deception and Second-Order Theory of Mind
Torben Braüner (Oplægsholder)9 jan. 2017 → 13 jan. 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
International Workshop Modelling and Reasoning in Context
Henning Christiansen (Arrangør)2017
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Invited lecture: The application of hybrid logic within cognitive psychology
Torben Braüner (Oplægsholder)15 dec. 2017
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Begivenhed)
John Patrick Gallagher (Redaktør)2017
Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Redaktør af tidsskrift › Forskning
FQAS 2017
Henning Christiansen (Arrangør)2016 → 2017
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Advances in Modal Logic 2016 (Begivenhed)
Torben Braüner (Medlem)30 aug. 2016 → 2 sep. 2016
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
CSLP 2016
Henning Christiansen (Arrangør)2016
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Autism Research Network Meeting
Torben Braüner (Arrangør), Patrick Rowan Blackburn (Arrangør), Irina Polyanskaya (Arrangør)26 maj 2016
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Cognitive, linguistic and logical aspects of perspective-taking II
Torben Braüner (Arrangør), Patrick Rowan Blackburn (Arrangør), Irina Polyanskaya (Arrangør)26 maj 2016
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
27th International Conference on Database and Expert Systems Applications
Henning Christiansen (Arrangør)2016
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Invited talk: Second-order false-belief reasoning: Some modal-logical analyses
Torben Braüner (Oplægsholder)23 maj 2016 → 25 maj 2016
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Udvalgte fotografier 1991-2015 / Henning Christiansen
Henning Christiansen (Deltager)1 jun. 2016 → 2 jul. 2016
Aktivitet: Andet › Andet (priser, ekstern undervisning samt andet). - Andet
14th International Conference on Practical Applications of Agents and Multi-Agent Systems
Henning Christiansen (Arrangør)1 jun. 2016
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Eighth International Workshop Modelling and Reasoning in Context
Henning Christiansen (Arrangør)2016
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference