2020 Testing and Verification Symposium

Meta Research Events
Dec 1 - 3, 2020, 8:20 AM (PST)

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.



  • Peter O'Hearn

    Peter O'Hearn

    Facebook / University College London

    Research Scientist / Professor

    See Bio
  • Nadia Alshahwan

    Nadia Alshahwan


    Software Engineer

    See Bio
  • Andy Adams-Moran

    Andy Adams-Moran


    Software Engineering Manager

    See Bio
  • Sharon Ayalde

    Sharon Ayalde


    Research Program Manager, Academic Relations

    See Bio
  • Jessica Birch

    Jessica Birch


    Research Event Producer

    See Bio