University of Cambridge > Talks.cam > Computer Laboratory Wednesday Seminars

Computer Laboratory Wednesday Seminars

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

The Computer Laboratory’s weekly seminar series, held each Wednesday during term at 14:00 in Lecture Theatre 1 in the William Gates Building. See http://www.cl.cam.ac.uk/seminars/ for more details.

Tell a friend about this list:

If you have a question about this list, please contact: Markus Kuhn; Caroline Stewart; David Greaves. If you have a question about a specific talk, click on that talk to find its organiser.

7 upcoming talks and 187 talks in the archive.

Competitive Contagion in Networks

UserMoez Draief - Imperial College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 12 March 2014, 14:00-15:00

Part Ib Group Project Presentations

UserComputer Laboratory Part Ib Students.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 05 March 2014, 14:00-15:00

What We Talk About When We Talk About Types

User Dr Nick Benton - Microsoft Research Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 26 February 2014, 14:00-15:00

Interactive Configuration Problems

UserHenrik Reif Andersen - Configit.Com, Copenhagen..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 19 February 2014, 14:00-15:00

Safer Healthcare by Better Computer Science

UserProf. Harold Thimbleby - Swansea University, Wales..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 12 February 2014, 14:00-15:00

Talking About Shapes

UserMALCOLM SABIN .

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 05 February 2014, 14:00-15:00

Randomised Load Balancing For Networks

UserThomas Sauerwald - University of Cambridge, Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 29 January 2014, 14:00-15:00

Evaluation Metrics and Learning to Rank for Information Retrieval

Please note new seminar start time of 2:00pm this term.

UserEmine Yilmaz - University College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 22 January 2014, 14:00-15:00

MirageOS: compiling a functional cloud

UserAnil Madhavapeddy - University of Cambridge Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 04 December 2013, 14:15-15:15

Compressed sensing and the art of subsampling

UserAnders Hansen - DAMTP, Centre for Mathematical Sciences, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 November 2013, 14:15-15:15

Research Issues in Computer Support for Collaborative Problem Solving

User Steve Tanimoto - University of Washington, Seattle..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 November 2013, 14:15-15:15

Towards Do-It-Yourself Networking

User Joerg Ott - Aalto University, Finland.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 13 November 2013, 14:15-15:15

Pico: no more passwords!

User Dr Frank Stajano - University of Cambridge Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 06 November 2013, 14:15-15:15

Understanding Video and Audio at Google

User Tom Walters - Google Zurich Labs.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 October 2013, 14:15-15:15

Disciplined Approximate Computing: From Language to Hardware and Beyond

UserLuis Ceze - University of Washington..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 October 2013, 14:15-15:15

Towards Position-based Routing for Mobile Environments

User Dr Marwan Fayad - Univ Stiling.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 16 October 2013, 14:15-15:15

Humans + Automation: Greater than the sum of the parts

UserMissy Cummings - MIT.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 19 June 2013, 14:15-15:15

Mind the Map - Modelling Sustainability of Urban Crowd-Sourcing

UserDr Licia Capra - University College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 08 May 2013, 14:15-15:15

CANCELLED: Compressed Sensing and the Art of Subsampling

UserAnders Hansen - University of Cambridge Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 01 May 2013, 14:15-15:15

The Wheeler Lectures in Computer Science

Could Computers Understand Their Own Programs

UserProf Sir Tony Hoare - Microsoft Research & Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 24 April 2013, 14:30-15:30

Student Design Project Presentations

UserStudent design teams.

HouseIntel Lab and Lecture Theatre 1, Computer Laboratory.

ClockWednesday 06 March 2013, 14:00-17:30

High-Assurance Algorithmic Trading

UserDr. Hasan Amjad, Cantab Capital Partners.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 February 2013, 14:15-15:15

Challenges in Computer Graphics Modeling

UserProf. Oliver Deussen, University of Konstanz, Germany.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 February 2013, 14:15-15:15

Privacy Challenges and Solutions for Data Sharing

UserDr Aris Gkoulalas-Divanis, IBM Research, Dublin.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 13 February 2013, 14:15-15:15

Adaptive Runtime Verification

UserProf Ezio Bartocci, University of Wien.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 06 February 2013, 14:15-15:15

Replacing lectures with videos in the Computer Science Tripos

UserAndy Rice, Alastair Beresford, Computer Lab.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 January 2013, 14:15-15:15

Computing at School: Tackling the ICT Education Crisis in UK Schools

