University of Cambridge > Talks.cam > Computer Laboratory, William Gates Building, Room SS03

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

0 upcoming talks and 203 talks in the archive.

Computer Laboratory Security Group meeting presentations

Discussion on AG's recent Opinion concerning the Data Retention Directive

Note change of room to SS03 (for this day only)

UserNora Ni Loideain, PhD Candidate in Law, Magdalene College, University of Cambridge.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockFriday 21 February 2014, 16:00-17: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

Rainbow Graphics Seminars

Predicting stereoscopic viewing comfort

UserChristian Richardt (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 28 July 2011, 14:15-15:15

Rainbow Interaction Seminars

First-year research presentations

UserAndra Adams, Zhen Bai, Ntombi Banda & Marwa Mahmoud.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 02 June 2011, 14:15-15:15

Rainbow Interaction Seminars

New languages for live coding

Rehearsal for NIME 2011

UserSam Aaron, Rainbow Group.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 19 May 2011, 14:15-15:15

Rainbow Graphics Seminars

Work I did at the MPI Informatik

UserChristian Richardt (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 10 March 2011, 14:15-15:15

Rainbow Interaction Seminars

Third Wave HCI & Gestural Interaction

UserDr. Helena Mentis - postdoc researcher with the Socio-Digital System (SDS) group at Microsoft Research in Cambridge.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 24 February 2011, 14:15-15:15

Rainbow Graphics Seminars

Title to be confirmed

UserDr Xinhui Ma - Research Assistant of Cambridge Rainbow Group.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 17 February 2011, 14:15-15:15

Rainbow Graphics Seminars

Cubic Subdivision Schemes with Double Knots

UserDr Jiří Kosinka - Research Associate of Cambridge Rainbow Group.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 10 February 2011, 14:15-15:15

Rainbow Interaction Seminars

Notes on the Synthesis of Music

UserSam Aaron (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 18 November 2010, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

Mirage

UserAnil Madhavapeddy ( University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 16 November 2010, 13:00-14:00

Rainbow Interaction Seminars

Conference summary

UserTadas Baltrušaitis and Laurel Riek (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 11 November 2010, 14:15-15:15

djg11's list

Concurrency and Communication: Lessons from the SHIM Project

(Re-run of talk given at MSR two weeks ago)

UserStephen A. Edwards, Columbia University.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockFriday 06 August 2010, 14:00-15:00

Rainbow Graphics Seminars

MPhil demos

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 10 June 2010, 14:15-15:15

Rainbow Interaction Seminars

MetaSurfacing with the Surface: experience with integrated research environments

UserProfessor Jeremy Baumberg (NanoPhotonics Centre, University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 20 May 2010, 14:15-15:15

Rainbow Graphics Seminars

Eurographics Report

UserChristian Richardt and Neil Dodgson (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 13 May 2010, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

Title to be confirmed

Canceled because of date clash with HCSS and workshop at MSR

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 11 May 2010, 13:00-14:00

Rainbow Interaction Seminars

CHI report

UserDr David Coyle and Dr Per Ola Kristensson (Computer Laboratory).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 06 May 2010, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

Formal models of ARM processors in HOL

Presenters: Mike Gordon and Anthony Fox / This is a rehearsal of our HCSS talk on May 11

UserMike Gordon (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 04 May 2010, 13:00-14:00

Rainbow Graphics Seminars

3DTV: past, present & future

UserNeil Dodgson (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 29 April 2010, 14:15-15:15

Rainbow Interaction Seminars

Part II Project Presentations

UserPart II Students, Computer Laboratory.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 04 March 2010, 14:15-15:15

Rainbow Interaction Seminars

Part II Project Presentations

UserPart II Students, Computer Laboratory.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 25 February 2010, 14:15-15:15

Rainbow Interaction Seminars

Report on ACM IUI 2010 and IEEE IHCI 2010

UserPradipta Biswas, Computer Laboratory.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 18 February 2010, 14:15-15:15

Rainbow Interaction Seminars

Term Planning

UserIan Davies, Computer Laboratory.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 21 January 2010, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

Verified just-in-time compiler on x86

Notice changed date

UserMagnus Myreen (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 15 December 2009, 13:00-14:00

Rainbow Interaction Seminars

Supporting Virtuosity in Computer Music

UserChris Nash, University of Cambridge.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 26 November 2009, 14:15-15:15

Rainbow Graphics Seminars

Title to be confirmed

UserMalcolm Sabin, University of Cambridge (TBC).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 19 November 2009, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

Abstract Threads

th orginally sheduled talk by Thomas Tuerk will probably be given next term

UserAlexander Malkis.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 10 November 2009, 13:00-14:00

Rainbow Interaction Seminars

The Embodied Cognition and Emotion Laboratory: What We Do

UserDr. Simone Schnall, Department of Social and Developmental Psychology, University of Cambridge.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 05 November 2009, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

Title to be confirmed

cancelled

UserEric Koskinen (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 03 November 2009, 13:00-14:00

Computer Laboratory Automated Reasoning Group Lunches

Title to be confirmed

Canceled

UserEric Koskinen (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 09 June 2009, 13:00-14:00

Computer Laboratory Automated Reasoning Group Lunches

Semantics Lunch

Canceled, semantics lunch instead

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 10 March 2009, 13:00-14:00

Rainbow Graphics Seminars

Computerized Archaeology

**Note unusual day and time**

UserProf. Uzy Smilansky, Weizmann Institute of Science.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockMonday 09 March 2009, 11:00-11:30

Rainbow Interaction Seminars

Design dimensions of mobile text entry

UserDr Per Ola Kristensson (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 05 March 2009, 14:15-15:15

Rainbow Interaction Seminars

Empathizing with Robots

UserLaurel Riek (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 26 February 2009, 14:15-15:15

Rainbow Graphics Seminars

Computation and the moving image

**Note different day**

UserAndrew Fitzgibbon (Microsoft Research Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 17 February 2009, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

RGSep action inference

UserViktor Vafeiadis (Microsoft Research Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 17 February 2009, 13:00-14:00

Rainbow Interaction Seminars

Multimodal Affective Inference for Driver Monitoring

UserIan Davies (Computer Laboratory, University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 29 January 2009, 14:15-15:15

Rainbow Graphics Seminars

Current Work Pitches

UserMembers of the Rainbow Group.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 22 January 2009, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

Title to be confirmed

Canceled because of POPL

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 20 January 2009, 13:00-14:00

Rainbow Graphics Seminars

Term planning

UserChristian Richardt (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 15 January 2009, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

An ACL2 Tutorial

UserMatt Kaufmann (University of Texas at Austin).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 02 December 2008, 13:00-14:00

Computer Laboratory Automated Reasoning Group Lunches

Mechanically verified LISP interpreters

Note unusual time

UserMagnus Myreen (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 11 November 2008, 12:00-13:00

Computer Laboratory Automated Reasoning Group Lunches

A Constraint-Programming Framework For Bounded Program Verification

UserHelene Collavizza (Ecole Polytechnique Universitaire de Nice Sophia Antipolis).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 11 March 2008, 13:00-14:00

Rainbow Interaction Seminars

Co-located Group Interaction Design

UserCecily Morrison (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 21 February 2008, 14:15-15:15

Rainbow Interaction Seminars

How to review a technical paper

UserNeil Dodgson (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 24 January 2008, 14:15-15:15

Rainbow Interaction Seminars

Lent Term Kickoff Meeting

UserT. Metin Sezgin (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 17 January 2008, 14:15-15:15

Computer Laboratory Automated Reasoning Group Lunches

Automatic proof of SPARK verification conditions

UserPaul Jackson (School of Informatics, University of Edinburgh).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 11 December 2007, 13:00-14:00

Rainbow Interaction Seminars

Statistics for HCI

T

UserLead by Cecily Morrison.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 01 November 2007, 14:15-15:15

Rainbow Interaction Seminars

Detecting Affect from Non-stylised body motions

UserDaniel Bernhardt (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 25 October 2007, 14:15-15:15

Rainbow Interaction Seminars

Meet Rainbow

UserSpeaker to be confirmed.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 11 October 2007, 14:15-15:15

Rainbow Interaction Seminars

Simulating HCI for all

UserPradipta Biswas, Rainbow Group.

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockThursday 27 September 2007, 14:15-15:00

Computer Laboratory Automated Reasoning Group Lunches

One-pass Tableaux for Computation Tree Logic

Room changed

UserRajeev Goré (Australian National University).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 07 August 2007, 13:00-14:00

Please see above for contact details for this list.

 

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