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

Computer Laboratory Systems Research Group Seminar

K9db: Privacy-Compliant Storage For Web Applications By Construction

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserMalte Schwarzkopf (Brown University).

HouseSS03.

ClockFriday 27 October 2023, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Monitoring and Improving QoE for the home network via large scale CPE deployment.

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserIain Fraser, Netduma.

HouseSS03.

ClockThursday 15 June 2023, 15:00-16:00

Rainbow Group Seminars

An in-depth look at Deep Learning in Digital Media

UserProf. Panos Nasiopoulos, University of British Columbia.

HouseSS03.

ClockThursday 25 May 2023, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

When Concurrency Strikes

UserMatthew Parkinson, Microsoft Research.

HouseSS03.

ClockFriday 27 January 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

String diagrams for semistrict n-categories

UserManuel Araujo, University of Cambridge.

HouseSS03.

ClockFriday 02 December 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Linear Logic and the Semantics of Concurrent Computation

UserAlex Kavvos, University of Bristol.

HouseSS03.

ClockFriday 18 November 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On bilinearity of Whitehead products in Homotopy Type Theory

UserUlrik Buchholtz, University of Nottingham.

HouseSS03.

ClockFriday 11 November 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Subcubic certificates for CFL reachability

UserDmitry Chistikov, University of Warwick.

HouseSS03.

ClockFriday 04 November 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Generic pattern unification: a categorical approach

UserAmbroise Lafont, University of Cambridge.

HouseSS03.

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

Rainbow Group Seminars

Overcoming catastrophic forgetting and enabling forward transfer in Continual Learning: A Sparsity Approach

UserJonathan Richard Schwarz, Senior Research Scientist, DeepMind.

HouseSS03.

ClockThursday 20 October 2022, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

∞-type theories and coherence problems

UserTaichi Uemura, University of Stockholm.

HouseSS03.

ClockFriday 14 October 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Mixing finite and infinite structure

UserMichael Benedikt, University of Oxford.

HouseSS03.

ClockMonday 10 October 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

The Expressive Power of CSP Quantifiers

UserLauri Hella, Tampere University.

HouseSS03.

ClockThursday 29 September 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserLauri Hella, University of Helsinki.

HouseSS03.

ClockThursday 29 September 2022, 14:00-15:00

Rainbow Group Seminars

Who is Afraid of Non-Universal (Deep Learned) Facial Perception?

UserDr Pablo Barros, SONY R&D CENTER, BRUSSELS LABORATORY (BRL), BELGIUM.

HouseSS03.

ClockTuesday 13 September 2022, 11:00-12:00

Rainbow Group Seminars

Image Quality Metrics at the Time of Deep Learning

The talk can also be attended via zoom. Join Zoom Meeting https://cl-cam-ac-uk.zoom.us/j/92211133320?pwd=dHJqR3lnYzNCN0ZxYnIzRUNZUnRMdz09 ID: 92211133320 passcode: 054090

UserFrancesco Banterle, Visual Computing Lab, ISTI-CNR, Italy.

HouseSS03.

ClockThursday 14 July 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Finite-state polynomial computation

UserMikołaj Bojanczyk, University of Warsaw.

HouseSS03.

ClockFriday 17 June 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in quantitative semantics

UserHugo Paquet, University of Oxford.

HouseSS03.

ClockFriday 10 June 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in Reversible Programming

UserVikraman Choudhury, University of Indiana.

HouseSS03.

ClockFriday 27 May 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserVikraman Choudhury, University of Indiana.

HouseSS03.

ClockFriday 27 May 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Game comonads, FVM theorems, and bilinear maps

UserDan Marsden, University of Oxford.

HouseSS03.

ClockFriday 06 May 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The complexity of counting problems

UserDavid Richerby, University of Essex.

HouseSS03.

ClockFriday 29 April 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Towards a geometry for syntax

UserJon Sterling, University of Aarhus.

HouseSS03.

ClockFriday 19 November 2021, 14:00-15:00

Rainbow Group Seminars

Designed and trained fuzzy logic systems: an interpretable machine learning tool

The talk can also be attended via zoom. Join Zoom Meeting https://cl-cam-ac-uk.zoom.us/j/93170847589?pwd=dnhXV2JOMm5obm9md2tVTUpyZUlCZz09 Meeting ID: 931 7084 7589 Passcode: I4ATtPDo

UserSamuel Morillas Gómez, Universidad Politécnica de Valencia.

HouseSS03.

ClockThursday 18 November 2021, 14:00-15:00

Rainbow Group Seminars

Developing and evaluating data-driven models for co-speech gesture-synthesis

UserTaras-Svitozar Kucherenko, KTH Sweden.

HouseSS03.

ClockThursday 04 November 2021, 11:00-12:00

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-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity