Programmering, logik og intelligente systemer

Aktiviteter

Reviewer for ICLP 2010, International Conference for Logic Programming

Henning Christiansen (Deltager)

16 jul. 201019 jul. 2010

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

Reasoning and language processing with Constraint Handling Rules

Henning Christiansen (Arrangør)

12 nov. 201026 nov. 2010

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

Reviewer på kapitel i bog "Linguistics, Biology and Computer Science: Interplays"; del af seriee "Mathematics, Computing, Language, and the Life" (Tidsskrift)

Henning Christiansen (Fagfællebedømmer)

2010

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

ICLP 2010, International Conference for Logic Programming

Henning Christiansen (Deltager)

16 jul. 201019 jul. 2010

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

Advances in Modal Logic (Ekstern organisation)

Torben Braüner (Medlem)

1 jan. 201031 dec. 2012

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

Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

John Patrick Gallagher (Foredragsholder)

7 jul. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

First International Summer School on Constraint Handling Rules

Henning Christiansen (Taler)

30 aug. 20103 sep. 2010

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

Industrial Conference on Data Mining

Henning Christiansen (Arrangør)

12 jul. 201014 jul. 2010

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

International Symposium on Logic-based Program Synthesis and Transformation (Ekstern organisation)

John Patrick Gallagher (Medlem)

2010 → …

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

Linköpings universitet (Ekstern organisation)

Henning Christiansen (Medlem)

19 nov. 2010

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

IOSPress, Integrated Computer-Aided Engineering, International Journal (Tidsskrift)

Troels Andreasen (Fagfællebedømmer)

1 jan. 201031 dec. 2012

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

21st International Conference on Database and Expert Systems Applications

Henning Christiansen (Arrangør)

30 aug. 20103 sep. 2010

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

Higher-Order and Symbolic Computation (Tidsskrift)

John Patrick Gallagher (Redaktør)

20102011

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

Linköpings universitet (Ekstern organisation)

Henning Christiansen (Medlem)

1 sep. 201019 nov. 2010

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

DANSAS 2010

Mads Rosendahl (Deltager)

19 aug. 2010

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

Association for Logic Programming (Ekstern organisation)

John Patrick Gallagher (Formand)

1 aug. 201010 jul. 2011

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

Universitat Rovira i Virgili

Henning Christiansen (Gæsteforsker)

7 nov. 201010 nov. 2010

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

Spring Workshop on Mining and Learning 2010

Henning Christiansen (Deltager)

17 mar. 201019 mar. 2010

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

CHR 2010: Seventh International Workshop on Constraint Handling Rules

Christian Theil-Have (Deltager)

20 jul. 2010

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

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 jul. 201030 jun. 2011

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

Reviewer for tidsskrift "Knowledge based systems" (Tidsskrift)

Henning Christiansen (Fagfællebedømmer)

2010 → …

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

Theory and Practice of Logic Programming (Tidsskrift)

Henning Christiansen (Fagfællebedømmer)

2010

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

European Summer School in Logic, Language and Information

Christian Theil-Have (Deltager)

9 aug. 201019 aug. 2010

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

Miniworkshop in the LoSt rojekt

Christian Theil-Have (Andet)

4 mar. 2010

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Journal of Symbolic Computation in Software Science (Tidsskrift)

John Patrick Gallagher (Fagfællebedømmer)

2009

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

Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (Ekstern organisation)

Torben Braüner (Medlem)

12 nov. 200914 nov. 2009

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

FQAS 2009 : Flexible Query and answering systems

Sine Zambach (Arrangør)

26 okt. 200928 okt. 2009

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

Recent Advances in Natural Language Processing 2009

Christian Theil-Have (Andet)

14 sep. 200916 sep. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Miniworkshop in the LoSt rojekt

Henning Christiansen (Arrangør)

4 mar. 2009

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

Spring Course on Rule-based Programming

Christian Theil-Have (Deltager)

18 maj 200922 maj 2009

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

  IT og naturvidenskab - et fornuftsægteskab?

Sine Zambach (Foredragsholder)

5 mar. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Universitat Rovira i Virgili

Henning Christiansen (Gæsteforsker)

15 apr. 200920 apr. 2009

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

The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (Ekstern organisation)

John Patrick Gallagher (Formand)

1 mar. 200914 jul. 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

Springer (Forlag)

Henning Christiansen (Redaktør)

1 jan. 2009

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

Ph.d bedømmelsesudvalg (Ekstern organisation)

Henning Christiansen (Medlem)

1 maj 20093 sep. 2009

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Association for Computing Machinery (Ekstern organisation)

John Patrick Gallagher (Formand)

1 jun. 200919 jan. 2010

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

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

Springer (Forlag)

Henning Christiansen (Redaktør)

1 jan. 2009

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

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

ICLP 2009

Christian Theil-Have (Andet)

15 jul. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

WEB AS A STREAM: special session at FQAS 2009 : Co-organizer of special session at an international conference.Joint with Maria Grineva, Russian Academy of Sciences

Henning Christiansen (Arrangør)

27 okt. 2009

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

China-Denmark Graduate Course Cross-Disciplinary Nano-Bio-IT Research

Christian Theil-Have (Deltager)

6 jun. 200911 jun. 2009

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

Hvordan virker en rejseplanner?: Som led i NatDag på RUC; arrangementer for gymnasieelever

Henning Christiansen (Foredragsholder)

23 sep. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 jul. 200930 jun. 2010

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

International Workshop on Hybrid Logic (Ekstern organisation)

Torben Braüner (Medlem)

15 jul. 200917 jul. 2009

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

Hvordan virker en rejseplanner?: Preæsentation for gynmasieeelever; besøgsdag for Odsherred Gymnasium

Henning Christiansen (Foredragsholder)

5 okt. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Proceedings of 9th Industrial Conference on Data Mining ICDM´2009 : Lecture Notes of Computer Science, vol. 5633 (Tidsskrift)

Henning Christiansen (Redaktør)

1 jan. 2009

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