Aarhus University Seal / Aarhus Universitets segl

Olivier Danvy

  1. 2009
  2. ACM SIGPLAN (External organisation)

    Olivier Danvy (Member)
    15 Dec 200915 Jun 2010

    Activity: Membership typesMembership in committee, council, board

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

    Olivier Danvy (Member)
    28 Oct 200927 Jan 2010

    Activity: Membership typesMembership in committee, council, board

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

    Olivier Danvy (Organizer)
    3 Oct 20094 Oct 2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Olivier Danvy (Lecturer)
    28 Sep 2009

    Activity: Talk or presentation typesLecture and oral contribution

  6. Theory and Practice of Language Implementation

    Olivier Danvy (Lecturer)
    24 Aug 2009

    Activity: Talk or presentation typesLecture and oral contribution

  7. http://www.ccs.neu.edu/events/wand-symposium/

    Olivier Danvy (Organizer)
    23 Aug 200924 Aug 2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  8. On Inter-Deriving Semantic Artifacts

    Olivier Danvy (Lecturer)
    2 Jul 2009

    Activity: Talk or presentation typesLecture and oral contribution

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

    Olivier Danvy (Member)
    9 Feb 20098 Dec 2009

    Activity: Membership typesMembership in committee, council, board

  10. Defunctionalized Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer)
    29 Jan 2009

    Activity: Talk or presentation typesLecture and oral contribution

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

    Olivier Danvy (Organizer)
    3 Jan 20094 Sep 2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Olivier Danvy (Member)
    3 Jan 20094 Sep 2009

    Activity: Membership typesMembership in committee, council, board

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

    Olivier Danvy (Member)
    18 Dec 200818 Mar 2009

    Activity: Membership typesMembership in review committee

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

    Olivier Danvy (Advisor)
    2 Dec 200814 Jan 2009

    Activity: Consultancy typesConsultancy

  16. 2009 Workshop on Normalization by Evaluation

    Olivier Danvy (Organizer)
    1 Dec 200815 Aug 2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Olivier Danvy (Editor)
    1 Dec 200831 Dec 2010

    Activity: Publication peer-review and editorial work typesEditor of unfinished research anthology/collectionCommunication

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

    Olivier Danvy (Organizer)
    15 Nov 200815 Aug 2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  19. Université de Nancy (External organisation)

    Olivier Danvy (Member)
    8 Nov 200812 Mar 2009

    Activity: Membership typesMembership in review committee

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

    Olivier Danvy (Organizer)
    1 Nov 200831 Oct 2009

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Olivier Danvy (Member)
    30 Sep 2008 → …

    Activity: Membership typesMembership in review committee

  22. Definitional Interpreters for Programming Languages

    Olivier Danvy (Lecturer)
    23 Sep 2008

    Activity: Talk or presentation typesLecture and oral contribution

  23. Definitional Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer)
    17 Sep 2008

    Activity: Talk or presentation typesLecture and oral contribution

  24. On the structure of programming languages

    Olivier Danvy (Lecturer)
    16 Sep 2008

    Activity: Talk or presentation typesLecture and oral contribution

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

    Olivier Danvy (Advisor)
    1 Sep 200831 Dec 2008

    Activity: Consultancy typesConsultancy

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

    Olivier Danvy (Organizer)
    10 Aug 200811 Aug 2008

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  27. A Call-by-Name Normalization Function

    Olivier Danvy (Lecturer)
    6 Aug 2008

    Activity: Talk or presentation typesLecture and oral contribution

  28. Defunctionalized Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer)
    5 Aug 2008

    Activity: Talk or presentation typesLecture and oral contribution

  29. University of Vermont (External organisation)

    Olivier Danvy (Member)
    22 Jul 200825 Oct 2008

    Activity: Membership typesMembership in committee, council, board

  30. Defunctionalized Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer)
    11 Jul 2008

    Activity: Talk or presentation typesLecture and oral contribution

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

    Olivier Danvy (Lecturer)
    4 Jul 2008

    Activity: Talk or presentation typesLecture and oral contribution

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

    Olivier Danvy (Lecturer)
    3 Jul 2008

    Activity: Talk or presentation typesLecture and oral contribution

  33. Tufts University (External organisation)

    Olivier Danvy (Member)
    15 Jun 200815 Sep 2008

    Activity: Membership typesMembership in committee, council, board

  34. From reduction-based to reduction-free normalization

    Olivier Danvy (Lecturer)
    5 Jun 2008

    Activity: Talk or presentation typesLecture and oral contribution

  35. International Federation on Information Processing (External organisation)

    Olivier Danvy (Member)
    1 Jun 2008 → …

    Activity: Membership typesMembership in research network

  36. On deriving abstract machines from interpreters and calculi

    Olivier Danvy (Lecturer)
    22 May 2008

    Activity: Talk or presentation typesLecture and oral contribution

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

    Olivier Danvy (Advisor)
    28 Apr 200818 May 2008

    Activity: Consultancy typesConsultancy

  38. ACM (External organisation)

    Olivier Danvy (Member)
    28 Mar 200828 May 2008

    Activity: Membership typesMembership in committee, council, board

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

    Olivier Danvy (Participant)
    24 Mar 20086 Jun 2008

    Activity: Other activity typesOther (prizes, external teaching and other activities) - External teaching and subject coordination

  40. Habilitation reviewer (External organisation)

    Olivier Danvy (Member)
    25 Feb 2008 → …

    Activity: Membership typesMembership in review committee

  41. University of Evry, France (External organisation)

    Olivier Danvy (Member)
    25 Feb 2008 → …

    Activity: Membership typesMembership in review committee

  42. thesis reviewer (External organisation)

    Olivier Danvy (Member)
    25 Feb 2008 → …

    Activity: Membership typesMembership in review committee

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

    Olivier Danvy (Editor)
    1 Jan 2008

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

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

    Olivier Danvy (Editor)
    1 Jan 2008

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  45. Computability in Europe 2008 (Journal)

    Olivier Danvy (Editor)
    1 Jan 2008

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  46. Pattern Recognition (Journal)

    Olivier Danvy (Editor)
    1 Jan 2008

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  47. 2007
  48. visiting professorship

    Olivier Danvy (Participant)
    1 Oct 200731 Dec 2007

    Activity: Other activity typesOther (prizes, external teaching and other activities) - Period visiting other institutions

  49. Portland State University (External organisation)

    Olivier Danvy (Member)
    1 Sep 200731 Dec 2007

    Activity: Membership typesMembership in review committee

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

    Olivier Danvy (Organizer)
    25 Aug 200726 Aug 2007

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  51. University of Chicago (External organisation)

    Olivier Danvy (Member)
    1 Jun 200730 Sep 2007

    Activity: Membership typesMembership in review committee

  52. Rutgers University (External organisation)

    Olivier Danvy (Member)
    1 Mar 20071 Aug 2007

    Activity: Membership typesMembership in review committee

  53. Retreat of the INRIA Phoenix research group

    Olivier Danvy (Advisor)
    23 Jan 200725 Jan 2007

    Activity: Consultancy typesConsultancy

  54. Defunctionalised Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer)
    16 Jan 2007

    Activity: Talk or presentation typesLecture and oral contribution

  55. ECOOP 2007 (Journal)

    Olivier Danvy (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  56. ESOP 2007 (Journal)

    Olivier Danvy (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  57. ICFP 2007 (Journal)

    Olivier Danvy (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  58. Information and Computation (Journal)

    Olivier Danvy (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  59. Journal of Functional Programming (Journal)

    Olivier Danvy (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  60. PPDP 2007 (Journal)

    Olivier Danvy (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  61. Science of Computer Programming (Journal)

    Olivier Danvy (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  62. Springer (Journal)

    Olivier Danvy (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  63. TOPLAS (Journal)

    Olivier Danvy (Editor)
    1 Jan 2007

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  64. 2006
  65. Université de Paris XII

    Olivier Danvy (Visiting researcher)
    1 Dec 200631 Dec 2006

    Activity: Visiting an external institution typesVisiting an external academic institution

  66. Refunctionalization at Work

    Olivier Danvy (Lecturer)
    3 Jul 2006

    Activity: Talk or presentation typesLecture and oral contribution

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

    Olivier Danvy (Participant)
    4 May 200615 May 2006

    Activity: Other activity typesOther (prizes, external teaching and other activities) - External teaching and subject coordination

  68. Ecole Normale Supérieure

    Olivier Danvy (Visiting researcher)
    15 Mar 200615 Apr 2006

    Activity: Visiting an external institution typesVisiting an external academic institution

  69. Journal of Functional Programming (External organisation)

    Olivier Danvy (Member)
    7 Mar 2006 → …

    Activity: Membership typesMembership in committee, council, board

  70. POPL 2007 (Journal)

    Olivier Danvy (Editor)
    1 Jan 2006

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsResearch

  71. 2005
  72. DIKU and the ITU

    Olivier Danvy (Visiting researcher)
    1 Oct 200531 Dec 2005

    Activity: Visiting an external institution typesVisiting an external academic institution

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

    Olivier Danvy (Member)
    1 Oct 2005 → …

    Activity: Membership typesMembership in committee, council, board

  74. 10th ACM SIGPLAN International Conference on Functional Programming

    Olivier Danvy (Participant)
    24 Sep 200529 Sep 2005

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  75. Invited speaker

    Olivier Danvy (Participant)
    19 Sep 200521 Sep 2005

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  76. Lecturer

    Olivier Danvy (Participant)
    6 Jun 200510 Jun 2005

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Olivier Danvy (Organizer)
    18 May 200521 May 2005

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  78. Co-chair

    Olivier Danvy (Organizer)
    17 May 2005

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

  79. Lecturer

    Olivier Danvy (Participant)
    27 Feb 20054 Mar 2005

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Olivier Danvy (Member)
    1 Jan 2004 → …

    Activity: Membership typesMembership in research network

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

    Olivier Danvy (Member)
    1 Jan 200330 Jun 2006

    Activity: Membership typesMembership in research network

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

    Olivier Danvy (Member)
    1 Jan 2002 → …

    Activity: Membership typesMembership in committee, council, board

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

    Olivier Danvy (Editor)
    1 Jun 199830 Nov 2008

    Activity: Publication peer-review and editorial work typesEditor of Research journalCommunication