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,