SS03


2008-02-07 14:15: Randomness as a resource for design (Tuck Leong, MSR Cambridge)

2008-04-24 14:15: Term planning and feedback from CHI (Daniel Bernhardt (University of Cambridge))

2008-05-08 14:15: Sonic Gems: Exploring the potential of audio recording as a form of sentimental memory capture (Lorna Brown, Microsoft Research)

2008-06-05 14:15: User Modelling in HCI (Pradipta Biswas (University of Cambridge))

2008-06-12 14:15: NIME '08 Conference Report (Chris Nash (University of Cambridge))

2008-11-06 14:15: Summer Conference Summary - Part 1 (Christian Richardt; Metin Sezgin; Laurel Riek)

2008-11-13 14:15: Movement expressivity analysis in affective computers: from recognition to expression of emotion (Dr. Ginevra Castellano, Queen Mary University of London)

2008-11-20 14:15: Summer Conference Summary - Part 2 (Shazia Afzal; Pradipta Biswas; Cecily Morrison)

2008-11-25 14:15: The Usability of Security: A Panel Discussion (Ben Laurie (Google); Luke Church and Robert Watson (Cambridge CL))

2008-12-04 14:15: Audiovisual Discrimination Between Laughter and Speech (Stavros Petridis, Imperial College London)

