Aktiviteter pr. år
Aktiviteter 1999 2019
- 1 - 50 ud af 335 resultater
- Startdato (faldende)
Workshop on Logic and Cognition
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
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
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
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
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
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
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
Logic in progress talk
Torben Braüner (Oplægsholder)23 maj 2018
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
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
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
WFLP 2018, 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
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
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
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 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
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
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
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
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
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
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
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
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: 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
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
1st International Workshop on AI aspects of Reasoning, Information, and Memory (AIRIM’16)
Henning Christiansen (Arrangør)2016
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
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
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
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
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
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
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
FQAS 2017
Henning Christiansen (Arrangør)2016 → 2017
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Udvalgte fotografier 1991-2015 / Henning Christiansen
Henning Christiansen (Deltager)1 jun. 2016 → 2 jul. 2016
Aktivitet: Andet › Andet (priser, ekstern undervisning samt andet). - Andet
CSLP 2016
Henning Christiansen (Arrangør)2016
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (Ekstern organisation)
Torben Braüner (Medlem)2 nov. 2015 → 6 nov. 2015
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
Frontiers of Combining Systems (FroCoS 2015) (Ekstern organisation)
Torben Braüner (Medlem)19 sep. 2015 → 24 sep. 2015
Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
7th International Conference on Agents and Artificial Intelligence
Henning Christiansen (Arrangør)10 jan. 2015 → 12 jan. 2015
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Cognitive, linguistic and logical aspects of perspective-taking
Torben Braüner (Arrangør), Patrick Rowan Blackburn (Arrangør), Irina Polyanskaya (Arrangør)27 maj 2015
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments
Torben Braüner (Foredragsholder)6 jan. 2014 → 17 jan. 2014
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
All data on activities in 2014 has disappeared: 1 PC chair role and 2PC memberships for int'l conferences; various reviewing; 2 int'l conf. particpations with presentation
Henning Christiansen (Deltager)2014 → …
Aktivitet: Andet › Andet (priser, ekstern undervisning samt andet). - Andet
Invited talk at the workshop: False-Belief Tasks and Logic
Torben Braüner (Foredragsholder)5 dec. 2013
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Invited lecture on hybrid logic at Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Germany.
Torben Braüner (Foredragsholder)17 jan. 2013
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
All data on activities in 2013 has disappeared: Conferences: 2 steering committees; 1 PC chair; 5 PC membership; a few conf. particpations with presentation
Henning Christiansen (Deltager)2013
Aktivitet: Andet › Andet (priser, ekstern undervisning samt andet). - Andet
Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks
Torben Braüner (Foredragsholder)24 maj 2013
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Ph.d. bedømmelsesudvalg (Ekstern organisation)
Torben Braüner (Formand)31 okt. 2013
Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg