Wednesday Seminars - Department of Computer Science and Technology

Sensing human activities: from the lab to the home of the elderly

Professor Claudio Bettini - Department of Computer Science, University of Milan, Italy.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 20 November 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Computing for Climate Science and Programming for the Planet

Dr Dominic Orchard - Department of Computer Science and Technology, University of Cambridge. Co-director of the Institute of Computing for Climate Science (ICCS).

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 13 November 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Lean Learning: Applying Lean and Agile Techniques to Software Engineering Education

Dr Robert Chatley - Director, Software Engineering Practice and Director, DoC EdTech Lab, Imperial College London.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 06 November 2024, 15:05-15:55

The Wheeler Lectures in Computer Science

Wheeler Lecture 2024: Supercharging the Human Mind With AI

Professor Yvonne Rogers - Professor of Interaction Design, Director of UCL Interaction Centre, Deputy Head of the Computer Science Department UCL.

Lecture Theatre 1, Computer Laboratory.

Wednesday 23 October 2024, 15:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Iterative active learning for the rapid discovery of best-in-class multispecific antibody therapeutics

Dr Leonard Wossnig - CTO at LabGenius and Honorary Research Fellow in Computer Science at UCL.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 15 May 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Exploring novel (bio)molecular spaces by design – a dialogue between representation and generation

Professor Bruno Correia - Laboratory of Protein Design and Immunoengineering, EPFL Swiss Federal Institute of Technology, Lausanne..

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 01 May 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Private Data Analysis over Large Populations

Professor Graham Cormode - Research Scientist, Facebook and professor in the Department of Computer Science, University of Warwick.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Wednesday 13 March 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Distribution Shifts in Human-Centered Representation Learning

Dr Ali Etemad - Associate Professor at Queen’s University, Canada. Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 06 March 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

A Data-Free, Universal Prior Distribution for Syntactic Structures

Dr Fermin Moscoso del Prado Martin - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 28 February 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Making Large Language Models Safe: A Case Study of Llama2

Pushkar Mishra - Lead AI Research Engineer, Meta and Computer Science Part 1B Supervisor, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 21 February 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Graph Neural Networks for skillful weather forecasting

Dr Ferran Alet - Research Scientist, Google DeepMind.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 14 February 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification

Dr Tobias Grosser - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 07 February 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Quantum computing via the lens of additive combinatorics

Dr Tom Gur - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 24 January 2024, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

A brief introduction to causal inference

Dr Apinan Hasthanasombat - Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 29 November 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Cross-lingual transfer learning with multilingual masked language models

Professor Mamoru Komachi - Research Professor, Tokyo Metropolitan University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 22 November 2023, 15:05-15:55

The Wheeler Lectures in Computer Science

Wheeler Lecture 2023: Beyond functional programming: a taste of Verse

Professor Simon Peyton Jones - Honorary Distinguished Fellow of the Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 November 2023, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Coherence Attacks and Defenses in 2.5D Integrated Systems

Professor Paul Gratz - Professor in the Department of Electrical and Computer Engineering, Texas A&M University. Visiting academic at the Department of Computer Science and Technology, University of Cambridge .

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 08 November 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Pathfinding for 10k agents

Dr Keisuke Okumura - Visiting scholar at the Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 01 November 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

An invitation to univalent foundations of mathematics

Dr Jon Sterling - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 25 October 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

How can we make trustworthy AI?

Professor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 11 October 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Privacy in mobility measurements

Professor Jörg Ott - Technische Universität München.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 31 May 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Bayes in the age of intelligent machines

Professor Tom Griffiths - Princeton University.

Online.

Wednesday 24 May 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Learning the topology of complex systems from their dynamics

Professor Ginestra Bianconi - Queen Mary University of London.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 10 May 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

From the GUI to ChatGPT: a historical sketch of HCI research agendas and their applicability today

Professor Richard Harper - Lancaster University.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 03 May 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

TALK CANCELLED: Explicit Weakening (A Functional Pearl)

Professor Philip Wadler - Professor of Theoretical Computer Science, Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 15 March 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Backdoors in Machine Learning Models

Dr Ilia Shumailov - Christ Church, University of Oxford.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 01 March 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Data Science and Machine Learning in Context

Dr. Alfred Z. Spector Visiting Scholar, MIT EECS.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 22 February 2023, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Memorial Event for Alexander 'Sandy' Fraser

Various.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Wednesday 15 February 2023, 16:00-18:00

Wednesday Seminars - Department of Computer Science and Technology

Using Everyday Routines as a Resource for Understanding Behaviors and Making Recommendations

Professor Anind Dey - Dean and Professor of the Information School at the University of Washington.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 30 November 2022, 15:30-16:20

Wednesday Seminars - Department of Computer Science and Technology

Formalised Mathematics: Obstacles and Achievements

Professor Lawrence Paulson - Department of Computer Science and Technology.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 23 November 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Financing Forests: A Credible Approach towards Halting Tropical Deforestation

Professor Anil Madhavapeddy - Department of Computer Science and Technology.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 16 November 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

CANCELLED: Turning the metaverse from myth to reality

Herman Narula - CEO of Improbable.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 09 November 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Developing an artificial heart

Dr Mark Goldberg - Camp Lowell Cardiology.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 19 October 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Would you trust a cybercriminal?

Dr Alice Hutchings - Department of Computer Science and Technology.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 12 October 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Computational Inverse Design of Deployable Structures

Professor Mark Pauly - Geometric Computing Laboratory, EPFL Swiss Federal Institute of Technology, Lausanne.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 08 June 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Balanced Allocations: The Power of Choice versus Noise

Dr Thomas Sauerwald - Department of Computer Science and Technology.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 01 June 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

AI Hardware and Real-World AI

Andrew Fitzgibbon - Distinguished Engineer, Graphcore.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 25 May 2022, 15:05-15:55

The Wheeler Lectures in Computer Science

CANCELLED: Wheeler Lecture 2022

David Silver, Principal Research Scientist at DeepMind.

Lecture Theatre 1, Computer Laboratory.

Wednesday 18 May 2022, 15:15-16:45

Wednesday Seminars - Department of Computer Science and Technology

Safe and accurate satellite navigation with non-Gaussian models

Dr Ian Sheret - Polymath Insight Limited.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 04 May 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Graph Neural Networks through the lens of algebraic topology, differential geometry, and PDEs

Professor Michael Bronstein - Department of Computer Science, University of Oxford.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 09 March 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Intelligent Systems of the People, by the People, for the People

Xiaofan (Fred) Jiang - Associate Professor of Electrical Engineering and Computer Engineering, Columbia University.

Online.

Wednesday 02 March 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

AI x Mathematics

Dr Alex Davies - DeepMind and Dr Petar Veličković - DeepMind / University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 23 February 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Improving Quality of Experience for Video Users in Cellular Networks

Professor Cormac J. Sreenan - Professor of Computer Science at University College Cork.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 02 February 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

The Quarks of Attention

Professor Pierre Baldi - Distinguished Professor, Department of Computer Science Director, Institute for Genomics and Bioinformatics Associate Director, Center for Machine Learning and Intelligent Systems, University of California, Irvine.

Online.

Wednesday 26 January 2022, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Self-Organization of Lifelike Behaviors

Dr Jeremy England - Georgia Institute of Technology, School of Physics .

Online.

Wednesday 03 November 2021, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Remote sensing and computer vision – just analysis of images from different sensors?

Professor Clement Atzberger - BOKU University, Austria & Mantle Labs Ltd., UK.

Online.

Wednesday 27 October 2021, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

CO2 Monitoring in the Department

Ian Lewis - Department of Computer Science and Technology, University of Cambridge.

Online.

Wednesday 20 October 2021, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

A Retrospective on the 2014 NeurIPS Experiment

Professor Neil Lawrence - Department of Computer Science and Technology, University of Cambridge.

Online.

Wednesday 16 June 2021, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

The Statistical Finite Element Method

Professor Mark Girolami - Department of Engineering, University of Cambridge.

Online.

Wednesday 09 June 2021, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Morello - Arm's research prototype using Capabilities

Richard Grisenthwaite - SVP, Chief Architect & Fellow, Arm.

Online.

Wednesday 02 June 2021, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Computation, Composition

Dr Jamie Vicary - Department of Computer Science and Technology, University of Cambridge.

Online.

Wednesday 26 May 2021, 15:00-16:00

The Wheeler Lectures in Computer Science

Wheeler Lecture 2021: Reimagining Robots

Professor Daniela Rus - Director of the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT.

Online.

Wednesday 12 May 2021, 15:30-17:00

Wednesday Seminars - Department of Computer Science and Technology

Programming languages for humans

Dr Jeremy Yallop - Department of Computer Science and Technology, University of Cambridge.

Online.

Wednesday 05 May 2021, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Modelling syntactico-semantic composition for natural language understanding and generation

Dr Weiwei Sun - Department of Computer Science and Technology, University of Cambridge.

Online.

Wednesday 10 March 2021, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Data driven design for sustainable future cities: incorporating the intangible

Dr Ronita Bardhan - University Lecturer of Sustainability in Built Environment, Department of Architecture, University of Cambridge.

Online.

Wednesday 24 February 2021, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Theoretical Foundations of Graph Neural Networks

Dr Petar Veličković - DeepMind.

Online.

Wednesday 17 February 2021, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

The Compelling World of Augmented Perception - A Perspective on Sensory Wearables

Dr Fahim Kawsar - Nokia Bell Labs.

Online.

Wednesday 03 February 2021, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Reconciling Temporalities in Relating Different Worlds

Professor Nicola Bidwell - International University of Management, Namibia.

Online.

Wednesday 27 January 2021, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Graph Neural Networks for Biomedical Data

This seminar is part of the Artificial Intelligence Group Talk series too.

Marinka Zitnik, Harvard University.

Zoom.

Wednesday 25 November 2020, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Haar Graph Pooling

Dr Yu Guang Wang - University of New South Wales.

Online.

Wednesday 28 October 2020, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Addressing Imbalance in Object Detection

Dr Sinan Kalkan - Assoc. Prof Middle East Technical University and Visiting Researcher, Cambridge University.

Online.

