Institut for Datalogi

Aktiviteter

Aktiviteter pr. år 1989 2000 2006 2007 2022

• 117 Foredrag og præsentationer i privat eller offentlig virksomhed
• 64 Organisering af eller deltagelse i konference
• 30 Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
• 30 Medlemskab af bedømmelsesudvalg
• 118 Mere
  • 22 Peer reviewer/fagfællebedømmer af manuskripter
  • 21 Undervisning og kursusvirksomhed ved andre universiteter
  • 17 Organisering af eller deltagelse i workshop, kursus, seminar eller lignende
  • 12 Rådgivning og konsulentarbejde
  • 12 Bestyrelsesarbejde i virksomhed, forening eller organisation
  • 12 Konferenceoplæg
  • 7 Redaktør af tidsskrift
  • 5 Gæsteophold ved andre institutioner
  • 4 Andet
  • 3 Redaktør af serie
  • 1 Ekstern censoraktivitet
  • 1 Medlemskab af forskningsnetværk eller ekspertgruppe
  • 1 Gæsteforelæsning

Aktiviteter pr. år

Søgeresultater

• Modeling, Testing, and Validation 2007

  Brian Nielsen (Andet)

  16 apr. 2007 → 17 apr. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• RTAS' 07 : Development, Verification, and Debug Tools for Real-Time and Embedded Systems

  Kim Guldstrand Larsen (Deltager)

  3 apr. 2007 → 6 apr. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Lektor bedømmelse Stillingsnr 40943, AAU (Ekstern organisation)

  Brian Nielsen (Medlem)

  2 apr. 2007 → 7 jun. 2007

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• LIAFA, Paris

  Alexandre David (Gæsteforsker)

  2 apr. 2007 → 6 apr. 2007

  Aktivitet: Gæsteophold ved andre institutioner

• Formal Approaches to Testing of Software (FATES 2007) : Program Kommitte Medlem

  Brian Nielsen (Arrangør)

  1 apr. 2007 → 29 jun. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• TACAS07 : Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems

  Kim Guldstrand Larsen (Deltager)

  24 mar. 2007 → 1 apr. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track

  Kim Guldstrand Larsen (Deltager)

  20 mar. 2007 → 26 mar. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia (Ekstern organisation)

  Peter Dolog (Medlem)

  15 mar. 2007 → …

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

• MOVES: a Tool for Modeling and Verification of Embedded Systems

  Kim Guldstrand Larsen (Foredragsholder)

  12 mar. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• 5th Latin American Web Congress, Oct.-Nov. 2007, Santiago de Chile, Chile (Ekstern organisation)

  Peter Dolog (Medlem)

  9 mar. 2007 → …

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

• AEWSE2007: Second International Workshop on Adaptation and Evolution in Web Systems Engineering in conjunctions with 7th International Conference on Web Engineering (ICWE 2007), July 2007, Como, Italy; (Ekstern organisation)

  Peter Dolog (Medlem)

  9 mar. 2007 → …

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

• International Workshop on Ubiquitous and Decentralized User Modeling: UBIDEUM 2007 une 26, 2007, Corfu, Greece, in conjunction with with the 11th International Conference on User Modeling (Ekstern organisation)

  Peter Dolog (Medlem)

  9 mar. 2007 → …

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

• Conference on Znalosti/Knowledge 2007, February 2007, Ostrava, Czech Republic; (Ekstern organisation)

  Peter Dolog (Medlem)

  9 mar. 2007 → …

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

• Modelling Day

  Kim Guldstrand Larsen (Foredragsholder)

  3 mar. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• ARTIST2: Winterschool

  Kim Guldstrand Larsen (Foredragsholder)

  19 feb. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• ARTIST2

  Kim Guldstrand Larsen (Foredragsholder)

  19 feb. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• MOTIVES 07 : Testing and verification for embedded systems.

  Kim Guldstrand Larsen (Deltager)

  19 feb. 2007 → 23 feb. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Ukendt

  Alexandre David (Gæsteforsker)

  5 feb. 2007 → 9 feb. 2007

  Aktivitet: Gæsteophold ved andre institutioner

• SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track

  Kim Guldstrand Larsen (Arrangør)

  20 jan. 2007 → 26 jan. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Brug af TTCN til Protokoltest

  Brian Nielsen (Foredragsholder)

  16 jan. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• Online Test and Monitoring of Real-time Systems

  Brian Nielsen (Foredragsholder)

  6 jan. 2007

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• Dagstuhl workshop : Run-time verification

  Kim Guldstrand Larsen (Deltager)

  2 jan. 2007 → 6 jan. 2007

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• 7th Internation Conference on Web Engineering, Como, Italy, July 2007 (Ekstern organisation)

  Peter Dolog (Medlem)

  21 nov. 2006 → …

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

• 2nd European Conference on Technology Enhanced Learning, 2007 (Ekstern organisation)

  Peter Dolog (Medlem)

  21 nov. 2006 → …

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

• University of Southern Denmark (Ekstern organisation)

  Brian Nielsen (Medlem)

  20 nov. 2006 → 21 dec. 2006

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• Ph.D. course on real-time systems

  Alexandre David (Andet)

  16 okt. 2006 → 17 okt. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• Online testing of real-time systems using relativized input/output conformance

  Brian Nielsen (Foredragsholder)

  8 okt. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• European Workshop on Mapping eParticipation, Mediterranean Conference on Information Systems

  Jeremy Rose (Oplægsholder)

  5 okt. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• European Workshop on Mapping eParticipation, Mediterranean Conference on Information Systems

  Lars Torpe (Oplægsholder)

  5 okt. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• International Design for All Conference

  Christian Thomsen (Oplægsholder)

  13 sep. 2006 → 15 sep. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• QEST 2006 - Quantitative Evaluation of SysTems

  Alexandre David (Deltager)

  11 sep. 2006 → 14 sep. 2006

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• International Conference on Very Large Data Bases

  Christian Søndergaard Jensen (Deltager)

  1 sep. 2006 → 3 sep. 2006

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• International Workshop on Spatio-Temporal Database Management

  Christian Søndergaard Jensen (Deltager)

  1 sep. 2006 → 3 sep. 2006

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Test, Modellering og Verifikation af Indlejrede Systemer

  Arne Skou (Andet)

  17 aug. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• Test, Modellering og verifikation af indlejrede systemer

  Brian Nielsen (Andet)

  17 aug. 2006 → 18 aug. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• Model-based Testing and Validation of Real-Time Systems

  Brian Nielsen (Foredragsholder)

  26 jun. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• How Would You Like to Aggregate Your Temporal Data?

  Christian Søndergaard Jensen (Foredragsholder)

  15 jun. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• 2006 ACM SIGMOD International Conference on the Management of Data

  Christian Søndergaard Jensen (Deltager)

  1 jun. 2006 → 3 jun. 2006

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Fagkoordinator TestNet Erfagruppe

  Brian Nielsen (Andet)

  1 jun. 2006 → 31 dec. 2008

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• Novo Nordisk A/S

  Christian Søndergaard Jensen (Konsulent)

  1 jun. 2006 → …

  Aktivitet: Myndighedsbetjening, konsulentarbejde og øvrig ansættelse › Rådgivning og konsulentarbejde

• International Conference on Flexible Query Answering Systems

  Christian Søndergaard Jensen (Deltager)

  1 jun. 2006 → 3 jun. 2006

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Ministeriet for Videnskab, Teknologi og Udvikling (Ekstern organisation)

  Peter Axel Nielsen (Medlem)

  1 jun. 2006 → 31 jul. 2009

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

• Unit testing and coverage analysis

  Brian Nielsen (Andet)

  29 maj 2006

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• Mobile Information Services: Trends and Challenges

  Christian Søndergaard Jensen (Foredragsholder)

  8 maj 2006

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• Model-Baseret Test og Udvikling af indlejret software

  Brian Nielsen (Andet)

  3 maj 2006 → 4 maj 2006

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• Geo-Enabled Mobile Services-A Tale of Routes, Detours, and Dead Ends

  Christian Søndergaard Jensen (Foredragsholder)

  12 apr. 2006

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• Georgia institute of Technology, College of Computing (Ekstern organisation)

  Christian Søndergaard Jensen (Medlem)

  1 apr. 2006 → …

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• Linkoping University, Department of Computer and Information Science (Ekstern organisation)

  Christian Søndergaard Jensen (Medlem)

  1 mar. 2006 → …

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg

• Database Management Systems

  Christian Søndergaard Jensen (Andet)

  1 mar. 2006 → 31 maj 2006

  Aktivitet: Foredrag og mundtlige bidrag › Undervisning og kursusvirksomhed ved andre universiteter

• Censor at Aalborg University in Copenhagen: For students at 7th semester, "reliable software" theme.

  Alexandre David (Censor)

  11 jan. 2006

  Aktivitet: Censoraktivitet og eksaminering › Ekstern censoraktivitet