Institut for Datalogi

Aktiviteter

  1. 2016
  2. 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

  3. 2015
  4. Konsulent vedrørende realisering af digitaliseringsgevinster

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

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

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

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

  7. 2nd International Workshop on Synthesis of Complex Parameters

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

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

  8. 2014
  9. Transactions on Information Systems (Tidsskrift)

    Kanhabua, N. (Anmelder)
    aug. 2014

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

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

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

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

  13. 2013
  14. Dansk Selskab for Datalogi (Ekstern organisation)

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

    Aktivitet: MedlemskabMedlemskab af forskningsnetværk eller ekspertgruppe

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

  16. Scandinavian Journal of Information Systems (Tidsskrift)

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

    Aktivitet: ForskningRedaktør af tidsskrift

  17. 2012
  18. Truth, Provability and Metamathematics

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

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

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

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

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

  20. 2011
  21. 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

  22. 2010
  23. 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

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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

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

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

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

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

  31. Evaluation committee for John Knudsen (Ekstern organisation)

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

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

  33. CEUR Workshop Proceedings (Tidsskrift)

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

    Aktivitet: FormidlingRedaktør af tidsskrift

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

  35. AnnMarie Ericsson (Ekstern organisation)

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  36. TESTCOM/FATES 2009

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

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  39. 2008
  40. Udarbejdelse af projektrapporten: Test af Software”.

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

    Aktivitet: Andet

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

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

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

  44. Workshop on Automata and Verification

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

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

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

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

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

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

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

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

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

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

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

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

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

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

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

  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. Information Processing Letters (Tidsskrift)

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

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

  59. Journal of Systems and Software (Tidsskrift)

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

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

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

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

  62. V L D B Journal (Tidsskrift)

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

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

  63. V L D B Journal (Tidsskrift)

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

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

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

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

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

  68. Introduction to Test Driven Development and Unit Testing

    Nielsen, B. (Konsulent)
    7 nov. 2007

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

  69. Embedded Systems Workshop : ESI en STW Progress

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

    Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

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

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

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

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

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

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

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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

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

  80. Visit and invited lectures

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

    Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

  81. Artist2

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

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

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

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

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

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

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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

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

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

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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  93. Modeling, Testing, and Validation 2007

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

    Aktivitet: Foredrag og mundtlige bidragUndervisning og kursusvirksomhed ved andre universiteter

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

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

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

    Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

  96. LIAFA, Paris

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

    Aktivitet: Gæsteophold ved andre institutioner

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

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

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

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

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

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

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

  104. Modelling Day

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

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

  105. ARTIST2

    Larsen, K. G. (Foredragsholder)
    19 feb. 2007

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

  106. ARTIST2: Winterschool

    Larsen, K. G. (Foredragsholder)
    19 feb. 2007

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

Forrige 1 2 3 Næste