You are here: About » People and Locations » People » Olivier Danvy » Activities

Olivier Danvy

1 - 79 out of 79Page size: 100
RSS feed of this list
Sort by: Start year
  1. 2009

  2. http://www.seas.upenn.edu/~sweirich/wmm/

    Olivier Danvy (Member), 3 Jan 2009 → 4 Sep 2009

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

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

    Olivier Danvy (Organizer), 3 Jan 2009 → 4 Sep 2009

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  4. Defunctionalized Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer), 29 Jan 2009

    Activity: Lecture and oral contribution

  5. Federation of French Associations of Information Sciences and Technologies

    Olivier Danvy (Member), 9 Feb 2009 → 8 Dec 2009

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

  6. On Inter-Deriving Semantic Artifacts

    Olivier Danvy (Lecturer), 2 Jul 2009

    Activity: Lecture and oral contribution

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

    Olivier Danvy (Organizer), 23 Aug 2009 → 24 Aug 2009

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  8. Theory and Practice of Language Implementation

    Olivier Danvy (Lecturer), 24 Aug 2009

    Activity: Lecture and oral contribution

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

    Olivier Danvy (Lecturer), 28 Sep 2009

    Activity: Lecture and oral contribution

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

    Olivier Danvy (Organizer), 3 Oct 2009 → 4 Oct 2009

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  11. http://www.nserc-crsng.gc.ca/

    Olivier Danvy (Member), 28 Oct 2009 → 27 Jan 2010

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

  12. http://www.cs.virginia.edu/toplas_search

    Olivier Danvy (Member), 15 Dec 2009 → 15 Jun 2010

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

  13. 2008

  14. CC 2009, International Conference on Compiler Construction

    Olivier Danvy (Editor), 1 Jan 2008

    Activity: Ongoing editorial work › Peer review of manuscripts

  15. Pattern Recognition

    Olivier Danvy (Editor), 1 Jan 2008

    Activity: Ongoing editorial work › Peer review of manuscripts

  16. Computability in Europe 2008

    Olivier Danvy (Editor), 1 Jan 2008

    Activity: Ongoing editorial work › Peer review of manuscripts

  17. 24th International Conference on Logic Programming

    Olivier Danvy (Editor), 1 Jan 2008

    Activity: Ongoing editorial work › Peer review of manuscripts

  18. Habilitation reviewer

    Olivier Danvy (Member), 25 Feb 2008 → …

    Activity: Participation in council, board, committee and network › Membership in review committee

  19. thesis reviewer

    Olivier Danvy (Member), 25 Feb 2008 → …

    Activity: Participation in council, board, committee and network › Membership in review committee

  20. University of Evry, France

    Olivier Danvy (Member), 25 Feb 2008 → …

    Activity: Participation in council, board, committee and network › Membership in review committee

  21. Decidability for non standard conversions in typed lambda-calculus

    Olivier Danvy (Participant), Ludvig-Maximilians-Universitat and Universite Paul Sabatier, 24 Mar 2008 → 6 Jun 2008

    Activity: Other research and communication activities › External teaching and subject coordination

  22. ACM

    Olivier Danvy (Member), 28 Mar 2008 → 28 May 2008

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

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

    Olivier Danvy (Participant), BRICS PhD School, Department of Computer Science, Aarhus University, 28 Apr 2008 → 18 May 2008

    Activity: Other research and communication activities › Supervision and co-examiner

  24. On deriving abstract machines from interpreters and calculi

    Olivier Danvy (Lecturer), 22 May 2008

    Activity: Lecture and oral contribution

  25. IFIP

    Olivier Danvy (Member), 1 Jun 2008 → …

    Activity: Participation in council, board, committee and network › Membership in research network

  26. From reduction-based to reduction-free normalization

    Olivier Danvy (Lecturer), 5 Jun 2008

    Activity: Lecture and oral contribution

  27. Tufts University

    Olivier Danvy (Member), 15 Jun 2008 → 15 Sep 2008

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

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

    Olivier Danvy (Lecturer), 3 Jul 2008

    Activity: Lecture and oral contribution

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

    Olivier Danvy (Lecturer), 4 Jul 2008

    Activity: Lecture and oral contribution

  30. Defunctionalized Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer), 11 Jul 2008

    Activity: Lecture and oral contribution

  31. University of Vermont

    Olivier Danvy (Member), 22 Jul 2008 → 25 Oct 2008

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

  32. Defunctionalized Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer), 5 Aug 2008

    Activity: Lecture and oral contribution

  33. A Call-by-Name Normalization Function

    Olivier Danvy (Lecturer), 6 Aug 2008

    Activity: Lecture and oral contribution

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

    Olivier Danvy (Organizer), 10 Aug 2008 → 11 Aug 2008

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

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

    Olivier Danvy (Participant), Department of Computer Science, Aarhus University, 1 Sep 2008 → 31 Dec 2008

    Activity: Other research and communication activities › Supervision and co-examiner

  36. On the structure of programming languages

    Olivier Danvy (Lecturer), 16 Sep 2008

    Activity: Lecture and oral contribution

  37. Definitional Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer), 17 Sep 2008

    Activity: Lecture and oral contribution

  38. Definitional Interpreters for Programming Languages

    Olivier Danvy (Lecturer), 23 Sep 2008

    Activity: Lecture and oral contribution

  39. Ecole Polytechnique, Paris, France

    Olivier Danvy (Member), 30 Sep 2008 → …

    Activity: Participation in council, board, committee and network › Membership in review committee

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

    Olivier Danvy (Organizer), 1 Nov 2008 → 31 Oct 2009

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  41. Université de Nancy

    Olivier Danvy (Member), 8 Nov 2008 → 12 Mar 2009

    Activity: Participation in council, board, committee and network › Membership in review committee

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

    Olivier Danvy (Organizer), 15 Nov 2008 → 15 Aug 2009

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  43. Higher-Order and Symbolic Computation : http://www.ccs.neu.edu/events/wand-symposium/cfp.html

    Olivier Danvy (Editor), 1 Dec 2008 → 31 Dec 2010

    Activity: Ongoing editorial work › Editor of unfinished research anthology/collection

  44. 2009 Workshop on Normalization by Evaluation

    Olivier Danvy (Organizer), 1 Dec 2008 → 15 Aug 2009

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

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

    Olivier Danvy (Participant), BRICS PhD School, Department of Computer Science, Aarhus University, 2 Dec 2008 → 14 Jan 2009

    Activity: Other research and communication activities › Supervision and co-examiner

  46. Université de Nice à Sophia-Antipolis

    Olivier Danvy (Member), 18 Dec 2008 → 18 Mar 2009

    Activity: Participation in council, board, committee and network › Membership in review committee

  47. 2007

  48. ECOOP 2007

    Olivier Danvy (Editor), 1 Jan 2007

    Activity: Ongoing editorial work › Peer review of manuscripts

  49. ESOP 2007

    Olivier Danvy (Editor), 1 Jan 2007

    Activity: Ongoing editorial work › Peer review of manuscripts

  50. ICFP 2007

    Olivier Danvy (Editor), 1 Jan 2007

    Activity: Ongoing editorial work › Peer review of manuscripts

  51. Information and Computation

    Olivier Danvy (Editor), 1 Jan 2007

    Activity: Ongoing editorial work › Peer review of manuscripts

  52. Journal of Functional Programming

    Olivier Danvy (Editor), 1 Jan 2007

    Activity: Ongoing editorial work › Peer review of manuscripts

  53. PPDP 2007

    Olivier Danvy (Editor), 1 Jan 2007

    Activity: Ongoing editorial work › Peer review of manuscripts

  54. Science of Computer Programming

    Olivier Danvy (Editor), 1 Jan 2007

    Activity: Ongoing editorial work › Peer review of manuscripts

  55. Springer

    Olivier Danvy (Editor), 1 Jan 2007

    Activity: Ongoing editorial work › Peer review of manuscripts

  56. TOPLAS

    Olivier Danvy (Editor), 1 Jan 2007

    Activity: Ongoing editorial work › Peer review of manuscripts

  57. Defunctionalised Interpreters for Higher-Order Programming Languages

    Olivier Danvy (Lecturer), 16 Jan 2007

    Activity: Lecture and oral contribution

  58. Retreat of the INRIA Phoenix research group

    Olivier Danvy (Participant), INRIA/LaBRI, 23 Jan 2007 → 25 Jan 2007

    Activity: Other research and communication activities › Supervision and co-examiner

  59. Rutgers University

    Olivier Danvy (Member), 1 Mar 2007 → 1 Aug 2007

    Activity: Participation in council, board, committee and network › Membership in review committee

  60. University of Chicago

    Olivier Danvy (Member), 1 Jun 2007 → 30 Sep 2007

    Activity: Participation in council, board, committee and network › Membership in review committee

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

    Olivier Danvy (Organizer), 25 Aug 2007 → 26 Aug 2007

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  62. Portland State University

    Olivier Danvy (Member), 1 Sep 2007 → 31 Dec 2007

    Activity: Participation in council, board, committee and network › Membership in review committee

  63. visiting professorship

    Olivier Danvy (Participant), 1 Oct 2007 → 31 Dec 2007

    Activity: Other research and communication activities › Period visiting other institutions

  64. 2006

  65. POPL 2007

    Olivier Danvy (Editor), 1 Jan 2006

    Activity: Ongoing editorial work › Peer review of manuscripts

  66. http://www.dcs.gla.ac.uk/jfp/

    Olivier Danvy (Member), 7 Mar 2006 → …

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

  67. visiting professor

    Olivier Danvy (Participant), Ecole Normale Supérieure, 15 Mar 2006 → 15 Apr 2006

    Activity: Other research and communication activities › Period visiting other institutions

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

    Olivier Danvy (Participant), ITU, 4 May 2006 → 15 May 2006

    Activity: Other research and communication activities › External teaching and subject coordination

  69. Refunctionalization at Work

    Olivier Danvy (Lecturer), 3 Jul 2006

    Activity: Lecture and oral contribution

  70. visiting professor

    Olivier Danvy (Participant), Université de Paris XII, 1 Dec 2006 → 31 Dec 2006

    Activity: Other research and communication activities › Period visiting other institutions

  71. 2005

  72. Lecturer

    Olivier Danvy (Participant), 27 Feb 2005 → 4 Mar 2005

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  73. Co-chair

    Olivier Danvy (Organizer), 17 May 2005

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

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

    Olivier Danvy (Organizer), 18 May 2005 → 21 May 2005

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  75. Lecturer

    Olivier Danvy (Participant), 6 Jun 2005 → 10 Jun 2005

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  76. Invited speaker

    Olivier Danvy (Participant), 19 Sep 2005 → 21 Sep 2005

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  77. 2005 Peter Landin Prize

    Olivier Danvy (Participant), 19 Sep 2005 → 21 Sep 2005

    Activity: Other research and communication activities › Prizes, scholarships, distinctions

  78. 10th ACM SIGPLAN International Conference on Functional Programming

    Olivier Danvy (Participant), 24 Sep 2005 → 29 Sep 2005

    Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference

  79. http://www.ifl-workshops.org/

    Olivier Danvy (Member), 1 Oct 2005 → …

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

  80. Sabbatical

    Olivier Danvy (Participant), DIKU and the ITU, 1 Oct 2005 → 31 Dec 2005

    Activity: Other research and communication activities › Period visiting other institutions

  81. 2004

  82. IFIP

    Olivier Danvy (Member), 1 Jan 2004 → …

    Activity: Participation in council, board, committee and network › Membership in research network

  83. 2003

  84. http://www.appsem.org

    Olivier Danvy (Member), 1 Jan 2003 → 30 Jun 2006

    Activity: Participation in council, board, committee and network › Membership in research network

  85. 2002

  86. ICFP steering committee at ACM SIGPLAN

    Olivier Danvy (Member), 1 Jan 2002 → …

    Activity: Participation in council, board, committee and network › Membership in committee, council, board

  87. 1998

  88. Higher-Order and Symbolic Computation

    Olivier Danvy (Editor), 1 Jun 1998 → 30 Nov 2008

    Activity: Ongoing editorial work › Editor of Research journal