University of Cambridge > Talks.cam > Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

3 upcoming talks and 229 talks in the archive.

Microsoft Research Cambridge, public talks

Horn Clauses for Verification and Synthesis

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserAndrey Rybalchenko, Microsoft Research Cambridge.

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

ClockThursday 25 August 2016, 10:30-11:15

Microsoft Research Cambridge, public talks

"Womenomics" and Gender-Inclusive Software: What the Software Industry Needs to Know

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMargaret Burnett, Oregon State University.

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

ClockFriday 02 September 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Queueing with Redundant Requests: A more realistic model

 Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required

UserMor Harchol-Balter - CMU.

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

ClockFriday 16 September 2016, 11:00-12:00

Please see above for contact details for this list.

 

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