|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Discussion of topics relating to program verification. The primary focus will be on C-like languages, and the issues involved in concurrency.
0 upcoming talks and 20 talks in the archive.
Please see above for contact details for this list.
Other listsDr Ritchard Cable Innovation Forum Critical Theory and Practice Seminar
Other talksResearch Data Management: Workshop (For GSLS PhD students) Wild Immunology Prevelance of and Association between Obesity and Vitamin D 'Maths vs Disease' Masterclass: Crystal growth kinetics Title: When does end of life begin?