Eben Roux introduces messaging using a service bus, explaining the differences between WCF, web services and a service bus, and demoes how Shuttle handles messages.
Phil Trelford describes and demonstrates areas where F# excels, such as domain modeling, computation and concurrency.
Colin Gravill talks about how using F# to construct a shared analysis engine and the languages used to make the individual tools.
Andy Gordon discusses machine learning using functional programming, explaining how Infer.NET Fun turns the succinct syntax of F# into an executable modeling language for Bayesian machine learning.
Matthew Moloney shares some of the F# tools built at Microsoft Research for dealing with Big Data.
K. Rustan M. Leino advocates developing in stages by using languages that offer both design level abstractions – types, contracts, higher-level constructs, ghost constructs- and implementation ones.
Donna Malayeri speaks on information rich programming with F# 3.0’s type providers and query expressions, explaining how type providers work under the hood.
Yaniv Rodenski introduces Hadoop, then running Hadoop on Azure and the available tools and frameworks.
Amanda Laucher and Paul Snively debate solving problems through types and tests using different approaches.
Chris Granger discusses the need for enhancing the learning tools starting from his own experience watching through a mirror people trying to solve problems at Microsoft.
Richard Astbury demoes an Azure package management system useful for porting applications to Microsoft’s PaaS.
Samidip Basu demoes using Push Notifications, OData, Live Services and Azure WP7 Toolkit for Windows Phone applications connected to the Azure cloud.