Programmering, logik og intelligente systemer

Aktiviteter

Theory and Practice of Logic Programming (Tidsskrift)

John Patrick Gallagher (Redaktør)

20112017

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

Vært for Davide Martinenghi, Univ. Bolzano, Italien(forskningssamarbejde)

Henning Christiansen (Deltager)

30 maj 20076 jun. 2007

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

Program Committee (Ekstern organisation)

Troels Andreasen (Formand)

1 dec. 200830 nov. 2009

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

Practical Aspects of Declarative Languages11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings : Lecture Notes in Computer Science 5418 (Forlag)

Henning Christiansen (Redaktør)

1 jan. 2009

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Styregruppe (Ekstern organisation)

Henning Christiansen (Medlem)

24 jul. 2007 → …

Aktivitet: MedlemsskabMedlemskab af styrelse i virksomhed eller organisation

Forling 2008, Second International Workshop on Non-Classical Formal Languages in Linguistics

Henning Christiansen (Deltager)

19 sep. 200820 sep. 2008

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

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

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

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

Springer (Forlag)

Henning Christiansen (Redaktør)

1 jan. 2009

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Springer (Ekstern organisation)

Troels Andreasen (Medlem)

1 jan. 200831 dec. 2010

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

ETH Zürich

Henning Christiansen (Gæsteforsker)

19 mar. 201021 mar. 2010

Aktivitet: Besøger en ekstern institutionBesøger en ekstern, akademisk institution

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

Technical University of Denmark (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200231 dec. 2002

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

Sigplan Notices (Tidsskrift)

Mads Rosendahl (Redaktør)

1 jan. 2007

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Foredragsholder)

19 sep. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Ph.d bedømmelsesudvalg (Ekstern organisation)

Henning Christiansen (Medlem)

1 maj 20093 sep. 2009

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

CSLP 2012

Henning Christiansen (Deltager)

13 sep. 201214 sep. 2012

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

Vært for Nicos Angelopoulos; forskningsbesøg på RUC: som led i LoSt-projektet

Henning Christiansen (Deltager)

19 maj 2008

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

Second International Conference on Agents and Artificial Intelligence

Henning Christiansen (Arrangør)

23 jan. 201024 jan. 2010

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

Association for Computing Machinery (Ekstern organisation)

John Patrick Gallagher (Formand)

1 jun. 200919 jan. 2010

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

Linköpings universitet (Ekstern organisation)

John Patrick Gallagher (Medlem)

feb. 2008

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 nov. 201031 okt. 2011

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

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 201031 jul. 2011

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

Program Committee, WSEAS 2008 12th WSEAS International Conference on COMPUTERS (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200731 jul. 2008

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

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

Science Research Council Belgium (FUNDP) (Ekstern organisation)

John Patrick Gallagher (Medlem)

2010

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Aalborg Universitet (Ekstern organisation)

Troels Andreasen (Medlem)

1 mar. 201130 jun. 2011

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

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

ICLP 2010, International Conference for Logic Programming

Christian Theil-Have (Andet)

16 jul. 201019 jul. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200931 jul. 2010

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

Lecture Notes in Computer Science (Tidsskrift)

Henning Christiansen (Redaktør)

1 jan. 2009

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

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

Styregruppe (Ekstern organisation)

Troels Andreasen (Medlem)

1 dec. 201030 nov. 2011

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

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

Udvalgte fotografier 1991-2015 / Henning Christiansen

Henning Christiansen (Deltager)

1 jun. 20162 jul. 2016

Aktivitet: Andet

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

Springer (Forlag)

Henning Christiansen (Redaktør)

1 jan. 2008

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Reviewer for tidsskrift "Knowledge based systems" (Tidsskrift)

Troels Andreasen (Fagfællebedømmer)

1 jan. 200831 dec. 2012

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Censor for AAlborg Universitet/Esbjerg

Henning Christiansen (Eksaminator)

17 jun. 2011

Aktivitet: EksamenEksamination

Springer (Forlag)

Henning Christiansen (Redaktør)

1 jan. 2009

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

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

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Foredragsholder)

19 aug. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Fil

Reviewer for Deutsche Forschungsgemeinschaft

Henning Christiansen (Deltager)

1 jul. 201130 okt. 2011

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

Logic Programming, 25th International Conference, ICLP 2009 : Conference participation with presentations

Christian Theil-Have (Deltager)

14 jul. 200917 jul. 2009

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

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