![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Baocheng Sun Weizman Institute.
Monday 06 October 2025, 10:00-11:00
Contact: No managers listed
0 upcoming talks View 72 archived talks
Foundation AI
Quantum Interactive Oracle Proofs
Systems Research Talk Series (temporal)
Adaptive Resource Allocation for Low-Latency LLM Serving in Dynamic Environments
ML@CL Group Meetings
ML@CL Weekly Meeting
ML@CL Group Meetings
ML@CL Weekly Meeting
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
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
Rainbow Group Seminars
Modeling crossmodal attention in humanoid robots for HRI in complex social scenarios
Rainbow Group Seminars
Scaling Human Supervision and Understanding Social Contexts: Two Key Challenges for Robot Learning in HRI
Rainbow Group Seminars
An in-depth look at Deep Learning in Digital Media
Logic and Semantics Seminar (Computer Laboratory)
When Concurrency Strikes
Logic and Semantics Seminar (Computer Laboratory)
String diagrams for semistrict n-categories
Logic and Semantics Seminar (Computer Laboratory)
The linear operator semantics of probabilistic programs
Logic and Semantics Seminar (Computer Laboratory)
Linear Logic and the Semantics of Concurrent Computation
Logic and Semantics Seminar (Computer Laboratory)
On bilinearity of Whitehead products in Homotopy Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Subcubic certificates for CFL reachability
Logic and Semantics Seminar (Computer Laboratory)
Coherent differentiation makes the differential lambda-calculus deterministic
Logic and Semantics Seminar (Computer Laboratory)
Generic pattern unification: a categorical approach
Rainbow Group Seminars
Overcoming catastrophic forgetting and enabling forward transfer in Continual Learning: A Sparsity Approach
Logic and Semantics Seminar (Computer Laboratory)
β-type theories and coherence problems
Logic and Semantics Seminar (Computer Laboratory)
Mixing finite and infinite structure
Logic and Semantics Seminar (Computer Laboratory)
Verification for free: using K to build a theorem prover for any language
Logic and Semantics Seminar (Computer Laboratory)
The Expressive Power of CSP Quantifiers
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Rainbow Group Seminars
Who is Afraid of Non-Universal (Deep Learned) Facial Perception?
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
Logic and Semantics Seminar (Computer Laboratory)
Finite-state polynomial computation
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in quantitative semantics
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in Reversible Programming
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Game comonads, FVM theorems, and bilinear maps
Logic and Semantics Seminar (Computer Laboratory)
The complexity of counting problems
ML@CL Seminar Series
Probabilistic machine learning methods for uncertainty quantification and decision-making
Logic and Semantics Seminar (Computer Laboratory)
Towards a geometry for syntax
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
Rainbow Group Seminars
Developing and evaluating data-driven models for co-speech gesture-synthesis
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 2 - The quantum monad on relational structures
Logic and Semantics Seminar (Computer Laboratory)
Verifying Concurrent Search Structure Templates
Logic and Semantics Seminar (Computer Laboratory)
Lower bound for arithmetic circuits via Hankel matrix
Computer Laboratory Programming Research Group Seminar
Automatic Identification and Parallelisation of General Reduction Operations
Logic and Semantics Seminar (Computer Laboratory)
A compositional account of Herbrand's theorem via concurrent games
β οΈ NOTE NON-STANDARD ROOM BOOKING
Logic and Semantics Seminar (Computer Laboratory)
Analysing Goedelβs T by means of ordinal assignment and collapsing
β οΈ NOTE NON-STANDARD ROOM BOOKING
Logic and Semantics Seminar (Computer Laboratory)
THIS TALK HAS BEEN CANCELLED/POSTPONED
β οΈ THIS TALK HAS BEEN CANCELLED/POSTPONED
Logic and Semantics Seminar (Computer Laboratory)
A call-by-value realizability model for PML
β οΈ NOTE UNUSUAL VENUE
Computer Laboratory Programming Research Group Seminar
Biggest Challenges for Kotlin: Interoperability and Tooling
Logic and Semantics Seminar (Computer Laboratory)
Effects as sessions, sessions as effects
β οΈ NOTE UNUSUAL VENUE
Logic and Semantics Seminar (Computer Laboratory)
Interacting Hopf monoids: the algebra of signal flow diagrams
β οΈ NOTE UNUSUAL VENUE
Computer Laboratory Programming Research Group Seminar
Brand Objects and Gradual Contracts
Computer Laboratory Programming Research Group Seminar
Improving Implicit Parallelism
Computer Laboratory Programming Research Group Seminar
Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages
Computer Laboratory Programming Research Group Seminar
Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection
Computer Laboratory Programming Research Group Seminar
QuLog: A modern logic-based agent-implementation language
REMS lunch
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning
β οΈ nonstandard room: SS03
Computer Laboratory Programming Research Group Seminar
Embedding effect systems in Haskell
REMS lunch
Title to be confirmed
Computer Laboratory Programming Research Group Seminar
Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach
Computer Laboratory Programming Research Group Seminar
Points-To and Alias Analysis -- the precision vs efficiency dilemma
Computer Laboratory Programming Research Group Seminar
Higher-kinded programming in ML
Computer Laboratory Programming Research Group Seminar
Solving an existential crisis in Haskell
Computer Laboratory Programming Research Group Seminar
Towards Language Composition
Rainbow Interaction Seminars
Audiovisual Discrimination Between Laughter and Speech
Rainbow Interaction Seminars
The Usability of Security: A Panel Discussion
Rainbow Interaction Seminars
Summer Conference Summary - Part 2
Rainbow Interaction Seminars
Movement expressivity analysis in affective computers: from recognition to expression of emotion
Rainbow Interaction Seminars
Summer Conference Summary - Part 1
Rainbow Interaction Seminars
NIME '08 Conference Report
Rainbow Interaction Seminars
User Modelling in HCI
Rainbow Interaction Seminars
Sonic Gems: Exploring the potential of audio recording as a form of sentimental memory capture
Rainbow Interaction Seminars
Term planning and feedback from CHI
Rainbow Interaction Seminars
Randomness as a resource for design
Please see above for contact details for this list.