Institut for Datalogi

Aktiviteter

  1. 2018
  2. Aalborg University – the smart link between business, innovation and technical ITS research

    Agerholm, N. (Arrangør), Larsson, A. B. (Arrangør), Reinau, K. H. (Deltager), Eriksen, A. B. (Deltager), Ærø, T. (Deltager), Mogensen, P. (Deltager), Moeslund, T. B. (Deltager), Reng, L. (Deltager), Fog, H. S. (Deltager), Jacob Bach Sanden (Deltager), Freddy Sørensen (Deltager)
    19 sep. 2018

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

  3. SELVKØRENDE BILER I DANMARK: ER DE SMÅ SKRIDT I 2018 DE SIDSTE SMÅ SKRIDT FØR SNEBOLDEN RULLER?

    Agerholm, N. (Arrangør), Lanng, D. B. (Deltager), Taankvist, J. H. (Deltager), Maria Vestergaard (Arrangør), Lars Overgaard (Deltager), Søren Randrup-Thomsen (Deltager), Ziethen, M. (Deltager)
    22 maj 2018

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

  4. 2017
  5. International Symposium on Mathematical Foundations of Computer Science (Begivenhed)

    Larsen, K. G. (Fagfællebedømmer), Hans L. Bodlaender (Redaktør), Jean-François Raskin (Redaktør)
    21 aug. 201725 aug. 2017

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

  6. KiMfest

    Hansen, M. (Deltager)
    19 aug. 201720 aug. 2017

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

  7. KiMfest 2017 (Begivenhed)

    Aceto, L. (Redaktør), Bacci, G. (Redaktør), Bacci, G. (Redaktør), Ingolfsdottir, A. (Redaktør), Legay, A. (Redaktør), Mardare, R. I. (Redaktør)
    19 aug. 201720 aug. 2017

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

  8. KiMfest (Begivenhed)

    Aceto, L. (Redaktør), Bacci, G. (Redaktør), Bacci, G. (Redaktør), Ingolfsdottir, A. (Redaktør), Legay, A. (Redaktør), Mardare, R. I. (Redaktør)
    19 aug. 201720 aug. 2017

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

  9. 2016
  10. 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016

    Hansen, M. (Oplægsholder)
    9 nov. 201611 nov. 2016

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

  11. 2015
  12. IDEA4CPS Workshop

    Hansen, M. (Deltager)
    30 nov. 20152 dec. 2015

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

  13. Konsulent vedrørende realisering af digitaliseringsgevinster

    Persson, J. S. (Konsulent)
    aug. 2015okt. 2015

    Aktivitet: Myndighedsbetjening, konsulentarbejde og øvrige ansættelserRådgivning og konsulentarbejde

  14. Search, Exploration and Analytics of Evolving Data

    Kanhabua, N. (Oplægsholder)
    23 jul. 2015

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

  15. Workshop on Human Memory-Inspired Multimedia Organization and Preservation

    Kanhabua, N. (Arrangør)
    3 jul. 2015

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

  16. 2nd International Workshop on Synthesis of Complex Parameters

    Hansen, M. (Oplægsholder)
    11 apr. 2015

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

  17. 2014
  18. Scandinavian Conference on Informaiton Systems

    Nørbjerg, J. (Arrangør)
    10 aug. 201413 aug. 2014

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  19. Scandinavian Conference on Informaiton Systems

    Nørbjerg, J. (Arrangør)
    10 aug. 201413 aug. 2014

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  20. Transactions on Information Systems (Tidsskrift)

    Kanhabua, N. (Anmelder)
    aug. 2014

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

  21. IFIP WG 8.6 International Conference on Transfer and Diffusion of IT

    Nørbjerg, J. (Deltager)
    2 jun. 20144 jun. 2014

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  22. 2013
  23. Dansk Selskab for Datalogi (Ekstern organisation)

    Nørbjerg, J. (Formand)
    15 aug. 2013 → …

    Aktivitet: MedlemskabMedlemskab af forskningsnetværk eller ekspertgruppe

  24. Scandinavian Journal of Information Systems (Tidsskrift)

    Nørbjerg, J. (Redaktør)
    1 jan. 201331 dec. 2015

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

  25. Syntax and Semantics for UCN

    Mardare, R. I. (Foredragsholder)
    jan. 2013feb. 2013

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

  26. 2012
  27. The XII Brazilian Symposium on Information and Computer System Security

    Wognsen, E. R. (Oplægsholder)
    21 nov. 2012

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

  28. Truth, Provability and Metamathematics

    Mardare, R. I. (Foredragsholder)
    nov. 2012

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

  29. 2011
  30. Introduction to Logic and Model Theory

    Mardare, R. I. (Foredragsholder)
    nov. 2011dec. 2011

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

  31. 2010
  32. Usability Evaluation of a Home Telemedicine System

    Bruun, A. (Foredragsholder)
    12 okt. 201013 okt. 2010

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

  33. IEEE/IFIP Conference on Embedded and Ubiquitous Computing EUC 2010

    Nielsen, B. (Arrangør)
    26 aug. 201013 dec. 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  34. PhD Evaluation Committee Michael Achenbach, DAIMI, 2010 (Ekstern organisation)

    Nielsen, B. (Medlem)
    1 aug. 20107 okt. 2010

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  35. 1st International Conference on Runtime Verification : PC Member

    Nielsen, B. (Arrangør)
    11 jan. 20104 nov. 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  36. 22 IFIP Conference on International Conference on Testing Software and Systems

    Nielsen, B. (Arrangør)
    11 jan. 20101 nov. 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  37. 2009
  38. 5th International Workshop on Automation of Software Test : PC Member

    Nielsen, B. (Arrangør)
    1 dec. 20094 maj 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  39. 6th Workshop on Advances in Model Based Testing A-MOST 2010 : PC member

    Nielsen, B. (Arrangør)
    1 dec. 20096 apr. 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  40. Evaluation committee for John Knudsen (Ekstern organisation)

    Nielsen, B. (Medlem)
    30 sep. 200910 dec. 2009

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  41. 3rd International Conference on Software Test and Validation (ICST'10)

    Nielsen, B. (Arrangør)
    26 aug. 200910 apr. 2010

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  42. CEUR Workshop Proceedings (Tidsskrift)

    Stage, J. (Redaktør)
    24 aug. 2009 → …

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

  43. Model-Driven Verification and Testing of Embedded systems

    Nielsen, B. (Foredragsholder)
    19 jun. 2009

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

  44. AnnMarie Ericsson (Ekstern organisation)

    Nielsen, B. (Medlem)
    1 mar. 200916 jun. 2009

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  45. TESTCOM/FATES 2009

    Nielsen, B. (Arrangør)
    19 feb. 20094 nov. 2009

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  46. The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-09)

    Nielsen, B. (Arrangør)
    19 feb. 200931 aug. 2009

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  47. Bedømmelsesudvalg for Henrik Thostrup Jensen (Ekstern organisation)

    Nielsen, B. (Medlem)
    19 jan. 200913 maj 2009

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  48. 2008
  49. Udarbejdelse af projektrapporten: Test af Software”.

    Nielsen, B. (Andet)
    1 dec. 20081 sep. 2009

    Aktivitet: Andet

  50. Fourth International Workshop on the Automation of Software Test (AST’09)

    Nielsen, B. (Arrangør)
    24 nov. 200824 maj 2009

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  51. International Workshop on Service-Oriented Architectures and Software Product Lines at Software Product Lines Conference

    Dolog, P. (Oplægsholder)
    8 okt. 200812 okt. 2008

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

  52. 5th Workshop on Advances in Model Based Testing (A-MOST 2009)

    Nielsen, B. (Arrangør)
    1 sep. 20084 apr. 2009

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  53. Workshop on Automata and Verification

    David, A. (Deltager)
    25 aug. 200826 aug. 2008

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  54. Bedømmelsesudvalg Stilling nr. 083004, Syddansk Universitet (Ekstern organisation)

    Nielsen, B. (Medlem)
    14 aug. 200811 sep. 2008

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  55. 1st IEEE INTERNATIONAL WORKSHOP ON COMPONENT-BASED DESIGN OF RESOURCE-CONSTRAINED SYSTEMS

    David, A. (Arrangør)
    28 jul. 20081 aug. 2008

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  56. SemWiki 2008 - The Wiki Way of Semantics: 3rd Semantic Wiki Workshop co-located with the 5th European Semantic Web Conference (ESWC)

    Dolog, P. (Oplægsholder)
    2 jun. 20086 jun. 2008

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

  57. European Semantic Web Conference 2008

    Dolog, P. (Oplægsholder)
    1 jun. 20085 jun. 2008

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

  58.  IEEE International Conference on Software Testing, Verification and Validation, ICST'09

    Nielsen, B. (Arrangør)
    1 maj 200830 apr. 2009

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  59. Model-based testing and validation of Real-Time Systems: Tallinn University, Institute of Cybernetics

    Nielsen, B. (Andet)
    14 apr. 200817 apr. 2008

    Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

  60. Intern. Symposium on Quality Engineering for Embedded Systems

    Nielsen, B. (Arrangør)
    1 apr. 200831 maj 2008

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  61. Quasimodo Kickoff Møde (Arrangør og vært)

    Nielsen, B. (Arrangør)
    15 jan. 200816 jan. 2008

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  62. A C M Transactions on Information Systems (Tidsskrift)

    Saltenis, S. (Redaktør)
    1 jan. 2008

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

  63. I E E E Transactions on Knowledge & Data Engineering (Tidsskrift)

    Saltenis, S. (Redaktør)
    1 jan. 2008

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

  64. I E E E Transactions on Knowledge & Data Engineering (Tidsskrift)

    Saltenis, S. (Redaktør)
    1 jan. 2008

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

  65. I E E E Transactions on Knowledge & Data Engineering (Tidsskrift)

    Saltenis, S. (Redaktør)
    1 jan. 2008

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

  66. I E E E Transactions on Knowledge & Data Engineering (Tidsskrift)

    Saltenis, S. (Redaktør)
    1 jan. 2008

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

  67. Information Processing Letters (Tidsskrift)

    Saltenis, S. (Redaktør)
    1 jan. 2008

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

  68. Journal of Systems and Software (Tidsskrift)

    Saltenis, S. (Redaktør)
    1 jan. 2008

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

  69. Formal Modelling and Analysis of Timed Systems (Formats 2008)

    Nielsen, B. (Arrangør)
    1 jan. 200817 sep. 2008

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  70. Third International Workshop on Automation of Software Test, AST´08 : Program Kommitte Medlem

    Nielsen, B. (Arrangør)
    1 jan. 200818 maj 2008

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  71. V L D B Journal (Tidsskrift)

    Saltenis, S. (Redaktør)
    1 jan. 2008

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

  72. V L D B Journal (Tidsskrift)

    Saltenis, S. (Redaktør)
    1 jan. 2008

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

  73. 2007
  74. FSTTCS'07 : Foundations of Software Technology and Theoretical Computer Science

    Larsen, K. G. (Deltager)
    12 dec. 200714 dec. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  75. Model-Based Testing of Real-Time Systems

    Nielsen, B. (Foredragsholder)
    30 nov. 2007

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

  76. BSc. Course on Introduction to Distributed systems

    Nielsen, B. (Andet)
    26 nov. 200714 dec. 2007

    Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

  77. Introduction to Test Driven Development and Unit Testing

    Nielsen, B. (Konsulent)
    7 nov. 2007

    Aktivitet: Myndighedsbetjening, konsulentarbejde og øvrige ansættelserRådgivning og konsulentarbejde

  78. Embedded Systems Workshop : ESI en STW Progress

    Larsen, K. G. (Deltager)
    17 okt. 200720 okt. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  79. NWPT07 : The 19th Nordic Workshop on Programming Theory

    Larsen, K. G. (Deltager)
    10 okt. 200712 okt. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  80. Formal Modelling and Analysis of Timed Systems (Formats 2007) : Program Kommitte Medlem

    Nielsen, B. (Arrangør)
    3 okt. 20075 okt. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  81. Embedded Systems Week : Foundations of Component-based Design

    Larsen, K. G. (Deltager)
    30 sep. 20071 okt. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  82. EPEW'2007 : 4th European Performance Engineering Workshop, 27-28 September 2007

    Larsen, K. G. (Arrangør)
    27 sep. 200728 sep. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  83. QEST: : 4th International Conference on the Quantitative Evaluation of SysTems

    Larsen, K. G. (Deltager)
    16 sep. 200719 sep. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  84. 4th Workshop on Advances in Model Based Testing, AMOST'08 : Program Kommitte Medlem

    Nielsen, B. (Arrangør)
    1 sep. 200711 apr. 2008

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  85. First IEEE International Conference on Software Testing, Verification and Validation, ICST'08 : Program Kommitte Medlem

    Nielsen, B. (Arrangør)
    1 sep. 200711 apr. 2008

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  86. Formal Approaches to Testing of Software, Fates 2008 : Program Kommitte Medlem

    Nielsen, B. (Arrangør)
    1 sep. 200713 jun. 2008

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  87. Phd Defense and Grading committee for Daniel Sundmark (Ekstern organisation)

    Nielsen, B. (Medlem)
    28 aug. 200715 feb. 2008

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  88. Coverage metrikker, værktøjer til måling heraf og tool-demo

    Nielsen, B. (Foredragsholder)
    21 aug. 2007

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

  89. Visit and invited lectures

    Larsen, K. G. (Andet)
    11 aug. 200717 aug. 2007

    Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

  90. Artist2

    Larsen, K. G. (Foredragsholder)
    1 aug. 2007

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

  91. UNI-IIST School : ARTIST2 has organized, in collaboration with UNU-IIST, the 2nd edition of a school on embedded systems design in Suzhou.

    Larsen, K. G. (Deltager)
    1 aug. 200710 aug. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  92. LICS'07 : Twenty-Second Annual IEEE Sympositum on Logic in Computer Science

    Larsen, K. G. (Deltager)
    10 jul. 200714 jul. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  93. 3rd Workshop on Advances in Model Based Testing (A-MOST 2007) : Program Kommitte Medlem

    Nielsen, B. (Arrangør)
    9 jul. 200712 jul. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  94. Tool Platforms for Embedded Modeling, Analysis and Validation CAV

    Hansen, M. R. (Foredragsholder)
    1 jul. 2007

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

  95. Tutorial on Model-Based Testing of Real-Time Systems

    Nielsen, B. (Foredragsholder)
    26 jun. 2007

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

  96. Adjunktbedømmelsesudvalg, Stillingsnr 073006, Syddansk Universitet (Ekstern organisation)

    Nielsen, B. (Medlem)
    25 jun. 200721 sep. 2007

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  97. Lektorbedømmelsesudvalg, Stillingsnr 073007, Syddansk Universitet (Ekstern organisation)

    Nielsen, B. (Medlem)
    25 jun. 200721 sep. 2007

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  98. 3rd International Conference on Semantic Technologies (I-Semantics'07), Graz, Austria, September 2007 (Ekstern organisation)

    Dolog, P. (Medlem)
    17 jun. 2007 → …

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

  99. 4th Annual Scientific Conference - Lornet Teaching Network (I2LOR 2007), November 2007, Montreal, Canada (Ekstern organisation)

    Dolog, P. (Medlem)
    17 jun. 2007 → …

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

  100. Towards a Systematic Approach to Embedded System Design: DATE, Design, Automation, and Test in Europe

    Larsen, K. G. (Foredragsholder)
    20 apr. 2007

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

  101. PhD bedømmelsesudvalg for Jacob Illum (Ekstern organisation)

    Nielsen, B. (Medlem)
    17 apr. 20074 jun. 2007

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  102. Modeling, Testing, and Validation 2007

    Nielsen, B. (Andet)
    16 apr. 200717 apr. 2007

    Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

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

    Larsen, K. G. (Deltager)
    3 apr. 20076 apr. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

    Nielsen, B. (Medlem)
    2 apr. 20077 jun. 2007

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  105. LIAFA, Paris

    David, A. (Gæsteforsker)
    2 apr. 20076 apr. 2007

    Aktivitet: Gæsteophold ved andre institutioner

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

    Nielsen, B. (Arrangør)
    1 apr. 200729 jun. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

    Larsen, K. G. (Deltager)
    24 mar. 20071 apr. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

    Larsen, K. G. (Deltager)
    20 mar. 200726 mar. 2007

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

    Dolog, P. (Medlem)
    15 mar. 2007 → …

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

Forrige 1 2 3 Næste