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