The Facebook Testing and Verification Symposium is a two day event at Facebook's London offices on 6th and 7th of November 2017. The symposium aims to build meaningful collaboration and exchange between Testing and Verification scientific research and between academia and industry.
FaceTAV is full. Join us on Facebook LIVE to engage in the conversation. Please join the FaceTAV Facebook Group for updates on upcoming events and exciting news!
Mark is an engineering manager at Facebook and a part time professor of Software Engineering in the Department of Computer Science at University College London. His scientific work centers around software analysis and testing and Search Based Software Engineering (SBSE), a field of engineering he co-founded in the late 1990s.
Peter is an Engineering Manager working with the Static Analysis Tools team in the Facebook London Engineering office. He came to Facebook in 2013 with the acquisition of the verification startup Monoidics. His research has been in the broad areas of programming languages and logic, ranging from new logics and mathematical models to industrial applications of formal proof.
If you are a confirmed guest, the 2017 FaceTAV Symposium will take place at Facebook's London office in the heart of London. No onsite resgistrations allowed. Check out the recordings from our 2017 FaceTAV event on our Facebook Page.
If you have questions, please reach out to us at FaceTAV@fb.com.
FaceTAV brings together academia and industry to deliver meaningful collaboration and exchange between Testing and Verification scientific research and practice.
If you have questions, please email us at FaceTAV@fb.com.
Giving people the power to share and connect requires constant innovation. At Facebook, research permeates everything we do. Check out our website for more information: http://research.fb.com.