Programmering, logik og intelligente systemer

Aktiviteter

FQAS 2009

Troels Andreasen (Arrangør)

26 okt. 200928 okt. 2009

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

DANSAS 2009

Mads Rosendahl (Oplægsholder)

20 aug. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009 : Workshop participation; with presentation

Henning Christiansen (Deltager)

21 jun. 200924 jun. 2009

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

Terminologiske ontologier og beskrivelseslogik: Et eksperiment inden for domænet enzymkemi

Sine Zambach (Oplægsholder)

9 jun. 200910 jun. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Probabilistic-logic models for analysis of language and biological sequence data

Henning Christiansen (Foredragsholder)

17 apr. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Doctoral Examiner (Habilitation) University of Rennes (Ekstern organisation)

John Patrick Gallagher (Medlem)

okt. 2009

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Universitat Rovira i Virgili

Henning Christiansen (Gæsteforsker)

15 okt. 200928 okt. 2009

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

Methods for Modalities (Ekstern organisation)

John Patrick Gallagher (Medlem)

2009 → …

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

Censor for IT-universitetet: Speciale for 2 studerende og 2 studenterprojekter

Henning Christiansen (Deltager)

21 apr. 2009 → …

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

Acm Sigplan (Ekstern organisation)

John Patrick Gallagher (Medlem)

2009 → …

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

LoSt project workshop

Henning Christiansen (Arrangør)

28 sep. 200929 sep. 2009

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

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

Henning Christiansen (Deltager)

14 jul. 2009

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

Technical University of Denmark (Ekstern organisation)

Troels Andreasen (Medlem)

1 okt. 200915 dec. 2009

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Logic in Databases workshop, LID 2009 : program co-chair; member of steering committee; local organizer

Henning Christiansen (Arrangør)

20 okt. 2009

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

Norges teknisk-naturvitenskapelige universitet

Henning Christiansen (Gæsteforsker)

14 jun. 200916 jun. 2009

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

Censor/External examiner. ITU: Specialeprojekt, 2 stud.

Henning Christiansen (Deltager)

14 apr. 2009

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

Integritet i XML og relationelle databaser - og hvordan det kan understøttes - mere eller mindre automatisk

Henning Christiansen (Foredragsholder)

18 jan. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

CHR 2009, Sixth International Workshop on Constraint Handling Rules : Workshop participation

Henning Christiansen (Deltager)

15 jul. 2009

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

The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Ekstern organisation)

Torben Braüner (Medlem)

7 jul. 200910 jul. 2009

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

Description Logics study group : Studying DL, specialy using Baader et al: The Description Logics Handbook, 2008

Sine Zambach (Arrangør)

2 sep. 200931 mar. 2010

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

Seminar on Virtual Archaeology

John Patrick Gallagher (Arrangør)

14 maj 2009

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

Workshop “Logic and Ontology”

Sine Zambach (Foredragsholder)

24 nov. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Hvordan virker en rejseplanner?: Del af NATDAG, arrangement for gymnasieelever

Henning Christiansen (Foredragsholder)

4 mar. 2009

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Universidad Politecnica de Madrid (Ekstern organisation)

John Patrick Gallagher (Medlem)

okt. 2009

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

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

Torben Braüner (Medlem)

16 sep. 200918 sep. 2009

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

Partial Evaluation and Program Manipulation' 08 (Ekstern organisation)

Mads Rosendahl (Medlem)

7 jan. 20088 jan. 2008

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg

Prioritized Abduction with CHR

Henning Christiansen (Foredragsholder)

14 jul. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Program Committee (Ekstern organisation)

Troels Andreasen (Medlem)

1 jul. 200830 jun. 2009

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

The 15th International Static Analysis Symposium

Mads Rosendahl (Deltager)

16 jul. 200818 jul. 2008

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

The 15th International Static Analysis Symposium SAS 2008 (Ekstern organisation)

John Patrick Gallagher (Medlem)

2008

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

Proceedinds of The 15th International Static Analysis Symposium, SAS 2008 (Tidsskrift)

Henning Christiansen (Redaktør)

1 jan. 2008

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

the second International Workshop ForLing; NON-CLASSICAL FORMAL LANGUAGES IN LINGUISTICS : Medlem af programkommite

Henning Christiansen (Arrangør)

29 jan. 200829 aug. 2008

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

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Foredragsholder)

okt. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Mathematical Programming Computation (Tidsskrift)

Keld Helsgaun (Redaktør)

24 aug. 2008 → …

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

Scandinavian Conference on Artificial Intelligence (Ekstern organisation)

John Patrick Gallagher (Medlem)

2008

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

CSCLP 2008, Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming

Henning Christiansen (Deltager)

18 jun. 200820 jun. 2008

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

Princples of Programming Languages

Mads Rosendahl (Deltager)

10 jan. 200812 jan. 2008

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

Censor, speciale

Henning Christiansen (Eksaminator)

26 aug. 2008

Aktivitet: EksamenEksamination

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

Henning Christiansen (Arrangør)

5 feb. 20086 feb. 2008

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

Program Committee (Ekstern organisation)

Troels Andreasen (Formand)

1 dec. 200830 nov. 2009

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

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

Springer (Ekstern organisation)

Troels Andreasen (Medlem)

1 jan. 200831 dec. 2010

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

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Foredragsholder)

19 sep. 2008

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

Linköpings universitet (Ekstern organisation)

John Patrick Gallagher (Medlem)

feb. 2008

Aktivitet: MedlemsskabMedlemskab af bedømmelsesudvalg