University of Cambridge > Talks.cam > SS03, Computer Laboratory

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 60 talks in the archive.

Logic and Semantics Seminar (Computer Laboratory)

Synthesis modulo oracles

UserElizabeth Polgreen, University of Edinburgh.

HouseSS03, Computer Laboratory.

ClockFriday 16 February 2024, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

Today we have two Logic and Semantics talks, with a small gap for coffee in between.

UserLionel Parreaux, HKUST (Hong Kong University of Science and Technology).

HouseSS03, Computer Laboratory.

ClockFriday 26 January 2024, 15:15-16:15

Logic and Semantics Seminar (Computer Laboratory)

Testing GPU Memory Consistency at Large

UserReese Levine, University of California Santa Cruz.

HouseSS03, Computer Laboratory.

ClockFriday 12 January 2024, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Formalizing General Calculi with Binders in Rewriting Logic

UserJose Meseguer, University of Illinois at Urbana-Champaign and Leverhulme Visiting Professor at King's College London.

HouseSS03, Computer Laboratory.

ClockFriday 16 June 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Making concurrency functional

UserGlynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.

HouseSS03, Computer Laboratory.

ClockFriday 19 May 2023, 14:00-15:00

bs630's list

CCR: A marriage of refinement and separation logic.

UserYoungju Song, MPI-SWS.

HouseSS03, Computer Laboratory.

ClockWednesday 17 May 2023, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Compound Memory Models

UserAndrés Goens, University of Edinburgh.

HouseSS03, Computer Laboratory.

ClockFriday 12 May 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Functional Machine Calculus

UserChris Barrett, University of Birmingham.

HouseSS03, Computer Laboratory.

ClockFriday 24 February 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Bidirectional typing is not just an implementation technique

UserMeven Lennon-Bertrand, University of Cambridge.

HouseSS03, Computer Laboratory.

ClockFriday 03 February 2023, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

Exposing Fine-grain Concurrency in Sequential code with a Dataflow Compiler IR

Note unusual time and venue

UserAli Mustafa Zaidi (University of Cambridge).

HouseSS03, Computer Laboratory.

ClockTuesday 04 June 2013, 14:00-14:45

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

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

Rainbow Graphics Seminars

MPhil project practice talks

UserT. Yang and Y. Wutthinitikornkit, MPhil students, University of Cambridge.

HouseSS03, Computer Laboratory.

ClockThursday 24 May 2012, 14:15-15: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

Rainbow Graphics Seminars

What I did last summer...

UserTadas Baltrusaitis.

HouseSS03, Computer Laboratory.

ClockThursday 23 February 2012, 14:15-15:00

Rainbow Graphics Seminars

Part II Student Presentations

UserMultiple speakers.

HouseSS03, Computer Laboratory.

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

Rainbow Graphics Seminars

Part II Student Presentations

UserMultiple speakers.

HouseSS03, Computer Laboratory.

ClockThursday 09 February 2012, 14:15-15:00

Rainbow Graphics Seminars

Overview of my previous research

UserDongjoe Shin.

HouseSS03, Computer Laboratory.

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

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

Rainbow Graphics Seminars

Research Updates

UserSpeaker to be confirmed.

HouseSS03, Computer Laboratory.

ClockThursday 26 January 2012, 14:15-15:00

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

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

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 Programming Research Group Seminar

Idris --- Systems Programming Meets Full Dependent Types

Note: Unusual time and date.

UserEdwin Brady (St. Andrews).

HouseSS03, Computer Laboratory.

ClockThursday 20 January 2011, 13:00-14:00

Rainbow Graphics Seminars

Touching the Fourth Dimension

Note change of day

UserProf. Andrew J. Hanson, Indiana University Bloomington.

HouseSS03, Computer Laboratory.

ClockFriday 18 July 2008, 14:15-15:00

Rainbow Graphics Seminars

Towards NURBS-Compatible Subdivision

UserTom Cashman (University of Cambridge).

HouseSS03, Computer Laboratory.

ClockThursday 22 May 2008, 14:15-15:00

Rainbow Graphics Seminars

Semi-Automatic Super-Resolution

UserGareth Williams (University of Cambridge).

HouseSS03, Computer Laboratory.

ClockThursday 15 May 2008, 14:15-15:00

Rainbow Graphics Seminars

CeBit 2008

UserIan Davies (University of Cambridge).

HouseSS03, Computer Laboratory.

ClockThursday 01 May 2008, 14:15-15:00

Rainbow Graphics Seminars

How to prepare figures for publications

UserLuke Church, Computer Laboratory Rainbow Group.

HouseSS03, Computer Laboratory.

ClockThursday 06 March 2008, 14:15-15:00

Rainbow Graphics Seminars

Title to be confirmed

UserLorcan Macmanus, Computer Laboratory.

HouseSS03, Computer Laboratory.

ClockThursday 28 February 2008, 14:15-15:00

Rainbow Graphics Seminars

Histograms, Isosurface Statistics & Span Space

Note unusual day

UserHamish Carr, University College Dublin.

HouseSS03, Computer Laboratory.

ClockTuesday 23 October 2007, 14:15-15:00

Please see above for contact details for this list.

 

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