Aarhus University Seal / Aarhus Universitets segl

Olivier Danvy

  1. 2009
  2. ACM SIGPLAN (Ekstern organisation)

    Olivier Danvy (Medlem)

    15 dec. 200915 jun. 2010

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  3. Natural Sciences and Engineering Research Council of Canada (Ekstern organisation)

    Olivier Danvy (Medlem)

    28 okt. 200927 jan. 2010

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  4. Symposium for Mogens Nielsen's 60th birthday : an Aarhus celebration

    Olivier Danvy (Arrangør)

    3 okt. 20094 okt. 2009

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

  5. Presentational tips and tricks in computer science: talks, articles and peer reviews

    Olivier Danvy (Foredragsholder)

    28 sep. 2009

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

  6. Theory and Practice of Language Implementation

    Olivier Danvy (Foredragsholder)

    24 aug. 2009

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

  7. Symposium in Honor of Mitchell Wand

    Olivier Danvy (Arrangør)

    23 aug. 200924 aug. 2009

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

  8. On Inter-Deriving Semantic Artifacts

    Olivier Danvy (Foredragsholder)

    2 jul. 2009

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

  9. Fédération des Associations Françaises des Sciences et Technologies de l'Information (Ekstern organisation)

    Olivier Danvy (Medlem)

    9 feb. 20098 dec. 2009

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  10. Defunctionalized Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Foredragsholder)

    29 jan. 2009

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

  11. 2009 Workshop on Mechanizing Metatheory : http://www.cis.upenn.edu/~sweirich/wmm/

    Olivier Danvy (Arrangør)

    3 jan. 20094 sep. 2009

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

  12. 4rd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory (Ekstern organisation)

    Olivier Danvy (Medlem)

    3 jan. 20094 sep. 2009

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  13. 2008
  14. Université de Nice à Sophia-Antipolis (Ekstern organisation)

    Olivier Danvy (Medlem)

    18 dec. 200818 mar. 2009

    Aktivitet: Medlemsskab - typerMedlemskab af bedømmelsesudvalg

  15. Host of PhD student Luca Chiarabini, from Ludwig Maximilian Universitat, Germany

    Olivier Danvy (Rådgiver)

    2 dec. 200814 jan. 2009

    Aktivitet: Rådgivning - typerRådgivning

  16. 2009 Workshop on Normalization by Evaluation

    Olivier Danvy (Arrangør)

    1 dec. 200815 aug. 2009

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

  17. Higher-Order and Symbolic Computation : http://www.ccs.neu.edu/events/wand-symposium/cfp.html (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 dec. 200831 dec. 2010

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerRedaktør af uafslutttet antologi/samleværkFormidling

  18. 2009 Workshop on Normalization by Evaluation : http://www.cs.au.dk/~danvy/NBE09/

    Olivier Danvy (Arrangør)

    15 nov. 200815 aug. 2009

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

  19. Université de Nancy (Ekstern organisation)

    Olivier Danvy (Medlem)

    8 nov. 200812 mar. 2009

    Aktivitet: Medlemsskab - typerMedlemskab af bedømmelsesudvalg

  20. Symposium in the honor of Mogens Nielsen, at the occasion of his 60th birthday

    Olivier Danvy (Arrangør)

    1 nov. 200831 okt. 2009

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

  21. Ecole Polytechnique, Paris, France (Ekstern organisation)

    Olivier Danvy (Medlem)

    30 sep. 2008 → …

    Aktivitet: Medlemsskab - typerMedlemskab af bedømmelsesudvalg

  22. Definitional Interpreters for Programming Languages

    Olivier Danvy (Foredragsholder)

    23 sep. 2008

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

  23. Definitional Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Foredragsholder)

    17 sep. 2008

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

  24. On the structure of programming languages

    Olivier Danvy (Foredragsholder)

    16 sep. 2008

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

  25. Host of Assistant-Professor Chung-chieh Shan, from Rutgers University

    Olivier Danvy (Rådgiver)

    1 sep. 200831 dec. 2008

    Aktivitet: Rådgivning - typerRådgivning

  26. OK Workshop on Software Foundations : http://www.brics.dk/~danvy/Pictures/OK-Workshop/

    Olivier Danvy (Arrangør)

    10 aug. 200811 aug. 2008

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

  27. A Call-by-Name Normalization Function

    Olivier Danvy (Foredragsholder)

    6 aug. 2008

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

  28. Defunctionalized Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Foredragsholder)

    5 aug. 2008

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

  29. University of Vermont (Ekstern organisation)

    Olivier Danvy (Medlem)

    22 jul. 200825 okt. 2008

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  30. Defunctionalized Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Foredragsholder)

    11 jul. 2008

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

  31. Inter-deriving semantic artifacts for object-oriented programming

    Olivier Danvy (Foredragsholder)

    4 jul. 2008

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

  32. Presentational tips and tricks in computer science: talks, articles and peer reviews

    Olivier Danvy (Foredragsholder)

    3 jul. 2008

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

  33. Tufts University (Ekstern organisation)

    Olivier Danvy (Medlem)

    15 jun. 200815 sep. 2008

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  34. From reduction-based to reduction-free normalization

    Olivier Danvy (Foredragsholder)

    5 jun. 2008

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

  35. International Federation on Information Processing (Ekstern organisation)

    Olivier Danvy (Medlem)

    1 jun. 2008 → …

    Aktivitet: Medlemsskab - typerMedlemskab af forskningsnetværk

  36. On deriving abstract machines from interpreters and calculi

    Olivier Danvy (Foredragsholder)

    22 maj 2008

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

  37. Host of PhD student Zaynah Dargaye, from INRIA, France

    Olivier Danvy (Rådgiver)

    28 apr. 200818 maj 2008

    Aktivitet: Rådgivning - typerRådgivning

  38. ACM (Ekstern organisation)

    Olivier Danvy (Medlem)

    28 mar. 200828 maj 2008

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  39. Decidability for non standard conversions in typed lambda-calculus: external reviewer

    Olivier Danvy (Deltager)

    24 mar. 20086 jun. 2008

    Aktivitet: Andre aktivitetstyperAndet (priser, ekstern undervisning samt andet). - Ekstern undervisning og censoraktivitet

  40. Habilitation reviewer (Ekstern organisation)

    Olivier Danvy (Medlem)

    25 feb. 2008 → …

    Aktivitet: Medlemsskab - typerMedlemskab af bedømmelsesudvalg

  41. University of Evry, France (Ekstern organisation)

    Olivier Danvy (Medlem)

    25 feb. 2008 → …

    Aktivitet: Medlemsskab - typerMedlemskab af bedømmelsesudvalg

  42. thesis reviewer (Ekstern organisation)

    Olivier Danvy (Medlem)

    25 feb. 2008 → …

    Aktivitet: Medlemsskab - typerMedlemskab af bedømmelsesudvalg

  43. 24th International Conference on Logic Programming (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2008

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  44. CC 2009, International Conference on Compiler Construction (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2008

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  45. Computability in Europe 2008 (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2008

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  46. Pattern Recognition (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2008

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  47. 2007
  48. visiting professorship

    Olivier Danvy (Deltager)

    1 okt. 200731 dec. 2007

    Aktivitet: Andre aktivitetstyperAndet (priser, ekstern undervisning samt andet). - Gæsteophold ved andre institutioner

  49. Portland State University (Ekstern organisation)

    Olivier Danvy (Medlem)

    1 sep. 200731 dec. 2007

    Aktivitet: Medlemsskab - typerMedlemskab af bedømmelsesudvalg

  50. Tribute Workshop and Festival to honor Professor Dr. Neil D. Jones

    Olivier Danvy (Arrangør)

    25 aug. 200726 aug. 2007

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

  51. University of Chicago (Ekstern organisation)

    Olivier Danvy (Medlem)

    1 jun. 200730 sep. 2007

    Aktivitet: Medlemsskab - typerMedlemskab af bedømmelsesudvalg

  52. Rutgers University (Ekstern organisation)

    Olivier Danvy (Medlem)

    1 mar. 20071 aug. 2007

    Aktivitet: Medlemsskab - typerMedlemskab af bedømmelsesudvalg

  53. Retreat of the INRIA Phoenix research group

    Olivier Danvy (Rådgiver)

    23 jan. 200725 jan. 2007

    Aktivitet: Rådgivning - typerRådgivning

  54. Defunctionalised Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Foredragsholder)

    16 jan. 2007

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

  55. ECOOP 2007 (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2007

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  56. ESOP 2007 (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2007

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  57. ICFP 2007 (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2007

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  58. Information and Computation (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2007

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  59. Journal of Functional Programming (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2007

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  60. PPDP 2007 (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2007

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  61. Science of Computer Programming (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2007

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  62. Springer (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2007

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  63. TOPLAS (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2007

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  64. 2006
  65. Université de Paris XII

    Olivier Danvy (Gæsteforsker)

    1 dec. 200631 dec. 2006

    Aktivitet: Besøg på en ekstern institution - typerBesøg ved en ekstern, akademisk institution

  66. Refunctionalization at Work

    Olivier Danvy (Foredragsholder)

    3 jul. 2006

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

  67. A Derivational Approach to Calculi, Evaluation, and Abstract Machines

    Olivier Danvy (Deltager)

    4 maj 200615 maj 2006

    Aktivitet: Andre aktivitetstyperAndet (priser, ekstern undervisning samt andet). - Ekstern undervisning og censoraktivitet

  68. Ecole Normale Superieure

    Olivier Danvy (Gæsteforsker)

    15 mar. 200615 apr. 2006

    Aktivitet: Besøg på en ekstern institution - typerBesøg ved en ekstern, akademisk institution

  69. Journal of Functional Programming (Ekstern organisation)

    Olivier Danvy (Medlem)

    7 mar. 2006 → …

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  70. POPL 2007 (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jan. 2006

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

  71. 2005
  72. DIKU and the ITU

    Olivier Danvy (Gæsteforsker)

    1 okt. 200531 dec. 2005

    Aktivitet: Besøg på en ekstern institution - typerBesøg ved en ekstern, akademisk institution

  73. International Workshops on Implementation and Application of Functional Languages (Ekstern organisation)

    Olivier Danvy (Medlem)

    1 okt. 2005 → …

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  74. 10th ACM SIGPLAN International Conference on Functional Programming

    Olivier Danvy (Deltager)

    24 sep. 200529 sep. 2005

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

  75. Invited speaker

    Olivier Danvy (Deltager)

    19 sep. 200521 sep. 2005

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

  76. Lecturer

    Olivier Danvy (Deltager)

    6 jun. 200510 jun. 2005

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

  77. Organizer of Conference session honoring John Reynolds for his 70th birthday

    Olivier Danvy (Arrangør)

    18 maj 200521 maj 2005

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

  78. Co-chair

    Olivier Danvy (Arrangør)

    17 maj 2005

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

  79. Lecturer

    Olivier Danvy (Deltager)

    27 feb. 20054 mar. 2005

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

  80. 2004
  81. International Federation of Information Processing (Ekstern organisation)

    Olivier Danvy (Medlem)

    1 jan. 2004 → …

    Aktivitet: Medlemsskab - typerMedlemskab af forskningsnetværk

  82. 2003
  83. European Working Group on Applied Semantics (Ekstern organisation)

    Olivier Danvy (Medlem)

    1 jan. 200330 jun. 2006

    Aktivitet: Medlemsskab - typerMedlemskab af forskningsnetværk

  84. 2002
  85. ICFP steering committee at ACM SIGPLAN (Ekstern organisation)

    Olivier Danvy (Medlem)

    1 jan. 2002 → …

    Aktivitet: Medlemsskab - typerMedlemskab af udvalg, råd og nævn

  86. 1998
  87. Higher-Order and Symbolic Computation (Tidsskrift)

    Olivier Danvy (Redaktør)

    1 jun. 199830 nov. 2008

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

1382 / i36