University of Cambridge > Talks.cam > SS03

SS03

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

Tell a friend about this venue:

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

Logic and Semantics Seminar (Computer Laboratory)

Quantum Things 2 - The quantum monad on relational structures

UserNadish de Silva (University of Cambridge).

HouseSS03.

ClockFriday 15 November 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lower bound for arithmetic circuits via Hankel matrix

UserPierre Ohlmann, IRIF, Université Paris 7.

HouseSS03.

ClockFriday 16 November 2018, 14:15-15:15

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

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

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

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

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

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

Computer Laboratory Programming Research Group Seminar

Brand Objects and Gradual Contracts

UserTimothy Jones (Victoria University of Wellington).

HouseSS03.

ClockTuesday 21 July 2015, 12:00-13:00

Computer Laboratory Programming Research Group Seminar

Improving Implicit Parallelism

UserJose Calderon, University of York.

HouseSS03.

ClockFriday 12 June 2015, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

QuLog: A modern logic-based agent-implementation language

UserProfessor Keith L Clark, Imperial College.

HouseSS03.

ClockFriday 05 December 2014, 14:00-15:00

REMS lunch

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

nonstandard room: SS03

UserKasper Svendsen.

HouseSS03.

ClockWednesday 26 November 2014, 13:00-14:00

REMS lunch

Title to be confirmed

nonstandard room: SS03

UserSpeaker to be confirmed.

HouseSS03.

ClockWednesday 19 November 2014, 13:00-14:00

REMS lunch

Title to be confirmed

nonstandard room: SS03

UserSpeaker to be confirmed.

HouseSS03.

ClockWednesday 29 October 2014, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Embedding effect systems in Haskell

UserDominic Orchard (University of Cambridge).

HouseSS03.

ClockFriday 29 August 2014, 14:00-15:00

REMS lunch

Title to be confirmed

UserMatt Naylor / Antony Fox.

HouseSS03.

ClockWednesday 27 August 2014, 13:00-14:00

REMS lunch

REMS lunch

nonstandard room: SS03

UserDominic Mulligan (University of Cambridge).

HouseSS03.

ClockWednesday 20 August 2014, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach

UserProfessor Keith Clark, Department of Computing, Imperial College, London.

HouseSS03.

ClockMonday 14 July 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Points-To and Alias Analysis -- the precision vs efficiency dilemma

UserProfessor Uday Khedker, Department of Computer Science & Engg. IIT Bombay, India. .

HouseSS03.

ClockTuesday 08 July 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Higher-kinded programming in ML

UserJeremy Yallop, University of Cambridge.

HouseSS03.

ClockFriday 23 May 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Solving an existential crisis in Haskell

UserMichael Gale (University of Cambridge).

HouseSS03.

ClockFriday 04 April 2014, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Towards Language Composition

UserLaurence Tratt, King's College London.

HouseSS03.

ClockFriday 24 January 2014, 14:00-15:00

Rainbow Interaction Seminars

Audiovisual Discrimination Between Laughter and Speech

UserStavros Petridis, Imperial College London.

HouseSS03.

ClockThursday 04 December 2008, 14:15-15:15

Rainbow Interaction Seminars

The Usability of Security: A Panel Discussion

UserBen Laurie (Google); Luke Church and Robert Watson (Cambridge CL).

HouseSS03.

ClockTuesday 25 November 2008, 14:15-15:15

Rainbow Interaction Seminars

Summer Conference Summary - Part 2

UserShazia Afzal; Pradipta Biswas; Cecily Morrison.

HouseSS03.

ClockThursday 20 November 2008, 14:15-15:15

Rainbow Interaction Seminars

Movement expressivity analysis in affective computers: from recognition to expression of emotion

UserDr. Ginevra Castellano, Queen Mary University of London.

HouseSS03.

ClockThursday 13 November 2008, 14:15-15:15

Rainbow Interaction Seminars

Summer Conference Summary - Part 1

UserChristian Richardt; Metin Sezgin; Laurel Riek.

HouseSS03.

ClockThursday 06 November 2008, 14:15-15:15

Rainbow Interaction Seminars

NIME '08 Conference Report

UserChris Nash (University of Cambridge).

HouseSS03.

ClockThursday 12 June 2008, 14:15-15:15

Rainbow Interaction Seminars

User Modelling in HCI

UserPradipta Biswas (University of Cambridge).

HouseSS03.

ClockThursday 05 June 2008, 14:15-15:15

Rainbow Interaction Seminars

Term planning and feedback from CHI

UserDaniel Bernhardt (University of Cambridge).

HouseSS03.

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

Rainbow Interaction Seminars

Randomness as a resource for design

UserTuck Leong, MSR Cambridge.

HouseSS03.

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

Please see above for contact details for this list.

 

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