Edinburgh Research Explorer

Dr Jacques Fleuriot

Reader, Director of Institute

  1. 2018
  2. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Journal)

    Jacques Fleuriot (Peer reviewer), Dongming Wang (Peer reviewer), Jacques Calmet (Peer reviewer)
    Jul 2018

    Activity: Publication peer-review and editorial work typesEditorial activity

  3. 2013
  4. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Journal)

    Tetsuo Ida (Editor), Jacques Fleuriot (Editor)
    Mar 2013

    Activity: Publication peer-review and editorial work typesEditorial activity

  5. 2012
  6. IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning

    Jacques Fleuriot (Member of programme committee)
    2012

    Activity: Participating in or organising an event typesParticipation in conference

  7. The 9th International Workshop on Automated Deduction in Geometry

    Jacques Fleuriot (Organiser)
    2012

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course