Programmering, logik og intelligente systemer

Aktiviteter

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

CICLOPS 2008, Colloquium on Implementation of Constraint and LOgic Programming Systems : medlem af programkommitte; peer reviewing

Henning Christiansen (Arrangør)

12 dec. 200812 jan. 2009

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

LID 2008, Logic in Databases

Henning Christiansen (Deltager)

19 maj 200820 maj 2008

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

Universidade NOVA de Lisboa

Henning Christiansen (Gæsteforsker)

24 mar. 200828 mar. 2008

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

Lecture Notes in Computer Science (Tidsskrift)

Henning Christiansen (Redaktør)

1 jan. 2008

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

NORDIC ERC WORKSHOP : How can we further improve our participation in ERCs calls?

Henning Christiansen (Deltager)

2 dec. 2008

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

Fuzzy Sets and Systems (Tidsskrift)

Henning Christiansen (Redaktør)

1 jan. 2008

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

Vært for Davide Martinenghi, Unversita di Milano; forskningsophold på RUC

Henning Christiansen (Deltager)

29 jul. 20081 aug. 2008

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

Scandinavian Conference on Artificial Intelligence : Medlem af programkommite

Henning Christiansen (Arrangør)

26 maj 200828 maj 2008

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

5th International Workshop on Constraints and Language Processing (CSLP2008) : Co-organizer, co-chair for program committee

Henning Christiansen (Arrangør)

11 aug. 200815 aug. 2008

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

International Conference on Logic Programming (ICLP’08) (Ekstern organisation)

John Patrick Gallagher (Medlem)

2008

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

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200831 jul. 2009

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

Reviewer for Natural Sciences and Engineering Research Council of Canada (Tidsskrift)

Henning Christiansen (Redaktør)

1 jan. 2008

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

Invited talk: From classical to intuitionistic hybrid logic

Torben Braüner (Foredragsholder)

23 jun. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Vært for Maria Grineva, Russian Academy of Science; forskningsbesøg på RUC: som led i CONTROL-projektet. SNF

Henning Christiansen (Deltager)

28 jun. 20081 jul. 2008

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

CHR 2008, Fifth Workshop on Constraint Handling Rules

Henning Christiansen (Deltager)

14 jul. 2008

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

Forskerskole FIRST (Ekstern organisation)

Ole Torp Lassen (Medlem)

1 feb. 200831 jul. 2010

Aktivitet: MedlemsskabMedlemskab af forskningsnetværk

CBIT (Ekstern organisation)

Henning Christiansen (Medlem)

1 jun. 20081 okt. 2008

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200831 jul. 2009

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

Probabilistic Abductive Logic Programming implemented with Constraint Handling Rules

Henning Christiansen (Foredragsholder)

27 mar. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Censor, projektarbejde

Henning Christiansen (Eksaminator)

26 aug. 2008

Aktivitet: EksamenEksamination

Integritet i XML og relationelle databaser

Henning Christiansen (Foredragsholder)

11 jan. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Information and Computation (Tidsskrift)

John Patrick Gallagher (Fagfællebedømmer)

20082010

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

Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

Torben Braüner (Medlem)

26 maj 200828 maj 2008

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

The First LoSt Workshop, Logic-statistic analysis of biological sequence data

Christian Theil-Have (Deltager)

5 feb. 2008

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

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Henning Christiansen (Foredragsholder)

20 jun. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08)

Mads Rosendahl (Deltager)

25 nov. 200829 nov. 2008

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

DEXA 2008, 19th International Conference on Database and Expert Systems Applications : Medlem af programkommittee; peer reviewing

Henning Christiansen (Arrangør)

1 sep. 20085 sep. 2008

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

Aalborg Universitet

Henning Christiansen (Gæsteforsker)

24 jun. 200826 jun. 2008

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

Censor, speciale

Henning Christiansen (Eksaminator)

9 apr. 2008

Aktivitet: EksamenEksamination

10th International Conference on Enterprise Information Systems : Member of program committee

Henning Christiansen (Arrangør)

12 jun. 200816 jun. 2008

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

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200831 jul. 2009

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

Advisory board member, FQAS2009 Flexible Query Answering Systems (Ekstern organisation)

Troels Andreasen (Medlem)

1 dec. 200830 nov. 2009

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

Association for Logic Programming (Ekstern organisation)

John Patrick Gallagher (Medlem)

20082011

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

IMDEA-Software Institute Scientific Advisory Board (Ekstern organisation)

John Patrick Gallagher (Medlem)

1 jan. 200831 aug. 2008

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

MRC 2008,Fifth International WorkshopModeling and Reasoning in Context : medlem af programkommite

Henning Christiansen (Arrangør)

9 jun. 200812 jun. 2008

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

Flexible Query Answering Systems (Ekstern organisation)

Troels Andreasen (Formand)

1 dec. 200830 nov. 2009

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

Preprocessing for Optimization of Probabilistic-Logic Models for Biological Sequence Analysis

Henning Christiansen (Foredragsholder)

25 jun. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Invited talk: Arthur Prior's temporal logic and the origin of contemporary hybrid logic

Torben Braüner (Foredragsholder)

4 dec. 20086 dec. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Logic in Databases (LID'08) workshop : Member of steering committee

Henning Christiansen (Arrangør)

19 maj 200820 maj 2008

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

Introduction to Constraints and Language Processing

Henning Christiansen (Foredragsholder)

11 aug. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (Ekstern organisation)

John Patrick Gallagher (Medlem)

20082009

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

8th Industrial Conference on Data Mining ICDM´2008 : Member of program committee

Henning Christiansen (Arrangør)

16 jul. 200818 jul. 2008

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

Censor, 2 specialer

Henning Christiansen (Eksaminator)

26 jun. 2008

Aktivitet: EksamenEksamination

Censor, kursus i databaser

Henning Christiansen (Eksaminator)

29 okt. 2008

Aktivitet: EksamenEksamination

Theory and Practice of Logic Programming (Tidsskrift)

John Patrick Gallagher (Fagfællebedømmer)

20082010

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