Attendees are invited to join the event over the course of three days, from December 1 to 3. The symposium’s agenda will include several talks that will offer opportunities for Q&A via the event platform.
“The TAV Symposium is all about bringing communities together: testing and verification, and academia and industry,” says Peter O’Hearn, Facebook researcher and University College London professor. “Speakers include leading academic researchers in TAV as well as folks from industry who deploy TAV techniques to practicing engineers. Both of these groups of people are pushing boundaries on what is known and on how TAV techniques can be used to help people. We believe that cross-fertilization of ideas is incredibly valuable, helping us all go further together.”
At the 2019 TAV Symposium, Facebook Software Engineer Nadia Alshahwan gave a talk on Sapienz testing and shared some of her team’s challenges and solutions with the community. For the 2020 symposium, she hopes to continue to have valuable discussions with attendees. “I can’t wait to see what this year will bring,” says Alshahwan. “The TAV Symposium has allowed my team to discover new collaborations and gain valuable feedback from this diverse audience.”
Below is the list of confirmed speakers, which can also be found on the registration page. As speakers are confirmed, they will be added on the registration site leading up to the event.
David Clark (University College London)
David Dill (Novi at Facebook)
Alistair Donaldson (Google; Imperial College London)
Philippa Gardner (Imperial College London)
Mark Harman (Facebook; University College London)
John Hughes (Quviq AB; Chalmers University, Gothenburg)
Federica Sarro (University College London)
Bryan O’Sullivan (Facebook)
Sukyoung Ryu (KAIST)
For more information about speakers, including full bios and topics, visit the registration page.
To learn more about TAV research at Facebook, check out the event summaries from the 2018 TAV Symposium and the 2019 TAV Symposium.