University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks

Microsoft Research Cambridge, public talks

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Public talks organised by Microsoft Research in Cambridge.

Tell a friend about this list:

If you have a question about this list, please contact: Tim Regan; Microsoft Research Cambridge Talks Admins; Nathan Jones. If you have a question about a specific talk, click on that talk to find its organiser.

4 upcoming talks and 724 talks in the archive: show first 500.

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

UserKi Yung Ahn, Portland State University.

HouseSmall lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 07 September 2015, 10:00-11:00

Towards Cross-fertilization Between Propositional Satisfiability and Data Mining

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

UserLAKHDAR SAÏS, CRIL.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockMonday 07 September 2015, 15:00-16:00

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

UserHongjin Liang, USTC.

HouseSmall lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 10 September 2015, 14:30-15:30

Opportunistic Storage Maintenance (SOSP’15)

UserAngela Demke Brown, Visiting Researcher.

HouseAuditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockTuesday 29 September 2015, 14:00-15:00

Please see above for contact details for this list.

 

© 2006-2015 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity