Lightyears ahead: How the Apollo Guidance Computer pioneered an era of reliable software

Rob Wills (Ensoft Ltd).

CUSU Lounge, 17 Mill Lane.

Monday 29 October 2018, 19:30-20:30

Will Skynet win? Five ways computers write software better than you.

Simon Chatterjee (Ensoft Ltd).

Timmy Hele Room, Queen's Building, Emmanuel College.

Monday 30 April 2018, 19:00-20:00

Newton's Finger

Location changed (to CMS) | Time 7.45 pm

Dr Conor McBride - University of Strathclyde.

MR3, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Tuesday 07 November 2017, 19:45-20:45

On the non-computability of conscious thinking

Prof. Sir Roger Penrose.

Mill Lane Lecture Rooms, Room 3.

Monday 06 March 2017, 20:00-21:00

Project Malmo: turning Minecraft into a testbed for the future of AI

Katja Hofmann, Microsoft Research Cambridge.

Lecture Theatre, Trinity Hall.

Tuesday 24 January 2017, 20:00-21:00

An Overview of Blockchain Security

Nicolas Courtois (University College London).

MR3, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Tuesday 08 November 2016, 19:30-20:30

On the road to traction - lessons learned in the startup world

Room changed

Dan Greenfield.

Harrods Room, Queen's Building, Emmanuel College.

Tuesday 01 November 2016, 19:30-20:30

Securing computers from highly skilled attackers

Matthew Garrett.

Queens Building Lecture Theatre, Emmanuel College.

Monday 10 October 2016, 19:30-20:30

Inside the beast: GHC’s intermediate lambda language

Prof Simon Peyton Jones, Microsoft Research Cambridge.

Centre for Mathematical Sciences, Meeting Room 5 (centre building, basement).

Tuesday 01 March 2016, 19:45-20:45

Quantum Contextuality: from paradox to computational resource

Prof. Samson Abramsky, University of Oxford.

Lecture Theatre, Trinity Hall..

Tuesday 13 October 2015, 19:30-20:30

Cambridge students starting startups

Amar Sood and Diggory Blake (EF).

Plant Sciences Lecture Theatre, Downing Site.

Tuesday 18 November 2014, 20:00-21:00

Computer Science and Social Mobility

Pete Kemp (University of Roehampton).

Plant Sciences Lecture Theatre, Downing Site.

Tuesday 28 October 2014, 20:00-21:00

Long-Term Autonomy in Everyday Environments: A New Challenge for AI and Robotics

Dr Nick Hawes (University of Birmingham).

Plant Sciences Lecture Theatre, Downing Site.

Tuesday 14 October 2014, 20:00-21:00

WikiData: a free knowledge base that can be read and edited by humans and machines alike

Dr Magnus Manske.

Plant Sciences Lecture Theatre, Downing Site.

Thursday 27 February 2014, 19:00-20:00

Domain-specific languages and Xtext

David North and Peter Cowan (CoreFiling).

The Lightfoot Room, Divinity School, St Johns.

Wednesday 29 January 2014, 19:00-20:00

Computer-Based Maths: Stop Teaching Calculating, Start Learning Maths

Conrad Wolfram (Wolfram & computerbasedmath.org).

Center for Mathematical Sciences.

Thursday 23 January 2014, 17:45-18:45

Personalised Recommendations in E-Commerce

Mr Wing Yung Chan (The Hut Group).

LT2, Computer Laboratory.

Thursday 14 November 2013, 14:15-15:15

Computer Science and Statistics in Algorithmic Trading: A Sampler

Dr Hasan Amjad (Cantab Capital Partners).

MR5, Centre for Mathematical Sciences.

Tuesday 12 March 2013, 18:00-19:00

The beauty of bootstrapping and the joy of JIT

Dr Michael Spivey (University of Oxford).

MR5, Centre for Mathematical Sciences.

Thursday 28 February 2013, 18:00-19:00

How is Haskell tackling the multicore problem?

Dr Simon Marlow (Facebook).

Centre for Mathematical Sciences, Meeting Room 5 (centre building, basement).

Thursday 07 February 2013, 18:00-19:00

Molecular Programming

Professor Luca Cardelli (Microsoft Research).

Winstanley Lecture Hall, Trinity College.

Thursday 24 January 2013, 18:00-19:00

