1. 2020
  2. Katamaran: semi-automated verification of ISA specifications

    Steven Keuchel (Speaker), Dominique Devriese (Contributor), Georgy Lukyanov (Contributor)
    16 Jun 2020

    Activity: Talk or presentationTalk or presentation at a workshop/seminar

  3. Georgy Lukyanov

    Dominique Devriese (Host)
    10 Feb 202016 Mar 2020

    Activity: Hosting a visitorHosting an academic visitor

  4. 2019
  5. Research Visit on Capability Machine Reasoning

    Dominique Devriese (Participant), Steven Keuchel (Participant), Thomas Van Strydonck (Participant), Lars Birkedal (Organiser)
    26 Nov 201928 Nov 2019

    Activity: Other

  6. Eric Tanter

    Dominique Devriese (Host)
    10 Oct 201911 Oct 2019

    Activity: Hosting a visitorHosting an academic visitor

  7. Matìas Toro

    Dominique Devriese (Host)
    30 Sep 201918 Oct 2019

    Activity: Hosting a visitorHosting an academic visitor

  8. Linear Capabilities: an overview

    Dominique Devriese (Speaker)
    18 Mar 2019

    Activity: Talk or presentationTalk at an external academic organisation

  9. Research Visit to Cambridge University

    Dominique Devriese (Participant), Thomas Van Strydonck (Participant), Peter Sewell (Recipient)
    18 Mar 201920 Mar 2019

    Activity: Other

  10. 2018
  11. Éric Tanter

    Dominique Devriese (Host)
    25 Oct 201826 Oct 2018

    Activity: Hosting a visitorHosting an academic visitor

ID: 39737071