University of Cambridge > Talks.cam > School of Technology

School of Technology

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

This is a combined list of all talks and series, listed on talks.cam, which are part of the School of Technology, plus occasional additional talks which would be of significant interest to researchers of the School. If you would like your talk or list included please contact Duncan (drs45)

Tell a friend about this list:

If you have a question about this list, please contact: Duncan Simpson. If you have a question about a specific talk, click on that talk to find its organiser.

35 upcoming talks and 6688 talks in the archive: show all (slow!).

HEP phenomenology joint Cavendish-DAMTP seminar

Supersymmetric decays in Softsusy

UserTom Cridge (University of Cambridge, DAMTP).

HouseB1.19, DAMTP.

ClockFriday 02 December 2016, 16:00-17:00

Machine Learning Reading Group @ CUED

Symmetry in Statistical Models

UserMark Rowland; Maria Lomeli.

HouseEngineering Department, CBL Room 438.

ClockThursday 01 December 2016, 13:30-15:00

Machine Learning @ CUED

Learning with limited supervision

UserStefano Ermon, Stanford.

HouseCBL Room BE-438.

ClockThursday 01 December 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Well-founded functions, induction, and extreme predicates in an SMT-based verifier

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserRustan Leino, Microsoft Research Redmond.

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

ClockThursday 01 December 2016, 10:00-11:00

Microsoft Research Cambridge, public talks

Well-founded functions, induction, and extreme predicates in an SMT-based verifier

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserRustan Leino, Microsoft Research Redmond.

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

ClockThursday 01 December 2016, 10:00-11:00

Computer Laboratory Wednesday Seminars

Architectural Impacts of the Silicon Performance Wall

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Computer Architecture Group Meeting

The Future of Computer Architecture

UserGavin Stark, Visiting Fellow, Computer Laboratory.

HouseSW01, Computer Laboratory.

ClockTuesday 29 November 2016, 15:00-16:30

Computer Laboratory Security Seminar

Reversing chip design for hardware security characterization

UserFranck Courbon, Security group, University of Cambridge.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 29 November 2016, 14:00-15:00

HEP phenomenology joint Cavendish-DAMTP seminar

Exotic Hadrons with hidden Charm

UserSebastian Neubert (Heidelberg).

HouseB1.19, DAMTP.

ClockFriday 25 November 2016, 16:00-17:00

Engineering Department Computing Seminars

C++14: The new C++

UserTim Love (University of Cambridge).

HouseLR11, Engineering, Department of.

ClockFriday 25 November 2016, 15:00-16:00

Engineering Department Micromechanics Seminars

Biological and bio-inspired locomotion at small scales - Mechanics Colloquium

UserProf Antonio De Simone, Scuola Internazionale Superiore di Studi Avanzati, Italy.

HouseCambridge University Engineering Department, LR4.

ClockFriday 25 November 2016, 14:00-15:00

Engineering Department Mechanics Colloquia Research Seminars

Biological and bio-inspired locomotion at small scales

UserProf Antonio De Simone, Scuola Internazionale Superiore di Studi Avanzati, Italy.

HouseDepartment of Engineering - LR4.

ClockFriday 25 November 2016, 14:00-15:00

Engineering Department Dynamics and Vibration Tea Time Talks

Biological and bio-inspired locomotion at small scales - MECHANICS COLLOQUIUM

UserProfessor Antonio de Simone, Sculoa Internationale Superiore di Studi Avanzati, Italy.

House Cambridge University Engineering Department, LR4.

ClockFriday 25 November 2016, 14:00-15:00

IET Cambridge Network - Lectures

BRITISH CYCLING

Registration for this event is essential (link below)

UserTony Purnell, Head of Technical Development at British Cycling.

HouseLecture Theatre 0, University of Cambridge Engineering Department, Trumpington Street, Cambridge.

ClockThursday 24 November 2016, 19:00-21:00

Machine Learning Reading Group @ CUED

Bayesian Optimization

UserPawel Budzianowiski; Brian Trippe.

HouseEngineering Department, CBL Room 438.

ClockThursday 24 November 2016, 13:30-15:00

women@CL Speaker Lunch Series

Women@CL talklet event

UserSheharbano Khattak, Youmna Farag, Anita Verő.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 24 November 2016, 13:00-14:00

Computer Laboratory Wednesday Seminars

Making Reactive Programs Function

Note: Venue is LT2 (not LT1).

UserDr Neel Krishnaswami - University of Cambridge, Computer Laboratory.

HouseLecture Theatre 2, Computer Laboratory.

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

CUED Control Group Seminars

On structure preserving H-infinity optimal control

UserProfessor Anders Rantzer, Lund University, Sweden.

HouseCambridge University Engineering Department, LR5.

ClockWednesday 23 November 2016, 14:00-15:00

Machine Learning @ CUED

Rejection Sampling Variational Inference

UserFrancisco J. R. Ruiz (Columbia University & University of Cambridge).

HouseCBL Room BE-438.

ClockTuesday 22 November 2016, 11:30-12:30

Engineering Department Computing Seminars

Matlab by Example

UserTim Love (University of Cambridge).

HouseLR11, Engineering, Department of.

ClockFriday 18 November 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

A compositional account of Herbrand's theorem via concurrent games

NOTE NON-STANDARD ROOM BOOKING

UserPierre Clairambault, ENS Lyon.

HouseSS03.

ClockFriday 18 November 2016, 14:00-15:00

CEB Career Talks

“The Golden Age of the Oil and Gas Industry is here to Stay”

Talk is free but advance registration is required on http://www.ceb.cam.ac.uk/alumni/events/talks/career-talks

UserPiran Mazaheri, MA, CEng, FIChemE, Head of Capital Projects Department, Sasol Exploration & Production, .

HouseDept Chemical Engineering and Biotechnology, Philippa Fawcett Drive CB3 OAS (Lecture Theatre 3, Level 3 ).

ClockFriday 18 November 2016, 13:15-14:15

Computer Laboratory Tech Talks

Recruitment fair

UserSpeaker to be confirmed.

HouseThe Street, Computer Laboratory.

ClockFriday 18 November 2016, 11:30-16:00

CUED Control Group Seminars

Bayesian Optimization for Accelerated Exploration of Chemical Space

UserJosé Miguel Hernández Lobato, University of Cambridge.

HouseCambridge University Engineering Department, LR4.

ClockThursday 17 November 2016, 15:00-16:00

Rainbow Group Seminars

Display algorithms for high dynamic range video

UserGabriel Eilertsen (Linköping University).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 17 November 2016, 14:15-15:15

Machine Learning Reading Group @ CUED

deep generative models

UserDave Janz; James Requeima.

HouseEngineering Department, CBL Room 438.

ClockThursday 17 November 2016, 13:30-15:00