Computing on Encrypted Data

Note change of date

Professor Nigel Smart (University of Bristol).

Winstanley Lecture Hall, Trinity College.

Wednesday 21 November 2012, 18:00-19:00

Selling category theory to the masses: a tale of food, spiders and Google

Prof Bob Coecke (University of Oxford).

Room TBC, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Wednesday 07 November 2012, 18:00-19:00

Financial Technology: Algorithmic Trading and Social Media Analytics

Prof Philip Treleaven (University College London).

Umney Lounge, Robinson College.

Tuesday 30 October 2012, 17:00-18:00

Friction in the Machine: How Fluid Processes Allow Optimal Human-Computer Interaction

Mr Tim Ronan (Palantir Technologies).

Centre for Mathematical Sciences, Meeting Room 5 (centre building, basement).

Monday 15 October 2012, 18:00-19:15

Meta-Morphogenesis: Evolution of mechanisms for producing minds

Professor Aaron Sloman (University of Birmingham).

Auditorium Lounge, Robinson College.

Tuesday 08 May 2012, 17:30-18:30

The Theory behind TheoryMine

Professor Alan Bundy (University of Edinburgh).

Mong Hall, Sidney Sussex College.

Thursday 08 March 2012, 18:00-19:15

Intelligence and Security in a Digital Age

Professor Sir David Omand (King's College London).

Winstanley Lecture Hall, Trinity College.

Thursday 01 March 2012, 18:00-19:15

(Failing to) avoid success at all costs: the Haskell story

Professor Simon Peyton-Jones (Microsoft Research).

Venue to be confirmed.

Thursday 09 February 2012, 18:00-19:15

Meta-morphogenesis: Evolution of Mechanisms for Producing Minds

Due to unfortunate medical problems Prof. Sloman is unavailable to give this talk. A new speaker, Nobel laureate Prof. Brian Josephson will be giving a replacement talk, details can be found here: http://talks.cam.ac.uk/talk/index/36113

Professor Aaron Sloman (University of Birmingham).

Seminar Room, Wolfson College.

Thursday 26 January 2012, 18:00-19:15

Unsupervised Machine Learning and Linguistics

Last talk of term

Professor Alex Clark (Royal Holloway, University of London).

Winstanley Lecture Hall, Trinity College.

Thursday 01 December 2011, 18:00-19:15

Don't Get Your Face Stolen! A Talk on ePassport Cryptography

Mr Jan Kjærsgaard (Cryptomathic).

Mong Hall, Sidney Sussex College.

Thursday 24 November 2011, 18:00-19:15

Imaginary Interfaces: Interacting Spatially Without Visual Feedback

Mr Sean Gustafson (University of Potsdam).

South Lecture Room, Department of Archaeology.

Thursday 17 November 2011, 18:00-19:15

Great Ideas of Computing Science: from Aristotle to Euclid

Tony Hoare (Microsoft Research).

MR3, Centre for Mathematical Sciences, Wilberforce Road, Cambridge.

Thursday 03 November 2011, 18:00-19:15

Photonic Quantum Information Science and Technologies

Professor Jeremy O'Brien (University of Bristol).

South Lecture Room, Department of Archaeology.

Thursday 20 October 2011, 17:00-18:15

Do We Really Need Pixels?

Dr Tim Wilkinson, CUED.

Mong Hall, Sidney Sussex College.

Monday 21 February 2011, 20:00-21:00

Telepathy: not your grandmother's communications framework

Will Thompson (Collabora).

Riley Auditorium, Clare College Memorial Court, Queens Road.

Monday 29 November 2010, 20:30-21:30

Xen and the Art of Startups

Steven Hand (University of Cambridge).

Riley Auditorium, Clare College Memorial Court, Queens Road.

Monday 22 November 2010, 20:30-21:30

Title to be confirmed

DR. ANDREW HERBERT OBE, Managing Director of Microsoft Research Cambridge and Microsoft Distinguished Engineer.

Microsoft Research Building, Cambridge.

Monday 15 November 2010, 16:30-18:00

Chip & PIN is NOT Broken: Facing Up to Failure

Mike Bond, CL.

Bristol-Myers Squibb Lecture Theatre, Lensfield Road.

Tuesday 23 February 2010, 19:00-20:00