Wednesday 17 June 2020, 15:00-16:00

The Wheeler Lectures in Computer Science

Wheeler Lecture 2020: The Future of Microprocessors

Dr Sophie Wilson.

Online.

Wednesday 20 May 2020, 14:00-16:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Software architectures for neural interfaces

Lucian Carata (University of Cambridge).

SW01, William Gates Building.

Friday 28 February 2020, 13:15-14:15

Wednesday Seminars - Department of Computer Science and Technology

Soft Aerial Robotics for Digital Infrastructure Systems

Dr Mirko Kovac - Director, Aerial Robotics Laboratory, Imperial College.

Lecture Theatre 2, Computer Laboratory.

Wednesday 19 February 2020, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Climate, Carbon, and Computer Science

Professor Keshav - Robert Sansom Professor, Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 2, Computer Laboratory.

Wednesday 12 February 2020, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Machine Learning at the Extreme Edge - an Open Platform Approach

Prof. Dr. Luca Benini, ETH Zürich.

Lecture Theatre 2, Computer Laboratory.

Wednesday 05 February 2020, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Digital Modeling of Reality with Machine Learning

Dr Cengiz Oztireli, Graphics Lecturer, Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 2, Computer Laboratory.

Wednesday 22 January 2020, 15:05-15:55

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Earphones: The Next Significant Platform after Smartphones

Romit Roy Choudhury (University of Illinois at Urbana Champaign).

Lecture Theatre 2, Computer Laboratory.

Wednesday 20 November 2019, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

The Digital Architecture of Future Cities

Dr Ian Lewis - Director, Infrastructure Investment - Computer Laboratory.

Lecture Theatre 2, Computer Laboratory.

Wednesday 13 November 2019, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Deep learning on graphs and manifolds: going beyond Euclidean data

Professor Michael Bronstein (Imperial College / Twitter).

Lecture Theatre 2, Computer Laboratory.

Wednesday 06 November 2019, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

StructureNet: Hierarchical Graph Networks for 3D Shape Generation

Professor Niloy Mitra - Professor of Geometry Processing in the Department of Computer Science, University College London (UCL).

Lecture Theatre 2, Computer Laboratory.

Wednesday 30 October 2019, 15:05-15:55

Computer Laboratory Digital Technology Group (DTG) Meetings

An Overview of C++20

Bjarne Stroustrup.

LT2, Computer Laboratory, William Gates Building.

Tuesday 01 October 2019, 11:05-11:55

Wednesday Seminars - Department of Computer Science and Technology

Security and Privacy in a World of Safety: Analysing Avionic Data Links and NextGen ATC Networks

Professor Ivan Martinovic - Computer Science Department, University of Oxford.

Lecture Theatre 2, Computer Laboratory.

Wednesday 12 June 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

The Principle of Least Cognitive Action

Professor Marco Gori.

Lecture Theatre 2, Computer Laboratory.

Wednesday 29 May 2019, 16:15-17:00

The Wheeler Lectures in Computer Science

Combining Formal Methods and Machine Learning

Professor Jane Hillston, University of Edinburgh.

Lecture Theatre 1, Computer Laboratory.

Wednesday 22 May 2019, 15:15-18:00

Wednesday Seminars - Department of Computer Science and Technology

How to design a programming language

Professor Alan Blackwell.

Lecture Theatre 2, Computer Laboratory.

Wednesday 01 May 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Hand Tracking on HoloLens 2

Dr Erroll Wood.

Lecture Theatre 2, Computer Laboratory.

Wednesday 24 April 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Representation Learning on Graphs

Jure Leskovec - Associate Professor of Computer Science at Stanford University, Chief Scientist at Pinterest, and investigator at Chan Zuckerberg Biohub.

Lecture Theatre 2, Computer Laboratory.

Wednesday 20 March 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

DevOps and Cloud Native development in the University of Cambridge

Dr Abraham Martin - Head of DevOps, University of Cambridge Information Services .

Lecture Theatre 2, Computer Laboratory.

Wednesday 27 February 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation

Dr Paolo Zuliani - School of Computing, Newcastle University.

Lecture Theatre 2, Computer Laboratory.

Wednesday 20 February 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Make Switches Simple Again!

Dr Noa Zilberman.

Lecture Theatre 2, Computer Laboratory.

Wednesday 13 February 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Perpetual Computing: Technologies for Banishing Batteries

Joshua R. Smith - Zeutschel Professor, Allen School of Computer Science and Engineering, University of Washington.

Lecture Theatre 2, Computer Laboratory.

Wednesday 06 February 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

The Magic of Machine Learning and Classifier ensembles

Ludmila Kuncheva,Bangor University.

Lecture Theatre 2, Computer Laboratory.

Wednesday 30 January 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Imitation learning for structured prediction

Dr Andreas Vlachos.

Lecture Theatre 2, Computer Laboratory.

Wednesday 23 January 2019, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

From molecules to recurrent visual hallucinations: multimodal imaging and computational modelling of Dementia with Lewy bodies

Dr Li Su - Alzheimer’s Research UK Senior Research Fellow.

Lecture Theatre 2, Computer Laboratory.

Wednesday 28 November 2018, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Computational Imaging for Realistic Appearance Modelling

Abhijeet Ghosh, Imperial College London.

Lecture Theatre 2, Computer Laboratory.

Wednesday 21 November 2018, 16:15-17:00

Conservation and Behaviour Change seminars

Social Marketing in Practice: lessons from sustainable transport

Geoff Gardner, Independent specialist in transport planning, development and behaviour change.

David Attenborough Building, New Museums Site, Room 2.49.

Thursday 15 November 2018, 12:00-13:00

Wednesday Seminars - Department of Computer Science and Technology

Failing with Style: Why and How we Should Encourage Humans to Fail with Highly Capable Systems

Professor Steve Benford, Mixed Reality Laboratory, School of Computer Science, The University of Nottingham.

Lecture Theatre 2, Computer Laboratory.

Wednesday 14 November 2018, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Scalable Intelligent Systems by 2025

Carl Hewitt - Emeritus Professor at MIT.

Lecture Theatre 2, Computer Laboratory.

Wednesday 07 November 2018, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Stylus input and the benefits of a standard

Mark Hayter - Sr Engineering Director in the Chrome OS Hardware team at Google, and is currently a visitor from industry with the Computer Architecture team in the Computer Lab .

Lecture Theatre 2, Computer Laboratory.

Wednesday 31 October 2018, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

A journey into interdisciplinary research

Derek McAuley - Professor of Digital Economy, University of Nottingham.

Lecture Theatre 2, Computer Laboratory.

Wednesday 17 October 2018, 16:15-17:00

Wednesday Seminars - Department of Computer Science and Technology

Machine learning for medicine: Predicting, pre-empting and treating disease

Professor Mihaela van der Schaar - John Humphrey Plummer Professor, University of Cambridge.

Lecture Theatre 2, Computer Laboratory.

Wednesday 10 October 2018, 16:15-17:00

The Wheeler Lectures in Computer Science

The Wheeler Lecture In Computer Science: Language, Learning, and Creativity

Professor Stephen Pulman - Department of Computer Science, University of Oxford..

Lecture Theatre 1, Computer Laboratory.

Wednesday 30 May 2018, 16:15-18:00

Wednesday Seminars - Department of Computer Science and Technology

Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents

Keith Clark - Imperial College London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 23 May 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

A New Era of Open-Source System-on-Chip Design

Prof Christopher Batten - Cornell University.

Lecture Theatre 1, Computer Laboratory.

Wednesday 16 May 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Latent Variable Model, Matrix Estimation and Collaborative Filtering

Prof Devavrat Shah - MIT.

Lecture Theatre 1, Computer Laboratory.

Wednesday 09 May 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

No Seminar Today

Speaker to be confirmed.

Lecture Theatre 1, Computer Laboratory.

Wednesday 02 May 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Embedding Musical Codes into an Interactive Piano Composition

Sadly, today's seminar shall not take place owing to strike action.

Prof Steve Benford - University of Nottingham, Mixed Reality Laboratory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 March 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Part Ib Group Project Presentations

Computer Science Tripos 2nd Year Students.

Lecture Theatre 1, Computer Laboratory.

Wednesday 07 March 2018, 14:00-17:30

Wednesday Seminars - Department of Computer Science and Technology

The Exposome in Epidemiological Practice

Sadly today's seminar shall not take place owing to snowy travel conditions.

Prof. Paolo Vineis - School of Public Health, Imperial College London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 28 February 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Exploring the mechanisms of haematopoietic lineage progression at the single-cell level

Dr Ana Cvejic - The Sanger Centre & Dept of Haematology, Cambridge..

Lecture Theatre 1, Computer Laboratory.

Wednesday 21 February 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Kiwi Scientific Acceleration on FPGA

Dr David J Greaves - University of Cambridge, Computer Laboratory..

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 February 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Private Statistics and Their Applications to Distributed Learning: Tools and Challenges

Dr Emiliano De Cristofaro - University College London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 07 February 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Amazon Alexa

Dr Craig Saunders - Amazon .

Lecture Theatre 1, Computer Laboratory.

Wednesday 31 January 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

THEMIS: Fairness in Federated Stream Processing under Overload

Dr Eva Kalyvianaki - The Computer Laboratory, Cambridge..

Lecture Theatre 1, Computer Laboratory.

Wednesday 24 January 2018, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Hands-on Generative Programming: Write an Interpreter, Build a Compiler.

Dr Nada Amin - University of Cambridge, Computer Laboratory..

Lecture Theatre 1, Computer Laboratory.

Wednesday 29 November 2017, 16:15-17:30

Wednesday Seminars - Department of Computer Science and Technology

Using Modern C++ - stepping up to C++14/17

Dr Bjarne Stroustrup.

Lecture Theatre 1, Computer Laboratory.

Wednesday 22 November 2017, 16:15-17:30

Wednesday Seminars - Department of Computer Science and Technology

When Robots Hit the Road: New Challenges in Multi-Vehicle Coordination and Control

Dr Amanda Prorok - University of Cambridge, Computer Laboratory..

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 November 2017, 16:15-17:30

Wednesday Seminars - Department of Computer Science and Technology