2014-01-24 14:00: Towards Language Composition (Laurence Tratt, King's College London)

2014-04-04 14:00: Solving an existential crisis in Haskell (Michael Gale (University of Cambridge))

2014-05-23 14:00: Higher-kinded programming in ML (Jeremy Yallop, University of Cambridge)

2014-07-08 14:00: Points-To and Alias Analysis -- the precision vs efficiency dilemma (Professor Uday Khedker, Department of Computer Science & Engg. IIT Bombay, India. )

2014-07-14 14:00: Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach (Professor Keith Clark, Department of Computing, Imperial College, London)

2014-08-20 13:00: REMS lunch (Dominic Mulligan (University of Cambridge))

2014-08-27 13:00: Title to be confirmed (Matt Naylor / Antony Fox)

2014-08-29 14:00: Embedding effect systems in Haskell (Dominic Orchard (University of Cambridge))

2014-10-29 13:00: Title to be confirmed (Speaker to be confirmed)

2014-11-19 13:00: Title to be confirmed (Speaker to be confirmed)

2014-11-26 13:00: Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (Kasper Svendsen)

2014-12-05 14:00: QuLog: A modern logic-based agent-implementation language (Professor Keith L Clark, Imperial College)

2015-02-09 15:00: Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection (Oleg Kiselyov)

2015-04-17 10:00: Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages (Neil Toronto, University of Maryland)

2015-06-12 14:00: Improving Implicit Parallelism (Jose Calderon, University of York)

2015-07-21 12:00: Brand Objects and Gradual Contracts (Timothy Jones (Victoria University of Wellington))

2016-01-29 14:00: Interacting Hopf monoids: the algebra of signal flow diagrams (Fabio Zanasi,  Radboud University of Nijmegen, Netherlands)

2016-02-05 14:00: Effects as sessions, sessions as effects (Dominic Orchard, Computer Laboratory)

2016-02-17 11:00: Biggest Challenges for Kotlin: Interoperability and Tooling (Andrey Breslav)

2016-02-26 14:00: A call-by-value realizability model for PML (Rodolphe Lepigre, Laboratoire de Mathématiques, Université de Savoie)

2016-03-03 14:00: THIS TALK HAS BEEN CANCELLED/POSTPONED (Martín Escardó,  School of Computer Science, University of Birmingham)

2016-09-16 14:00: Analysing Goedel’s T by means of ordinal assignment and collapsing (Gunnar Wilken, Okinawa Institute of Science and Technology)

2016-11-18 14:00: A compositional account of Herbrand's theorem via concurrent games (Pierre Clairambault, ENS Lyon)

2016-11-23 15:15: Automatic Identification and Parallelisation of General Reduction Operations (Philip Ginsbach, University of Edinburgh)

2018-11-16 14:15: Lower bound for arithmetic circuits via Hankel matrix (Pierre Ohlmann, IRIF, Université Paris 7)

2018-11-26 15:00: Verifying Concurrent Search Structure Templates (Siddharth Krishna, NYU)

2019-11-15 14:00: Quantum Things 2 - The quantum monad on relational structures (Nadish de Silva (University of Cambridge))

2021-11-04 11:00: Developing and evaluating data-driven models for co-speech gesture-synthesis (Taras-Svitozar Kucherenko, KTH Sweden)

2021-11-18 14:00: Designed and trained fuzzy logic systems: an interpretable machine learning tool (Samuel Morillas Gómez, Universidad Politécnica de Valencia)

2021-11-19 14:00: Towards a geometry for syntax (Jon Sterling, University of Aarhus)

2021-11-30 13:00: Probabilistic machine learning methods for uncertainty quantification and decision-making (Javier Gonzalez)

2022-04-29 14:00: The complexity of counting problems (David Richerby, University of Essex)

2022-05-06 14:00: Game comonads, FVM theorems, and bilinear maps (Dan Marsden, University of Oxford)

2022-05-27 14:00: Symmetries in Reversible Programming (Vikraman Choudhury, University of Indiana)

2022-05-27 14:00: Title to be confirmed (Vikraman Choudhury, University of Indiana)

2022-06-10 14:00: Symmetries in quantitative semantics (Hugo Paquet, University of Oxford)

2022-06-17 14:00: Finite-state polynomial computation (Mikołaj Bojanczyk, University of Warsaw)

2022-07-14 14:00: Image Quality Metrics at the Time of Deep Learning (Francesco Banterle,  Visual Computing Lab, ISTI-CNR, Italy)

2022-09-13 11:00: Who is Afraid of Non-Universal (Deep Learned) Facial Perception? (Dr Pablo Barros, SONY R&D CENTER, BRUSSELS LABORATORY (BRL), BELGIUM)

2022-09-29 14:00: The Expressive Power of CSP Quantifiers (Lauri Hella, Tampere University)

2022-09-29 14:00: Title to be confirmed (Lauri Hella, University of Helsinki)

2022-10-07 14:00: Verification for free: using K to build a theorem prover for any language (Bruce Collie, Runtime Verification)

2022-10-10 16:00: Mixing finite and infinite structure (Michael Benedikt, University of Oxford)

2022-10-14 14:00: ∞-type theories and coherence problems (Taichi Uemura, University of Stockholm)

2022-10-20 15:00: Overcoming catastrophic forgetting and enabling forward transfer in Continual Learning: A Sparsity Approach (Jonathan Richard Schwarz, Senior Research Scientist, DeepMind)

2022-10-21 14:00: Generic pattern unification: a categorical approach (Ambroise Lafont, University of Cambridge)

2022-10-28 14:00: Coherent differentiation makes the differential lambda-calculus deterministic (Thomas Ehrhard, University of Paris)

2022-11-04 14:00: Subcubic certificates for CFL reachability (Dmitry Chistikov, University of Warwick)

2022-11-11 14:00: On bilinearity of Whitehead products in Homotopy Type Theory (Ulrik Buchholtz, University of Nottingham)

2022-11-18 14:00: Linear Logic and the Semantics of Concurrent Computation (Alex Kavvos, University of Bristol)

2022-11-25 14:00: The linear operator semantics of probabilistic programs (Fredrik Dahlqvist, UCL)

2022-12-02 14:00: String diagrams for semistrict n-categories (Manuel Araujo, University of Cambridge)

2023-01-27 14:00: When Concurrency Strikes (Matthew Parkinson, Microsoft Research)

2023-05-25 11:00: An in-depth look at Deep Learning in Digital Media (Prof. Panos Nasiopoulos, University of British Columbia)

2023-05-25 14:00: Scaling Human Supervision and Understanding Social Contexts: Two Key Challenges for Robot Learning in HRI (Marynel Vázquez, Yale University)

2023-06-08 11:00: Modeling crossmodal attention in humanoid robots for HRI in complex social scenarios (Di Fu, University of Hamburg)

2023-06-15 15:00: Monitoring and Improving QoE for the home network via large scale CPE deployment. (Iain Fraser, Netduma)

2023-10-27 15:00: K9db: Privacy-Compliant Storage For Web Applications By Construction (Malte Schwarzkopf (Brown University))

2024-11-13 16:00: ML@CL Weekly Meeting (Speaker to be confirmed)

2024-11-20 16:00: ML@CL Weekly Meeting (Speaker to be confirmed)

2025-09-01 14:00: Adaptive Resource Allocation for Low-Latency LLM Serving in Dynamic Environments (Masayuki Usui and Shinya Takamaeda-Yamazaki (University of Tokyo))

2025-10-06 10:00: Quantum Interactive Oracle Proofs (Baocheng Sun Weizman Institute)