Programmering, logik og intelligente systemer

Aktiviteter

A TRIBUTE WORKSHOP AND FESTIVAL TO HONOR Professor Dr. Neil D. Jones

Henning Christiansen (Deltager)

25 aug. 200726 aug. 2007

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

Integrity Checking and Maintenance with Active Rules in XML Databases

Henning Christiansen (Foredragsholder)

2 jul. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Referee for the Research Fund Council of Chile: Research Council (FONDECYT) (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 20071 maj 2008

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Reviewer for Højteknologifonden (Tidsskrift)

Henning Christiansen (Redaktør)

1 jan. 2007

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

Grænser for computere: Nat-dag arrangement 7. marts 2007

Mads Rosendahl (Foredragsholder)

7 mar. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Information Processing & Management (Tidsskrift)

Troels Andreasen (Fagfællebedømmer)

1 jan. 200731 dec. 2012

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

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

Styregruppe (Ekstern organisation)

Henning Christiansen (Medlem)

24 jul. 2007 → …

Aktivitet: MedlemsskabMedlemskab af styrelse i virksomhed eller organisation

Sigplan Notices (Tidsskrift)

Mads Rosendahl (Redaktør)

1 jan. 2007

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

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

Theory and Practice of Logic Programming (Tidsskrift)

John Patrick Gallagher (Redaktør)

20072011

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

Tree Automata: A Versatile Tool in Program Analysis

John Patrick Gallagher (Foredragsholder)

14 sep. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Norges Forskningsråd (Ekstern organisation)

Troels Andreasen (Medlem)

1 nov. 20071 maj 2008

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

EUSFLAT European Society for Fuzzy Logic and Technology (Ekstern organisation)

Troels Andreasen (Medlem)

1 jan. 200731 dec. 2012

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

Introductory lecture on hybrid logic

Torben Braüner (Foredragsholder)

6 aug. 200710 aug. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Proceedings of Reviewer for ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08) (Tidsskrift)

Henning Christiansen (Redaktør)

1 jan. 2007

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

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200731 jul. 2008

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

International Conference RANLP

Henning Christiansen (Deltager)

27 sep. 200729 sep. 2007

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

Lecture Notes in Computer Science (Tidsskrift)

Mads Rosendahl (Redaktør)

1 jan. 2007

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

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200731 jul. 2008

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

Logic-statistic modeling and analysis of biological sequence data: a research agenda

Henning Christiansen (Foredragsholder)

15 sep. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

BNCOD, 24th British National Conference on Databases

Henning Christiansen (Deltager)

3 jul. 20075 jul. 2007

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

Elsevier, Pattern Recognition Letters (Tidsskrift)

Troels Andreasen (Fagfællebedømmer)

1 jan. 200731 dec. 2012

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

Reasoning about Use Cases using Logic Grammars and Constraints

Henning Christiansen (Foredragsholder)

18 sep. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

From use cases to UML class diagrams using logic grammars and constraints

Henning Christiansen (Foredragsholder)

27 sep. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Forskningsbesøg hos Philippe Blache, Univ. Aix-en-Provence

Henning Christiansen (Deltager)

18 sep. 2007

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

EUSFLAT European Society for Fuzzy Logic and Technology (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200731 dec. 2011

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

The First Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'07)

Henning Christiansen (Deltager)

17 sep. 200718 sep. 2007

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

Paradigmer i Programmering: Nat-dag arrangement 3. oktober 2007

Mads Rosendahl (Foredragsholder)

3 okt. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

International Conference RANLP

Christian Theil-Have (Deltager)

27 sep. 200729 sep. 2007

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

On Browsing Domain Ontologies for Information Base Content

Henrik Bulskov (Oplægsholder)

18 jun. 200721 jun. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 jul. 200730 jun. 2008

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

Technical University of Denmark (Ekstern organisation)

Troels Andreasen (Medlem)

1 mar. 20071 jul. 2007

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

CONTEXT-09, Seventh International and Interdisciplinary Conference on Modeling and Using Context : Member of steering committee

Henning Christiansen (Deltager)

12 okt. 2007 → …

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

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 sep. 200731 jul. 2008

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

Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI'07)

Henning Christiansen (Deltager)

15 sep. 200716 sep. 2007

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

The First BNCOD Workshop on Web & Information Management

Henning Christiansen (Deltager)

2 jul. 20073 jul. 2007

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

On Browsing Domain Ontologies for Information Base Content

Troels Andreasen (Oplægsholder)

18 jun. 200721 jun. 2007

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

IEEE Transactions on Systems, Man and Cybernetics Part B (Tidsskrift)

Troels Andreasen (Fagfællebedømmer)

1 jan. 200631 dec. 2012

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

ACM Transactions on Programming Languages and Systems (TOPLAS) (Tidsskrift)

John Patrick Gallagher (Fagfællebedømmer)

20062011

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

ACM SIGMOD Special Interest Group on Management Of Data. (Ekstern organisation)

Troels Andreasen (Medlem)

1 jan. 200531 dec. 2012

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

Fuzzy Sets and Systems (Tidsskrift)

Troels Andreasen (Fagfællebedømmer)

1 jan. 200531 dec. 2012

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

IEEE Computational Intelligence Society (Ekstern organisation)

Troels Andreasen (Medlem)

1 jan. 200531 dec. 2012

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

ACM SIGIR Special Interest Group on Information Retrieval (Ekstern organisation)

Troels Andreasen (Medlem)

1 jan. 200531 dec. 2012

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

ACM SIGCHI Special Interest Group on Computer-Human Interaction (Ekstern organisation)

Troels Andreasen (Medlem)

1 jan. 200531 dec. 2012

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

Journal of Intelligent Information Systems (Tidsskrift)

Troels Andreasen (Fagfællebedømmer)

1 jan. 200431 dec. 2012

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

Technical University of Denmark (Ekstern organisation)

Troels Andreasen (Medlem)

1 aug. 200231 dec. 2002

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

Invited tutorial on temporal logic and hybrid logic

Torben Braüner (Foredragsholder)

7 nov. 20029 nov. 2002

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

IEEE Systems Man and Cybernetics Society (Ekstern organisation)

Troels Andreasen (Medlem)

1 jan. 200131 jan. 2012

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

Aalborg Universitet (Ekstern organisation)

Troels Andreasen (Medlem)

1 feb. 19991 jun. 1999

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