skip to primary navigationskip to content
 

Wednesday Seminar recordings

Wednesday Seminar 2009/2010

2010-05-26 – Dynamical Grammars for Galaxy Image Recognition

Wayne Hayes - UC Irvine, USA

2010-05-19 – Statistical problems in complex networks

Edoardo Airoldi - Harvard University, USA

2010-05-12 – Privacy in Advertising: Not all Adware is Badware

Paul Francis - MPI Kaiserslautern, Germany

2010-04-28 – From Separation Logic to Systems Code

Peter O'Hearn - Queen Mary University of London

2010-03-10 – Aura: A Programming Language with Authorization and Audit

Steve Zdancewic - University of Pennsylvania, USA

2010-02-24 – Generic Programming

Dietmar Kühl - Bloomberg

2010-02-17 – Proving that programs eventually do something good

Byron Cook - Microsoft Research Cambridge

2010-02-10 – Third Generation Machine Intelligence

Chris Bishop - Microsoft Research Cambridge

2010-02-03 – Automated Experimentation: Beyond Deployment and Execution

Alexander Wolf - Imperial College London

2010-01-27 – Graphical Reasoning in Symmetric Monoidal Categories

Lucas Dixon - University of Edinburgh

2010-01-20 – Models of large-scale real-life networks

Bela Bollobas - University of Cambridge and University of Memphis

2010-01-13 – Multipath TCP

Mark Handley - UCL

2009-11-25 – Elements of a Networked Urbanism

Adam Greenfield - Nokia Helsinki

2009-11-11 – On Quantitative Software Verification

Marta Kwiatkowska - Oxford University

2009-11-04 – Serializability Enforcement for Concurrent ML

Suresh Jagannathan - Purdue University, USA

2009-10-28 – Aggregated Security Monitoring in 10GB networks

Nathan Macrides and Nick McKenzie - Security Engineering, RBS

2009-10-21 – Pushing JavaScript Performance

Lars Bak - Google Aarhus, Denmark

2009-10-07 – Scalable Ontology-Based Information Systems

Ian Horrocks - Oxford University

Total duration: 17:48:56