University of Cambridge > Talks.cam > Computer Laboratory talks

Computer Laboratory talks

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

Merged list of all talks taking place in the Computer Laboratory. This talk series can also be used to announce individual talks that do not fit into any of the established Lab seminars.

Tell a friend about this list:

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

40 upcoming talks and 2368 talks in the archive: show first 500.

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

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

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

REMS lunch

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

UserHannes Mehnert.

HouseFW11.

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

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

NLIP Seminar Series

Modern Deep Learning through Bayesian Eyes

UserYarin Gal, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 12 February 2016, 12:00-13: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

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

Computer Laboratory NetOS Group Talklets

TBC

UserInternship report - TBC.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 16 February 2016, 13:15-13:45

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

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

NLIP Seminar Series

What Happens Next? Event Prediction Using a Compositional Neural Network Model

UserMark Granroth-Wilding, Computer Laboratory.

HouseFW26, Computer Laboratory.

ClockFriday 19 February 2016, 12:00-13: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

Computer Laboratory Tech Talks

The Real Villains in Online Games

UserPhilip Bielby, Jagex.

HouseFW26, Computer Laboratory.

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

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

NLIP Seminar Series

Title to be confirmed

UserZoe Kourtzi (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 26 February 2016, 12:00-13: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.

HouseFW11.

ClockFriday 26 February 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

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

NOTE UNUSUAL LOCATION, DATE, AND TIME

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

HouseSS03.

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

NLIP Seminar Series

General-Purpose Representation Learning from Words to Sentences

UserFelix Hill (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 04 March 2016, 12:00-13:00

Computer Laboratory Wednesday Seminars

To be confirmed: Legal Clinic for Student Innovation

UserNathan Matias - MIT Media Laboratory Centre For Civic Media.

HouseLecture Theatre 1, Computer Laboratory.

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

NLIP Seminar Series

Title to be confirmed

UserGabriel Recchia (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 11 March 2016, 12:00-13:00

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

women@CL Speaker Lunch Series

Microsoft talk

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room FW26.

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

The Wheeler Lectures in Computer Science

A History of Virtualisation in Operating Systems.

Precise time to be confirmed.

UserDr Andrew Herbert OBE, FREng...

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 May 2016, 16:15-18:30

Please see above for contact details for this list.

 

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