Institut for Datalogi

Aktiviteter

  1. 2017
  2. KiMfest

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

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

  3. 2016
  4. 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

  5. 2015
  6. IDEA4CPS Workshop

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

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

  7. Konsulent vedrørende realisering af digitaliseringsgevinster

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

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

  8. 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

  9. 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

  10. 2nd International Workshop on Synthesis of Complex Parameters

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

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

  11. 2014
  12. Transactions on Information Systems (Tidsskrift)

    Kanhabua, N. (Anmelder)
    aug. 2014

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

  13. 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

  14. 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

  15. 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

  16. 2013
  17. Dansk Selskab for Datalogi (Ekstern organisation)

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

    Aktivitet: MedlemskabMedlemskab af forskningsnetværk eller ekspertgruppe

  18. 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

  19. Scandinavian Journal of Information Systems (Tidsskrift)

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

    Aktivitet: ForskningRedaktør af tidsskrift

  20. 2012
  21. Truth, Provability and Metamathematics

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

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

  22. The XII Brazilian Symposium on Information and Computer System Security

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

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

  23. 2011
  24. 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

  25. 2010
  26. 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

  27. 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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  29. 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

  30. 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

  31. 2009
  32. 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

  33. 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

  34. Evaluation committee for John Knudsen (Ekstern organisation)

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  35. 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

  36. CEUR Workshop Proceedings (Tidsskrift)

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

    Aktivitet: FormidlingRedaktør af tidsskrift

  37. 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

  38. AnnMarie Ericsson (Ekstern organisation)

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  39. TESTCOM/FATES 2009

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

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  40. 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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  42. 2008
  43. Udarbejdelse af projektrapporten: Test af Software”.

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

    Aktivitet: Andet

  44. 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

  45. 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

  46. 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

  47. Workshop on Automata and Verification

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

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  49. 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

  50. 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

  51. 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

  52.  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

  53. 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

  54. 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

  55. 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

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

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

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

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

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

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

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

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

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

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

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

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

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

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

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

  61. Information Processing Letters (Tidsskrift)

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

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

  62. Journal of Systems and Software (Tidsskrift)

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

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

  63. 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

  64. 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

  65. V L D B Journal (Tidsskrift)

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

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

  66. V L D B Journal (Tidsskrift)

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

    Aktivitet: ForskningPeer reviewer/fagfællebedømmer af manuskripter

  67. 2007
  68. 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

  69. 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

  70. 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

  71. Introduction to Test Driven Development and Unit Testing

    Nielsen, B. (Konsulent)
    7 nov. 2007

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

  72. Embedded Systems Workshop : ESI en STW Progress

    Larsen, K. G. (Deltager)
    17 okt. 2007 → …

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  73. 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

  74. 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

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

    Larsen, K. G. (Deltager)
    30 sep. 2007 → …

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

  76. 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

  77. 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

  78. 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

  79. 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

  80. 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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  82. 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

  83. Visit and invited lectures

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

    Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

  84. Artist2

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

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

  85. 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

  86. 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

  87. 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

  88. 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

  89. 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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  92. 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

  93. 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

  94. 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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  96. Modeling, Testing, and Validation 2007

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

    Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

  97. 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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  99. LIAFA, Paris

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

    Aktivitet: Gæsteophold ved andre institutioner

  100. 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

  101. 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

  102. 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

  103. 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

  104. MOVES: a Tool for Modeling and Verification of Embedded Systems

    Larsen, K. G. (Foredragsholder)
    12 mar. 2007

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

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

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

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

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

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

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

  107. Modelling Day

    Larsen, K. G. (Foredragsholder)
    3 mar. 2007

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

Forrige 1 2 3 Næste