Aarhus Universitets segl

Anders Møller

  1. 2022
  2. International Conference on Software Engineering, ICSE 2022 (Program Committee member)

    Anders Møller (Arrangør)

    2022

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  3. 2021
  4. European Conference on Object-Oriented Programming, ECOOP 2021 (General Chair)

    Anders Møller (Chair person)

    2021

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  5. International Conference on Software Engineering, ICSE 2021 (Program Committee member and Area Chair)

    Anders Møller (Arrangør)

    2021

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  6. 2020
  7. Dynamic Languages Symposium, DLS 2020 (Program Committee member)

    Anders Møller (Arrangør)

    2020

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  8. International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2020 (Artifact Evaluation Committee chair)

    Anders Møller (Chair person)

    2020

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  9. International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2020 (External Review Committee member)

    Anders Møller (Arrangør)

    2020

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  10. International Static Analysis Symposium, SAS 2020 (Program Committee member)

    Anders Møller (Arrangør)

    2020

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  11. 2019
  12. International Static Analysis Symposium, SAS 2019 (Program Committee member)

    Anders Møller (Arrangør)

    2019

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  13. International Symposium on Software Testing and Analysis, ISSTA 2019 (Program Committee chair)

    Anders Møller (Chair person)

    2019

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  14. Programming Language Implementation Summer School, PLISS 2019 (invited lecturer)

    Anders Møller (Foredragsholder)

    2019

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  15. Programming Technology for the Future Web, ProWeb 2019 (Program Committee member)

    Anders Møller (Deltager)

    2019

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af workshop, seminar eller kursus

  16. 2018
  17. International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2018 (Program Committee member)

    Anders Møller (Arrangør)

    7 nov. 20189 nov. 2018

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  18. International Symposium on Software Testing and Analysis, ISSTA 2018 (Program Committee member)

    Anders Møller (Arrangør)

    16 jul. 201818 jul. 2018

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af workshop, seminar eller kursus

  19. The Web Conference 2018 - the Web Programming, Design, Analysis, and Implementation track (Program Committee member)

    Anders Møller (Arrangør)

    27 apr. 2018

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  20. Programming Technology for the Future Web, ProWeb 2018 (Program Committee member)

    Anders Møller (Arrangør)

    10 apr. 2018

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  21. ACM Transactions on Programming Langauges and Systems (TOPLAS) (Tidsskrift)

    Anders Møller (Redaktør)

    20182021

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerRedaktør af tidsskriftForskning

  22. 2017
  23. International Static Analysis Symposium, SAS 2017 (Program Committee member)

    Anders Møller (Arrangør)

    30 aug. 20171 sep. 2017

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  24. Workshop on JavaScript Tools, JSTools 2017 (invited speaker)

    Anders Møller (Foredragsholder)

    19 jun. 2017

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  25. Conference on Programming Language Design and Implementation, PLDI 2017 (Program Committee member)

    Anders Møller (Arrangør)

    18 jun. 201723 jun. 2017

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  26. European Conference on Object-Oriented Programming, ECOOP 2017 (Program Committee member)

    Anders Møller (Arrangør)

    18 jun. 201723 jun. 2017

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  27. Programming Technology for the Future Web, ProWeb 2017 (co-organizer)

    Anders Møller (Arrangør)

    4 apr. 2017

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  28. 2016
  29. International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2016 (Program Committee member)

    Anders Møller (Arrangør)

    30 okt. 20164 nov. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  30. Workshop on Software Correctness and Reliability, WSCR (invited speaker)

    Anders Møller (Foredragsholder)

    7 okt. 20168 okt. 2016

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  31. International Conference on the Principles and Practice of Programming in Java, PPPJ 2016 (Program Committee member)

    Anders Møller (Arrangør)

    29 aug. 20162 sep. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  32. European Conference on Object-Oriented Programming, ECOOP 2016 (External Review Committee member)

    Anders Møller (Arrangør)

    18 jul. 201622 jul. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  33. European Symposium on Programming, ESOP 2016 (Program Committee member)

    Anders Møller (Arrangør)

    2 apr. 20168 apr. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  34. SECENTIS Winter School, Security and Trust of Next Generation Enterprise Information Systems (lecturer)

    Anders Møller (Taler)

    8 feb. 201612 aug. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  35. 2015
  36. Workshop on Advances in Programming Languages and Systems, APLS (invited speaker)

    Anders Møller (Foredragsholder)

    16 dec. 2015

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  37. International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2015 (External Review Committee member)

    Anders Møller (Arrangør)

    25 okt. 201530 okt. 2015

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  38. Static Analysis Symposium, SAS 2015 (invited speaker)

    Anders Møller (Foredragsholder)

    10 sep. 2015

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  39. International Symposium on Document Engineering, DocEng 2015 (Program Committee member)

    Anders Møller (Arrangør)

    8 sep. 201511 sep. 2015

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  40. Workshop on JavaScript Tools, JSTools 2015 (invited speaker)

    Anders Møller (Foredragsholder)

    6 jul. 2015

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  41. International Workshop on the State Of the Art in Program Analysis, SOAP 2015 (chair)

    Anders Møller (Chair person)

    14 jun. 2015

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  42. Conference on Programming Language Design and Implementation, PLDI 2015 (External Review Committee member)

    Anders Møller (Arrangør)

    2015

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  43. 2014
  44. Workshop on Software Correctness and Reliability, WSCR (invited speaker)

    Anders Møller (Foredragsholder)

    3 okt. 20144 okt. 2014

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  45. Conference on Programming Language Design and Implementation, PLDI 2014 (Program Committee member)

    Anders Møller (Arrangør)

    9 jun. 201414 jun. 2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  46. International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2014 (Program Committee member)

    Anders Møller (Arrangør)

    2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  47. International Static Analysis Symposium, SAS 2014 (Program Committee member)

    Anders Møller (Arrangør)

    2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  48. International Working Conference on Source Code Analysis and Manipulation, SCAM 2014 (Program Committee, Tool Track member)

    Anders Møller (Arrangør)

    2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  49. International Workshop on Automated Specification and Verification of Web Systems, WWV 2014 (Program Committee member)

    Anders Møller (Arrangør)

    2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  50. International Workshop on the State Of the Art in Java Program Analysis, SOAP 2014 (Program Committee member)

    Anders Møller (Arrangør)

    2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  51. Workshop on Higher-Order Program Analysis, HOPA 2014 (invited speaker)

    Anders Møller (Foredragsholder)

    2014

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  52. Workshop on Tools for Automatic Program Analysis, TAPAS 2014 (Chair)

    Anders Møller (Chair person)

    2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  53. 2013
  54. International Conference on Web Engineering, ICWE 2013 (Program Committee menber)

    Anders Møller (Arrangør)

    8 jul. 201312 jul. 2013

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  55. International Workshop on the State Of the Art in Java Program Analysis, SOAP 2013 (Program Committee member)

    Anders Møller (Arrangør)

    20 jun. 2013 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  56. Conference on Programming Language Design and Implementation, PLDI 2013 (External Review Committee member)

    Anders Møller (Arrangør)

    16 jun. 201321 jun. 2013

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  57. International Workshop on Automated Specification and Verification of Web Systems, WWV 2013 (Program Committee member)

    Anders Møller (Arrangør)

    6 jun. 2013

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  58. International Symposium on Engineering Secure Software and Systems, ESSoS 2013 (Program Committee member)

    Anders Møller (Arrangør)

    27 feb. 20131 mar. 2013

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  59. 2012
  60. Nordic Workshop on Programming Theory, NWPT 2012 (invited speaker)

    Anders Møller (Foredragsholder)

    31 okt. 2012

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  61. International Conference on the Principles and Practice of Programming in Java, PPPJ 2012 (Program Committee member)

    Anders Møller (Arrangør)

    12 sep. 201214 sep. 2012

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  62. International Static Analysis Symposium, SAS 2012 (Program Committee member)

    Anders Møller (Arrangør)

    11 sep. 201213 sep. 2012

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  63. International Workshop on the State Of the Art in Java Program Analysis, SOAP 2012 (invited speaker)

    Anders Møller (Foredragsholder)

    14 jun. 2012

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  64. Workshop on JavaScript Tools, JSTools 2012 (invited speaker)

    Anders Møller (Foredragsholder)

    13 jun. 2012

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  65. Conference on Programming Language Design and Implementation, PLDI 2012 (Program Committee member)

    Anders Møller (Arrangør)

    11 jun. 201216 jun. 2012

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  66. Symposium on Principles of Database Systems, PODS 2012 (External Review Committee member)

    Anders Møller (Arrangør)

    20 maj 201225 maj 2012

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  67. European Symposium on Programming, ESOP 2012 (Program Committee member)

    Anders Møller (Arrangør)

    24 mar. 20121 apr. 2012

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  68. International Symposium on Engineering Secure Software and Systems, ESSoS 2012 (Program Committee member)

    Anders Møller (Arrangør)

    16 feb. 201217 feb. 2012

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  69. 2011
  70. International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011 (Program Committee member)

    Anders Møller (Arrangør)

    5 okt. 20117 okt. 2011

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  71. A Framework for Automated Testing of JavaScript Web Applications

    Anders Møller (Foredragsholder)

    27 sep. 2011

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  72. Tools for Automatic Program Analysis, TAPAS 2011 (invited speaker)

    Anders Møller (Foredragsholder)

    17 sep. 2011

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  73. Web Quality, Security, and Testing, WebQUeST 2011 (invited speaker)

    Anders Møller (Foredragsholder)

    6 sep. 2011

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  74. Workshop on Program Analysis for Software Tools and Engineering, PASTE 2011 (Program Committee member)

    Anders Møller (Arrangør)

    5 sep. 2011

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  75. International Conference on the Principles and Practice of Programming in Java, PPPJ 2011 (Program Committee member)

    Anders Møller (Arrangør)

    24 aug. 201126 aug. 2011

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  76. Interprocedural Analysis with Lazy Propagation

    Anders Møller (Foredragsholder)

    13 jun. 2011

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  77. Conference on Programming Language Design and Implementation, PLDI 2011 (External Review Committee member)

    Anders Møller (Arrangør)

    4 jun. 20118 jun. 2011

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  78. International Conference on Data Engineering, ICDE 2011 (Program Committee member)

    Anders Møller (Arrangør)

    11 apr. 201116 apr. 2011

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  79. Symposium on Principles of Programming Languages, POPL 2011 (Program Committee member)

    Anders Møller (Arrangør)

    26 jan. 201128 jan. 2011

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  80. 2010
  81. Analyzing JavaScript Web Applications

    Anders Møller (Foredragsholder)

    3 nov. 2010

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  82. University of Wisconsin-Madison

    Anders Møller (Deltager)

    11 okt. 201012 nov. 2010

    Aktivitet: Andre aktivitetstyperAndet

  83. International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010 (Program Committee member)

    Anders Møller (Arrangør)

    28 jun. 201030 jun. 2010

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  84. Analysis and Programming Languages for Web Applications and Cloud Applications, APLWACA 2010 (Program Committee member)

    Anders Møller (Arrangør)

    6 jun. 2010 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  85. Type Analysis for JavaScript

    Anders Møller (Foredragsholder)

    22 mar. 2010

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  86. Interprocedural Analysis with Lazy Propagation

    Anders Møller (Foredragsholder)

    26 jan. 2010

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  87. 2009
  88. Type Analysis for JavaScript

    Anders Møller (Foredragsholder)

    20 aug. 2009

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  89. International Static Analysis Symposium, SAS 2009 (Program Committee member)

    Anders Møller (Arrangør)

    9 aug. 2009 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  90. Type Analysis for JavaScript

    Anders Møller (Foredragsholder)

    5 aug. 2009

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  91. Type Analysis for JavaScript

    Anders Møller (Foredragsholder)

    12 maj 2009

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  92. Programming Language Technologies for XML, PLAN-X 2009 (Program Committee member)

    Anders Møller (Arrangør)

    24 jan. 2009 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  93. Hvordan virker din web-browser?

    Anders Møller (Foredragsholder)

    20 jan. 2009

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  94. 2008
  95. Workshop on Testing, Analysis and Verification of Web Services and Applications, TAV-WEB 2008 (Program Committee member)

    Anders Møller (Arrangør)

    21 jul. 2008 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  96. International Conference on Compiler Construction, CC 2008 (Program Committee member)

    Anders Møller (Arrangør)

    29 mar. 20086 apr. 2008

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  97. EU COST Action IC0701, Formal Verification of Object-Oriented Software (Ekstern organisation)

    Anders Møller (Medlem)

    11 mar. 200810 mar. 2012

    Aktivitet: Medlemsskab - typerMedlem af forskningsnetværk

  98. Static Analysis for Java Servlets and JSP

    Anders Møller (Foredragsholder)

    14 jan. 2008

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  99. 2007
  100. Programanalyser for WWW og XML

    Anders Møller (Foredragsholder)

    10 dec. 2007

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  101. Estonian Summer School in Computer and System Science, ESSCaSS 2007 (lecturer)

    Anders Møller (Taler)

    26 aug. 200730 aug. 2007

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  102. XML Graphs in Program Analysis

    Anders Møller (Foredragsholder)

    19 jul. 2007

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  103. Summer School on Language-Based Techniques for Integrating with the External World, University of Oregon, Eugene (lecturer)

    Anders Møller (Taler)

    18 jul. 200726 jul. 2007

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  104. Programming Languages and Formal Models

    Anders Møller (Foredragsholder)

    22 jun. 2007

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  105. International Workshop on the Web and Databases, WebDB 2007 (Program Committee member)

    Anders Møller (Arrangør)

    15 jun. 2007 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  106. Static Analysis for Java Servlets and JSP

    Anders Møller (Foredragsholder)

    7 maj 2007

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  107. Programming Language Technologies for XML, PLAN-X 2007 (Program Committee member)

    Anders Møller (Arrangør)

    20 jan. 2007 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  108. 2006
  109. Programming Language Technologies for XML, PLAN-X 2006 (General Chair)

    Anders Møller (Chair person)

    14 jan. 2006 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  110. XACT - XML Transformations in Java

    Anders Møller (Oplægsholder)

    2006

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  111. 2005
  112. European Symposium on Programming, ESOP 2005 (Program Committee member)

    Anders Møller (Arrangør)

    2 apr. 200510 apr. 2005

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  113. Uppsala University (Ekstern organisation)

    Anders Møller (Medlem)

    2 mar. 2005

    Aktivitet: Medlemsskab - typerMedlem af bedømmelsesudvalg

  114. Programming Language Technologies for XML, PLAN-X 2005 (Program Committee member)

    Anders Møller (Arrangør)

    11 jan. 2005 → …

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  115. 2004
  116. Verifying Programs that Manipulate Pointers (Invited Talk)

    Anders Møller (Oplægsholder)

    2004

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  117. 2003
  118. Verifying Programs that Manipulate Pointers

    Anders Møller (Foredragsholder)

    2 sep. 2003

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  119. Logic, Automata, and Program Verification

    Anders Møller (Foredragsholder)

    24 jun. 2003

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

  120. Development of Interactive Web Services with High-Level Programming Languages

    Anders Møller (Foredragsholder)

    1 mar. 2003

    Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

Forrige 1 2 Næste