2020 Testing and Verification Symposium

Meta Research Events

December 1, 2020 at 4:20 PM UTC – December 3, 2020 at 7:15 PM UTC

597
RSVPs

    About this event

    Join us for the fourth annual Facebook Testing and Verification (TAV) Symposium where we'll aim to bring together academia and industry in an open environment to exchange ideas and showcase the top experts from testing and verification scientific research and practice. Taking place virtually this year from Dec 1 to 3, the symposium is open to all testing and verification practitioners and researchers and is free to attend. 

    To connect with fellow attendees and members of the testing and verification broader community, join our TAV group on Facebook. For more information about the Symposium and research at Facebook, check out our blog post on research.fb.com.

    Recommended browser - We highly recommend using Google Chrome to join the Symposium for the best attendee experience.

    Speakers

    • Peter O'Hearn

      Facebook / University College London

      Research Scientist / Professor

    • Sukyoung Ryu

      Korea Advanced Institute of Science and Technology (KAIST)

      Associate Professor

    • Federica Sarro

      University College London

      Professor

    • Bryan O'Sullivan

      Facebook

      VP of Engineering

    • Mark Harman

      Facebook / University College London

      Research Scientist / Professor

    • Alastair Donaldson

      Google / Imperial College London

      Software Engineer / Professor

    • David Clark

      University College London

      Reader in Program Analysis

    • John Hughes

      Quviq AB / Chalmers University, Gothenburg

      Co-founder / Professor

    • Philippa Gardner

      Imperial College London

      Professor

    • David Dill

      Novi

      Lead Researcher

    Hosts

    • Peter O'Hearn

      Facebook / University College London

      Research Scientist / Professor

    • Nadia Alshahwan

      Facebook

      Software Engineer

    • Andy Adams-Moran

      Facebook

      Software Engineering Manager

    • Sharon Ayalde

      Facebook

      Research Program Manager, Academic Relations

    • Jessica Birch

      Meta

      Research Event Producer

    Contact Us