Open source – 19th C. capitalism re-invented ?

Dr Lee Smith - ARM .

Lecture Theatre 1, Computer Laboratory.

Wednesday 08 November 2017, 16:15-17:30

Wednesday Seminars - Department of Computer Science and Technology

Programming Computers Without Processors

Dr Satnam Singh - X, The Moonshot Factory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 01 November 2017, 16:15-17:30

Wednesday Seminars - Department of Computer Science and Technology

What if Computers Understood Physics?

Dr Phillip Stanley-Marbell - University of Cambridge, Dept Engineering..

Lecture Theatre 1, Computer Laboratory.

Wednesday 25 October 2017, 16:15-17:30

Wednesday Seminars - Department of Computer Science and Technology

(No Seminar Today)

Mr Nobody.

Lecture Theatre 1, Computer Laboratory.

Wednesday 18 October 2017, 16:15-17:30

Wednesday Seminars - Department of Computer Science and Technology

Wireless community mesh networks: fresh connectivity for 7 billion people

Prof Leandro Navarro - Universitat Politècnica de Catalunya.

Lecture Theatre 1, Computer Laboratory.

Wednesday 11 October 2017, 16:15-17:30

Big Data Meets Geo-Computation: Combining Research Reproducibility and Processing Efficiency in High-performance Computing

Giuseppe Amatulli (Yale).

Rayleigh room, Maxwell Centre, JJ Thomson Ave, Cambridge CB3 0HE.

Friday 08 September 2017, 15:00-16:00

Computer Laboratory Security Group meeting presentations

Building a secure bank from the ground up

Priyesh Patel, Daniel Chatfield, Monzo.

Computer Laboratory, William Gates Building, Room FW11.

Friday 09 June 2017, 16:00-16:45

Wednesday Seminars - Department of Computer Science and Technology

Reigniting Innovation in the Hardware Industry

Krste Asanovic - UC Berkeley.

Lecture Theatre 1, Computer Laboratory.

Wednesday 31 May 2017, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Can we make people value IT security?

Wheeler Lecture – Please register for this session on separate web page.

M. Angela Sasse - UCL London..

Lecture Theatre 1, Computer Laboratory.

Wednesday 24 May 2017, 16:15-17:30

Rainbow Group Seminars

Building an Intelligent Transportation System: Unveiling the Challenges (without the Hype!)

Glenford Mapp, Middlesex University.

SS03 Meeting Room, Computer Laboratory.

Thursday 18 May 2017, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Ubiquitous Sensing with Light

Xia Zhou - Dept of Computer Science Dartmouth College .

Lecture Theatre 1, Computer Laboratory.

Wednesday 17 May 2017, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Pervasive Sensing for Lifestyle Monitoring and Urban Applications

Prof Archan Misra - SMU Singapore.

Lecture Theatre 1, Computer Laboratory.

Wednesday 10 May 2017, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Morphologically Computing Soft Robots toward Self-Organizing Machines

Dr Fumiya Iida - Department of Engineering, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 03 May 2017, 16:15-17:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Solving Reproducibility: Cross-pollination between Biochemical sciences and Computer Sciences

Clayton Rabideau, University of Cambridge.

FW26, Computer Laboratory, William Gates Building.

Monday 24 April 2017, 14:05-15:00

Computer Laboratory Security Group meeting presentations

1000 days of UDP amplification DDoS attacks

Daniel Thomas (University of Cambridge).

Computer Laboratory, William Gates Building, Room FW11.

Friday 21 April 2017, 16:00-16:30

Computer Laboratory Digital Technology Group (DTG) Meetings

Security and Privacy in Machine Learning

Nicolas Papernot, Pennsylvania State University.

FW26, Computer Laboratory, William Gates Building.

Friday 31 March 2017, 11:00-11:55

Wednesday Seminars - Department of Computer Science and Technology

Are Sensor Networks a first step towards the Diamond Age?

Prof Julie McCann - Imperial College London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 March 2017, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Part Ib Computer Science Group Project Presentations

Part Ib CST Group Leaders.

Lecture Theatre 1, Computer Laboratory.

Wednesday 08 March 2017, 14:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

AI Meets Cancer

Dr Jasmin Fisher - Department of Biochemistry, University of Cambridge & Microsoft Research.

Lecture Theatre 1, Computer Laboratory.

Wednesday 01 March 2017, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

CHERI - Architectural support for software memory protection and compartmentalisation

Robert N. M. Watson - University of Cambridge, Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 22 February 2017, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Challenges in Human-Robot Interaction

Prof. Kerstin Dautenhahn - University of Hertfordshire.

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 February 2017, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Data Science for the World of Moving Things

Dr Damon Wischik - Computer Laboratory, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 08 February 2017, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE

Jamie Vicary - Department of Computer Science, University of Oxford.

Lecture Theatre 1, Computer Laboratory.

Wednesday 01 February 2017, 16:15-17:15

Computer Laboratory Digital Technology Group (DTG) Meetings

The Next-Generation Vector Architecture for HPC

Mbou Eyole, ARM.

SS03, Computer Laboratory, William Gates Building.

Monday 30 January 2017, 14:05-14:55

Wednesday Seminars - Department of Computer Science and Technology

Sequencing DNA Using Biological Nanopores

Tim Massingham - Oxford Nanopore Technologies.

Lecture Theatre 1, Computer Laboratory.

Wednesday 25 January 2017, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Architectural Impacts of the Silicon Performance Wall

Dr Gavin Stark - Netronome and Visiting Industrial Fellow, Computer Laboratory..

Lecture Theatre 1, Computer Laboratory.

Wednesday 30 November 2016, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Making Reactive Programs Function

Note: Venue is LT2 (not LT1).

Dr Neel Krishnaswami - University of Cambridge, Computer Laboratory.

Lecture Theatre 2, Computer Laboratory.

Wednesday 23 November 2016, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

PYNQ - Enabling Software Engineers to Program Heterogeneous, Reconfigurable SoCs

Peter Ogden - Xilinx Inc.

Lecture Theatre 1, Computer Laboratory.

Wednesday 16 November 2016, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Web search in an AI world: small, cute, distributed.

Dr Aurelie Herbelot - University of Trento.

Lecture Theatre 1, Computer Laboratory.

Wednesday 09 November 2016, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Graduate Studies Open Day

This is not a regular seminar. Please see separate programme.

Speaker to be confirmed.

Lecture Theatre 1, Computer Laboratory.

Wednesday 02 November 2016, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

End-to-end encryption: Behind the scenes

D Vasile, M Kleppmann & D Thomas - University of Cambridge Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 26 October 2016, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

From Idea to Startup

David Chan - Entrepreneur-in-Residence, CyLon Accelerator.

Lecture Theatre 1, Computer Laboratory.

Wednesday 19 October 2016, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Rethinking Auto-Parallelisation

Please note: All seminars in this series now start at 16:15

Prof Michael O'Boyle - School of Informatics, Edinburgh.

Lecture Theatre 1, Computer Laboratory.

Wednesday 12 October 2016, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

From EDA to NDA: Treating Networks like Hardware Circuits

(Out-of-term, one-off extra seminar.)

George Varghese - Microsoft Research.

Lecture Theatre 2, Computer Laboratory.

Tuesday 12 July 2016, 13:30-14:30

The Wheeler Lectures in Computer Science

A History of Virtualisation in Operating Systems.

[14:30 Minute madness; 16:00 Main lecture; 17:00 Drinks reception.]

Dr Andrew Herbert OBE, FREng...

Lecture Theatre 1, Computer Laboratory.

Wednesday 25 May 2016, 14:30-18:00

Wednesday Seminars - Department of Computer Science and Technology

What does the operating system ever do for me? - Systems Challenges in Graph Analytics

Dr Tim Harris - Oracle Research Laboratories (Cambridge).

Lecture Theatre 1, Computer Laboratory.

Wednesday 18 May 2016, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

No Littering!

Please note: Unusual day of week and time.

Bjarne Stroustrup - Morgan Stanley and Columbia University.

Lecture Theatre 1, Computer Laboratory.

Friday 13 May 2016, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Imaginary Engines: Lovelace, Babbage and the Analytical Engine.

Sydney Padua.

Lecture Theatre 1, Computer Laboratory.

Wednesday 11 May 2016, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Android: Mobile, Wearable and IoT devices - Designing Global, Scalable Systems

Note revised date.

Dr Grant Allen - Google.

Lecture Theatre 1, Computer Laboratory.

Wednesday 04 May 2016, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

From Human Affect and Personality to Social Robots: Affective and Social Signal Processing

Dr Hatice Gunes - University of Cambridge, Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 27 April 2016, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Anvil: building web apps in a browser using Python

Ian Davies and Meredydd Luff.

Room SS03, Computer Laboratory, William Gates Building.

Monday 25 April 2016, 14:05-14:55

Wednesday Seminars - Department of Computer Science and Technology

Freedom to Innovate: Addressing Student Legal Risks at MIT and Queen Mary's Entrepreneurship and Cyberlaw Clinics

Nathan Matias - MIT Media Laboratory Centre For Civic Media.

Lecture Theatre 1, Computer Laboratory.

Wednesday 09 March 2016, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

CST Part Ib, Group Project Presentations

Part Ib students of the Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 02 March 2016, 16:15-17:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Are smartphone messaging apps and traditional telecommunication services substitute goods?

Nicolas Karsten, Duesseldorf Institute for Competition Economics (DICE).

Room SS03, Computer Laboratory, William Gates Building.

Monday 29 February 2016, 14:30-14:55

Wednesday Seminars - Department of Computer Science and Technology

Data Science at The Guardian

There is no 2:00pm Seminar this week, but the 3:00pm NLIP talk is a recommended alternative.

Felix Sanchez-Garcia, The Guardian.

SW 01, Computer Laboratory.

Wednesday 24 February 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Excuse My Extrusion

Conor McBride, Mathematically Structured Programming Group, Department of Computer and Information Sciences, the University of Strathclyde.

FW26.

Friday 19 February 2016, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Communication with Artificial Intelligences

Prof. Ann Copestake - University of Cambridge, Computer Laboratory..

