Programmering, logik og intelligente systemer

Aktiviteter

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

FQAS 2017

Henning Christiansen (Arrangør)

20162017

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

7th International Conference on Agents and Artificial Intelligence

Henning Christiansen (Arrangør)

10 jan. 201512 jan. 2015

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

A system for conceptual pathway finding and deductive querying

Henrik Bulskov (Oplægsholder)

27 okt. 2015

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Frontiers of Combining Systems (FroCoS 2015) (Ekstern organisation)

Torben Braüner (Medlem)

19 sep. 201524 sep. 2015

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

The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (Ekstern organisation)

Torben Braüner (Medlem)

2 nov. 20156 nov. 2015

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

Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments

Torben Braüner (Foredragsholder)

6 jan. 201417 jan. 2014

Aktivitet: Tale eller præsentationForedrag 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æsentationForedrag og mundtlige bidrag

Invited talk at the workshop: False-Belief Tasks and Logic

Torben Braüner (Foredragsholder)

5 dec. 2013

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Ph.d. bedømmelsesudvalg (Ekstern organisation)

Torben Braüner (Formand)

31 okt. 2013

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks

Torben Braüner (Foredragsholder)

24 maj 2013

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Teaching Computer Science at HumTek

Mads Rosendahl (Foredragsholder)

23 maj 201225 maj 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Autonome robotter - beyond Roomba

Mads Rosendahl (Foredragsholder)

20 apr. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

22nd International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Arrangør)

18 sep. 201220 sep. 2012

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

Linköpings universitet (Ekstern organisation)

Henning Christiansen (Medlem)

9 okt. 2012

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

CSLP 2012

Henning Christiansen (Arrangør)

13 sep. 201214 sep. 2012

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

DEXA '12

Henning Christiansen (Arrangør)

3 sep. 20126 sep. 2012

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

ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology

Henning Christiansen (Arrangør)

29 sep. 2012

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

Semantics Based Cost Analysis

Mads Rosendahl (Foredragsholder)

19 okt. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Theory and Practice of Logic Programming (Tidsskrift)

John Patrick Gallagher (Redaktør)

1 jan. 201231 dec. 2016

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Arrangør)

4 sep. 2012

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

The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledg

Henning Christiansen (Arrangør)

28 aug. 2012

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

CSLP 2012

Henning Christiansen (Deltager)

13 sep. 201214 sep. 2012

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

Workshop on Scheme and Functional Programming

Morten Rhiger (Arrangør)

9 sep. 2012

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

22nd International Symposium on Logic-Based Program Synthesis and Transformation

Henning Christiansen (Deltager)

18 sep. 201220 sep. 2012

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

Besøg hos Tilburg School of Humanities; lærerudveksling under Erasmus med henblik på kommende studenterudveksling

Henning Christiansen (Deltager)

19 feb. 20122 mar. 2012

Aktivitet: AndetAndet (priser, ekstern undervisning samt andet). - Andet

Ph.d. bedømmelsesudvalg (Ekstern organisation)

Mads Rosendahl (Medlem)

28 feb. 2012

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

6th International Joint Conference on Automated Reasoning (IJCAR 2012) (Ekstern organisation)

Torben Braüner (Medlem)

25 jun. 201229 jun. 2012

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

Invited mini-course

Torben Braüner (Foredragsholder)

14 maj 201218 maj 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

9th International Conference on Advances in Modal Logic (AiML 2012) (Ekstern organisation)

Torben Braüner (Medlem)

22 aug. 201225 aug. 2012

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

Foredrag: Rule based AI-programming

Henning Christiansen (Deltager)

8 okt. 2012

Aktivitet: AndetAndet (priser, ekstern undervisning samt andet). - Andet

8th Scandinavian Logic Symposium

Henning Christiansen (Taler)

20 aug. 201221 aug. 2012

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

Fourteenth International Symposium on Practical Aspects of Declarative Languages

Henning Christiansen (Arrangør)

23 jan. 201224 jan. 2012

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

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Foredragsholder)

30 sep. 2012

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

4th Workshop on Reversible Computation

Mads Rosendahl (Deltager)

2 jul. 20123 jul. 2012

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

DanSAS 2012

Mads Rosendahl (Deltager)

24 aug. 2012

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

CHR 2012 Ninth International Workshop on Constraint Handling Rules

Henning Christiansen (Taler)

4 sep. 2012

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

8th Scandinavian Logic Symposium (Ekstern organisation)

Torben Braüner (Medlem)

20 aug. 201221 aug. 2012

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

Københavns Universitet (Ekstern organisation)

Henning Christiansen (Medlem)

1 apr. 20111 okt. 2011

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

22nd International Conference on Database and Expert Systems Applications

Henning Christiansen (Arrangør)

2011

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

Theory and Practice of Logic Programming (Tidsskrift)

John Patrick Gallagher (Redaktør)

20112017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

Frontiers of Combining Systems (FroCoS 2011) (Ekstern organisation)

Torben Braüner (Medlem)

5 okt. 20117 okt. 2011

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

Aalborg Universitet (Ekstern organisation)

Troels Andreasen (Medlem)

1 mar. 201130 jun. 2011

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

International Workshop on Methods for Modalities (Ekstern organisation)

Torben Braüner (Medlem)

10 nov. 201112 nov. 2011

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

Om Brug af LaTeX og BibTeX

Henning Christiansen (Arrangør)

6 maj 2011

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

Censor for AAlborg Universitet/Esbjerg

Henning Christiansen (Eksaminator)

17 jun. 2011

Aktivitet: EksamenEksamination