![[University of Cambridge]](/static/images/identifier2.gif){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](/static/images/talkslogosmall.gif) |
|
If you have a question about this list, please contact: (no managers). If you have a question about a specific talk, click on that talk to find its organiser. 0 upcoming talks and 1 talk in the archive. Logic and Semantics Seminar (Computer Laboratory) Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)
Please see above for contact details for this list. |
Other listsThe Biffin Lecture Theatre Cambridge University Physics Society Meade Room, Faculty of EconomicsOther talksCambridge RNA Club - IN PERSON Morning Tea and Coffee Talk TBC Royal Papworth Hospital and Acute Medicine Title to be confirmed Title TBC |
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Magnus Myreen ( Chalmers University, Sweden).
Friday 21 June 2024, 14:00-15:00