University of Cambridge > Talks.cam > SS03

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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

ML@CL Group Meetings

ML@CL Weekly Meeting

UserSpeaker to be confirmed.

HouseSS03.

ClockWednesday 20 November 2024, 16:00-17:00

ML@CL Group Meetings

ML@CL Weekly Meeting

UserSpeaker to be confirmed.

HouseSS03.

ClockWednesday 13 November 2024, 16:00-17:00

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

Modeling crossmodal attention in humanoid robots for HRI in complex social scenarios

UserDi Fu, University of Hamburg.

HouseSS03.

ClockThursday 08 June 2023, 11:00-12:00

Rainbow Group Seminars

Scaling Human Supervision and Understanding Social Contexts: Two Key Challenges for Robot Learning in HRI

UserMarynel Vázquez, Yale University.

HouseSS03.

ClockThursday 25 May 2023, 14:00-15: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)

The linear operator semantics of probabilistic programs

UserFredrik Dahlqvist, UCL.

HouseSS03.

ClockFriday 25 November 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)

Coherent differentiation makes the differential lambda-calculus deterministic

UserThomas Ehrhard, University of Paris.

HouseSS03.

ClockFriday 28 October 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)

Verification for free: using K to build a theorem prover for any language

UserBruce Collie, Runtime Verification.

HouseSS03.

ClockFriday 07 October 2022, 14:00-15: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

ML@CL Seminar Series

Probabilistic machine learning methods for uncertainty quantification and decision-making

UserJavier Gonzalez.

HouseSS03.

ClockTuesday 30 November 2021, 13:00-14: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)

Verifying Concurrent Search Structure Templates

UserSiddharth Krishna, NYU.

HouseSS03.

ClockMonday 26 November 2018, 15:00-16: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

Computer Laboratory Programming Research Group Seminar

Automatic Identification and Parallelisation of General Reduction Operations

UserPhilip Ginsbach, University of Edinburgh.

HouseSS03.

ClockWednesday 23 November 2016, 15:15-16: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

Computer Laboratory Programming Research Group Seminar

Biggest Challenges for Kotlin: Interoperability and Tooling

UserAndrey Breslav.

HouseSS03.

ClockWednesday 17 February 2016, 11:00-12: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

Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages

UserNeil Toronto, University of Maryland.

HouseSS03.

ClockFriday 17 April 2015, 10:00-11:00

Computer Laboratory Programming Research Group Seminar

Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection

UserOleg Kiselyov.

HouseSS03.

ClockMonday 09 February 2015, 15:00-16: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

Sonic Gems: Exploring the potential of audio recording as a form of sentimental memory capture

UserLorna Brown, Microsoft Research.

HouseSS03.

ClockThursday 08 May 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.

Other lists

Royal Society Rosalind Franklin Seminar Series political thought FERSA Guest Lectures

Other talks

Computing High Resolution Health(care) Anthropological engineering and hominin dietary ecology Frontiers in paediatric cancer research It's dangerous to go alone, take this - using Twitter for research Deep & Heavy: Using machine learning for boosted resonance tagging and beyond 'Nobody comes with an empty head': enterprise Hindutva and social media in urban India Statistical Methods in Pre- and Clinical Drug Development: Tumour Growth-Inhibition Model Example ***PLEASE NOTE THIS SEMINAR IS CANCELLED*** Café Synthetique: Graduate Talks! Active bacterial suspensions: from individual effort to team work Stereodivergent Catalysis, Strategies and Tactics Towards Secondary Metabolites as enabling tools for the Study of Natural Products Biology Making Smart Decisions in Systems Design: How to Engineer Decisions in a Connected World?
 

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