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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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

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

Tell a friend about this venue:

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.

0 upcoming talks and 5 talks in the archive.

Microsoft Research Cambridge, public talks

The second generation of meta-learning methods

UserMassimiliano (Max) Patacchiola, University of Cambridge.

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

ClockThursday 03 November 2022, 13:00-14:00

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

UserHongjin Liang, USTC.

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

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

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

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

Microsoft Research Cambridge, public talks

Giorgia Azzurra Marson

UserSpeaker to be confirmed.

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

ClockWednesday 22 July 2015, 10:00-11:00

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

UserCristina David, Oxford University.

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

ClockTuesday 14 July 2015, 11:00-11:45

Please see above for contact details for this list.

Other lists

Cafe RSA Cambridge Risk and Uncertainty Series

Other talks

The frequency of ‘America’ in America Regulators of Muscle Stem Cell Fate and Function Feeding your genes: The impact of nitrogen availability on gene and genome sequence evolution A lifelong project in clay: Virtues of Unity Sine-Gordon on a Wormhole PTPmesh: Data Center Network Latency Measurements Using PTP Asclepiadaceae Constructing the virtual fundamental cycle To be confirmed The Galactic Centre: a template for understanding star formation and feedback in a high-pressure environment
 

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