UserSimon Peyton-Jones, Microsoft Research.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 January 2013, 14:15-15:15

One Bit is Not Enough: The Benefit of Reference Analysis in Virtual Memory Management

UserFrank Bellosa, Karlsruhe Institute of Techology.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 November 2012, 14:15-15:15

Sentiment Analysis

UserProf. Stephen Pulman, Oxford University Department of Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 07 November 2012, 14:15-15:15

Semi-local string comparison

UserAlexander Tiskin, Department of Computer Science, University of Warwick.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 31 October 2012, 14:15-15:15

Challenges and approaches to improving the accuracy of indoor positioning systems

UserNiki Trigoni, Oxford University Department of Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 24 October 2012, 14:15-15:15

Machine Learning Methods for the Detection and Prediction of Transmembrane Beta-Barrel Proteins in Prokariotes

UserDr Piero Fariselli, Biocomputing Group and Department of Computer Science, University of Bologna.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 October 2012, 14:15-15:15

Dart: A Platform for Building Large Web Applications

UserMads Ager, Google.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 10 October 2012, 14:15-15:15

The Great Indoors: The Next Frontier in Location-Based Services

Note unusual time, day and location

UserRavi Palanki, Qualcomm.

HouseLecture Theatre 2, Computer Laboratory.

ClockMonday 25 June 2012, 13:00-14:00

Behavioural Nudge or Technological Fudge?

UserYvonne Rogers, Professor of Interaction Design, UCL.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 13 June 2012, 14:15-15:15

A Bayesian Approach to Learning the Structure of Human Languages

UserPhil Blunsom, Department of Computer Science, Oxford University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 May 2012, 14:15-15:15

Alan Turing as a computer designer

UserProf. Brian Carpenter, University of Auckland Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 May 2012, 14:15-15:15

Energy efficiency and the design of brains

User Professor Simon Laughlin, Department of Zoology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 16 May 2012, 14:15-15:15

CANCELLED: Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google

CANCELLED: will most likely be rescheduled for next term

User Thomas Dullien, Google.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 09 May 2012, 14:15-15:15

Content delivery in the Internet: an infrastructure-oriented perspective.

UserSteve Uhlig, Professor of Networks, School of electronic engineering and computer science, Queen Mary, University of London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 May 2012, 14:15-15:15

The Wheeler Lectures in Computer Science

C++11 Style

Please register; note 16:00 start time

UserBjarne Stroustrup, Distinguished University Professor, Texas A&M University; Visiting Professor, Cambridge University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 February 2012, 16:00-17:30

A Communications Medium for the 21st Century : Towards Open Public Display Networks

UserNigel Davies, University of Lancaster.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 08 February 2012, 14:15-15:15

Inclusive Design

UserProfessor John Clarkson (University of Cambridge).

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 January 2012, 14:15-15:15

Speech Synthesis at Google

UserMatt Stuttle, Google.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 January 2012, 14:15-15:15

Automatic Discovery of Patterns in Media Content

UserNello Cristianini, Professor of Artificial Intelligence, Departments of Engineering Mathematics and Computer Science, University of Bristol.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 November 2011, 14:15-15:15

Search Based Software Engineering

UserProf. Mark Harman, UCL Dept of Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 16 November 2011, 14:15-15:15

Algebraic theories and computational effects

UserSam Staton (Computer Laboratory, University of Cambridge).

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 09 November 2011, 14:15-15:15

Notes on the Synthesis of Music

UserSam Aaron.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 November 2011, 14:15-15:15

TIME: Transport Information Monitoring Environment

UserDr Ken Moody (University of Cambridge).

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 26 October 2011, 14:15-15:15

Compiler Tools for MATLAB

UserLaurie Hendren, Professor, School of Computer Science, McGill University, Canada Leverhulme Visiting Professor, Oxford University Computing Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 June 2011, 14:15-15:15

EXAMS - NO SEMINAR THIS WEEK

UserSpeaker to be confirmed.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 08 June 2011, 14:15-15:15

Body Part Recognition: Making Kinect Robust

UserJamie Shotton, MSR Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 01 June 2011, 14:15-15:15

The Duality of State and Observation

UserPrakash Panangaden, Computing Laboratory Oxford University; on leave from McGill University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 May 2011, 14:15-15:15

Kernel Methods: the Emergence of a Well-founded Machine Learning

UserJohn Shawe-Taylor, Professor and Director of the UCL Centre for Computational Statistics and Machine Learning.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 May 2011, 14:15-15:15

