Programmering, logik og intelligente systemer

Aktiviteter

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Deltager)
20 maj 202022 maj 2020

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Energy-aware software engineering

John Patrick Gallagher (Oplægsholder)
1 nov. 2019

Aktivitet: Tale eller præsentationForedrag 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 begivenhedOrganisation og deltagelse i konference

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Oplægsholder)
27 nov. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Medlem)
4 sep. 20196 sep. 2019

Aktivitet: MedlemsskabMedlemskab 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æsentationForedrag og mundtlige bidrag

Præsentation: Danser med robotter

Henning Christiansen (Oplægsholder)
5 sep. 2019

Aktivitet: Tale eller præsentationForedrag 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 begivenhedOrganisation 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. 20198 mar. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Big Data

Henrik Bulskov (Oplægsholder)
1 apr. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Torben Braüner (Medlem)
1 mar. 20195 mar. 2019

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Big Data - definition, usage and pitfalls

Henrik Bulskov (Oplægsholder)
25 apr. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Oplægsholder)
7 jul. 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Fil

MRC 2018

Henning Christiansen (Arrangør)
9 jul. 201819 jul. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation 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 begivenhedDeltagelse i workshop, seminar og kursus

Logic in progress talk

Torben Braüner (Oplægsholder)
23 maj 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Workshop on Linguistic Complexity & Natural Language Processing

Henning Christiansen (Arrangør)
20 aug. 201825 aug. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Arrangør)
29 okt. 201831 okt. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

7th International Workshop on Confluence

Henning Christiansen (Taler)
7 jul. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse 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. 20186 sep. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation 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ømmelseRedaktør af tidsskriftForskning

27th IEEE International Symposium on Robot and Human Interactive Communication

Henning Christiansen (Taler)
27 aug. 201831 aug. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation 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æsentationForedrag og mundtlige bidrag

9th International Joint Conference on Automated Reasoning (Begivenhed)

Torben Braüner (Medlem)
14 jul. 201817 jul. 2018

Aktivitet: MedlemsskabMedlemskab 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 begivenhedOrganisation og deltagelse i konference

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

Torben Braüner (Medlem)
24 jul. 201827 jul. 2018

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

Ninth Methods for Modality Workshop - 2017 (Begivenhed)

Torben Braüner (Medlem)
8 jan. 20179 jan. 2017

Aktivitet: MedlemsskabMedlemskab 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 201712 maj 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Begivenhed)

Torben Braüner (Medlem)
25 sep. 201728 sep. 2017

Aktivitet: MedlemsskabMedlemskab 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æsentationForedrag 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 begivenhedOrganisation 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 begivenhedOrganisation og deltagelse i konference

Invited mini-course on hybrid logic

Torben Braüner (Oplægsholder)
11 dec. 201713 dec. 2017

Aktivitet: Tale eller præsentationForedrag 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 begivenhedOrganisation 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 begivenhedOrganisation og deltagelse i konference

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Oplægsholder)
9 jan. 201713 jan. 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

International Workshop Modelling and Reasoning in Context

Henning Christiansen (Arrangør)
2017

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation 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æsentationForedrag 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ømmelseRedaktør af tidsskriftForskning

FQAS 2017

Henning Christiansen (Arrangør)
20162017

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Advances in Modal Logic 2016 (Begivenhed)

Torben Braüner (Medlem)
30 aug. 20162 sep. 2016

Aktivitet: MedlemsskabMedlemskab af udvalg, råd og nævn

CSLP 2016

Henning Christiansen (Arrangør)
2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation 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 begivenhedOrganisation 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 begivenhedOrganisation 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 begivenhedOrganisation og deltagelse i konference

Invited talk: Second-order false-belief reasoning: Some modal-logical analyses

Torben Braüner (Oplægsholder)
23 maj 201625 maj 2016

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Udvalgte fotografier 1991-2015 / Henning Christiansen

Henning Christiansen (Deltager)
1 jun. 20162 jul. 2016

Aktivitet: AndetAndet (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 begivenhedOrganisation og deltagelse i konference

Eighth International Workshop Modelling and Reasoning in Context

Henning Christiansen (Arrangør)
2016

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference