Wednesday Seminars - Department of Computer Science and Technology

The first AGI will be Federated

Professor Nic Lane - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

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

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

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

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

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

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

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

Lecture Theatre 1, Computer Laboratory.

Wednesday 10 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Wednesday Seminars - Department of Computer Science and Technology

Automatic termination proofs for software

Byron Cook, Microsoft Research.

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 November 2006, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

Security Applications and Aspects of Meaning-Based Computing

Dr Michael Lynch, CEO of Autonomy.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

The Challenges and Thrills of a Young Industry

David Braben, Frontier.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

All-Optical Networks

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

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Learning Probabilistic Sequence Models for Uncovering Gene Regulation

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

Mark Craven, University of Wisconsin.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Semantics in broad-coverage natural language processing

Ann Copestake, Computer Laboratory, University of Cambridge.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Logics for Unranked Trees: An Overview

Leonid Libkin, U of Edinburgh.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Learning Probabilistic Sequence Models for Uncovering Gene Regulation

Mark Craven, University of Wisconsin.

Lecture Theatre 1, Computer Laboratory.

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

Wednesday Seminars - Department of Computer Science and Technology

Electromagnetic eavesdropping on computers

Markus Kuhn (University of Cambridge).

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 12 June 2002, 16:15-17:30