Reflection on Java Security and Its Practical Impacts

Joint with the Security seminar series

UserLi Gong.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 04 May 2011, 14:15-15:15

Moose: an open platform for software analysis

UserStephane Ducasse.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 April 2011, 14:15-15:15

Quantum computing -- theoretical prospects and relations to classical computation

Note change of lecture theatre

UserRichard Jozsa, Centre for Quantum Information and Foundations, DAMTP, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory.

ClockWednesday 16 March 2011, 14:15-15:15

Exhibition of Student Design Projects

Note special event! Note unusual time!

UserStudent Designers.

HouseWorkstation area and Lecture Theatre 1, Computer Laboratory.

ClockWednesday 09 March 2011, 14:00-17:30

Mobile Software Engineering - Characteristics and Challenges

UserManfred Bortenschlager, Samsung.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 March 2011, 14:15-15:15

Reasoning about Software Safety Integrity and Assurance

UserTim Kelly, University of York.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 February 2011, 14:15-15:15

In the beginning God created tensor, ... then matter, ... then speech

UserBob Coecke, Oxford University Computing Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 09 February 2011, 14:15-15:15

Efficient Network-wide Flow Record Generation

UserJoel Sommers, Colgate University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 February 2011, 14:15-15:15

Challenging Computer Science Problems at Ocado

UserDr Vince Darley, Head of Analytics & Optimisation, Ocado.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 26 January 2011, 14:15-15:15

Implementing a Distributed Event Processing Network

UserAlex Kozlenkov, Betfair Research.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 19 January 2011, 14:15-15:15

Detecting Network Traffic Anomalies

UserPaul Barford, University of Wisconsin-Madison.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 November 2010, 14:15-15:15

What is happening now? Finding events in Massive Message Streams

UserMiles Osborne, University of Edinburgh School of Informatics.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 10 November 2010, 14:15-15:15

A Look Into Youtube - The World's Largest Video Site

UserOliver Heckmann, Director of Engineering, Google Zurich.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 03 November 2010, 14:15-15:15

A Survey of Classical and Real-Time Verification

UserJoel Ouaknine, Oxford University Computing Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 October 2010, 14:15-15:15

Test Generation and Fault Localization for Web Applications

UserFrank Tip, IBM T.J. Watson Research Center.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 13 October 2010, 14:15-15:15

Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance Architectures

Note unusual time and day (and LT2)

UserPeter Neumann, Principal Scientist, SRI International Computer Science Lab.

HouseLecture Theatre 2, Computer Laboratory.

ClockTuesday 12 October 2010, 16:15-17:15

Some Uses of Hashing in Networking Problems

UserMichael Mitzenmacher, Harvard University.

HouseLecture Theatre 1, Computer Laboratory.

ClockMonday 02 August 2010, 14:15-15:15

Executable Strategies for Cellular Decision Making

UserJasmin Fisher, Microsoft Research Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 09 June 2010, 14:15-15:15

EXAMS

No Wednesday Seminar due to Exams!

UserGood luck to students with their exams!.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 June 2010, 14:15-15:15

Dynamical Grammars for Galaxy Image Recognition

UserWayne Hayes - UC Irvine, USA.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 26 May 2010, 14:15-15:15

Statistical problems in complex networks

UserEdoardo Airoldi - Harvard University, USA.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 19 May 2010, 14:15-15:15

Privacy in Advertising: Not all Adware is Badware

Rescheduled from April 21.

UserPaul Francis - MPI Kaiserslautern, Germany.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 12 May 2010, 14:15-15:15

NO SEMINAR THIS WEEK

UserSpeaker to be confirmed.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 05 May 2010, 14:15-15:15

From Separation Logic to Systems Code

UserPeter O'Hearn - Queen Mary University of London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 April 2010, 14:15-15:15

Privacy in Advertising: Not all Adware is Badware

UserPaul Francis - MPI Kaiserslautern, Germany.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 21 April 2010, 14:15-15:15

Aura: A Programming Language with Authorization and Audit

UserSteve Zdancewic - University of Pennsylvania, USA.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 10 March 2010, 14:15-15:15

Exhibition of Student Design Projects

Note special event! Note unusual time!

UserPart 1B Students.

HouseWorkstation area and Lecture Theatre 1, Computer Laboratory.

ClockWednesday 03 March 2010, 14:00-17:30

Generic Programming

UserDietmar Kühl - Bloomberg.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 24 February 2010, 14:15-15:15

Proving that programs eventually do something good

