The fourth Facebook Testing and Verification Symposium (TAV) will take place this week, with an interesting programme of speakers including our own Alastair Donaldson and Philippa Gardner.

TAV is conceived as an open environment for academia and industry to exchange ideas on testing and verification scientific research and practice. It is taking place virtually this year from the 1st to 3rd Dec and is free to attend.

For more details, please see this link to their blog post this one to the Facebook research page or the TAV group on Facebook.