The audience will comprise renowned experts as well as promising young researchers from the fields of verification, systems, and security.
To attend the Specialist Meeting, please send an e-mail to Teresa Carbajo Garcia. If you have previously registered for the Royal Society meeting, you would have received an email from us confirming your registration to the Specialist Meeting; contact us now if that is not the case. If you have not yet done so, do let Teresa know of any dietary or access requirements.
Post-doc/PhD 5-minute Presentations: We anticipate that we will be able to allocate one hour for post-doctoral researchers and PhD students to present 5-minute snapshots of their research. If you would like to give such a presentation, please let us know
For further information and to see the provisional meeting programme please visit:
https://verificationinstitute.org/event/verified-trustworthy-software-systems-specialist-meeting/