Computer Laboratory Tech Talks

Recruitment fair

UserSpeaker to be confirmed.

HouseThe Street, Computer Laboratory.

ClockThursday 17 November 2016, 11:30-16:00

Machine Learning @ CUED

Probabilistic Numerical Computation: A New Concept?

UserProf. Mark Girolami (University of Warwick).

HouseCBL Room BE-438, Department of Engineering.

ClockThursday 17 November 2016, 11:00-12:00

Computer Laboratory Tech Talks

Palantir and PCL (Privacy & Civil Liberties)

UserWilliam Morland, Civil Liberties Engineer.

HouseFW26, Computer Laboratory.

ClockMonday 14 November 2016, 13:05-14:05

HEP phenomenology joint Cavendish-DAMTP seminar

Probing the electroweak phase transition at the LHC (and beyond)

UserJose Miguel No (King's College London).

HouseB1.19, DAMTP.

ClockFriday 11 November 2016, 16:00-17:30

Engineering Department Computing Seminars

LaTeX for report-writing

UserTim Love (University of Cambridge).

HouseLR11, Engineering, Department of.

ClockFriday 11 November 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Fencing off Go: Liveness and Safety for Channel-based Programming

UserNicholas Ng and Bernardo Toninho, Imperial College.

HouseFW26.

ClockFriday 11 November 2016, 14:00-15:00

Computer Laboratory Tech Talks

How to Break the Internet

UserSimon Chatterjee, Ensoft Ltd.

HouseFW11, Computer Laboratory.

ClockFriday 11 November 2016, 13:00-14:00

Computer Laboratory Tech Talks

"Improving your CV” Careers Workshop

UserSusan Gatell, Cambridge University Careers Service.

HouseLT1, Computer Laboratory.

ClockThursday 10 November 2016, 13:00-14:00

Computer Laboratory Wednesday Seminars

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

UserDr Aurelie Herbelot - University of Trento.

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Tech Talks

Building a Secure Bank

UserDaniel Chatfield, Security Engineer, Monzo.

HouseFW26, Computer Laboratory.

ClockWednesday 09 November 2016, 13:05-14:05

Microsoft Research Cambridge, public talks

Flexible Paxos

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserHeidi Howard, University of Cambridge.

HouseSmall Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 09 November 2016, 10:00-11:00

Computer Laboratory Tech Talks

Amazon Alexa: building AI at scale

UserDavid Hardcastle, Senior Manager, Software Development, Amazon.

HouseFW26, Computer Laboratory.

ClockTuesday 08 November 2016, 13:15-14:15

HEP phenomenology joint Cavendish-DAMTP seminar

MSSM4G scenario

UserSho Iwamoto.

HouseB1.19, DAMTP.

ClockMonday 07 November 2016, 16:00-17:30

Engineering Department Computing Seminars

Document Preparation using LaTeX

UserTim Love (University of Cambridge).

HouseLR11, Engineering, Department of.

ClockFriday 04 November 2016, 15:00-16:00

Rainbow Group Seminars

Title to be confirmed

UserNanyang Ye.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 03 November 2016, 14:15-15:15

Machine Learning Reading Group @ CUED

A crash-course on Bayesian Reinforcement Learning

UserAlexandre Khae Wu Navarro (University of Cambridge); Amar Shah.

HouseEngineering Department, CBL Room 438.

ClockThursday 03 November 2016, 13:30-15:00

women@CL Speaker Lunch Series

Career panel

UserTina Fallah, Hatice Gunes, Camilla Longden, Yoli Shavit.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 03 November 2016, 13:00-14:00

Machine Learning @ CUED

Multi-view Anomaly Detection via Robust Probabilistic Latent Variable Models

UserTomoharu Iwata - Learning and Intelligent Systems Research Group of NTT Communication Science Laboratories, Kyoto, Japan.

HouseCBL Room BE-438.

ClockThursday 03 November 2016, 11:00-12:00

Computer Laboratory Wednesday Seminars

Graduate Studies Open Day

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

UserSpeaker to be confirmed.

HouseLecture Theatre 1, Computer Laboratory.

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

Chemical Engineering and Biotechnology Departmental Seminars

Nanoparticle based analysis of biomolecules, cells and tissue

UserProfessor Duncan Graham, Centre for Molecular Nanometrology, Department of Pure and Applied Chemistry, University of Strathclyde.

HouseDepartment of Chemical Engineering and Biotechnology, West Cambridge Site.

ClockWednesday 02 November 2016, 16:00-17:00

Computer Laboratory Tech Talks

G-Research Coding Challenge 2016

UserSpeaker to be confirmed.

HouseFW26, Computer Laboratory.

ClockWednesday 02 November 2016, 13:05-15:30

Microsoft Research Cambridge, public talks

Unsupervised Cluster Matching for Relational Data

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTomoharu Iwata, NTT Communication Science Laboratories.

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

ClockWednesday 02 November 2016, 11:00-12:00

Machine Learning @ CUED

Robots learning on the move: deep learning from lots of demonstration

UserDushyant Rao, Oxford Robotics Institute.

HouseCBL Room BE-438.

ClockWednesday 02 November 2016, 11:00-12:00

Computer Laboratory Tech Talks

State machine replication and the modern exchange

UserSebastian Funk, JaneStreet.

HouseFW26, Computer Laboratory.

ClockTuesday 01 November 2016, 13:15-14:05

Microsoft Research Cambridge, public talks

Developing PDE-compartment hybrid frameworks for modelling cell migration

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserKit Yate, University of Bath.

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

ClockMonday 31 October 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

Developing PDE-compartment hybrid frameworks for modelling cell migration

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserKit Yate, University of Bath.

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

ClockMonday 31 October 2016, 14:00-15:00

Engineering Department Computing Seminars

C++ (part 4)

UserTim Love (University of Cambridge).

HouseLR11, Engineering, Department of.

ClockFriday 28 October 2016, 15:00-16:00

Computer Laboratory Tech Talks

What can you do with data at the speed of 10x million events per second

Please register at: https://www.eventbrite.com/e/microsoft-tech-talk-university-of-cambridge-tickets-28514095427

UserIrina Frumkin, a Principal Software Engineering Lead, Microsoft.

HouseFW11, Computer Laboratory.

ClockFriday 28 October 2016, 13:05-14:05

Rainbow Group Seminars

Personality Perception of Robot Avatar Teleoperators

UserOya Celiktutan (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 27 October 2016, 14:15-15:15

Computer Laboratory Wednesday Seminars

End-to-end encryption: Behind the scenes

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

HouseLecture Theatre 1, Computer Laboratory.

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

Engineering Department Computing Seminars

C++ (part 3)

UserTim Love (University of Cambridge).

HouseLR11, Engineering, Department of.

ClockWednesday 26 October 2016, 15:00-16:00

Computer Laboratory Tech Talks

Title to be confirmed

Sign up at Fb.me/Cambridgetechtalk16

UserDaniel Bernhardt, Facebook.

HouseLT1, Computer Laboratory.

ClockTuesday 25 October 2016, 13:00-14:00

Computer Laboratory Tech Talks

Scala: How to sneak Haskell design patterns into industry code

Please RSVP to recruitment@gsacapital.com as we need to gauge numbers for catering purposes

UserWill Sonnex, GSA Capital.

HouseFW26, Computer Laboratory.

ClockMonday 24 October 2016, 13:05-14:05

Engineering Department Computing Seminars

C++ (part 2)

UserTim Love (University of Cambridge).

HouseLR11, Engineering, Department of.

ClockFriday 21 October 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Context Equivalences and Metrics in Probabilistic Lambda-Calculi

UserUgo Dal Lago, University of Bologna.

HouseFW26.

ClockFriday 21 October 2016, 14:00-15:00

Engineering Department Micromechanics Seminars

Contacts and Fretting - Mechanics Colloquium

UserProf David Hills, Department of Engineering Science, University of Oxford.

HouseCambridge University Engineering Department, LR4.

ClockFriday 21 October 2016, 14:00-15:00

Engineering Department Mechanics Colloquia Research Seminars

Contacts and Fretting

UserProf David Hills, Department of Engineering Science, University of Oxford.

HouseDepartment of Engineering - LR4.

ClockFriday 21 October 2016, 14:00-15:00

Engineering Department Dynamics and Vibration Tea Time Talks

Contacts and Fretting - MECHANICS COLLOQUIUM

UserProfessor David Hills, Department of Engineering Science, University of Oxford.

House Cambridge University Engineering Department, LR4.

ClockFriday 21 October 2016, 14:00-15:00

Computer Laboratory Tech Talks

What's the big deal about Big Data?

UserMorgan Stanley’s Data Strategy group.

HouseFW11, Computer Laboratory.

ClockFriday 21 October 2016, 13:15-14:30

Rainbow Group Seminars

Towards a User-Centric In-Vehicle Navigational System

UserMarwa Mahmoud (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 20 October 2016, 14:15-15:15

Machine Learning @ CUED

Probabilistic modeling for position and orientation estimation using inertial sensors

UserManon Kok, Department of Electrical Engineering, Linköping University.

HouseCBL Room BE-438.

ClockThursday 20 October 2016, 10:00-11:00

Computer Laboratory Wednesday Seminars

From Idea to Startup

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

HouseLecture Theatre 1, Computer Laboratory.

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

Engineering Department Computing Seminars

C++ (part 1)

UserTim Love (University of Cambridge).

HouseLR11, Engineering, Department of.

ClockWednesday 19 October 2016, 15:00-16:00

Computer Laboratory Tech Talks

Netcraft wokshop

UserRobert Duncan, Netcraft.

HouseFW26, Computer Laboratory.

ClockWednesday 19 October 2016, 13:05-15:30

Computer Laboratory Tech Talks

Data processing @ Google & Interviews 101

UserLewis Hemens, Google.

HouseLT1, Computer Laboratory.

ClockTuesday 18 October 2016, 13:00-14:30

Computer Laboratory Tech Talks

5G - The Revolution

UserCyril Valadon , MediaTek.

HouseFW26, Computer Laboratory.

ClockMonday 17 October 2016, 13:05-14:05

CEB Career Talks

“How can I be a Management Consultant when I have no Experience?”

free talk but advance registration required on http://www.ceb.cam.ac.uk/alumni/events/talks

UserKatherine Suddaby (Senior Consultant) and Tim Murray (Associate Director), Newton Europe Ltd. .

HouseDept Chemical Engineering and Biotechnology, Philippa Fawcett Drive CB3 OAS (Lecture Theatre 3, Level 3 ).

ClockFriday 14 October 2016, 13:00-14:00

Rainbow Group Seminars

Introduction to the Rainbow Group

UserPeter Robinson (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 13 October 2016, 14:15-15:15

Computer Laboratory Wednesday Seminars

Rethinking Auto-Parallelisation

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

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Tech Talks

An introduction to games programming

UserAlastair Toft and Hale Harding, Studio Gobo.

HouseFW26, Computer Laboratory.

ClockWednesday 12 October 2016, 13:05-14:05

Computer Laboratory Tech Talks

Security Through Maturity

UserScott Alexander, JPMorgan mobile team.

HouseFW26, Computer Laboratory.

ClockMonday 10 October 2016, 13:05-14:05

HEP phenomenology joint Cavendish-DAMTP seminar

Prompt Signals and Displaced Vertices in the NMSSM

UserGiovanna Cottin (University of Cambridge, Cavendish Laboratory).

HouseMR15, DAMTP.

ClockFriday 07 October 2016, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

On Proofs of Equality as Paths

UserAndy Pitts, Computer Laboratory.

HouseFW26.

ClockFriday 07 October 2016, 14:00-15:00

Machine Learning @ CUED

Moment matching for latent variable models: from ICA to LDA and CCA

UserProfessor Francis Bach (INRIA, ENS).

HouseCBL Room BE-438.

ClockThursday 06 October 2016, 11:00-12:00

HEP phenomenology joint Cavendish-DAMTP seminar

Claim of discoveries based on sigma's

UserProf. Giulio D'Agostini (University of Rome "Sapienza").

HouseHEP meeting room, Rutherford Building, Cavendish Laboratory.

ClockMonday 19 September 2016, 16:00-17:30

Signal Processing and Communications Lab Seminars

Algorithms and bounds for group testing

UserDr Oliver Johnson, School of Mathematics, University of Bristol.

HouseLR6, Cambridge University Engineering Department.

ClockMonday 19 September 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Analysing Goedel’s T by means of ordinal assignment and collapsing

NOTE NON-STANDARD ROOM BOOKING

UserGunnar Wilken, Okinawa Institute of Science and Technology.

HouseSS03.

ClockFriday 16 September 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

Queueing with Redundant Requests: A more realistic model

 Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required

UserMor Harchol-Balter - CMU.

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

ClockFriday 16 September 2016, 11:00-12:00

Rainbow Group Seminars

What is code?

UserFelienne Hermans, T. U. Delft.

HouseSW01, Computer Laboratory, William Gates Building.

ClockFriday 16 September 2016, 11:00-12:00

Machine Learning @ CUED

Multiresolution Matrix Factorization

UserProf Risi Kondor (U Chicago).

HouseCBL Room BE-438.

ClockTuesday 13 September 2016, 11:00-12:00

Machine Learning @ CUED

Dynamic Models for Health Data

UserProfessor Katherine A Heller (Duke University).

HouseCBL Room BE-438.

ClockMonday 12 September 2016, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Making Reactive Programs Function

UserNeel Krishnaswami, University of Cambridge.

HouseFW26.

ClockFriday 09 September 2016, 14:00-15:00

Machine Learning @ CUED

Learning with Memory Embeddings

UserProfessor Volker Tresp (Ludwig Maximilian University of Munich).

HouseEngineering Department, CBL Room BE-438.

ClockThursday 08 September 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

"Womenomics" and Gender-Inclusive Software: What the Software Industry Needs to Know

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMargaret Burnett, Oregon State University.

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

ClockFriday 02 September 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Horn Clauses for Verification and Synthesis

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserAndrey Rybalchenko, Microsoft Research Cambridge.

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

ClockThursday 25 August 2016, 10:30-11:15

Logic and Semantics Seminar (Computer Laboratory)

A new verified compiler backend for CakeML

**NOTE NON-STANDARD DATE, TIME, AND ROOM**

UserMagnus Myreen, Chalmers University, Sweden.

HouseFW11.

ClockThursday 18 August 2016, 15:00-16:00

HEP phenomenology joint Cavendish-DAMTP seminar

Low and High Energy Lepton Flavor Violation and Higgs Decays

UserManimala Mitra, Harish-Chandra Res. Inst..

HouseB1.19, DAMTP.

ClockTuesday 16 August 2016, 16:00-17:00

Microsoft Research Cambridge, public talks

Managing Privacy Tradeoffs in the Internet

 Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required

UserDavid Naylor - CMU.

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

ClockFriday 12 August 2016, 15:00-16:00

Machine Learning @ CUED

Inference as Learning

UserGeorge Papamakarios (University of Edinburgh).

HouseCBL Room BE-438.

ClockMonday 08 August 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Reflections on Code-Reuse Attacks and Defenses

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserThorsten Holz, Ruhr-University Bochum.

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

ClockThursday 04 August 2016, 16:00-17:00

Computer Laboratory Computer Architecture Group Meeting

Design for Security Test against Fault Injection Attack, and Fast Test with Compressive Sensing

Note unusual time and venue. Talk follows 14:00 to 14:45 talk.

UserProf Huiyun Li, Shenzhen Institutes of Advanced Technology.

HouseLecture Theatre 1, Computer Laboratory.

ClockTuesday 02 August 2016, 14:45-15:30

Computer Laboratory Computer Architecture Group Meeting

Barrier-Aware Warp Scheduling for Throughput Processors

Note unusual time

UserProf Yu Zhibin, Shenzhen Institutes of Advanced Technology.

HouseLecture Theatre 1, Computer Laboratory.

ClockTuesday 02 August 2016, 14:00-14:45

Logic and Semantics Seminar (Computer Laboratory)

Classical Linear Logic considered as a programming language

UserRobert Atkey, University of Strathclyde.

HouseFW26.

ClockFriday 29 July 2016, 14:00-15:00

Cambridge Usability Group

Understanding Systems

Tickets are free but please reserve a place on Eventbrite: https://understanding-systems.eventbrite.co.uk

UserJohanna Kollmann, Head of Product, Snyk.

HouseMicrosoft Research Cambridge, 21 Station Rd, CB1 2FB, Cambridge.

ClockThursday 21 July 2016, 18:30-20:30

Microsoft Research Cambridge, public talks

Verifying Constant-Time Implementations

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserFrancois Dupressoir.

HouseSmall Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 21 July 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

An introduction to program verification with F*

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserSantiago Zanella-Beguelin, Microsoft Research Cambridge.

HouseSmall Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 14 July 2016, 10:30-11:15

Computer Laboratory Wednesday Seminars

From EDA to NDA: Treating Networks like Hardware Circuits

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

UserGeorge Varghese - Microsoft Research.

HouseLecture Theatre 2, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Practical Statically-checked Deterministic Parallelism

UserRyan Newton, University of Indiana.

HouseFW26.

ClockFriday 01 July 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

Practical Statically-checked Deterministic Parallelism

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserRyan Newton, Indiana University.

HouseSmall Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 30 June 2016, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

OpenPiton

UserJonathan Balkind, Princeton University.

HouseFW11, Computer Laboratory.

ClockThursday 30 June 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Summer of Science Talks: An Introduction to Discrete Geometry, with application to the Principles of Concurrent Programming

 Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTony Hoare, Microsoft Research Cambridge.

HouseSmall Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockThursday 30 June 2016, 10:30-11:45

Logic and Semantics Seminar (Computer Laboratory)

Automatically comparing memory consistency models

UserJohn Wickerson, Imperial College.

HouseFW26.

ClockFriday 24 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Programming and Proving with Concurrent Resources

UserIlya Sergey, University College London.

HouseFW26.

ClockFriday 17 June 2016, 14:00-15:00

Machine Learning @ CUED

Learning Task Relations in Multi-Task Learning

Via Skype

UserYu Zhang (Hong Kong University of Science and Technology).

HouseEngineering Department, CBL Room BE-438.

ClockTuesday 14 June 2016, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Optimising star-convex functions

UserJasper Lee, Brown University.

HouseFW26.

ClockFriday 10 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automated Reasoning and AI for Large Formal Mathematics

UserJosef Urban, Czech Technical University in Prague.

HouseFW26.

ClockFriday 03 June 2016, 14:00-15:00

Machine Learning Reading Group @ CUED

Partially Observable Markov Decision Processes (POMDPs)

UserRowan McAllister (University of Cambridge), Alex Navarro.

HouseEngineering Department, CBL Room 438.

ClockThursday 02 June 2016, 14:30-16:00

Machine Learning @ CUED

Variational inference for scalable Gaussian process approximations

UserAlexander Matthews (University of Cambridge).

HouseEngineering Department, CBL Room BE-438.

ClockThursday 02 June 2016, 11:30-12:30

Rainbow Group Seminars

Clarifying hypotheses by sketching data

UserMariana Marasoiu (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 02 June 2016, 11:15-12:15

HEP phenomenology joint Cavendish-DAMTP seminar

Collider tests of diphoton resonances and compositeness

UserEmiliano Molinaro (University of Southern Denmark).

HouseB1.19, DAMTP.

ClockFriday 27 May 2016, 16:00-17:00

Signal Processing and Communications Lab Seminars

Adaptive Group Sparsity Using the Ordered Weighted l1 Regularizer

UserProf. Mario Figueiredo, Instituto de Telecomunicações and Instituto Superior Técnico University of Lisbon, Portugal.

HouseLR6, Department of Engineering.

ClockThursday 26 May 2016, 15:00-16:00

women@CL Speaker Lunch Series

women@CL talklet -- NetOS, Security, and NLP group

UserDesislava Hristova, Sheharbano Khattak, Menglin Xia.

HouseComputer Laboratory, William Gates Building, Room SW01.

ClockThursday 26 May 2016, 13:00-14:00

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

UserDr Andrew Herbert OBE, FREng...

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Certified automated theorem proving for types

UserEkaterina Komendantskaya, Heriot-Watt University, Edinburgh.

HouseFW26.

ClockFriday 20 May 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

Resource Allocation for Next Generation of Radio Access Networks: how effective are my schedulers?

This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending.

UserBahar Partov Poor, Hamilton Institute Bell Laboratories.

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

ClockFriday 20 May 2016, 10:00-11:00

Cambridge Usability Group

Building stronger teams for better UX

Tickets are free, but please reserve a place on Eventbrite: https://building-stronger-teams-for-better-ux.eventbrite.co.uk

UserLily Dart.

HouseMicrosoft Research Cambridge, 21 Station Rd, CB1 2FB, Cambridge.

ClockThursday 19 May 2016, 18:30-20:30

Rainbow Group Seminars

How do users develop trust in ehealth services?

UserTanja Schomann (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 19 May 2016, 11:15-12:15

Computer Laboratory Wednesday Seminars

No Littering!

Please note: Unusual day of week and time.

UserBjarne Stroustrup - Morgan Stanley and Columbia University.

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

The C standard formalized in Coq, what's next?

UserRobbert Krebbers, Aarhus University.

HouseFW26.

ClockFriday 13 May 2016, 14:00-15:00

Computer Laboratory Tech Talks

A Career In Ethical Hacking

UserAlex King, Director, LD Capital Services..

HouseSeminar Room 3, Hauser Forum.

ClockFriday 13 May 2016, 13:05-14:05

Chemical Engineering and Biotechnology Departmental Seminars

Catalytic selective oxidation in biomass conversion

UserProfessor Yanhui YANG, School of Chemical and Biomedical Engineering, Nanyang Technological University, Singapore.

HouseLecture Theatre 1, Department of Chemical Engineering and Biotechnology, New Museums Site.

ClockThursday 12 May 2016, 16:00-17:00

CUED Control Group Seminars

Quantum control and quantum synchronization

UserAndreas Nunnenkamp, University of Cambridge.

HouseCambridge University Engineering Department, LR6.

ClockThursday 12 May 2016, 14:00-15:00

CEB Career Talks

“Careers in the post-genomic Age for Engineers and Scientists”

Free event but advance registration on http://www.ceb.cam.ac.uk/alumni/events/talks is required

UserDr Darrin Disley, CEO of Horizon Discovery Group Plc .

HouseDept Chemical Engineering and Biotechnology, Pembroke St, New Museums Site, Shell Building, Lecture Theatre 1.

ClockThursday 12 May 2016, 13:00-14:00

CUED Control Group Seminars

Bounded Control that Preserves System Stability and its Applications

UserQing-Chang Zhong, Illinois Institute of Technology, Chicago, and University of Sheffield.

HouseCambridge University Engineering Department, LR6.

ClockTuesday 10 May 2016, 15:00-16:00

HEP phenomenology joint Cavendish-DAMTP seminar

Dark matter and gauged flavor symmetries

UserFady Bishara (University of Oxford).

HouseB1.19, DAMTP.

ClockFriday 06 May 2016, 16:00-17:00

Engineering Department Structures Research Seminars

Vibration based Structural Health Monitoring: from Bridges to Wind Turbines

UserFilipe Magalhães Assistant Professor, Faculty of Engineering, University of Porto, Portugal.

House Cambridge University Engineering Department, LR6.

ClockFriday 06 May 2016, 15:00-16:00

Engineering Department Dynamics and Vibration Tea Time Talks

Vibration based structural health monitoring: from Bridges to Wind Turbines

This lecture is part of the Structures Research Seminar series

UserFilipe Magalhaes, Assistant Professor, Faculty of Engineering, University of Porto, Portugal.

House Cambridge University Engineering Department, Lecture Room 6.

ClockFriday 06 May 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

A rational reconstruction of homogeneous meta-programming

UserMartin Berger, University of Sussex.

HouseFW26.

ClockFriday 06 May 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

Turbocharging Rack-Scale In-Memory Computing with Scale-Out NUMA

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserBoris Grot - University of Edinburgh.

HouseSmall Lecture Theatre, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

ClockWednesday 04 May 2016, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Giry and the Machine

UserIlias Garnier, ENS Paris.

HouseFW26.

ClockFriday 29 April 2016, 14:00-15:00

Engineering Department Mechanics Colloquia Research Seminars

Modelling non-symmetry of collagen fibre dispersion in the elasticity of arterial wall tissue

UserProfessor Raymond Ogden, School of Mathematics and Statistics, University of Glasgow.

HouseDepartment of Engineering - LR4.

ClockFriday 29 April 2016, 14:00-15:00

CEB Career Talks

Whychemeng: Practical Chemical Engineering and Early Career Development

Free but advance registration required on http://www.ceb.cam.ac.uk/alumni/events/talks

UserBy Philip Mak and Claire Willmoth, BP Process Engineers.

HouseDept Chemical Engineering and Biotechnology, Pembroke St, New Museums Site, Shell Building, Lecture Theatre 1.

ClockFriday 29 April 2016, 13:30-14:30

Machine Learning Reading Group @ CUED

Topics in Expectation Propagation

UserYingzhen Li (University of Cambridge), Rich Turner.

HouseEngineering Department, CBL Room 438.

ClockThursday 28 April 2016, 14:30-16:00

CUED Control Group Seminars

Design Considerations for Economic MPC

UserMuyiwa Olanrewaju, University of Cambridge.

HouseCambridge University Engineering Department, LR6.

ClockThursday 28 April 2016, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Dependent types, linear types and operating systems

UserMatthew Danish (University of Cambridge).

HouseFW26.

ClockThursday 28 April 2016, 13:00-14:00

Rainbow Group Seminars

Lightfield Media Production Systems for Enhanced Creativity in Post-Production

UserFrederik Zilly (Fraunhofer IIS, Erlangen, Germany).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 28 April 2016, 11:15-12:15

Computer Laboratory Tech Talks

Data-driven Retail

UserDhruv Kumar,The Hut Group.

HouseFW26, Computer Laboratory.

ClockWednesday 27 April 2016, 13:05-14:05

Microsoft Research Cambridge, public talks

Engineering the Future: an open evening for women in engineering

UserChristopher Bishop, Microsoft Research, Abigail Sellen, Microsoft Research, Matthew Johnson, Microsoft Research.

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

ClockTuesday 26 April 2016, 17:00-19:00

Microsoft Research Cambridge, public talks

Admitting more tenants with tail latency SLOs

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTimothy Zhu, CMU.

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

ClockMonday 25 April 2016, 13:30-14:30

Computer Laboratory Tech Talks

Bitcoin – Design Demystified

UserAlexey Akhunov, JPMorgan.

HouseFW26, Computer Laboratory.

ClockMonday 25 April 2016, 13:05-14:15

Microsoft Research Cambridge, public talks

PCC: Re-architecting Congestion Control for Consistent High Performance

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMichael Schapira, Hebrew University of Jerusalem.

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

ClockMonday 25 April 2016, 11:00-12:00

Chemical Engineering and Biotechnology Departmental Seminars

Design and Synthesis of Catalytic Metal-Organic Framework Materials

UserProfessor Omar Farha, Department of Chemistry, International Institute for Nanotechnology, Northwestern University.

HouseLecture Theatre 1, Department of Chemical Engineering and Biotechnology, New Museums Site.

ClockFriday 22 April 2016, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Logical dependence via functional dependence

UserPaulo Oliva, Queen Mary, University of London.

HouseFW26.

ClockFriday 22 April 2016, 14:00-15:00

Machine Learning Reading Group @ CUED

Deep Q-Learning and AlphaGo

UserShixiang Gu (University of Cambridge); Amar Shah.

HouseEngineering Department, CBL Room 438.

ClockThursday 21 April 2016, 14:30-16:00

Signal Processing and Communications Lab Seminars

Scalable inference for a full multivariate stochastic volatility model

UserProf. Petros Dellaportas, Dept. of Statistical Science, UCL.

HouseLR11, Department of Engineering.

ClockThursday 21 April 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

Large-Scale Camera Pose Voting and the Geometric Burstiness Problem

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTorsten Sattler, ETH Zurich.

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

ClockTuesday 19 April 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

Large-Scale Camera Pose Voting and the Geometric Burstiness Problem

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserTorsten Sattler, ETH Zurich.

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

ClockTuesday 19 April 2016, 11:00-12:00

CUED Control Group Seminars

A Bayesian Approach to Molecular Communication

UserChun Tung Chou, University of New South Wales, Australia.

HouseCambridge University Engineering Department, LR6.

ClockWednesday 13 April 2016, 14:00-15:00

Cambridge Usability Group

Same Same But Different

Product Management and UX design

UserJock Busuttil.

HouseRed Gate Software, Newnham House, Cambridge Business Park, Cambridge CB4 0WZ.

ClockTuesday 12 April 2016, 18:30-20:00

Logic and Semantics Seminar (Computer Laboratory)

Generating Gradual Typing Systems with the Gradualizer

UserJeremy Siek, Indiana University.

HouseFW26.

ClockFriday 08 April 2016, 14:00-15:00

Machine Learning Reading Group @ CUED

Variational Methods and Compressed Sensing

UserNilesh Tripuraneni (University of Cambridge).

HouseEngineering Department, CBL Room 438.

ClockThursday 07 April 2016, 14:30-16:00

Microsoft Research Cambridge, public talks

Pony: Co-Designing a Type System and a Runtime

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserSylvan Clebsch, Imperial College London.

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

ClockTuesday 29 March 2016, 11:00-12:00

Microsoft Research Cambridge, public talks

General-purpose representation learning from words to sentences

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserFelix Hill, University of Cambridge.

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

ClockTuesday 29 March 2016, 09:30-10:30

HEP phenomenology joint Cavendish-DAMTP seminar

Aspects of warped extra-dimensional models

Note exceptional day for this talk

UserAbhishek Iyer (TIFR, Mumbai).

HouseB1.19, DAMTP.

ClockTuesday 22 March 2016, 16:00-17:00

Computer Laboratory Security Seminar

Understanding, Characterizing, and Detecting Facebook Like Farms

UserDr. Emiliano De Cristofaro, Senior Lecturer (Associate Professor), University College London.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 22 March 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

Information-Theoretic Bounded Rationality

Please note, this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

User Pedro Ortega, University of Pennsylvania.

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

ClockTuesday 22 March 2016, 10:15-11:15

Engineering Department Micromechanics Seminars

Strain gradient plasticity: Numerical modeling and fracture assessment

UserMr Emilio Martinez Paneda, PhD candidate at University of Oviedo (Spain).

HouseDepartment of Engineering - LR6.

ClockFriday 18 March 2016, 14:00-15:00

Signal Processing and Communications Lab Seminars

Ocean Heat and Hot air (with apologies to David MacKay)

UserProf. Charles F Kennel, Scripps Institution of Oceanography, University of California, San Diego.

HouseLT1, Department of Engineering.

ClockWednesday 16 March 2016, 14:30-15:30

Machine Learning @ CUED

Unsupervised Risk Estimation with only Structural Assumptions

UserJacob Steinhardt (Stanford University).

HouseEngineering Department, CBL Room BE-438.

ClockWednesday 16 March 2016, 14:00-15:00

Microsoft Research Cambridge, public talks

Stamping Out Concurrency Bugs

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserBaris Kasikci, École Polytechnique Fédérale de Lausanne.

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

ClockWednesday 16 March 2016, 09:30-10:30

Microsoft Research Cambridge, public talks

Parallel Inference and Learning with Deep Structured Distributions

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserAlexander Schwing, University of Toronto.

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

ClockTuesday 15 March 2016, 10:15-11:15

CUED Control Group Seminars

Communities and privacy in mobile phone social networks

UserVincent Blondel, Université catholique de Louvain.

HouseCambridge University Engineering Department, LR12.

ClockFriday 11 March 2016, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Comprehensive Parametric Polymorphism

UserFredrik Nordvall Forsberg, Mathematically Structured Programming Group at the University of Strathclyde.

HouseFW26.

ClockFriday 11 March 2016, 14:00-15:00

Machine Learning @ CUED

The geometry of uncertainty

UserFabio Cuzzolin, Head of AI and vision, Oxford Brookes University.

HouseEngineering Department, Boardroom on the 2nd floor (past canteen on the left).

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

Computer Laboratory Tech Talks

Personal Program Analysis

UserDr Julian Tibble, VP Applications Engineering at Semmle Ltd.

HouseFW26, Computer Laboratory.

ClockTuesday 08 March 2016, 13:15-14:15

Engineering Department Computing Seminars

Long-running programs

UserTim Love (University of Cambridge).

HouseLR3B, Engineering, Department of.

ClockFriday 04 March 2016, 15:00-16:00

Machine Learning Reading Group @ CUED

Probabilistic programming

UserHong Ge (University of Cambridge); Matej Balog.

HouseEngineering Department, CBL Room 438.

ClockThursday 03 March 2016, 14:30-16:00

Logic and Semantics Seminar (Computer Laboratory)

THIS TALK HAS BEEN CANCELLED/POSTPONED

THIS TALK HAS BEEN CANCELLED/POSTPONED

UserMartín Escardó, School of Computer Science, University of Birmingham.

HouseSS03.

ClockThursday 03 March 2016, 14:00-15:00

Computer Laboratory Wednesday Seminars

CST Part Ib, Group Project Presentations

UserPart Ib students of the Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

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

Engineering Department Computing Seminars

Faster C++

UserTim Love (University of Cambridge).

HouseLT6, Engineering, Department of.

ClockFriday 26 February 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

A call-by-value realizability model for PML

NOTE UNUSUAL VENUE

UserRodolphe Lepigre, Laboratoire de Mathématiques, Université de Savoie.

HouseSS03.

ClockFriday 26 February 2016, 14:00-15:00

IET Cambridge Network - Lectures

PRESTIGE LECTURE - DIAMOND LIGHT SOURCE

Tea is served from 6pm

UserProf. Andrew Harrison, Diamond Light Source.

HouseChurchill College, Wolfson Lecture Theatre, Storeys Way, CB3 0DS .

ClockThursday 25 February 2016, 18:30-20:00

Cambridge Usability Group

From Robotics to Patient Care

As always, our tickets are free!

UserJeremy Kooyman (Cambridge Design Partnership).

HouseMicrosoft Research Cambridge, 21 Station Rd, CB1 2FB, Cambridge.

ClockThursday 25 February 2016, 18:30-20:00

Machine Learning Reading Group @ CUED

Learning by learning rich generative models

UserThang Bui (University of Cambridge).

HouseEngineering Department, CBL Room 438.

ClockThursday 25 February 2016, 14:30-16:00

CEB Career Talks

"What Do Medicines Mean to You? A career in the Pharmaceutical Industry"

Free talk but registration required in advance on http://www.ceb.cam.ac.uk/alumni/events/talks

UserLorraine Reddington (MEng 2002-2006) Senior Engineer at GSK, Engineering Capital Projects.

HouseDept Chemical Engineering and Biotechnology, Pembroke St, New Museums Site, Shell Building, Lecture Theatre 1.

ClockThursday 25 February 2016, 13:00-14:00

Rainbow Group Seminars

Rainbow Group Part II project presentations

UserSpeaker to be confirmed.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 25 February 2016, 13:00-14:00

Computer Laboratory Wednesday Seminars

Data Science at The Guardian

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

UserFelix Sanchez-Garcia, The Guardian.

HouseSW 01, Computer Laboratory.

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

Computer Laboratory Tech Talks

Why Big Data & Games go hand in hand

UserChris Smith, Jagex.

HouseFW26, Computer Laboratory.

ClockTuesday 23 February 2016, 13:35-14:05

Computer Laboratory Tech Talks

The Real Villains in Online Games

UserPhilip Bielby, Jagex.

HouseFW26, Computer Laboratory.

ClockTuesday 23 February 2016, 13:05-13:35

Microsoft Research Cambridge, public talks

Freeform interactions and disrupted displays

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserDavid Sweeney, Microsoft Research Cambridge.

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

ClockTuesday 23 February 2016, 09:30-10:30

Engineering Department Computing Seminars

C++14 - the new C++

UserTim Love (University of Cambridge).

HouseLT6, Engineering, Department of.

ClockFriday 19 February 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Excuse My Extrusion

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

HouseFW26.

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

Machine Learning @ CUED

A more Automated Statistician

UserDavid Janz, Oxford University.

HouseEngineering Department, CBL Room BE-438.

ClockFriday 19 February 2016, 11:30-12:00

Microsoft Research Cambridge, public talks

Regularized Optimal Transport and Applications

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserMarco Cuturi, Kyoto University.

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

ClockFriday 19 February 2016, 10:00-11:00

Computer Laboratory Systems Research Group Seminar

Exploring the Web Frontier

UserGareth Tyson (Queen Mary University of London).

HouseFW26, Computer Laboratory, William Gates Building.

ClockThursday 18 February 2016, 15:00-16:00

CUED Control Group Seminars

Stability and power sharing in microgrids

UserJohannes Schiffer, University of Leeds.

HouseCambridge University Engineering Department, LR5.

ClockThursday 18 February 2016, 14:00-15:00

women@CL Speaker Lunch Series

Talklet -- DTG and AI group

UserDiana A. Vasile, Naruemon Pratanwanich (Ploy).

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 18 February 2016, 13:00-14:00

Rainbow Group Seminars

Rainbow Group Part II project presentations

UserSpeaker to be confirmed.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 18 February 2016, 13:00-14:00

Computer Laboratory Wednesday Seminars

Communication with Artificial Intelligences

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Tech Talks

Kotlin: What it takes to make a programming language

UserAndrey Breslav, Lead Language Designer and Project Manager, JetBrains.

HouseFW26, Computer Laboratory.

ClockWednesday 17 February 2016, 13:05-14:10

REMS lunch

Compiling algebraic effects to Javascript in js_of_ocaml

UserArmaël Guéneau, ENS Lyon (visiting OCamllabs).

HouseFW11.

ClockWednesday 17 February 2016, 13:00-14:00

Computer Laboratory Tech Talks

Real Processors for Real-time

UserAntony John Penton, Senior Principal Engineer, CPU Group, ARM Holdings, Cambridge, UK.

HouseFW26, Computer Laboratory.

ClockMonday 15 February 2016, 13:05-14:10

HEP phenomenology joint Cavendish-DAMTP seminar

Multiquark Hadron Spectroscopy

UserAntonio Polosa (University of Rome).

HouseB1.19, DAMTP.

ClockFriday 12 February 2016, 16:00-17:00

Engineering Department Computing Seminars

C++, the Standard Library, and overloading

UserTim Love (University of Cambridge).

HouseLT6, Engineering, Department of.

ClockFriday 12 February 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Identity types in Algebraic Model Structures

NOTE UNUSUAL VENUE This is the second seminar this week.

UserAndrew Swan, The Logic Group, School of Mathematics, University of Leeds.

HouseFW11.

ClockFriday 12 February 2016, 14:00-15:00

Machine Learning Reading Group @ CUED

Differentiable Data Structures and (if we have time) POMDPs

NOTE Topic Change

UserYarin Gal; Rowan McAllister (University of Cambridge).

HouseEngineering Department, CBL Room 438.

ClockThursday 11 February 2016, 14:30-16:00

Rainbow Group Seminars

A Model of Local Adaptation

UserRafal Mantiuk (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 11 February 2016, 11:15-12:15

Computer Laboratory Wednesday Seminars

Predicting Psychology from Social Media Data

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

HouseLecture Theatre 1, Computer Laboratory.

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

REMS lunch

Not-quite-so-broken TLS 1.3 mechanised conformance checking

UserHannes Mehnert.

HouseFW11.

ClockWednesday 10 February 2016, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

What is an Algorithm?

NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday)

UserYuri Gurevich, Microsoft Research Redmond, USA.

HouseSW01.

ClockTuesday 09 February 2016, 16:00-17:00

Computer Laboratory Security Seminar

The Unfalsifiability of security claims

UserCormac Herley, Microsoft Research, Redmond.

HouseLT2, Computer Laboratory, William Gates Building.

ClockTuesday 09 February 2016, 14:00-15:00

REMS lunch

Cache Storage Channels: Alias-Driven Attacks

NON-STANDARD DAY: NEXT MONDAY

UserRoberto Guanciale, KTH.

HouseFW26.

ClockMonday 08 February 2016, 13:00-14:00

HEP phenomenology joint Cavendish-DAMTP seminar

The Coannihilation Codex

UserFelix Yu (University of Mainz).

HouseB1.19, DAMTP.

ClockFriday 05 February 2016, 16:00-17:00

Engineering Department Computing Seminars

C++ and the Standard Library

UserTim Love (University of Cambridge).

HouseLT6, Engineering, Department of.

ClockFriday 05 February 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Effects as sessions, sessions as effects

NOTE UNUSUAL VENUE

UserDominic Orchard, Computer Laboratory.

HouseSS03.

ClockFriday 05 February 2016, 14:00-15:00

Engineering Department Micromechanics Seminars

Adhesion of Volcanic Ashes in Gas Turbines and Potential Effects on Thermal Barrier Coatings

Please note that this is a Mechanics Colloquium and is in LR4

UserProfessor Bill Clyne, Department of Materials Science & Metallurgy.

HouseCambridge University Engineering Department, LR4.

ClockFriday 05 February 2016, 14:00-15:00

Rainbow Group Seminars

Deep Learning on geometric data

UserDavide Boscaini, Università della Svizzera Italiana.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 04 February 2016, 11:15-12:15

Computer Laboratory Wednesday Seminars

The Supercloud: Opportunities and Challenges

UserProf Hakim Weatherspoon - Cornell University.

HouseLecture Theatre 1, Computer Laboratory.

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

Microsoft Research Cambridge, public talks

What I Learned From Inventing Scala Macros?

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserEugene Burmako, École Polytechnique Fédérale de Lausanne.

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

ClockWednesday 03 February 2016, 09:30-10:30

Microsoft Research Cambridge, public talks

What I Learned From Inventing Scala Macros?

Please be aware that this event may be recorded. Microsoft will own the copyright of any recording and reserves the right to distribute it as required.

UserEguene Burmako, Ecole Polytechnique in Lausanne.

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

ClockWednesday 03 February 2016, 09:30-10:30

HEP phenomenology joint Cavendish-DAMTP seminar

Renormalization-group effects in dark-matter direct detection

UserJoachim Brod (University of Dortmund).

HouseB1.19, DAMTP.

ClockFriday 29 January 2016, 16:00-17:00

Engineering Department Computing Seminars

LaTeX for Report Writing

UserTim Love (University of Cambridge).

HouseLT6, Engineering, Department of.

ClockFriday 29 January 2016, 15:00-16:00

Engineering Department Structures Research Seminars

Origami Mechanisms

UserProf Zhong You, Department of Engineering Science, Oxford University.

House Cambridge University Engineering Department, LR5.

ClockFriday 29 January 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Interacting Hopf monoids: the algebra of signal flow diagrams

NOTE UNUSUAL VENUE

UserFabio Zanasi, Radboud University of Nijmegen, Netherlands.

HouseSS03.

ClockFriday 29 January 2016, 14:00-15:00

women@CL Speaker Lunch Series

SwiftKey Keyboard: Language Modelling and Beyond

UserCaroline Gasperin, Language Team Lead, SwiftKey.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 28 January 2016, 13:00-14:00

CEB Career Talks

“Managing Technical Uncertainty and Risk to generate Business Value”

Free event but registration required on http://www.ceb.cam.ac.uk/alumni/events/talks

UserDr Gary Smith, INVISTA Intermediates Vice President of Sustainability.

HouseDept Chemical Engineering and Biotechnology, Pembroke St, New Museums Site, Shell Building, Lecture Theatre 1.

ClockThursday 28 January 2016, 13:00-14:00

Rainbow Group Seminars

Objects or Data: Alternative interaction models to OOP

UserLuke Church (University of Cambridge).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 28 January 2016, 11:15-12:15

Computer Laboratory Wednesday Seminars

Synthetic Biology

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Tech Talks

Why do I need to keep recharging my smart phone?

UserSimon George-Kelso, MediaTek.

HouseFW26, Computer Laboratory.

ClockMonday 25 January 2016, 13:05-14:00

Engineering Department Computing Seminars

Faster Matlab

UserTim Love (University of Cambridge).

HouseLT6, Engineering, Department of.

ClockFriday 22 January 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Dependent Types and Fibred Computational Effects

UserDanel Ahman, University of Edinburgh, Scotland.

HouseFW26.

ClockFriday 22 January 2016, 14:00-15:00

Machine Learning Reading Group @ CUED

Deep learning for time series

UserChristof Angermueller(University of Cambridge); David Zoltowski (University of Cambridge).

HouseEngineering Department, CBL Room 438.

ClockThursday 21 January 2016, 14:30-16:00

Rainbow Group Seminars

Are Machine Learning Systems Unethical?

UserAlan Blackwell (Cambridge: Computer Laboratory and Crucible).

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 21 January 2016, 11:15-12:15

Chemical Engineering and Biotechnology Departmental Seminars

Molecular engineering for sustainable energy applications

UserJacqueline M. Cole, Head of Molecular Engineering, Cavendish Laboratory, University of Cambridge.

HouseLecture Theatre 1, Department of Chemical Engineering and Biotechnology, New Museums Site.

ClockWednesday 20 January 2016, 16:00-17:00

Computer Laboratory Wednesday Seminars

Finding what is invisible through computation

User Dr Rafal Mantiuk - University of Cambridge, Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Tech Talks

Shaping Energy with Technology

UserOliver Burstall CTO, Origami Energy.

HouseFW26, Computer Laboratory.

ClockWednesday 20 January 2016, 13:05-14:00

Computer Laboratory Tech Talks

Building a Trading System (How we really do it…)

UserJohan Ditmar, Head of Investment Operations Technology, Winton Capital.

HouseFW11, Computer Laboratory.

ClockMonday 18 January 2016, 13:05-14:10

Logic and Semantics Seminar (Computer Laboratory)

Graphical linear algebra and applications

UserPawel Sobocinski, School of Electronics and Computer Science, University of Southampton.

HouseFW26.

ClockFriday 15 January 2016, 14:00-15:00

Please see above for contact details for this list.

 

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