![[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)
Massimiliano (Max) Patacchiola, University of Cambridge.
Thursday 03 November 2022, 13:00-14:00
Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB
Contact: No managers listed
0 upcoming talks View 5 archived talks
Microsoft Research Cambridge, public talks
The second generation of meta-learning methods
Microsoft Research Cambridge, public talks
A Program Logic for Concurrent Objects under Fair Scheduling
â ī¸ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Executable Relational Specifications of Polymorphic Type Systems using Prolog
â ī¸ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Microsoft Research Cambridge, public talks
Giorgia Azzurra Marson
Microsoft Research Cambridge, public talks
Solving Second-Order Constraints with Program Synthesis
â ī¸ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Please see above for contact details for this list.