UserByron Cook - Microsoft Research Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 February 2010, 14:15-15:15

Third Generation Machine Intelligence

UserChris Bishop - Microsoft Research Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 10 February 2010, 14:15-15:15

Automated Experimentation: Beyond Deployment and Execution

UserAlexander Wolf - Imperial College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 03 February 2010, 14:15-15:15

Graphical Reasoning in Symmetric Monoidal Categories

UserLucas Dixon - University of Edinburgh.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 January 2010, 14:15-15:15

Models of large-scale real-life networks

UserBela Bollobas - University of Cambridge and University of Memphis.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 January 2010, 14:15-15:15

Multipath TCP

UserMark Handley - UCL.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 13 January 2010, 14:15-15:15

Performance Comparisons of Hard Logic, Programmable Soft Logic, and Instruction Set Architectures

Note unusual out of term date.

UserJonathan Rose - University of Toronto.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 09 December 2009, 14:15-15:15

A POPLmark retrospective: Using proof assistants in programming language research

Note change of speaker!

UserStephanie Weirich - University of Pennsylvania, USA.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 02 December 2009, 14:15-15:15

Elements of a Networked Urbanism

UserAdam Greenfield - Nokia Helsinki.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 November 2009, 14:15-15:15

Insights from Expert Software Design Practice

UserMarian Petre - Open University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 November 2009, 14:15-15:15

On Quantitative Software Verification

UserMarta Kwiatkowska - Oxford University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 11 November 2009, 14:15-15:15

Serializability Enforcement for Concurrent ML

UserSuresh Jagannathan - Purdue University, USA.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 04 November 2009, 14:15-15:15

Aggregated Security Monitoring in 10GB networks

UserNathan Macrides and Nick McKenzie - Security Engineering, RBS.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 October 2009, 14:15-15:15

Pushing JavaScript Performance

UserLars Bak - Google Aarhus, Denmark.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 21 October 2009, 14:15-15:15

Reaching Out: how to engage young people with computer science

Warning: the talk will include loud bangs.

UserChris Bishop - Microsoft Research Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 October 2009, 14:15-15:15

Scalable Ontology-Based Information Systems

UserIan Horrocks - Oxford University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 07 October 2009, 14:15-15:15

Reflections on merging the digital and the physical

Note unusual time

UserTim Kindberg - HP Labs, Bristol.

HouseLecture Theatre 1, Computer Laboratory.

ClockMonday 20 July 2009, 14:00-15:00

Evolving a language in and for the real world

800th Anniversary of Cambridge Univ. talk

UserBjarne Stroustrup - Texas A&M University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 01 July 2009, 14:15-15:15

Toward Energy-efficient Computing

800th Anniversary of Cambridge Univ. talk/Note unusual time

UserDavid J. Brown, Sun Microsystems Inc..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 June 2009, 16:00-17:00

What can sequent calculus do for functional programs?

UserPierre-Louis Curien, Paris.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 June 2009, 14:15-15:15

Concurrency Through the Ages

800th Anniversary of Cambridge Univ. talk

UserAndrew Birrell - Microsoft Research Silicon Valley.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 10 June 2009, 14:15-15:15

No Wednesday Seminar today!

UserEXAMS!.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 03 June 2009, 14:15-15:15

The 10 Cultures Problem

800th Anniversary of Cambridge Univ. talk

UserBill Thompson.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 May 2009, 14:15-15:15

Computational Creativity: A Different Future for AI Research

UserSimon Colton - Imperial College.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 May 2009, 14:15-15:15

Inventing the User: EDSAC in context

EDSAC 60th Anniversary talk/800th Anniversary of Cambridge Univ. talk/Note unusual time (Talk followed by Drinks Reception at 17:00)

UserProfessor David Barron, Emeritus Professor of the University of Southampton, Dr Doron Swade MBE, formerly Senior Curator of Computing, Science Museum, and Professor Sir Maurice Wilkes.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 06 May 2009, 15:00-17:00

Accounting for User Behaviour in Security

UserAngela Sasse - UCL.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 29 April 2009, 14:15-15:15

Correctness by Construction of High-Integrity Software

UserRod Chapman, Praxis High Integrity Systems.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 11 March 2009, 14:15-15:15

Collective Intelligence Techniques for Pervasive Computing

UserGeorge Roussos - Birkbeck College, University of London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 04 March 2009, 14:15-15:15

Privacy and HCISec: Notes From The Front

UserAlma Whitten - Google.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 February 2009, 14:15-15:15