Lecture Theatre 1, Computer Laboratory.

Wednesday 17 February 2016, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Predicting Psychology from Social Media Data

Dr David Stillwell - Judge Management School, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 10 February 2016, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Physics inspired multi-agent models: application to sensor data fusion and cyber-physical systems control.

Franck Gechter.

LT2, Computer Laboratory, William Gates Building.

Monday 08 February 2016, 14:05-14:55

Wednesday Seminars - Department of Computer Science and Technology

The Supercloud: Opportunities and Challenges

Prof Hakim Weatherspoon - Cornell University.

Lecture Theatre 1, Computer Laboratory.

Wednesday 03 February 2016, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Synthetic Biology

Dr. Jim Haseloff - Department of Plant Sciences, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 27 January 2016, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Finding what is invisible through computation

Dr Rafal Mantiuk - University of Cambridge, Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 20 January 2016, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Understanding and Verifying Javascript Programs.

Prof Philippa Gardner - Imperial College London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 02 December 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Communication Technologies Research at the NPL

Dr Tian-Hong LOH - National Physical Laboratory UK.

Lecture Theatre 1, Computer Laboratory.

Wednesday 25 November 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Talk Cancelled (was 'Synthetic Biology')

This talk is cancelled.

Dr. Jim Haseloff - Department of Plant Sciences, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 18 November 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Unpatchable: Living with a Vulnerable Implanted Device

Marie Moe - SINTEF Norway.

Lecture Theatre 1, Computer Laboratory.

Wednesday 11 November 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Image-triage, Brain Computer Interaction and Deception Detection using EEG

Prof Howard Bowman - Univs Kent & Birmingham.

Lecture Theatre 1, Computer Laboratory.

Wednesday 04 November 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Today’s and Tomorrow’s Camera Processing Pipelines

Prof Graham Finlayson - University of East Anglia.

Lecture Theatre 1, Computer Laboratory.

Wednesday 28 October 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Cluster Management with Kubernetes

Dr Satnam Singh - Facebook.

Lecture Theatre 1, Computer Laboratory.

Wednesday 21 October 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Clouds, Things and Robots: the need for innovation in Architecture and Software

Prof David May - University of Bristol.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 October 2015, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Introductions

Speaker to be confirmed.

SW01, William Gates Building.

Monday 12 October 2015, 11:05-11:55

NLIP Seminar Series

Unweaving The Lexical Rainbow: Grounding Linguistic Creativity in Perceptual Semantics

We only have LT2 for the hour, so please don't enter before 1pm and don't be late for the talk, as it will start promptly at 1:05 and we'll have to leave before 2pm.

Tony Veale, University College Dublin.

LT2, Computer Laboratory.

Thursday 08 October 2015, 13:00-14:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Security metrics for the Android ecosystem

Daniel Thomas (University of Cambridge).

SS03, William Gates Building.

Monday 05 October 2015, 14:05-14:55

Microsoft Research Cambridge, public talks

Microsoft Distinguished Research Lecture: What are the Prospects for Automatic Theorem Proving?

Prof Sir Timothy Gowers.

Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Thursday 01 October 2015, 16:30-17:30

REMS lunch

Rozzle: De-Cloaking Internet Malware

Ben Livshits.

FW11.

Wednesday 16 September 2015, 13:00-14:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Device Analyzer: 3500 years of handset usage data

Andrew Rice (University of Cambridge).

SS03, William Gates Building.

Thursday 27 August 2015, 16:05-16:55

Computer Laboratory Digital Technology Group (DTG) Meetings

Dynamic Causal Monitoring for Distributed Systems

Rodrigo Fonseca.

LT1, Computer Laboratory, William Gates Builiding.

Monday 17 August 2015, 14:05-14:55

Wednesday Seminars - Department of Computer Science and Technology

Interaction + Graphics: Four Lectures By Computer Laboratory Visitors

This is a cross posting from the Rainbow Group.

(Four Guest Lecturers).

Lecture Theatre 1, Computer Laboratory.

Monday 20 July 2015, 09:30-11:45

Computer Laboratory Digital Technology Group (DTG) Meetings

Completing the Cent Cols Challenge (for the third time)

William Webb.

SS03, William Gates Building.

Monday 13 July 2015, 14:05-14:55

Computer Laboratory Digital Technology Group (DTG) Meetings

Soroban: Attributing latency in virtualized environments

Lucian Carata (University of Cambridge).

SS03, William Gates Building.

Tuesday 30 June 2015, 14:05-14:55

Computer Laboratory Digital Technology Group (DTG) Meetings

OPUS - tracking research data (practice talk)

Speaker to be confirmed.

SS03, William Gates Building.

Monday 15 June 2015, 14:05-14:55

Computer Laboratory Digital Technology Group (DTG) Meetings

POSTPONED: Group discussion on paper authorship policy

Speaker to be confirmed.

SS03, William Gates Building.

Monday 01 June 2015, 14:05-14:55

Wednesday Seminars - Department of Computer Science and Technology

Probabilistic Programming; Ways Forward

Dr Frank Wood - Dept Engineering Science, Oxford.

Lecture Theatre 1, Computer Laboratory.

Wednesday 27 May 2015, 14:00-15:00

The Wheeler Lectures in Computer Science

Hints and Principles for Computer System Design

Butler Lampson - Microsoft Research + MIT.

Lecture Theatre 1, Computer Laboratory.

Tuesday 26 May 2015, 16:15-18:30

Wednesday Seminars - Department of Computer Science and Technology

Cancelled : Full reduction in the face of absurdity.

Talk cancelled for today - speaker cannot make it.

Didier Remy - Inria.

Lecture Theatre 1, Computer Laboratory.

Wednesday 20 May 2015, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Captain Buzz: An all-smartphone autonomous delta-wing drone

Oliver R. A. Chick (University of Cambridge).

SS03, William Gates Building.

Monday 18 May 2015, 14:05-14:55

Computer Laboratory Digital Technology Group (DTG) Meetings

Why isn't IoT here yet?

Note unusual time

Pilgrim Beart .

FW11, Computer Laboratory.

Thursday 14 May 2015, 12:00-13:00

Wednesday Seminars - Department of Computer Science and Technology

Cellular Systems Biology of Chromosome Dynamics

Dr Karen Lipkow - Barbraham Institute.

Lecture Theatre 1, Computer Laboratory.

Wednesday 13 May 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Toward Causal Machine Learning

Prof. Dr. Bernhard Schölkopf - Max Planck Institute for Intelligent Systems.

Lecture Theatre 1, Computer Laboratory.

Wednesday 29 April 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Deep Learning of Natural Language Semantics

Extrodinary (out-of-term) Babbage Seminar

Prof Yoshua Bengio - Université de Montréal.

Lecture Theatre 1, Computer Laboratory.

Monday 13 April 2015, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

The Lifetime of Android API vulnerabilities: case study on the JavaScript-to-Java interface

Daniel Thomas (University of Cambridge).

LT1, Computer Laboratory, William Gates Builiding.

Monday 30 March 2015, 14:05-14:55

Wednesday Seminars - Department of Computer Science and Technology

The Automatic Statistician - an AI for Data Science

Zoubin Ghahramani - Department of Engineering, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 11 March 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Group Project Presentations

Computer Laboratory 2nd Year Undergraduates.

Lecture Theatre 1, Computer Laboratory.

Wednesday 04 March 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Digital by Default - A Paradigm Shift in Government

Stephen Allott - Crown Representative for Small and Medium Enterprises in the Cabinet Office.

Lecture Theatre 1, Computer Laboratory.

Wednesday 25 February 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

The Evolution of Sophos

Dr Jan Hruska - Sophos Ltd..

Lecture Theatre 1, Computer Laboratory.

Wednesday 18 February 2015, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Compressed sensing in the real world - Why and what actually works

Dr Bogdan Roman - DAMPT, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 11 February 2015, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Debugging Distributed Systems: A worked example

Note unusual venue

George Neville-Neil .

LT1, Computer Laboratory, William Gates Builiding.

Monday 09 February 2015, 14:05-14:55

Wednesday Seminars - Department of Computer Science and Technology

Non-Photorealistic Rendering of Images

Prof. Paul Rosin - Cardiff University.

Lecture Theatre 1, Computer Laboratory.

Wednesday 04 February 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Interacting with Infrastructure: Home Networking and Beyond

Dr Richard Mortier - University of Cambridge Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 28 January 2015, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

The UK National Cyber Security Programme

Natalie Black - UK National Office of Cyber Security.

Lecture Theatre 1, Computer Laboratory.

Wednesday 21 January 2015, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Group discussion: New machine age

Speaker to be confirmed.

SS03, William Gates Building.

Monday 19 January 2015, 14:00-15:30

Computer Laboratory Digital Technology Group (DTG) Meetings

Resourceful: Fine-grained, kernel resource accounting

Oliver Chick (University of Cambridge).

SS03, William Gates Building.

Monday 12 January 2015, 14:05-14:55

Wednesday Seminars - Department of Computer Science and Technology

Transitive leap frogging: how to avoid queuing up for work

Dr Karl-Filip Faxén - SICS, Sweden..

Lecture Theatre 1, Computer Laboratory.

Wednesday 03 December 2014, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

*POSTPONED* Resourceful: Fine-grained, Always-on Resource Accounting for The Operating System

Oliver Chick (University of Cambridge).

SS03, William Gates Building.

Monday 01 December 2014, 13:05-13:55

Wednesday Seminars - Department of Computer Science and Technology

Text Analysis of Social Media Beyond Twitterdome

Prof Tim Baldwin - Melbourne University.

Lecture Theatre 1, Computer Laboratory.

Wednesday 26 November 2014, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Exploring Traffic and QoS Management Mechanisms to Support Mobile Cloud Computing using Server Localisation in Heterogeneous Environments

Fragkiskos Sardis.

SS03, William Gates Building.

Friday 21 November 2014, 12:00-13:00

Wednesday Seminars - Department of Computer Science and Technology

Scientific Data Management

Dr Thomas Heinis - Imperial College London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 19 November 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Kafka and Samza: distributed stream processing in practice

Martin Kleppmann - LinkedIn.

Lecture Theatre 1, Computer Laboratory.

Wednesday 12 November 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Payment System Security - Attacks and Defences

Dr Steven Murdoch - University College London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 05 November 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Structure and Dynamics of Mutlilayer Networks

Ginestra Bianconi - Queen Mary University London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 29 October 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Science Data Processor for the Square Kilometre Array Telescope

Bojan Nikolic - University of Cambridge MRAO.

Lecture Theatre 1, Computer Laboratory.

Wednesday 22 October 2014, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Introductions

Speaker to be confirmed.

SS03, William Gates Building.

Monday 20 October 2014, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Fuzzy Optimisation of Reverse Logistics Networks

Prof Dobrila Petrovic - Coventry University.

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 October 2014, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Using digital tools to foster learning

Dr Sanjoy Mahajan, MIT Director of Digital Residential Learning .

SS03, William Gates Building.

Friday 05 September 2014, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Title to be confirmed

Tom Bytheway, Nikilesh Balakrishnan, Sherif Akoush.

SS03, William Gates Building.

Monday 30 June 2014, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

A computational science agenda for programming language research

Dominic Orchard (University of Cambridge).

SS03, William Gates Building.

Monday 02 June 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

No Fixed Abode: Avoiding IP Address Blocking to Circumvent Censorship

Professor Nikita Borisov - University of Illinois at Urbana-Champaign.

Lecture Theatre 1, Computer Laboratory.

Wednesday 28 May 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Theory into Practice: the story of Incremental

Yaron Minsky - Jane Street.

Lecture Theatre 1, Computer Laboratory.

Wednesday 21 May 2014, 14:00-15:00

The Wheeler Lectures in Computer Science

Computational Thinking

Prof Jeannette M. Wing - Microsoft Research & Carnegie Mellon University.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 May 2014, 16:00-18:30

Wednesday Seminars - Department of Computer Science and Technology

No Babbage Seminar today owing to the Wheeler Lecture

Speaker to be confirmed.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 May 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Multitask Learning

Prof Massimiliano Pontil - University College London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 07 May 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Computing Cancer

Jasmin Fisher - Microsoft Research & Department of Biochemistry, Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 30 April 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

*** The Weight of Gravity ***

(Additional Talk: Week 0, Extended Duration 1.5 hrs)

Hills, Graham and Blain - Framestore Visual Effects, London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 23 April 2014, 14:00-15:30

Computer Laboratory Digital Technology Group (DTG) Meetings

Better authentication: password revolution by evolution

Daniel Thomas (University of Cambridge).

SS03, William Gates Building.

Monday 17 March 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Competitive Contagion in Networks

Moez Draief - Imperial College London.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Wireless communication in electromagnetic cavities

Steven Herbert (University of Cambridge).

SS03, William Gates Building.

Monday 10 March 2014, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Part Ib Group Project Presentations

Computer Laboratory Part Ib Students.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

What We Talk About When We Talk About Types

Dr Nick Benton - Microsoft Research Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Interactive Configuration Problems

Henrik Reif Andersen - Configit.Com, Copenhagen..

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Safer Healthcare by Better Computer Science

Prof. Harold Thimbleby - Swansea University, Wales..

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Talking About Shapes

MALCOLM SABIN .

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Randomised Load Balancing For Networks

Thomas Sauerwald - University of Cambridge, Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Evaluation Metrics and Learning to Rank for Information Retrieval

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

Emine Yilmaz - University College London.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

MirageOS: compiling a functional cloud

Anil Madhavapeddy - University of Cambridge Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Julia: A Fast Dynamic Language for Technical Computing

Stefan Karpinski, MIT.

LT2, Computer Laboratory, William Gates Building.

Monday 02 December 2013, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Compressed sensing and the art of subsampling

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Research Issues in Computer Support for Collaborative Problem Solving

Steve Tanimoto - University of Washington, Seattle..

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Towards Do-It-Yourself Networking

Joerg Ott - Aalto University, Finland.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Pico: no more passwords!

Dr Frank Stajano - University of Cambridge Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Understanding Video and Audio at Google

Tom Walters - Google Zurich Labs.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Disciplined Approximate Computing: From Language to Hardware and Beyond

Luis Ceze - University of Washington..

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Upgrading Fortran source code using automatic refactoring

Dominic Orchard (University of Cambridge).

SS03, William Gates Building.

Monday 21 October 2013, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Towards Position-based Routing for Mobile Environments

Dr Marwan Fayad - Univ Stiling.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Introductions

Speaker to be confirmed.

SS03, William Gates Building.

Monday 14 October 2013, 13:00-14:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Weightless

William Webb.

SS03, William Gates Building.

Friday 11 October 2013, 11:30-12:30

Computer Laboratory Digital Technology Group (DTG) Meetings

Title to be confirmed

James Snee (University of Cambridge).

SS03, William Gates Building.

Friday 04 October 2013, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Tools for helping supervisors: Presentations from summer students

Speaker to be confirmed.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Thursday 29 August 2013, 14:00-16:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Packet data mobility management in Wireless Cellular Networks

Lela Mirtskhulava, Tbilisi State University, Georgia..

SS03, William Gates Building.

Monday 26 August 2013, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

An introduction to 3G core network architecture: Power control

Lela Mirtskhulava, Tbilisi State University, Georgia.

SS03, William Gates Building.

Monday 19 August 2013, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

An introduction to 3G core network architecture: The open architecture of the WCDMA Core Network.

Lela Mirtskhulava, Tbilisi State University, Georgia..

SS03, William Gates Building.

Monday 12 August 2013, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Overview of Research: Green Radio and the Science of Cities

Weisi Guo.

SS03, William Gates Building.

Wednesday 26 June 2013, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Humans + Automation: Greater than the sum of the parts

Missy Cummings - MIT.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Errors, Exploits, and Espionage - A tour of software vulnerabilities and their real-world impact

Tim Pullen - Detica / BAE Systems.

Lecture Theatre 1, Computer Laboratory.

Wednesday 12 June 2013, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

The Domain Name System in 2013 – The political and technical landscape

Simon McCalla - CTO, Nominet UK.

Lecture Theatre 1, Computer Laboratory.

Wednesday 29 May 2013, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Digging into (Historical) Data: Tracking global commodity trading in the nineteenth century

Prof Ewan Klein - University of Edinburgh.

Lecture Theatre 1, Computer Laboratory.

Wednesday 22 May 2013, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Strongly-Typed Language Support for Internet-Scale Information Sources

Don Syme - Microsoft Research.

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 May 2013, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Mind the Map - Modelling Sustainability of Urban Crowd-Sourcing

Dr Licia Capra - University College London.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

CANCELLED: Compressed Sensing and the Art of Subsampling

Anders Hansen - University of Cambridge Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Measuring with a smartphone: precision 3D tracking using a phone's built-in inertial sensors

Ian Sheret.

SS03, William Gates Building.

Monday 29 April 2013, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Sensing Human Activity

Mik Lamming.

SS03, William Gates Building.

Friday 26 April 2013, 14:00-15:00

The Wheeler Lectures in Computer Science

Could Computers Understand Their Own Programs

Prof Sir Tony Hoare - Microsoft Research & Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Student Design Project Presentations

Student design teams.

Intel Lab and Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

High-Assurance Algorithmic Trading

Dr. Hasan Amjad, Cantab Capital Partners.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Challenges in Computer Graphics Modeling

Prof. Oliver Deussen, University of Konstanz, Germany.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Privacy Challenges and Solutions for Data Sharing

Dr Aris Gkoulalas-Divanis, IBM Research, Dublin.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Adaptive Runtime Verification

Prof Ezio Bartocci, University of Wien.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Getting by without GPS: Random adventures in the Defence Industry

Ramsey Faragher.

SS03, William Gates Building.

Monday 04 February 2013, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Replacing lectures with videos in the Computer Science Tripos

Andy Rice, Alastair Beresford, Computer Lab.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

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

Simon Peyton-Jones, Microsoft Research.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

HUMANS DON'T SCALE: The Future of the Internet of Things

Note unusual time

Pilgrim Beart.

SS03, William Gates Building.

Monday 21 January 2013, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

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

Frank Bellosa, Karlsruhe Institute of Techology.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Every tweet counts: How statistical content analysis of social networks can improve our knowledge of citizens' preferences. An application to France and US presidential elections and EU leaders' popularity

Prof. Stefano Iacus, Dipartimento di Economia, Management e Metodi Quantitativi Universita' di Milano.

Lecture Theatre 1, Computer Laboratory.

Wednesday 21 November 2012, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Reducing Latency in Tor

Steven Herbert (University of Cambridge).

FW11, William Gates Building.

Monday 19 November 2012, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

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

Thomas Dullien, Google.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 November 2012, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Sentiment Analysis

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Programs in context

Dominic Orchard (University of Cambridge).

SS03, William Gates Building.

Monday 05 November 2012, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Semi-local string comparison

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Challenges and approaches to improving the accuracy of indoor positioning systems

Niki Trigoni, Oxford University Department of Computer Science.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

uvNIC: Rapid Prototyping Network Interface Controllers

Matthew Grosvenor (University of Cambridge).

SS03, William Gates Building.

Monday 22 October 2012, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

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

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Introductions

Speaker to be confirmed.

SS03, William Gates Building.

Monday 15 October 2012, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Dart: A Platform for Building Large Web Applications

Mads Ager, Google.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

"My other computer is a data center" - The warehouse-scale computing infrastructure at Google

Christoph Best, Software Engineer, Google.

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 08 October 2012, 13:30-14:30

Computer Laboratory Digital Technology Group (DTG) Meetings

What do Real Life Hadoop Workloads Look Like?

Yanpei Chen, Cloudera.

SS03, William Gates Building.

Friday 31 August 2012, 11:00-12:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Human Mobility Characterization from Cellular Network Data

Ramón Cáceres, AT&T Labs.

FW26, William Gates Building.

Friday 29 June 2012, 10:00-11:00

Wednesday Seminars - Department of Computer Science and Technology

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

Note unusual time, day and location

Ravi Palanki, Qualcomm.

Lecture Theatre 2, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Behavioural Nudge or Technological Fudge?

Yvonne Rogers, Professor of Interaction Design, UCL.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

A Bayesian Approach to Learning the Structure of Human Languages

Phil Blunsom, Department of Computer Science, Oxford University.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Alan Turing as a computer designer

Prof. Brian Carpenter, University of Auckland Computer Science.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Energy efficiency and the design of brains

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

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

Thomas Dullien, Google.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

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

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Trip report

Sören Preibusch.

FW11, William Gates Building.

Monday 12 March 2012, 14:00-15:00

The Wheeler Lectures in Computer Science

C++11 Style

Please register; note 16:00 start time

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

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

Nigel Davies, University of Lancaster.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Inclusive Design

Professor John Clarkson (University of Cambridge).

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Passive RFID Real-Time Tracking/Sensing System for Intelligent Infrastructure

Sithamparanathan Sabesan.

FW11, William Gates Building.

Monday 23 January 2012, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Speech Synthesis at Google

Matt Stuttle, Google.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

KinectFusion

David Kim.

SS03, William Gates Building.

Monday 28 November 2011, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Automatic Discovery of Patterns in Media Content

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Real-time Collaboration in Resource-constrained Environments

MBOU EYOLE-MONONO (University of Cambridge).

SS03, William Gates Building.

Monday 21 November 2011, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Search Based Software Engineering

Prof. Mark Harman, UCL Dept of Computer Science.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Algebraic theories and computational effects

Sam Staton (Computer Laboratory, University of Cambridge).

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Notes on the Synthesis of Music

Sam Aaron.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Web mining and privacy: foes or friends?

Bettina Berendt.

SS03, William Gates Building.

Monday 31 October 2011, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

TIME: Transport Information Monitoring Environment

Dr Ken Moody (University of Cambridge).

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Probabilistic Graphical Models in Microsoft's Online Services: TrueSkill, AdPredictor, and Matchbox

Thore Graepel, MSR Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 12 October 2011, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Introductions

Speaker to be confirmed.

SS03, William Gates Building.

Monday 10 October 2011, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Compiler Tools for MATLAB

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

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 June 2011, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Time-critical data delivery in wireless sensor networks

Utz Roedig, Lancaster University.

SS03, William Gates Building.

Monday 13 June 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

EXAMS - NO SEMINAR THIS WEEK

Speaker to be confirmed.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Wireless Sensor Networks In Vehicles

Steven Herbert.

SS03, William Gates Building.

Monday 06 June 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Body Part Recognition: Making Kinect Robust

Jamie Shotton, MSR Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Uncover the hidden spatial diversity potential in 2.4 GHz band for indoor Wireless Sensor Networks / (Research) Device Analyzer - Personal Analytics on a Global Scale

Ruoshui Liu and Daniel Wagner.

SS03, William Gates Building.

Tuesday 31 May 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

The Duality of State and Observation

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Towards an Optimal Digital Infrastructure / (Research) Web sites' differentiation on data collection

Please could non-DTG members contact the organiser before attending

Sören Preibusch and Rip Sohan.

SS03, William Gates Building.

Monday 23 May 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

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

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

P2P Communications at Qualcomm

Note that this is a private talk. Please contact the organiser in advance if you are not a member of the Computer Laboratory

John Scott and Luke Turner, Qualcomm.

SS03, William Gates Building.

Monday 16 May 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

From deterministic finite automata to infinite games

Eryk Kopczynski.

Lecture Theatre 1, Computer Laboratory.

Wednesday 11 May 2011, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Influences of wind on radiowave propagation in foliated fixed wireless system / (Research) Information flow control for static enforcement of user-defined privacy policies

Sören Preibusch and Tien Han Chua.

SS03, William Gates Building.

Monday 09 May 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Reflection on Java Security and Its Practical Impacts

Joint with the Security seminar series

Li Gong.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Quantitative Computer Simulation as a Paradigm of Scientific Investigations

Prof Krzysztof Pawlikowski, University of Canterbury, NZ.

SS03, William Gates Building.

Tuesday 03 May 2011, 14:30-15:30

Computer Laboratory Digital Technology Group (DTG) Meetings

MPhil Project Practice Talks

Khuong Nguyen, Duncan Roberts, Yordan Zaykov, James Snee.

SS03, William Gates Building.

Tuesday 03 May 2011, 14:00-14:30

Wednesday Seminars - Department of Computer Science and Technology

Moose: an open platform for software analysis

Stephane Ducasse.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Quantum computing -- theoretical prospects and relations to classical computation

Note change of lecture theatre

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

Lecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Sensor Networks to Enhance Commercial Building Indoor Environments

Note unusual day

Guy Newsham, National Research Council, Ottawa.

FW26, William Gates Building.

Tuesday 15 March 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Exhibition of Student Design Projects

Note special event! Note unusual time!

Student Designers.

Workstation area and Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Best Papers Lent 2011

Speaker to be confirmed.

FW26, William Gates Building.

Monday 07 March 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Mobile Software Engineering - Characteristics and Challenges

Manfred Bortenschlager, Samsung.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Developing an Accurate Location System

MBOU EYOLE-MONONO (University of Cambridge).

FW26, William Gates Building.

Monday 28 February 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Reasoning about Software Safety Integrity and Assurance

Tim Kelly, University of York.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Getting Things Done - A Rough Guide to Productivity / (Research) "Am I doing it better?" : Conveying the message to athletes

Simon Fothergill and Daniel Wagner.

FW26, William Gates Building.

Monday 21 February 2011, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Energy Efficient Signal Acquisition in Wireless Sensor Networks: A Compressive Sensing Framework / (Research) Particle filtering on GPU for indoor pedestrian localisation

Wei Chen and Agata Bradjic.

FW11, William Gates Building.

Monday 14 February 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

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

Bob Coecke, Oxford University Computing Laboratory.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Case Study on the Cost of Migration / (Skills) Introduction to Django

Sherif Akoush and Mattias Linnap.

FW26, William Gates Building.

Monday 07 February 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Efficient Network-wide Flow Record Generation

Joel Sommers, Colgate University.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Sniffing packets with Wireshark / (Research) Sprint Sensing: The development of a sensor system for sport

Andrew Rice and Robert Harle.

FW26, William Gates Building.

Monday 31 January 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Challenging Computer Science Problems at Ocado

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Wireless access schemes for challenging environments

Bogdan Roman (University of Cambridge).

FW26, William Gates Building.

Monday 24 January 2011, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Implementing a Distributed Event Processing Network

Alex Kozlenkov, Betfair Research.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Title to be confirmed

Speaker to be confirmed.

SS03, William Gates Building.

Monday 29 November 2010, 13:00-14:00

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Device Analyzer: Uncovering mobile usage patterns / (Research) Energy Model for Modern Smartphone GPS Sensor

Daniel Wagner and Mattias Linnap.

SS03, William Gates Building.

Monday 22 November 2010, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Detecting Network Traffic Anomalies

Paul Barford, University of Wisconsin-Madison.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Language Based Security for Functional Active Objects

Florian Kammueller, Middlesex University, London and Technische Universitaet, Berlin.

SS03, William Gates Building.

Monday 15 November 2010, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

What is happening now? Finding events in Massive Message Streams

Miles Osborne, University of Edinburgh School of Informatics.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Inertial sensors for indoor localisation and tracking

Oliver Woodman (University of Cambridge).

SS03, William Gates Building.

Monday 08 November 2010, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

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

Oliver Heckmann, Director of Engineering, Google Zurich.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Skills: Online Surveys

Sören Preibusch.

SS03, William Gates Building.

Monday 01 November 2010, 13:00-14:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Innovation in Emerging Markets

Note unusual time

Jaideep Prabhu.

SS03, William Gates Building.

Monday 25 October 2010, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

A Survey of Classical and Real-Time Verification

Joel Ouaknine, Oxford University Computing Laboratory.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) A Limited-Data Model Of Building Energy Consumption / (Research) Relay Node Placement for Wireless Sensor Networks Deployed in Tunnels

Simon Hay and Ruoshiu Liu.

SS03, William Gates Building.

Monday 18 October 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Test Generation and Fault Localization for Web Applications

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

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

Note unusual time and day (and LT2)

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

Lecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Introductions

Speaker to be confirmed.

SS03, William Gates Building.

Monday 11 October 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Multi-Target Data-Parallel Programming with Accelerator for GPUs, Multicore Processors and FPGAs

Satnam Singh, Microsoft Research Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 06 October 2010, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Title to be confirmed

Yoshihiro Kawahara, University of Tokyo, Japan.

FW26, Computer Laboratory, William Gates Builiding.

Friday 24 September 2010, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Efficient Relaying for Cognitive Radios

Wei Chen, Tsinghua University, China.

SS03, Computer Lab, William Gates Building.

Tuesday 10 August 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Some Uses of Hashing in Networking Problems

Michael Mitzenmacher, Harvard University.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Exploiting Channel Diversity in White Spaces

Bozidar Radunovich, Microsoft Research Cambridge.

SS03, William Gates Building.

Wednesday 14 July 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Executable Strategies for Cellular Decision Making

Jasmin Fisher, Microsoft Research Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Data acquisition via compressive sensing in wireless sensor networks / (Skills) Best Papers Easter 2010

Wei Chen and others.

SS03, William Gates Building.

Monday 07 June 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

EXAMS

No Wednesday Seminar due to Exams!

Good luck to students with their exams!.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Energy-Efficient Location Tracking with Mobile Phones / (Research) Towards accurate dead-reckoning using optical sensors

Mattias Linnap and Agata Brajdic.

SS03, William Gates Building.

Tuesday 01 June 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Dynamical Grammars for Galaxy Image Recognition

Wayne Hayes - UC Irvine, USA.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

From RPC to Web Apps: Trends in Client-Server Systems

George Coulouris (Computer Laboratory, University of Cambridge).

FW26, Computer Laboratory.

Tuesday 25 May 2010, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Statistical problems in complex networks

Edoardo Airoldi - Harvard University, USA.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Computer Science in Africa: Challenges and Opportunities

Gary Marsden (University of Cape Town).

SS03, William Gates Building.

Monday 17 May 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Privacy in Advertising: Not all Adware is Badware

