![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
REMS lunch
REMS lunchtime meeting
Contact: Peter Sewell
0 upcoming talks View 40 archived talks
No upcoming talks scheduled for this series.
Please see above for contact details for this list.
![[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: Peter Sewell. If you have a question about a specific talk, click on that talk to find its organiser. 0 upcoming talks and 40 talks in the archive. Please see above for contact details for this list. |
Other listshttps://zoom.us/j/93583553185?pwd=d1kvR3A1VnNxemZwWUNhR2RJUGk5Zz09 Type the title of a new list here CBL Room BE-438, Department of EngineeringOther talksTBC Security Cooperation within Government and between Governments title and abstract tba (joint seminar with Spectral Geometry in the Clouds) Fairy Tales Title to be confirmed Reachability Types, Traces, and Full Abstraction |