Modelling Quality Properties of Systems

UserJohn Herbert - University College, Cork, Ireland.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 11 February 2009, 14:15-15:15

IPv6: the basics

UserBen Harris, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 04 February 2009, 14:15-15:15

A Framework for the Analysis of Mix-Based Steganographic File Systems

UserClaudia Diaz - Department of Electrical Engineering (ESAT), K.U.Leuven, Belgium.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 January 2009, 14:15-15:15

Structured Hidden Markov Model: A General Tool for Analysing Sequential data

UserMarco Botta - University of Torino.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 21 January 2009, 14:15-15:15

Statistical Parsing of Natural Language with Lexicalised Grammars

UserStephen Clark - Oxford University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 January 2009, 14:15-15:15

Second-Order Quantifier Elimination

UserRenate Schmidt - University of Manchester.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 03 December 2008, 14:15-15:15

MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions

UserLarry Paulson - Univ. of Cambridge Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 26 November 2008, 14:15-15:15

Robust Networks

UserSanjeev Goyal, University of Cambridge, Economics Department.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 19 November 2008, 14:15-15:15

Defending Networked Resources Against Floods of Unwelcome Requests

UserMichael Walfish - University of Texas, Austin and University College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 12 November 2008, 14:15-15:15

The Manticore project

UserJohn Reppy - University of Chicago.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 05 November 2008, 14:15-15:15

How to Protect your Data by Eliminating Trusted Storage Infrastructure

UserDavid Mazieres - Stanford University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 29 October 2008, 14:15-15:15

Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions

UserFrank Stajano, Lucia Bianchi, Pietro Liò and Douwe Korff.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 22 October 2008, 14:15-15:15

Practical Dynamic Software Updating for C

UserMichael Hicks - University of Maryland.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 October 2008, 14:15-15:15

Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors

Note unusual date and time

UserTimothy M. Jones - School of Informatics, University of Edinburgh.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 13 October 2008, 14:00-15:00

Content Distribution based on Social Swarming

UserCarmen Guerrero – Dpt. of Telematics Engineering at University Carlos III Madrid (UC3M).

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 08 October 2008, 14:15-15:15

STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS

UserProf Luciano da Fontoura Costa, University of São Paulo, Brazil.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 03 September 2008, 14:15-15:15

Acceleration of scientific computing using graphics hardware

UserGraham Pullan, Department of Engineering, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 May 2008, 14:15-15:15

How to prove that a communications protocol stack is up to the job

UserJames Collier, Chief Technical Officer , Cambridge Silicon Radio, http://www.csr.com.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 21 May 2008, 14:15-15:15

Citations and Argumentation for Better Information Access

UserSimone Teufel, Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 May 2008, 14:15-15:15

Copyright vs Community

Please note the extended duration

UserRichard Stallman, www.gnu.org.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 April 2008, 14:15-16:00

Sustainable Energy -- without the hot air

UserDavid J.C. MacKay, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 12 March 2008, 14:15-15:15

Student Design Project Presentations

UserAlan Blackwell (University of Cambridge).

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 05 March 2008, 16:15-17:15

Delay Tolerant Routing in Mobile and Sensor Networks

UserCecilia Mascolo, UCL.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 27 February 2008, 14:15-15:15

High-Performance Processing with Field-Programmable Logic

UserGeorge Constantinides, Imperial College London.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 20 February 2008, 14:15-15:15

Rethink and Arise!

UserTheodor Holm Nelson, Founder, Project Xanadu.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 13 February 2008, 14:15-15:15

Defence against the Dark Arts

UserMike Prettejohn, Netcraft.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 06 February 2008, 14:15-15:15

Executable Biology: Successes and Challenges

UserJasmin Fisher, Microsoft Research, Cambridge UK.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 January 2008, 14:15-15:15

Fine-grained differences and similarities in meanings

NOTE THE LATER TIME

UserGraeme Hirst, Department of Computer Science, University of Toronto.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 January 2008, 16:15-17:15

Searching for Evil

UserRoss Anderson and Richard Clayton, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 16 January 2008, 14:15-15:15

Automation for Interactive Theorem Provers

UserLawrence Paulson, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 November 2007, 14:15-15:15

Executable Biology: Successes and Challenges

Canceled

UserJasmin Fisher, Microsoft Research, Cambridge, United Kingdom.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 21 November 2007, 14:15-15:15

Software Defect Mining with Formal Concept Analysis