Rescheduled from April 21.

Paul Francis - MPI Kaiserslautern, Germany.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Research: Estimating personal energy expenditure with location data / Research: Cooperative Wireless Networks: Review, Analysis and Optimization

Simon Hay and Weisi Guo.

SS03, William Gates Building.

Monday 10 May 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

NO SEMINAR THIS WEEK

Speaker to be confirmed.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Privacy as a competitive advantage

Sören Preibusch.

SS03, William Gates Building.

Tuesday 04 May 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

From Separation Logic to Systems Code

Peter O'Hearn - Queen Mary University of London.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

The new DTG website

Bogdan Roman (University of Cambridge).

SS03, William Gates Building.

Monday 26 April 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Privacy in Advertising: Not all Adware is Badware

Paul Francis - MPI Kaiserslautern, Germany.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Aura: A Programming Language with Authorization and Audit

Steve Zdancewic - University of Pennsylvania, USA.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Introduction to Compressive Sensing: From Theory to Applications / (Skills) Best papers Lent 2010

Wei Chen and others.

SS03, William Gates Building.

Monday 08 March 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Exhibition of Student Design Projects

Note special event! Note unusual time!

Part 1B Students.

Workstation area and Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Indoor object tracking using low-cost optical sensors / (Research)Modelling uncertainty in sensor data

Mattias Linnap and Agata Brajdic.

SS03, William Gates Building.

Monday 01 March 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Generic Programming

Dietmar Kühl - Bloomberg.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Pollution Monitoring in the Streets of Cambridge / (Research)An Application-Oriented Node Placement for Wireless Sensor Networks

Ruoshui Lui and Alastair Beresford.

SS03, William Gates Building.

Monday 22 February 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Proving that programs eventually do something good

Byron Cook - Microsoft Research Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Effects of Wind and Tree Movements on Foliated Fixed Wireless Links / (Skills) Modern Embedded Systems: A Primer

Tien Chua and Rip Sohan.

SS03, William Gates Building.

Monday 15 February 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Third Generation Machine Intelligence

Chris Bishop - Microsoft Research Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Cancelled

Yan Wu.

SS03, William Gates Building.

Monday 08 February 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Automated Experimentation: Beyond Deployment and Execution

Alexander Wolf - Imperial College London.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Dissecting mobile phone power consumption / TBC

Andrew Rice and Rob Harle.

SS03, William Gates Building.

Monday 01 February 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Graphical Reasoning in Symmetric Monoidal Categories

Lucas Dixon - University of Edinburgh.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Privacy types revisited / (Research) Predicting the Performance of Virtual Machine Migration

Sherif Akoush and Soren Preibush.

SS03, William Gates Building.

Monday 25 January 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Models of large-scale real-life networks

Bela Bollobas - University of Cambridge and University of Memphis.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Multi-Carrier Bursting: Feasibility, Analysis and Implementation / (Skills) Best Papers Michaelmas 2009

Bogdan Roman and others.

SS03, William Gates Building.

Monday 18 January 2010, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Multipath TCP

Mark Handley - UCL.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

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

Note unusual out of term date.

Jonathan Rose - University of Toronto.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

A POPLmark retrospective: Using proof assistants in programming language research

Note change of speaker!

Stephanie Weirich - University of Pennsylvania, USA.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Seven years, two projects and four research themes (1st part) / Power allocation comparison for cooperative networks (2nd part)

Ioannis Chatzigeorgiou (1st part) / Weisi Guo (2nd part).

SS03, William Gates Building.

Monday 30 November 2009, 13:00-14:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Energy Efficiency in Warehouse-Scale Computers

Luiz André Barroso.

Lecture Theatre 2, William Gates Builiding.

Thursday 26 November 2009, 15:15-16:15

Wednesday Seminars - Department of Computer Science and Technology

Elements of a Networked Urbanism

Adam Greenfield - Nokia Helsinki.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Wireless Sensor Networks for Infrastructure Monitoring: Radio Propagation

Dr Ian J. Wassell.

SS03, William Gates Building.

Monday 23 November 2009, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Insights from Expert Software Design Practice

Marian Petre - Open University.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

On Quantitative Software Verification

Marta Kwiatkowska - Oxford University.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Automated Physical Performance Assessment : Supplementary Assistance for Rowing Coaching / (Skills) Developing with Flash and Actionscript

Simon Fothergill and Oliver Woodman.

SS03, William Gates Building.

Monday 09 November 2009, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Serializability Enforcement for Concurrent ML

Suresh Jagannathan - Purdue University, USA.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Bigraphs: a model for mobile informatic systems

Robin Milner.

SS03, William Gates Building.

Monday 02 November 2009, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Aggregated Security Monitoring in 10GB networks

Nathan Macrides and Nick McKenzie - Security Engineering, RBS.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Magical Mystery Meeting

Andrew Rice.

SS03, William Gates Building.

Monday 26 October 2009, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Pushing JavaScript Performance

Lars Bak - Google Aarhus, Denmark.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) The case for apportionment / (Skills) Best Papers Easter 2009

Speaker to be confirmed.

SS03, William Gates Building.

Monday 19 October 2009, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Reaching Out: how to engage young people with computer science

Warning: the talk will include loud bangs.

Chris Bishop - Microsoft Research Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 October 2009, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Introductions

Speaker to be confirmed.

SS03, William Gates Building.

Monday 12 October 2009, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Scalable Ontology-Based Information Systems

Ian Horrocks - Oxford University.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Intra-Disk Parallelism: A Green Storage Solution for Data Centers

Sudhanva Gurumurthi, Assistant Professor in the Computer Science Department at the University of Virginia.

SS03, William Gates Building.

Tuesday 22 September 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Reflections on merging the digital and the physical

Note unusual time

Tim Kindberg - HP Labs, Bristol.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Who am I Competing Against?: Identifying Adversarial Protocols Against TCP in a Congested Link

Idris Rai, Makerere University, Uganda.

SS03, William Gates Building.

Thursday 16 July 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Evolving a language in and for the real world

800th Anniversary of Cambridge Univ. talk

Bjarne Stroustrup - Texas A&M University.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Toward Energy-efficient Computing

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

David J. Brown, Sun Microsystems Inc..

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

What can sequent calculus do for functional programs?

Pierre-Louis Curien, Paris.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Concurrency Through the Ages

800th Anniversary of Cambridge Univ. talk

Andrew Birrell - Microsoft Research Silicon Valley.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Nice detectors for ugly lattices / (Research) Bringing The Next Billion Online: Computing Research For Developing Regions

Francisco Monteiro and Ripduman Sohan.

FW26, William Gates Building.

Monday 08 June 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

No Wednesday Seminar today!

EXAMS!.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Hard Drive Energy Consumption and its Relation to Data Center Storage Array Energy

Anthony Hylick.

FW26, William Gates Building.

Monday 01 June 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

The 10 Cultures Problem

800th Anniversary of Cambridge Univ. talk

Bill Thompson.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Performance modelling and design of bit-interleaved coded modulation

William R. Carson.

SS03, William Gates Building.

Tuesday 26 May 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Computational Creativity: A Different Future for AI Research

Simon Colton - Imperial College.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Bluetooth Tracking without Discoverability / (Skills) Deploying web user authentication with Shibboleth

Simon Hay and Sören Preibusch.

FW26, William Gates Building.

Monday 18 May 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Model-Based Design: a New Landscape for Embedded Systems Development

David Maclay - Mathworks.

Lecture Theatre 1, Computer Laboratory.

Wednesday 13 May 2009, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Flying round the world in a light aircraft

Andy Hopper.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Monday 11 May 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

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)

Professor 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.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Frequency diversity measurements at 2.4 GHz for wireless sensor networks

Ruoshui Liu.

FW26, William Gates Building.

Tuesday 05 May 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Accounting for User Behaviour in Security

Angela Sasse - UCL.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) OpenRoomMap: Mapping the Gates building / (Skills) Best Papers Lent 2009

Andrew Rice and DTG members.

FW26, William Gates Building.

Monday 27 April 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

"Re-architecting Internet capacity sharing" aka "Putting far-reaching Cambridge research into practice"

Andrea Soppera - BT Networks Research Centre.

Lecture Theatre 1, Computer Laboratory.

Wednesday 22 April 2009, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Correctness by Construction of High-Integrity Software

Rod Chapman, Praxis High Integrity Systems.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Power Allocation for Turbo Coded Cooperative Networks

Weisi Guo.

FW26, William Gates Building.

Monday 09 March 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Collective Intelligence Techniques for Pervasive Computing

George Roussos - Birkbeck College, University of London.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

An intro to publish/subscribe for distributed information systems

Salman Taherian.

FW26, William Gates Building.

Monday 02 March 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Balancing the expected and the surprising in geometric patterns: an investigation inspired by Bridget Riley's early Op art

Neil Dodgson - University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 25 February 2009, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

What can pervasive computing learn from social networking?

Simon Hay, Andrew Rice and Joseph Newman.

FW26, William Gates Building.

Monday 23 February 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Privacy and HCISec: Notes From The Front

Alma Whitten - Google.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Visit from Philips

Speaker to be confirmed.

FW26, William Gates Building.

Monday 16 February 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Modelling Quality Properties of Systems

John Herbert - University College, Cork, Ireland.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Privacy Policies for the Individual / (Research) Traffic Signal Data: Prediction using Machine Learning

Sören Preibusch and Usman Khan.

FW26, William Gates Building.

Monday 09 February 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

IPv6: the basics

Ben Harris, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

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

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Estimating the position error of 802.11-based indoor positioning systems

Rene Hansen, Aalborg University.

FW26, William Gates Building.

Monday 26 January 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

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

Marco Botta - University of Torino.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Energy-Efficient Sentient Computing

Mbou Eyole-Monono.

FW26, William Gates Building.

Monday 19 January 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Statistical Parsing of Natural Language with Lexicalised Grammars

Stephen Clark - Oxford University.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 January 2009, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Programming networks of vehicles

Jonathan Davies.

FW26, William Gates Building.

Monday 08 December 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Second-Order Quantifier Elimination

Renate Schmidt - University of Manchester.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Distributed fountain codes: concept and analysis

