|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 listsmachine learning Data Insights Cambridge Frank King
Other talksBawls, balls and brains: primate vocal communication and the evolution of speech Evaluation of US energy programme on clean energy startups Art speak The Art & Science of Clinical Problem-Solving De-identified electronic mental health records for research and recruitment Primary Care Unit Away Day for Unit members