UserChristian Lindig, Dagstuhl, Germany.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 November 2007, 14:15-15:15

Birrell's distributed reference listing revisited

UserRichard Jones, University of Kent.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 07 November 2007, 14:15-15:15

Multi-core programming with automatic parallelisation

UserTim Harris, Microsoft Research, Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 31 October 2007, 14:15-15:15

TechTalk by Google - The Chubby lock service for loosely-coupled distributed systems

UserMike Burrows, Principal Engineer, Google.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 24 October 2007, 14:15-15:15

How Do We Know What to Design?

UserFred Brooks, University of North Carolina at Chapel Hill.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 17 October 2007, 14:15-15:15

How to Write Bug-Free Code - A Live Demonstration

UserDouglas Squirrel, youdDevise.com.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 10 October 2007, 14:15-15:15

SQ Minus EQ can Predict Programming Aptitude

UserStuart Wray.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 19 September 2007, 14:15-15:15

Smart-card based authentication on an insecure network

UserPeter Sweeney, Centre for Communication Systems Research, University of Surrey..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 30 May 2007, 14:15-15:15

Electronics Revolution - driving pivotal change in Computer Science

UserSimon.Moore, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 23 May 2007, 14:15-15:15

New Directions for Navigation

UserAlan Jones, Cotares.com.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 16 May 2007, 14:15-15:15

Modelling Biochemical Pathways with Stochastic Process Algebra

UserJane Hillston, University of Edinburgh.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 09 May 2007, 14:15-15:15

DNA Microarray Technology at Agilent Technologies: Engineering, Manufacturing and Applications

Host: Pietro Lio'.

UserBill Peck, Agilent Technologies, Santa Clara California.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 April 2007, 14:15-15:15

Church's Problem on the Synthesis of Nonterminating Programs

Host: Anuj Dawar. NOTE: This talk is OUT-OF-TERM

UserWolfgang Thomas, RWTH Aachen University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 April 2007, 14:15-15:15

Annual Presentation of Student Projects

NOTE LATER TIME

UserStudent presentations..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 07 March 2007, 16:15-17:15

Security and Cooperation in Wireless Networks

UserJean-Pierre Hubaux, EPFL.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 28 February 2007, 14:15-15:15

The Lixto Web Data Extraction Project: A Status Report

UserGeorg Gottlob, Oxford University.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 21 February 2007, 14:15-15:15

Computing for the Future of the Planet

UserAndy Hopper, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 14 February 2007, 14:15-15:15

From Pascal and ML to Perl and VB: Software Engineering in Postmodernity

UserJames Noble, Victoria University of Wellington, New Zealand..

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 07 February 2007, 14:15-15:15

Mechanising First-Order Logic: Technology, Decidability and Applications

UserChristoph Weidenbach, Max Planck Institut.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 31 January 2007, 14:15-15:15

Road transport data and their uses

UserRichard Gibbens (Computer Laboratory).

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 24 January 2007, 14:15-15:15

New Challenges in Describing Digital Music

UserAlan Blackwell and Alejandro Vinao, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 29 November 2006, 14:15-15:15

Safety checking in a domain of collaborative applications.

UserDavid Greaves, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 22 November 2006, 14:15-15:15

Automatic termination proofs for software

UserByron Cook, Microsoft Research.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 November 2006, 14:15-15:15

Security Applications and Aspects of Meaning-Based Computing

UserDr Michael Lynch, CEO of Autonomy.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 08 November 2006, 14:15-15:15

The Challenges and Thrills of a Young Industry

UserDavid Braben, Frontier.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 01 November 2006, 14:15-15:15

All-Optical Networks

UserDr. Noriaki Kamiyama, Research Scientist, NTT Service Integration Laboratories.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 October 2006, 14:15-15:15

Learning Probabilistic Sequence Models for Uncovering Gene Regulation

This talk was originally scheduled for October 4. NOTE THAT IT IS NOT AT THE USUAL TIME.

UserMark Craven, University of Wisconsin.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 October 2006, 16:15-17:15

Semantics in broad-coverage natural language processing

UserAnn Copestake, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 18 October 2006, 14:15-15:15

Logics for Unranked Trees: An Overview

UserLeonid Libkin, U of Edinburgh.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 11 October 2006, 14:15-15:15

Learning Probabilistic Sequence Models for Uncovering Gene Regulation

UserMark Craven, University of Wisconsin.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 04 October 2006, 14:15-15:15

Please see above for contact details for this list.

 

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