Note unusual time and venue

A. Tarable and I. Chatzigeorgiou.

SS03, William Gates Building.

Monday 01 December 2008, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

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

Larry Paulson - Univ. of Cambridge Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Best Papers Michaelmas 2008 / (Research) K-factor distribution studying for underground to above ground channel model

Min Lin and others.

FW26, William Gates Building.

Monday 24 November 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Robust Networks

Sanjeev Goyal, University of Cambridge, Economics Department.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Monitoring of physical activity in populations - current status and future possibilities

Soren Brage.

FW26, William Gates Building.

Monday 17 November 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Defending Networked Resources Against Floods of Unwelcome Requests

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Modeling the Model Athlete : Automatic Coaching of Rowing Technique / (Research) Efficient Medium Access Control

Simon Fothergill and Bogdan Roman.

FW26, William Gates Building.

Monday 10 November 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

The Manticore project

John Reppy - University of Chicago.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Using Coverage Maps to Optimise Network Connectivity for Vehicles

David Cottingham.

FW26, William Gates Building.

Monday 03 November 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

How to Protect your Data by Eliminating Trusted Storage Infrastructure

David Mazieres - Stanford University.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Clean Slate Networking Design

This is not a public talk. Interested parties outside the Computer Lab should contact Andrew Rice.

Simon Hay and Robin Message.

FW26, William Gates Building.

Monday 27 October 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Pedestrian Localisation for Indoor Environments / (Skills) Atmel Programming

Oliver Woodman and Brian Jones.

FW26, William Gates Building.

Monday 20 October 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Practical Dynamic Software Updating for C

Michael Hicks - University of Maryland.

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 October 2008, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Introductions

Speaker to be confirmed.

FW26, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors

Note unusual date and time

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

Lecture Theatre 2, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Content Distribution based on Social Swarming

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Best Papers Easter 2008 / (Research) Fatlab or Fitlab: Are computer scientists and engineers lazy?

Alastair Beresford and others.

FW26, William Gates Building.

Monday 09 June 2008, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) How to accelerate your program in Matlab / (Research) Renewable Energy and Data Centres

Yan Wu and Sherif Akoush.

SS03, William Gates Building.

Monday 02 June 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Acceleration of scientific computing using graphics hardware

Graham Pullan, Department of Engineering, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Writing technical reports and theses based in MS Word / (Research) Near real-time analysis of high speed video for sprinting

Francisco Monteiro and Robert Harle.

FW26, William Gates Building.

Tuesday 27 May 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

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

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Generic Programming in C++ / (Skills) Using MATLAB with test and measurement instruments

Tom Craig and Ruoshui Liu.

FW11, William Gates Building.

Monday 19 May 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Citations and Argumentation for Better Information Access

Simone Teufel, Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 May 2008, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) From analog to digital circuits / (Skills) Distribution fitting Tool

Note unusual time and venue

Bogdan Roman and Min Lin.

FW11, William Gates Building.

Monday 12 May 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Stylized Rendering for Multi-resolution Image Representation: Reconciling Efficiency with Aesthetics in Image Compression

Neil Dodgson, Computer Laboratory.

Lecture Theatre 1, Computer Laboratory.

Wednesday 07 May 2008, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) OpenGL / (Research) Optimising Network Selection Using Coverage Maps

Note unusual day, time and venue

Oliver Woodman and David Cottingham.

SS03, William Gates Building.

Tuesday 06 May 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Copyright vs Community

Please note the extended duration

Richard Stallman, www.gnu.org.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) How -not- to review a paper / (Research) Giving off the Right Signals!

Ioannis Chatzigeorgiou and Simon Fothergill.

FW26, William Gates Building.

Monday 28 April 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Sustainable Energy -- without the hot air

David J.C. MacKay, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Best papers Lent 2008 / (Research) Language-Based Optimisation of Sensor-Driven Distributed Computing Applications

Jonathan Davies and others.

FW26, William Gates Building.

Monday 10 March 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Student Design Project Presentations

Alan Blackwell (University of Cambridge).

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Keeping your data and communications private / (Research) Radio Propagation Modelling for Wireless Sensor Network Deployments

Alastair Beresford, Brian Jones and Yan Wu.

FW26, William Gates Building.

Monday 03 March 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Delay Tolerant Routing in Mobile and Sensor Networks

Cecilia Mascolo, UCL.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Analog Electronics / (Research) Deployment of Wireless Sensor Networks

Anthony Hylick and Ruoshui Liu.

FW26, William Gates Building.

Monday 25 February 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

High-Performance Processing with Field-Programmable Logic

George Constantinides, Imperial College London.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) Analogue Markers: A Marker Design Optimised to Represent Continuous Quantities / (Research) Optical motion capture using Nintendo Wii controllers

Note meeting is now on tuesday

Tom Craig and Simon Hay.

FW26, William Gates Building.

Tuesday 19 February 2008, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

Rethink and Arise!

Theodor Holm Nelson, Founder, Project Xanadu.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Research) On-body sensor network for sports applications / (Research) Water Distribution Network System: Channel Modeling Study

Note unusual venue

Marcelo Pias and Min Lin.

GC22, William Gates Building.

Monday 11 February 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Defence against the Dark Arts

Mike Prettejohn, Netcraft.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Everything you wanted to know about revision control but never dared to ask / (Research) Selecting the optimal 8PSK mapping scheme using EXIT charts

David Cottingham and William Carson.

FW26, William Gates Building.

Monday 04 February 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Executable Biology: Successes and Challenges

Jasmin Fisher, Microsoft Research, Cambridge UK.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Academic Research Explained / (Research) Datacentre design and report on BT visit

Robert Harle and Andrew Rice.

FW26, William Gates Building.

Monday 28 January 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Fine-grained differences and similarities in meanings

NOTE THE LATER TIME

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

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Techniques for significant software engineering tasks / (Research) Particle Filters for Inertial Navigation

Simon Fothergill and Oliver Woodman.

FW26, William Gates Building.

Monday 21 January 2008, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Searching for Evil

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Automation for Interactive Theorem Provers

Lawrence Paulson, Computer Laboratory, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Best Papers Michaelmas 2007 / (Research) A primer on physical layer collaborative communication

Ioannis Chatzigeorgiou, Weisi Guo and others.

FW26, William Gates Building.

Monday 26 November 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Executable Biology: Successes and Challenges

Canceled

Jasmin Fisher, Microsoft Research, Cambridge, United Kingdom.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Programming ATMEL Microcontrollers / (Research) Orthogonal Distributed Carrier Multiple Access in Wireless Networks

Note updated time

Simon Hay and Bogdan Roman.

FW26, William Gates Building.

Monday 19 November 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Software Defect Mining with Formal Concept Analysis

Christian Lindig, Dagstuhl, Germany.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 November 2007, 14:15-15:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Sun Small Programmable Object Technology (Sun SPOT)

Note unusual time and room

Randy Smith, Sun.

SN06, William Gates Building.

Tuesday 13 November 2007, 14:00-15:00

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) MATLAB – The Language of Technical Computing / (Skills) Kernel Development: A Primer

Will Carson and Rip Sohan.

FW26, William Gates Building.

Monday 12 November 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Birrell's distributed reference listing revisited

Richard Jones, University of Kent.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Programming Languages / (Research) Server Power-Performance Optimization

Anthony Hylick and others.

FW26, William Gates Building.

Monday 05 November 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

Multi-core programming with automatic parallelisation

Tim Harris, Microsoft Research, Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Travel Tracking with CarbonHero

Nick Burch and Andreas Zachariah.

FW26, William Gates Building.

Monday 29 October 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

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

Mike Burrows, Principal Engineer, Google.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) A few introductory topics in typography / (Research) MIMO in academia and MIMO in the industry

Jonathan Davies and Francisco Monteiro.

FW26, William Gates Building.

Monday 22 October 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

How Do We Know What to Design?

Fred Brooks, University of North Carolina at Chapel Hill.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

(Skills) Drawing a good diagram / (Research) Mixed Reality

Andrew Rice and Joseph Newman.

FW26, William Gates Building.

Monday 15 October 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

How to Write Bug-Free Code - A Live Demonstration

Douglas Squirrel, youdDevise.com.

Lecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Introductions

Speaker to be confirmed.

SS03, William Gates Building.

Monday 08 October 2007, 16:15-17:15

Wednesday Seminars - Department of Computer Science and Technology

SQ Minus EQ can Predict Programming Aptitude

Stuart Wray.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Smart-card based authentication on an insecure network

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Electronics Revolution - driving pivotal change in Computer Science

Simon.Moore, Computer Laboratory, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

New Directions for Navigation

Alan Jones, Cotares.com.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Modelling Biochemical Pathways with Stochastic Process Algebra

Jane Hillston, University of Edinburgh.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

“I want to tell you a joke. Are you ready?” – Implementing automated pun generation for children with complex communication needs.

Annalu Waller, School of Computing, University of Dundee.

Lecture Theatre 1, Computer Laboratory.

Wednesday 02 May 2007, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

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

Host: Pietro Lio'.

Bill Peck, Agilent Technologies, Santa Clara California.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Church's Problem on the Synthesis of Nonterminating Programs

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

Wolfgang Thomas, RWTH Aachen University.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Annual Presentation of Student Projects

NOTE LATER TIME

Student presentations..

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Security and Cooperation in Wireless Networks

Jean-Pierre Hubaux, EPFL.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

The Lixto Web Data Extraction Project: A Status Report

Georg Gottlob, Oxford University.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Computing for the Future of the Planet

Andy Hopper, Computer Laboratory, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

Wednesday 14 February 2007, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

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

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Mechanising First-Order Logic: Technology, Decidability and Applications

Christoph Weidenbach, Max Planck Institut.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Road transport data and their uses

Richard Gibbens (Computer Laboratory).

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Verification of fine-grain concurrency: Separation Logic for Floyd assertions in Petri nets.

Tony Hoare, Microsoft Research.

Lecture Theatre 1, Computer Laboratory.

Wednesday 17 January 2007, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

New Challenges in Describing Digital Music

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Safety checking in a domain of collaborative applications.

David Greaves, Computer Laboratory, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

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