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 Matthews. If you have a question about a specific talk, click on that talk to find its organiser.

30 upcoming talks and 1645 talks in the archive: show all (slow!).

Computer Laboratory Systems Research Group Seminar

SPOC: GPGPU Programming with OCaml

UserMathias Bourgoin (Université Pierre et Marie Curie - Paris 6) .

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockFriday 17 May 2013, 11:00-12:00

Computer Laboratory Security Seminar

Rendezvous: A search engine for binary code

UserWei Ming Khoo, Computer Laboratory, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 14 May 2013, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

Coinductive big-step semantics for concurrency

Note unusual time and day

UserTarmo Uustalu ( Institute of Cybernetics, Tallinn University of Technology).

HouseFW11, Computer Laboratory, William Gates Building.

ClockTuesday 14 May 2013, 15:45-16:45

Computer Laboratory NetOS Group Talklets

Title to be confirmed

User Jeremy Yallop (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 07 May 2013, 13:00-14:00

Computer Laboratory Wednesday Seminars

CANCELLED: Compressed Sensing and the Art of Subsampling

UserAnders Hansen - University of Cambridge Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Programming Research Group Seminar

Mezzo

UserJonathan Protzenko (from INRIA).

HouseFW11.

ClockTuesday 30 April 2013, 14:00-15:00

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserNeal Lathia (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 30 April 2013, 13:00-14:00

The Wheeler Lectures in Computer Science

Could Computers Understand Their Own Programs

UserProf Sir Tony Hoare - Microsoft Research & Computer Laboratory.

HouseLecture Theatre 1, Computer Laboratory.

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

women@CL Speaker Lunch Series

Postgraduate mini conference

UserPostgraduates; invited speaker: Prof. Ursula Martin; panel: Ursula Martin, Cecilia Mascolo, Mateja Jamnik.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockTuesday 23 April 2013, 13:15-16:15

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserVsevolod Stakhov (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 16 April 2013, 13:00-14:00

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserTimothy Griffin (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 09 April 2013, 13:00-14:00

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserYury Audzevich (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 26 March 2013, 13:00-14:00

NLIP Seminar Series

How to Give a Technical Presentation in Computer Science

UserStephen Clark, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 22 March 2013, 12:00-13:00

NLIP Seminar Series

Unsupervised Domain Tuning to Improve Word Sense Disambiguation

UserJudita Preiss, University of Sheffield.

HouseFW26, Computer Laboratory.

ClockFriday 15 March 2013, 12:00-13:00

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserAndrius Aucinas (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 12 March 2013, 13:00-14:00

Open Hardware, Software, Internet, Jobs

UserJon Hall, Bill Quinn, David Rusling, Anil Madhavapeddy.

HouseLT1, Computer Laboratory, William Gates Builiding.

ClockMonday 11 March 2013, 14:30-17:00

Rainbow Group Seminars

Short Talks

UserFlora Ponjou-Tasse.

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 07 March 2013, 11:15-12:15

NLIP Seminar Series

Two Approaches to Grammar Induction: From Plain Text to Semantic Supervision

UserOmri Abend, The Hebrew University of Jerusalem .

HouseFW11, Computer Laboratory.

ClockWednesday 06 March 2013, 12:00-13:00

Rainbow Group Seminars

Isogeometric analysis for subdivision solids

UserPieter Barendrecht, TU Eindoven.

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 28 February 2013, 11:15-12:15

Computer Laboratory Wednesday Seminars

High-Assurance Algorithmic Trading

UserDr. Hasan Amjad, Cantab Capital Partners.

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserMalcolm Scott (University of Cambridge Computer Laboratory).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 26 February 2013, 13:00-14:00

NLIP Seminar Series

Distributional Semantics and Kernels

UserTamara Polajnar, University of Cambridge.

HouseFW11, Computer Laboratory.

ClockFriday 22 February 2013, 12:00-13:00

Computer Laboratory Wednesday Seminars

Challenges in Computer Graphics Modeling

UserProf. Oliver Deussen, University of Konstanz, Germany.

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserKarthik Nilakant (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 19 February 2013, 13:00-14:00

NLIP Seminar Series

Linguistic Indicators for Estimating the Quality of Machine Translations

UserMariano Felice, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 15 February 2013, 12:00-13:00

Rainbow Group Seminars

Interactive Data Mining - Towards Mixed Initiative Approaches

UserMartin Spott, BT Research and Innovation.

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 14 February 2013, 11:15-12:15

Computer Laboratory Wednesday Seminars

Privacy Challenges and Solutions for Data Sharing

UserDr Aris Gkoulalas-Divanis, IBM Research, Dublin.

HouseLecture Theatre 1, Computer Laboratory.

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

Rainbow Group Seminars

Perception of image-based rendering

UserChristian Richardt (Inria Sophia Antipolis).

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 07 February 2013, 11:15-12:15

Computer Laboratory Wednesday Seminars

Adaptive Runtime Verification

UserProf Ezio Bartocci, University of Wien.

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserNarseo Vallina-Rodriguez (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 05 February 2013, 13:00-14:00

Computer Laboratory NetOS Group Talklets

Title to be confirmed

UserSarfraz Nawaz (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 29 January 2013, 13:00-14:00

Computer Laboratory NetOS Group Talklets

Title to be confirmed

User Valentin Dalibard(University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 22 January 2013, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Java 8 Workshop

UserRaoul-Gabriel Urma (University of Cambridge).

HouseLT2.

ClockMonday 21 January 2013, 15:00-17:30

Computer Laboratory NetOS Group Talklets

DCLSS

UserIonel Gog and Natacha Crooks (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 15 January 2013, 13:00-14:00

Semantics Lunch (Computer Laboratory)

High-Level Separation Logic for Low-Level Code

UserNick Benton, MSR Cambridge.

HouseFW26.

ClockMonday 10 December 2012, 13:00-14:00

Rainbow Group Seminars

Joint Contour Nets: Theory & Applications

UserHamish Carr (University of Leeds).

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 06 December 2012, 11:15-12:15

Computer Laboratory NetOS Group Talklets

Hoodsquare

UserAnastasios Noulas ( University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockTuesday 04 December 2012, 13:00-14:00

NLIP Seminar Series

Machine translation from the user's perspective: what is it good for?

UserLucia Specia, University of Sheffield.

HouseFW26, Computer Laboratory.

ClockFriday 30 November 2012, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Information theoretic view on Privacy preservation

Note that the change of time - now at 14:00.

UserKavé Salamatian (University of Savoie).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 29 November 2012, 14:00-17:00

women@CL Speaker Lunch Series

Careers Panel - Applying for jobs in academia and industry

UserByron Cook - Microsoft Research; Ann Copestake - Computer Laboratory; Anna Korhonen -Computer Laboratory; Kayoko Yanagisawa - Toshiba.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 29 November 2012, 13:00-14:00

Rainbow Group Seminars

ASC-Inclusion

UserPeter Robinson (University of Cambridge), Ian Davies (Computer Laboratory, University of Cambridge).

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 29 November 2012, 11:15-12:15

Semantics Lunch (Computer Laboratory)

Full Abstraction for PCF with Names

UserSteffen Lösch, University of Cambridge.

HouseFW26.

ClockMonday 26 November 2012, 13:00-14:00

Rainbow Group Seminars

Marwa's summer school experience

UserMarwa Mahmoud (University of Cambridge).

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 22 November 2012, 11:15-12:15

Computer Laboratory Security Seminar

An Updated Threat Model for Security Ceremonies

UserJean Martina (Federal University of Santa Catarina / Brazil).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 20 November 2012, 16:15-17:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Reducing Latency in Tor

UserSteven Herbert (University of Cambridge).

HouseFW11, William Gates Building.

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

Semantics Lunch (Computer Laboratory)

A Model-Learner Pattern for Bayesian Reasoning

UserAndy Gordon, Microsoft Research and University of Edinburgh.

HouseFW26.

ClockMonday 19 November 2012, 13:00-14:00

NLIP Seminar Series

Predict, Price and Cut: Column and Row Generation for Structured Prediction

User Sebastian Riedel, University College London.

HouseFW26, Computer Laboratory.

ClockFriday 16 November 2012, 12:00-13:00

Rainbow Group Seminars

Some thoughts on DesignScript and Exploratory Programming

UserLuke Church (University of Cambridge).

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 15 November 2012, 11:15-12:15

Semantics Lunch (Computer Laboratory)

Putting the thrill back into computing at school

UserSimon Peyton Jones, MSR Cambridge.

HouseFW26.

ClockMonday 12 November 2012, 13:00-14:00

Rainbow Group Seminars

Computer mediated living in the Roger Needham building

Informal chat.

UserTim Regan (Microsoft Research).

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 08 November 2012, 11:15-11:55

Computer Laboratory Wednesday Seminars

Sentiment Analysis

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Programs in context

UserDominic Orchard (University of Cambridge).

HouseSS03, William Gates Building.

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

Semantics Lunch (Computer Laboratory)

On distributed probabilistic strategies

UserGlynn Winskel.

HouseFW26.

ClockMonday 05 November 2012, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

Deduplication in VM Environments

UserFrank Bellosa (Karlsruhe Institute of Technology).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 01 November 2012, 16:00-17:00

Rainbow Group Seminars

First-year presentations

User Vaiva Imbrasaite, Alistair Stead, Henrik Lieng.

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 01 November 2012, 11:15-12:15

Computer Laboratory Wednesday Seminars

Semi-local string comparison

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

HouseLecture Theatre 1, Computer Laboratory.

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

NLIP Seminar Series

A fast and simple algorithm for training neural probabilistic language models

UserAndriy Mnih, University College London.

HouseFW26, Computer Laboratory.

ClockFriday 26 October 2012, 12:00-13:00

Rainbow Group Seminars

Conference talks' practice run

UserProf. Neil Dodgson, Marwa Mahmoud.

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 25 October 2012, 11:15-12:15

Computer Laboratory Wednesday Seminars

Challenges and approaches to improving the accuracy of indoor positioning systems

UserNiki Trigoni, Oxford University Department of Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

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

Semantics Lunch (Computer Laboratory)

The Power of Parameterization in Coinductive Proof

This will be the first Semantics Lunch of the term - please do come along (or email Peter.Sewell@cl.cam.ac.uk) with offers of talks.

UserChung-Kil Hur, MSR.

HouseFW26.

ClockMonday 22 October 2012, 13:00-14:00

NLIP Seminar Series

Handling obsolete information in classification: is there a one-size-fits-all strategy?

UserChristoforos Anagnostopoulos, Imperial College London.

HouseFW26, Computer Laboratory.

ClockFriday 19 October 2012, 12:00-13:00

Rainbow Group Seminars

Modeling and Predicting Emotion in Music

UserErik M. Schmidt (Drexel University).

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 18 October 2012, 11:15-12:00

Computer Laboratory Wednesday Seminars

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

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Programming Research Group Seminar

Monadic Program Slicing

UserDr. Yingzhou Zhang (University of Cambridge -- visitor until March 2013).

HouseSS03, Computer Laboratory.

ClockFriday 12 October 2012, 15:15-16:15

NLIP Seminar Series

A New Twist on Methodologies for ESL Grammatical Error Detection

UserJoel Tetreault, Educational Testing Service.

HouseFW26, Computer Laboratory.

ClockFriday 12 October 2012, 12:00-13:00

Microsoft Research Cambridge, public talks

Dynamically Enforcing Knowledge-based Security Policies

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 attendin

UserMichael Hicks, University of Maryland.

HouseSmall lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockFriday 12 October 2012, 10:00-11:00

Computer Laboratory Systems Research Group Seminar

Towards productive parallel programming: Unified Parallel C

This talk has been cacelled due to the speaker's schedule change.

UserMontse Farreras (Universitat Polit`ecnica de Catalunya).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 11 October 2012, 16:00-17:00

women@cl all

Welcome Event for New Students

UserSpeaker to be confirmed.

HouseFW26 of the Computer Lab.

ClockFriday 05 October 2012, 13:00-14:00

Computer Laboratory Security Seminar

Technology Risk Management - Achilles Heels, Myths and Mirages

Note the change in timing

UserTony Chew (Monetary Authority of Singapore).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockThursday 04 October 2012, 17:00-18:00

Computer Laboratory Security Seminar

Explorations of Science in Cyber Security

UserGreg Shannon (CERT and Carnegie Mellon University).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 01 October 2012, 15:00-16:00

Rainbow Group Seminars

Robot-assisted therapy for autism

UserJaeryoung Lee, Nagoya University.

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 20 September 2012, 11:15-12:00

Computer Laboratory Programming Research Group Seminar

The Whiley Programming Language: Design & Implementation

UserDavid Pearce, Victoria University of Wellington, New Zealand.

HouseSS03, Computer Laboratory.

ClockFriday 07 September 2012, 15:15-16:15

Logic and Semantics Seminar (Computer Laboratory)

Preservation under Substructures modulo Bounded Cores

Note special date and location (GC22)

UserAbhisekh Sankaran, IIT Bombay.

HouseRoom GC22, Computer Laboratory, William Gates Building.

ClockThursday 30 August 2012, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

A Notation for Comonads

UserDominic Orchard (University of Cambridge).

HouseGS15, Computer Laboratory.

ClockWednesday 29 August 2012, 15:00-15:45

NLIP Seminar Series

Data Mining and Information Extraction for CiteSeerX and Friends

UserDr. C. Lee Giles, Pennsylvania State University.

HouseSW01, Computer Laboratory.

ClockFriday 29 June 2012, 12:00-13:00

Computer Laboratory Wednesday Seminars

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

Note unusual time, day and location

UserRavi Palanki, Qualcomm.

HouseLecture Theatre 2, Computer Laboratory.

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

NLIP Seminar Series

Fuse Project and Citation Analysis

UserDain Kaplan - University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 22 June 2012, 12:30-13:00

NLIP Seminar Series

Learning Syntactic Verb Frames Using Graphical Models

UserTom Lippincott, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 22 June 2012, 12:00-12:30

Computer Laboratory Systems Research Group Seminar

Towards Trustworthy Embedded Systems

UserGernot Heiser (University of New South Wales/NICTA).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockFriday 22 June 2012, 11:00-12:00

Computer Laboratory Automated Reasoning Group Lunches

Semi-automatic Algorithm Synthesis (Case Study: Square Root)

UserMadalina Erascu - Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 21 June 2012, 13:00-14:00

Semantics Lunch (Computer Laboratory)

Ribbon Proofs for Separation Logic

UserJohn Wickerson.

HouseFW26.

ClockWednesday 20 June 2012, 13:30-13:45

Computer Laboratory Systems Research Group Seminar

Energy Debugging in Smartphones

Charlie will give his talk at MSR.

UserY. Charlie Hu (Purdue University).

HouseMSR, Small Lecture Room.

ClockTuesday 19 June 2012, 10:00-11:00

Rainbow Group Seminars

Understanding human behaviour from motion

UserGentiane Venture, Tokyo University of Agriculture and Technology..

HouseRainbow Room (SS03), Computer Laboratory.

ClockMonday 18 June 2012, 14:15-14:45

Computer Laboratory Security Group meeting presentations

Title to be confirmed

UserJosé Manuel Liñares-Zegarra & Bernardo Batiz-Lazo.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockFriday 15 June 2012, 16:00-16:20

NLIP Seminar Series

Following Wisdom in Machine Learning

UserNovi Quadrianto, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 15 June 2012, 12:00-13:00

Computer Laboratory Wednesday Seminars

Behavioural Nudge or Technological Fudge?

UserYvonne Rogers, Professor of Interaction Design, UCL.

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Bounds on proof size and distributive encryption

Note that this talk will be in FW26 rather than the usual room.

UserR. Ramanujam, Institute of Mathematical Sciences, Chennai.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 08 June 2012, 14:00-15:00

NLIP Seminar Series

Semi-supervised learning for automatic conceptual property extraction

UserColin Kelly, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 01 June 2012, 12:30-13:00

NLIP Seminar Series

Modelling selectional preferences in a lexical hierarchy

UserDiarmuid Ó Séaghdha, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 01 June 2012, 12:00-12:30

Semantics Lunch (Computer Laboratory)

CerCo --- Certified Complexity

NB: Unusual day/time

UserDominic Mulligan (Bologna).

HouseFW26.

ClockThursday 31 May 2012, 11:00-12:00

Semantics Lunch (Computer Laboratory)

A Concurrent Logical Relation

NB: changed (again!) unusual day/time

UserJacob Thamsborg (ITU).

HouseFW26.

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

Computer Laboratory Wednesday Seminars

A Bayesian Approach to Learning the Structure of Human Languages

UserPhil Blunsom, Department of Computer Science, Oxford University.

HouseLecture Theatre 1, Computer Laboratory.

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

NLIP Seminar Series

Modeling coherence in ESOL learner texts

UserHelen Yannakoudakis, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 25 May 2012, 12:30-13:00

NLIP Seminar Series

Context-Enhanced Citation Sentiment Detection

UserAwais Athar, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 25 May 2012, 12:00-12:30

Semantics Lunch (Computer Laboratory)

Virtue of certified programming with decision procedures

NB: unusual day/time

UserVladimir Komendantsky (St Andrews).

HouseFW26.

ClockFriday 25 May 2012, 11:00-12:00

Computer Laboratory Wednesday Seminars

Alan Turing as a computer designer

UserProf. Brian Carpenter, University of Auckland Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

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

Semantics Lunch (Computer Laboratory)

From threads to events through classical program transformations

NB: Unusual day/time

UserGabriel Kerneis (PPS, Université Paris Diderot).

HouseFW26.

ClockWednesday 23 May 2012, 11:00-12:00

NLIP Seminar Series

Repair and adherence in patient-clinician dialogues

UserMatthew Purver -- Queen Mary, University of London.

HouseFW26, Computer Laboratory.

ClockFriday 18 May 2012, 12:00-13:00

Computer Laboratory Wednesday Seminars

Energy efficiency and the design of brains

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

HouseLecture Theatre 1, Computer Laboratory.

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

NLIP Seminar Series

Beyond Shallow Semantics

UserMartha Palmer, University of Colorado.

HouseFW26, Computer Laboratory.

ClockFriday 04 May 2012, 12:00-13:00

Computer Laboratory Wednesday Seminars

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

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

HouseLecture Theatre 1, Computer Laboratory.

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

Microsoft Research Cambridge, public talks

Confining the Ghost in the Machine: Using Types to Secure JavaScript Sandboxing

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

UserShriram Krishnamurthi, Brown University.

HouseLarge lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockWednesday 18 April 2012, 10:30-11:30

Microsoft Research Cambridge, public talks

Efficient Cryptography for the Next Generation Secure Cloud

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

UserAlptekin Küpçü, Koç University.

HousePrimrose Room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockTuesday 17 April 2012, 16:00-17:00

Microsoft Research Cambridge, public talks

The science of guessing

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

UserJoseph Bonneau (Cambridge University).

HouseSmall lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockThursday 05 April 2012, 09:30-10:30

Microsoft Research Cambridge, public talks

Non-Interactive Verifiable Computation

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

UserBryan Parno, Microsoft Research.

HouseSmall lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockWednesday 28 March 2012, 14:00-15:00

NLIP Seminar Series

Helping computers talk from experience

UserBlaise Thomson, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 23 March 2012, 11:00-12:00

Computer Laboratory Computer Architecture Group Meeting

HDL Code Generation from MATLAB and Simulink

Note unusual location

UserJon Fielder and Scott Wilson, MathWorks.

HouseSS03, Computer Laboratory.

ClockWednesday 21 March 2012, 11:00-12:00

NLIP Seminar Series

Entity-based Models for Discourse Structure

UserMicha Elsner, University of Edinburgh.

HouseFW26, Computer Laboratory.

ClockFriday 16 March 2012, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

System-Level Management of Hybrid Accelerators

Note unusual time

UserProf. Katherine Compton, University of Wisconsin.

HouseSC04, Computer Laboratory, William Gates Building.

ClockThursday 15 March 2012, 11:30-12:30

Microsoft Research Cambridge, public talks

Malleability in Modern Cryptography

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

UserMarkulf Kohlweiss, MSRC.

HouseLarge lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockWednesday 14 March 2012, 10:00-11:00

Computer Laboratory Programming Research Group Seminar

Architecture-neutral Parallelism

UserPeter Calvert (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockFriday 09 March 2012, 15:15-16:15

women@CL Speaker Lunch Series

Lunch with Letizia Mortara, Centre for Technology Management, Univ. of Cambridge

UserLetizia Mortara, Centre for Technology Management, Institute for Manufacturing, Univ. of Cambridge.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 08 March 2012, 13:00-14:00

Semantics Lunch (Computer Laboratory)

Developing verified programs in Dafny

UserRustan Leino.

HouseFW26.

ClockMonday 27 February 2012, 12:45-14:00

NLIP Seminar Series

Automatically Creating Reading Lists with Topical PageRank

UserJames Jardine, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 24 February 2012, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Rethinking file systems

UserEno Thereska and Richard Banks (MSR Cambridge).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 23 February 2012, 16:00-17:00

women@CL Speaker Lunch Series

Lunch with Shirley Jamieson, Cambridge Enterprise, Univ. of Cambridge

UserShirley Jamieson, Cambridge Enterprise, Univ. of Cambridge.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 16 February 2012, 13:00-14:00

The Wheeler Lectures in Computer Science

C++11 Style

Please register; note 16:00 start time

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Programming Research Group Seminar

Using the OpenJDK to investigate covariance in Java

Note unusual day and time.

UserRaoul-Gabriel Urma and Janina Voigt (University of Cambridge).

HouseSS03, Computer Laboratory.

ClockThursday 02 February 2012, 13:00-14:00

NLIP Seminar Series

Bayesian Smoothing for Language Models

UserYee Whye Teh, University College London.

HouseFW26, Computer Laboratory.

ClockFriday 27 January 2012, 12:00-13:00

Computer Laboratory Wednesday Seminars

Inclusive Design

UserProfessor John Clarkson (University of Cambridge).

HouseLecture Theatre 1, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Layered Fixed Point Logic

UserPiotr Filipiuk, Technical University of Denmark (DTU).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 20 January 2012, 14:00-15:00

Rainbow Group Seminars

3D from 2D: HMAS Sydney II in 3D

Note unusual time

UserAndrew Woods, Research Engineer, Curtin University, Perth, Australia.

HouseRainbow Room (SS03), Computer Laboratory.

ClockMonday 16 January 2012, 15:00-16:00

Microsoft Research Cambridge, public talks

Homomorphic Encryption from Ring Learning with Errors

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

UserMichael Naehrig, Technische Universiteit Eindhoven.

HouseLarge lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockTuesday 10 January 2012, 10:00-11:00

NLIP Seminar Series

Probabilistic models of similarity and plausibility in context

UserDiarmuid Ó Séaghdha, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 02 December 2011, 12:00-13:00

NLIP Seminar Series

What is meaning? - Formalising the Distributional Hypothesis

UserDaoud Clarke, University of Hertfordshire.

HouseFW26, Computer Laboratory.

ClockFriday 25 November 2011, 12:00-13:00

women@CL Speaker Lunch Series

Careers Panel - Applying for jobs in academia and industry

User Jasmin Fisher (Microsoft Research), Dina Kronhaus (Computer Laboratory), Cecilia Mascolo (Computer Laboratory), Ian Pratt (Bromium, Citrix).

HouseComputer Laboratory, William Gates Building, Room FW26.

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

Computer Laboratory Wednesday Seminars

Automatic Discovery of Patterns in Media Content

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

HouseLecture Theatre 1, Computer Laboratory.

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

NLIP Seminar Series

Stream-based Statistical Machine Translation

UserAbby Levenberg, University of Oxford.

HouseSS03, Computer Laboratory.

ClockFriday 18 November 2011, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Quantifying Location Privacy

UserGeorge Theodorakopoulos (EPFL, University of Derby).

HouseSS03, Computer Lab, William Gates Building.

ClockThursday 17 November 2011, 16:00-17:00

Computer Laboratory Wednesday Seminars

Search Based Software Engineering

UserProf. Mark Harman, UCL Dept of Computer Science.

HouseLecture Theatre 1, Computer Laboratory.

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

Semantics Lunch (Computer Laboratory)

Understanding POWER Multiprocessors

UserSusmit Sarkar.

HouseFW26.

ClockMonday 14 November 2011, 12:45-14:00

Computer Laboratory Systems Research Group Seminar

Linked Data infrastructures for HE

UserThanassis Tiropanis (University of Southampton).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 10 November 2011, 16:00-17:00

Rainbow Group Seminars

First year report

UserLeszek Świrski.

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 10 November 2011, 14:45-15:15

Rainbow Group Seminars

ICMI talk rehearsal

UserNtombi Banda.

HouseRainbow Room (SS03), Computer Laboratory.

ClockThursday 10 November 2011, 14:15-14:45

Computer Laboratory Wednesday Seminars

Algebraic theories and computational effects

UserSam Staton (Computer Laboratory, University of Cambridge).

HouseLecture Theatre 1, Computer Laboratory.

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

Semantics Lunch (Computer Laboratory)

The Importance of Being Linearizable

UserAlexey Gotsman, IMDEA Software Institute.

HouseFW26.

ClockMonday 07 November 2011, 12:45-14:00

Rainbow Group Seminars

First year reports

UserAndra Adams and Ntombikayise Banda.

HouseRainbow Room (SS03), Computer Laboratory.

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

Computer Laboratory Wednesday Seminars

TIME: Transport Information Monitoring Environment

UserDr Ken Moody (University of Cambridge).

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Programming Research Group Seminar

Wool: low overhead work stealing for fine grain parallelism.

Note unusual time of 2pm.

UserKarl-Filip Faxén (SICS).

HouseSS03, Computer Laboratory.

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

Rainbow Group Seminars

First year reports

UserMarwa Mahmoud and Zhen Bai.

HouseRainbow Room (SS03), Computer Laboratory.

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

NLIP Seminar Series

Biomedical Natural Language Figure Processing

UserHong Yu, University of Wisconsin-Milwaukee.

HouseFW11, Computer Laboratory.

ClockTuesday 18 October 2011, 12:00-13:00

Semantics Lunch (Computer Laboratory)

Ribbon proofs for separation logic

UserJohn Wickerson.

HouseFW26.

ClockMonday 17 October 2011, 12:45-14:00

NLIP Seminar Series

Search-based Structured Prediction applied to Biomedical Event Extraction

UserAndreas Vlachos, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 14 October 2011, 12:00-13:00

Computer Laboratory Opera Group Seminars

Run-time behavioural models for error detection, fault diagnosis, and self-recovery

UserPaul Ward, Associate Professor, Department of Electrical and Computer Engineering, University of Waterloo.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 11 October 2011, 14:30-15:30

NLIP Seminar Series

Better Together: Large Monolingual, Bilingual and Multimodal Corpora in NLP

UserShane Bergsma - Johns Hopkins University.

HouseSW01, Computer Laboratory.

ClockMonday 10 October 2011, 12:00-13:00

Computer Laboratory Programming Research Group Seminar

Coeffect Systems and Typing (Preliminary report)

UserTomas Petricek & Dominic Orchard (Computer Laboratory, Cambridg).

HouseSS03, Computer Laboratory.

ClockFriday 07 October 2011, 15:15-16:15

NLIP Seminar Series

Learning hard chart constraints for efficient context-free parsing

UserBrian Roark - Oregon Health and Science University.

HouseFW26, Computer Laboratory.

ClockThursday 06 October 2011, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Twitter bots

UserMiranda Mowbray (HP Labs Bristol).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 29 September 2011, 16:00-17:00

Microsoft Research Cambridge, public talks

The IITM Model and its Application to the Analysis of Real-World Security Protocol

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

UserRalf Küsters, University of Trier.

HouseLarge lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

ClockThursday 08 September 2011, 13:30-14:30

Semantics Lunch (Computer Laboratory)

Relating Two Semantics of Locally Scoped Names

Note unusual day, time and place: this will be in the ARG lunch slot

UserSteffen Lösch (University of Cambridge).

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockTuesday 30 August 2011, 13:00-14:00

Computer Laboratory Computer Architecture Group Meeting

Experiences Creating Chromebook

Note unusual time

UserMark Hayter, Manager of Chromebook Hardware, Google.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockFriday 12 August 2011, 14:30-15:30

NLIP Seminar Series

Graph-Based Methods for Large-Scale Multilingual Knowledge Integration

UserGerard de Melo, Max Planck Institute for Informatics.

HouseFW26, Computer Laboratory.

ClockFriday 22 July 2011, 12:00-13:00

Computer Laboratory Security Seminar

Evolutionary Software Repair

UserStephanie Forrest, University of New Mexico.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 19 July 2011, 16:15-17:15

Computer Laboratory Computer Architecture Group Meeting

Verification of Microarchitectural Refinements in Rule-based Systems

Note unusual time and location

UserDr Nirav Dave, MIT but heading to SRI.

HouseSS03, Computer Laboratory.

ClockMonday 18 July 2011, 11:00-12:00

Computer Laboratory Computer Architecture Group Meeting

Hardware Protection for Trusted Software

Note unusual time

UserProf. Ruby Lee, Princeton University.

HouseSS03, Computer Laboratory.

ClockFriday 15 July 2011, 15:00-16:00

Computer Laboratory NetOS Group Talklets

MEETING CANCELLED

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

ClockTuesday 05 July 2011, 13:00-14:00

women@CL Speaker Lunch Series

Critical skills for academic success and plenty time for networking.

This event will give us a chance to learn and become inspired by two successful academics, continue our conversation about women in academic leadership, and network with each other.

User Wanda Orlikowski and Susan Scott- Judge Business School.

House KH107, Keynes House, Judge Business School.

ClockTuesday 28 June 2011, 14:00-15:30

Computer Laboratory Programming Research Group Seminar

Practice talks

UserPete Calvert and Tomas Petricek.

HouseGS15, Computer Laboratory.

ClockFriday 17 June 2011, 15:15-16:15

Computer Laboratory Wednesday Seminars

Compiler Tools for MATLAB

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

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 15 June 2011, 14:15-15:15

women@CL Speaker Lunch Series

Women's Career Development

This is the first of a series of four such events.

UserJane Davies, Helen Haugh and Shima Barakat from JBS.

HouseJudge Business School - Room W4.03.

ClockWednesday 15 June 2011, 12:45-14:45

NLIP Seminar Series

A New Dataset and Method for Automatically Grading ESOL Texts

UserHelen Yannakoudakis, University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 10 June 2011, 12:00-12:30

Rainbow Group Seminars

Modeling Social Agents

UserProfessor Catherine Pelachaud.

HouseRainbow Room (SS03), Computer Laboratory.

ClockTuesday 07 June 2011, 11:15-12:15

NLIP Seminar Series

Language in 3D: semantic tensor space

UserTim Van de Croys - University of Cambridge.

HouseFW26, Computer Laboratory.

ClockFriday 03 June 2011, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Networks in Natural Language Processing

UserStephen Clark and Sandro Bauer (University of Cambridge).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 02 June 2011, 16:00-17:00

Computer Laboratory Wednesday Seminars

The Duality of State and Observation

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

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

Please could non-DTG members contact the organiser before attending

UserSören Preibusch and Rip Sohan.

HouseSS03, William Gates Building.

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

Semantics Lunch (Computer Laboratory)

Composable Asynchronous Events/Formal Methods for Wireless Mesh Networks

Note unusual start time: talks at 12.50 prompt

UserSuresh Jagannathan/Peter Höfner.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 23 May 2011, 12:45-14:00

Computer Laboratory Programming Research Group Seminar

When Monads and Comonads Overlap

Note unusual time and room.

UserDominic Orchard, Computer Lab.

HouseFW11, Computer Laboratory.

ClockFriday 20 May 2011, 15:00-16:00

Computer Laboratory Wednesday Seminars

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

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

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Security Seminar

Practical Linguistic Steganography using Synonym Substitution

UserChing-Yun (Frannie) Chang & Stephen Clark, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 17 May 2011, 16:15-17:15

Computer Laboratory Systems Research Group Seminar

Workflow Management (plus potential recruiting for a startup I'm doing in silicon valley)

This talk (short talk) takes a place as part of NetOS meeting

UserDavid McKay (University of Cambridge Judge Business School).

HouseFW11, Computer Laboratory, William Gates Builiding.

ClockTuesday 17 May 2011, 13:00-14:00

Computer Laboratory Digital Technology Group (DTG) Meetings

P2P Communications at Qualcomm

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

UserJohn Scott and Luke Turner, Qualcomm.

HouseSS03, William Gates Building.

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

Computer Laboratory Programming Research Group Seminar

Programming with Comonads and Codo Notation

Note unusual time and place

UserDominic Orchard, Computer Lab.

HouseGC22, Computer Laboratory.

ClockFriday 13 May 2011, 15:00-16:00

Rainbow Group Seminars

Visual informatics

UserHalimah Badioze Zaman, Universiti Kebangsaan Malaysia.

HouseRainbow Room (SS03), Computer Laboratory.

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

Computer Laboratory Systems Research Group Seminar

Group Processes and Local Network Dynamics

This talk has been cancelled.

UserJames Kitts (Columbia University, School of Business).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockTuesday 10 May 2011, 16:00-17:00

Rainbow Group Seminars

Automatic understanding of social scenes

Practice for MPhil presentation

UserMaria O'Connor.

HouseRainbow Room (SS03), Computer Laboratory.

ClockMonday 09 May 2011, 15:00-15:30

Computer Laboratory Programming Research Group Seminar

Functional Programming for the Data Centre

Note unusual day and time. Room GS15.

UserJeff Epstein, Computer Laboratory.

HouseGS15, Computer Laboratory.

ClockThursday 05 May 2011, 15:00-16:00

Computer Laboratory Wednesday Seminars

Reflection on Java Security and Its Practical Impacts

Joint with the Security seminar series

UserLi Gong.

HouseLecture Theatre 1, Computer Laboratory.

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

Computer Laboratory Security Seminar

CTSRD: Capability CPUs revisited

UserPeter Neumann, SRI International / Robert Watson, University of Cambridge.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 03 May 2011, 14:45-15:45

Computer Laboratory Digital Technology Group (DTG) Meetings

MPhil Project Practice Talks

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

HouseSS03, William Gates Building.

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

Computer Laboratory Wednesday Seminars

Quantum computing -- theoretical prospects and relations to classical computation

Note change of lecture theatre

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

HouseLecture Theatre 2, Computer Laboratory.

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

Computer Laboratory Digital Technology Group (DTG) Meetings

Sensor Networks to Enhance Commercial Building Indoor Environments

Note unusual day

UserGuy Newsham, National Research Council, Ottawa.

HouseFW26, William Gates Building.

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

Please see above for contact details for this list.

 

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