![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Wojciech RΓ³ΕΌowski, Lean FRO.
Thursday 02 October 2025, 11:30-12:30
Computer Laboratory, William Gates Building, Lecture Theatre 2
Contact: No managers listed
0 upcoming talks View 16 archived talks
ack55's list
Coinductive predicates in Lean
Women@CL Events
Doing science in Alexa
Logic and Semantics Seminar (Computer Laboratory)
Game Semantics for Interface Middleweight Java
Women@CL Events
Site Reliability Engineer
Business Studies Seminars
Raspberry Pi, the story so far
Business Studies Seminars
i-teams
β οΈ This talk is part of the Business Studies series, all welcome to attend
Business Studies Seminars
Rapportive, Martin Kleppman
Business Studies Seminars
Rormix, Cloud Energy Management Products
Business Studies Seminars
MagicSolver - App discovery software
Business Studies Seminars
Bluetooth Low Energy
Business Studies Seminars
Developing breakthrough technology for schools
Women@CL Events
Challenges of big data personalisation
Cyber Security Society talks
Why root the kernel when you can just install a toolbar? - Christopher Palow (Facebook)
Cyber Security Society talks
Elegant Security - Stephen Bonner
Cyber Security Society talks
Attack Strategies & the Simplicity of Hacking
Women@CL Events
Lunch with Alexandra Gherghina from Google
Please see above for contact details for this list.