![[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)
David Cock.
Friday 17 April 2026, 14:00-15:00
Martin's interesting talks
A personal list of talks.
Contact: Martin Fixman
20 upcoming talks View 2124 archived talks
Logic and Semantics Seminar (Computer Laboratory)
Neutrality and The Atoll Verified Hypervisor
Foundation AI
GraphNeuralRAG: On the Opportunities and Challenges of GNNs for GraphRAG, from Multi-Hop Question Answering to Perturbation Modelling
β οΈ Google meet's link: https://meet.google.com/ypo-yqjc-cwv
Foundation AI
Forward Pass as Heat Flow
Logic and Semantics Seminar (Computer Laboratory)
Non-Closure Properties of Read-Once Oblivious Algebraic Branching Programs
Cambridge Philosophical Society
David MacKay: Energy and Information
Archimedeans Talks LT26
Is a typical polynomial irreducible? Very Likely!
Cavendish Big Science colloquium
Particle Physics Today and Tomorrow
Cambridge Natural History Society
History of Natural History: Contributions from some Cambridge scientific giants of the 19th century
β οΈ Please note the start time, being after the AGM, is approximate.
SciSoc β Cambridge University Scientific Society
Are Airborne Ultrafine Particles the Next Frontier in Air Pollution Research?
Artificial Intelligence Research Group Talks (Computer Laboratory)
Interpretability in the Wild: When Explainability Meets Causality and Clinical Reality
β οΈ Note unusual time
Cambridge Philosophical Society
Peer review, past, present⦠and future
Darwin College Lecture Series
How Song Shapes Society, and Society Shapes Song
Cambridge Natural History Society
Seed Testing, its History and Links with Cambridge
Formalisation of mathematics with interactive theorem provers
Faithful Logic Embeddings in HOL: Deep and Shallow, Propositional and Quantified
Early Modern Economic and Social History Seminars
The long-term financial trajectory of Ottoman foundations (Waqfs): A political economy perspective
History of mathematics and science
History of science for mathmos 11
Isaac Newton Institute Seminar Series
Kirk Public Lecture: The Ocean of Numbers: How India Shaped the Way We Calculate
β οΈ MHM - Modern History of Mathematics
Scott Polar Research Institute - Polar Physical Sciences Seminar
Against the rising tide: polar climate change and comms in the misinformation era
Quantitative History Seminar
Mapping the French gabelles: Fiscal fragmentation, tax evasion, and social conflict
Artificial Intelligence Research Group Talks (Computer Laboratory)
Deep-layered machines have a built-in Occam's razor
β οΈ Notice unusual day, time and room
Artificial Intelligence Research Group Talks (Computer Laboratory)
Discovering mathematical concepts through a multi-agent system
β οΈ Notice unusual day, time and room
Cambridge University Astronomical Society (CUAS)
The Exoplanet Revolution and Life in the Universe
β οΈ Nobel Laureate
SciSoc β Cambridge University Scientific Society
Resolving the Ediacaran enigma: Unravelling the fossil record of early animal evolution
History and Economics Seminar
A Forest of Numbers: Comparing Statistics on Europe's Wood Economy (1860sβ1910s)
Cambridge University China Forum
Journalism in China: Fireside Chat with Yu Jialan
Foundation AI
AI/ML in bioinformatics and CNS drug discovery
Darwin College Lecture Series
Palestinian Song in Transition: The Interplay of Tradition and Innovation, 1936-1948
Wednesday Seminars - Department of Computer Science and Technology
Automated Translation of Real-World Codebases: How Far Are We?
SciSoc β Cambridge University Scientific Society
From Glycogen to Ubiquitin and back again
Artificial Intelligence Research Group Talks (Computer Laboratory)
Mechanistic Interpretability - Progress and Limits
β οΈ Notice unusual time
Cambridge Philosophical Society
What is Digital Identity all about?
Darwin College Lecture Series
Songs of the Stars: unravelling stellar music with asteroseismology
Junior Geometry Seminar
Compactified Jacobians in algebraic geometry
Logic and Semantics Seminar (Computer Laboratory)
Layered monoidal theories
NLIP Seminar Series
What Happens When They're Smarter Than Us?
Cambridge University Physics Society (CUPS) 2025-2026 Talks
Quantum Gas in a Box
Cambridge Natural History Society
Ladybirds in the UK: more diverse than you may think!
Formalisation of mathematics with interactive theorem provers
The Serre finiteness theorem in Cubical Agda
Computer Laboratory Systems Research Group Seminar
Automatically Formally Verified Hardware using Aristotle
Department of Archaeology - Egyptian World Seminar Series
Sudan at the Petrie Museum: Past, Present, and Future
Wednesday Seminars - Department of Computer Science and Technology
The Cybersecurity Awareness Experience: A Masterclass in Social Engineering, Behavioral Psychology, and Digital Self-Defense
SciSoc β Cambridge University Scientific Society
Reading your DNA
Cambridge Seminars in the History of Cartography
Churchill's secret chart-makers
History and Economics Seminar
Maroon ecologies and the SΓ£o TomΓ© plantation world: histories of black insurgency
Darwin College Lecture Series
Hearing Her Voice: Women musicians in Vienna 1900
Logic and Semantics Seminar (Computer Laboratory)
The Cognitive and Human Factors of Formal Methods
Formalisation of mathematics with interactive theorem provers
Certifying Synthetic Mathematics in Lean
Wednesday Seminars - Department of Computer Science and Technology
Geometric Gaussian Processes
Information Theory Seminar
Applications of Algorithmic Information Theory
SciSoc β Cambridge University Scientific Society
Electrons to Empires: A First-principles View on Science, Technology, and Politics in a Materials World
Cambridge Philosophical Society
What insect-watching can tell us about the evolution of animal behaviour
Darwin College Lecture Series
Song in the Ancient World: Echoes of Religion and Resistance
History of mathematics and science
History of mathematics for mathmos 22
Formalisation of mathematics with interactive theorem provers
HoTTLean: Semantics of HoTT in Lean
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural Symbolic Interpretability
β οΈ Notice unusual day and time
Artificial Intelligence Research Group Talks (Computer Laboratory)
Towards Causally Reliable Concept-based Models
β οΈ Notice unusual day, time and place
Cambridge Philosophical Society
Building Embodied Intelligence: Insights from Wayveβs Journey in Autonomous Driving
History of mathematics and science
History of mathematics for mathmos 21
Wednesday Seminars - Department of Computer Science and Technology
A Gentle Introduction to Quantum Computational ElectroMagnetics
SciSoc β Cambridge University Scientific Society
Adventures in Molecular recognition:Β from one happy accident to another
Political Thought and Intellectual History
The Republic of Beavers'
Darwin College Lecture Series
Songs We Grow By
History of mathematics and science
Cancelled: History of mathematics for mathmos 21
Logic and Semantics Seminar (Computer Laboratory)
Nitro Isolation Engine: formally verifying a production hypervisor
History of mathematics and science
Cancelled: History of science for mathmos 11
History of mathematics and science
History of mathematics for mathmos 20
Wednesday Seminars - Department of Computer Science and Technology
15 years of the CHERI Research Project: Reflections, Current Work, and Next Directions
SciSoc β Cambridge University Scientific Society
The death of consumerism and how we build a more sustainable future
Machine learning theory
Tackling Label Corruptions: Univariate Polynomial Regression and Generalized Linear Models
Cambridge Philosophical Society
Cars, aeroplanes, and quantum physics: Why complexity makes life simpler for the vibration engineer
Financial History Seminar
'Muddling through or tunnelling through?β UK monetary and fiscal exceptionalism and the Great Inflation
Darwin College Lecture Series
Throat-Singing: Body, Spirit, Pathways, Place
History of mathematics and science
History of mathematics for mathmos 19
Cambridge University Physics Society (CUPS) 2025-2026 Talks
Building Quantum Computers with Trapped Ions
β οΈ Venue change!
Formalisation of mathematics with interactive theorem provers
Aristotle, an AI theorem prover using Lean
The Kavli Lectures
A cloud-scale view on molecular gas and star formation in nearby galaxies
History of mathematics and science
History of science for mathmos 10
Foundation AI
Toward a Theoretical Understanding of Self-Supervised Learning in the Foundation Model Era
β οΈ Lecture Theatre 1
History of mathematics and science
History of mathematics for mathmos 18
CMS seminar series in the Faculty of Music
Reconstruction of degraded medieval music notation in Cambridge libraries with multispectral imaging and advanced data representation methods
Wednesday Seminars - Department of Computer Science and Technology
What is HoTT?
SciSoc β Cambridge University Scientific Society
Building molecules that mimic biological function
Darwin College Lecture Series
Notes and noises in nature: not a swan song?
History of mathematics and science
History of mathematics for mathmos 17
Formalisation of mathematics with interactive theorem provers
Lean4Less: Translating Lean to Smaller Theories via an Extensional-to-Intensional Translation
History of mathematics and science
History of science for mathmos 9
History of mathematics and science
History of mathematics for mathmos 16
Formalisation of mathematics with interactive theorem provers
Integrating Formal and Informal Reasoning
History of mathematics and science
History of science for mathmos 8
Cambridge University Railway Club
CURC Talk: Shadow Great British Railways
History of mathematics and science
History of mathematics for mathmos 15
Wednesday Seminars - Department of Computer Science and Technology
Resource estimation and optimization to accelerate progress towards quantum advantage
SciSoc β Cambridge University Scientific Society
Imaging the virosphere: protein architecture for virus assembly and host cell entry
Cambridge Society for the Application of Research (CSAR)
From Planets to Exoplanets: the search for life, with the James Webb Telescope and others
History of mathematics and science
History of mathematics for mathmos 14
Logic and Semantics Seminar (Computer Laboratory)
Semantics for Reactive Probabilistic Programming
Formalisation of mathematics with interactive theorem provers
Combining Two Representations of Matrices for a Formalization of the Perron-Frobenius Theorem
History of mathematics and science
History of science for mathmos 7
Cambridge Statistics Discussion Group (CSDG)
100 years of educational trials β no significant difference?
Cambridge University Railway Club
CURC Talk: Northern Rail
History of mathematics and science
History of mathematics for mathmos 13
Wednesday Seminars - Department of Computer Science and Technology
Physical Inductive Biases for World Models
SciSoc β Cambridge University Scientific Society
It's a Wonderful Life: the bizarre animals that live in the worlds coldest ocean and their extreme adaptations
Artificial Intelligence Research Group Talks (Computer Laboratory)
VIKING: Deep variational inference with stochastic projections
β οΈ Note unusual room
Cambridge Philosophical Society
A Lot of Hot Air: volcanic degassing and its impact on our environment
History of mathematics and science
History of mathematics for mathmos 12
Formalisation of mathematics with interactive theorem provers
Human oriented tools for theorem proving in Lean
History of mathematics and science
History of science for mathmos 6
Machine learning theory
Learning shallow neural networks in high dimensions: SGD dynamics and scaling laws
Cambridge University Railway Club
CURC Talk: Mid Norfolk Railway
History of mathematics and science
History of mathematics for mathmos 11
Wednesday Seminars - Department of Computer Science and Technology
AI for Math: The Future of Collaborative Discovery
SciSoc β Cambridge University Scientific Society
From deep time biogeomorphology to geo-evolutionary feedbacks
Artificial Intelligence Research Group Talks (Computer Laboratory)
Introducing BoltzGen: Toward Universal Binder Design
β οΈ This talk is only in presence
History of mathematics and science
History of mathematics for mathmos 10
Cambridge Natural History Society
Unsung Songbirds: Vocal Communication and Cognition in Corvids
Faraday Institute for Science and Religion
Is Artificial General Intelligence compatible with a Christian worldview?
History of mathematics and science
History of science for mathmos 5
Cambridge University Railway Club
CURC Talk: Elizabeth Line
History of mathematics and science
History of mathematics for mathmos 9
Wednesday Seminars - Department of Computer Science and Technology
From research lab to newsroom: deploying secure whistleblower technology in practice
SciSoc β Cambridge University Scientific Society
Understanding life - from genomes to organisms - using AI
Machine learning theory
To Intrinsic Dimension and Beyond: Efficient Sampling in Diffusion Models
Cambridge Philosophical Society
Putting the βSβ into mechanics
History of mathematics and science
History of mathematics for mathmos 8
Logic and Semantics Seminar (Computer Laboratory)
Liberating synthetic quasi-coherence from syntax
Formalisation of mathematics with interactive theorem provers
Lambda-Superposition for Successful Hammering
History of mathematics and science
History of science for mathmos 4
Cambridge University Railway Club
CURC Talk: Greater Anglia
History of mathematics and science
History of mathematics for mathmos 7
SciSoc β Cambridge University Scientific Society
21-cm Cosmology: First Stars and Beyond
History of mathematics and science
History of mathematics for mathmos 6
Logic and Semantics Seminar (Computer Laboratory)
Cospans of finite sets
Formalisation of mathematics with interactive theorem provers
A Lean Tactic to Automatically Generalize Proofs
History of mathematics and science
History of science for mathmos 3
Cambridge University Railway Club
CURC Talk: Institute of Mechanical Engineers Rail Division / Cordel
History of mathematics and science
History of mathematics for mathmos 5
Wednesday Seminars - Department of Computer Science and Technology
Standing on the Shoulders of Giants
SciSoc β Cambridge University Scientific Society
C-H Amination for Organic Synthesis and Medicinal Chemistry: Reaction Development and Validation of Nitrene Intermediacy
Artificial Intelligence Research Group Talks (Computer Laboratory)
Is it even possible to defend AI agents against attacks in practice?
β οΈ NOTE unusual place (FW11)
Cambridge Philosophical Society
Reflections on dementia research and ageing societies
History of mathematics and science
History of mathematics for mathmos 4
Cambridge University Railway Club
CURC Student Members' Night
History of mathematics and science
History of mathematics for mathmos 3
The Wheeler Lectures in Computer Science
Wheeler Lecture 2025: Efficiency, Resilience, and Artificial Intelligence
SciSoc β Cambridge University Scientific Society
Machine learning force fields shows extreme generalisation
Artificial Intelligence Research Group Talks (Computer Laboratory)
AIReg-Bench: Benchmarking Language Models That Assess AI Regulation Compliance
β οΈ NOTE unusual place (LT1)
Political Thought and Intellectual History
Censors and Recalls: Rousseau on Elite Accountability
Department of Computer Science and Technology talks and seminars
Talk by Professor Bjarne Stroustrup: 'Concept-based Generic Programming'
Cabinet of Natural History
Making communication common: information architecture, classificatory schemes and reference aids in the repositories of early scientific societies
History of mathematics and science
History of mathematics for mathmos 2
Logic and Semantics Seminar (Computer Laboratory)
The Dichotomy Theorem on the computational complexity of the Constraint Satisfaction Problem
NLIP Seminar Series
Making and breaking tokenizers
Cambridge University Physics Society (CUPS) 2025-2026 Talks
2025-2026 Maxwell Lecture: Computation at the Foundations of Everything --- Physics and More
Core Seminar in Economic and Social History
The Settlement of the Poor in England c. 1660β1780: Law, Family, and Community
Formalisation of mathematics with interactive theorem provers
Using interactive theorem provers in physics
History of mathematics and science
History of science for mathmos 1
Cambridge University Railway Club
CURC Talk: BusAndTrainUser
History of mathematics and science
History of mathematics for mathmos 1
Cambridge University Astronomical Society (CUAS)
The X-ray Astrophysics of the Hot and Violent Universe
Cambridge Philosophical Society
Our Chiral Universe
Logic and Semantics Seminar (Computer Laboratory)
Semiring Semantics: Algebraic Properties vs. Logical Results
Formalisation of mathematics with interactive theorem provers
The Road to Formalising 8-Dimensional Sphere Packing in Lean
SciSoc β Cambridge University Scientific Society
Simplifying Synthesis with Radical Cross-Coupling
Foundation AI
Quantum Interactive Oracle Proofs
Logic and Semantics Seminar (Computer Laboratory)
On Solution Discovery via Reconfiguration
Logic and Semantics Seminar (Computer Laboratory)
Fibred models of dual-context type theory and internal universes in models of HoTT
Foundation AI
GNN-ACLP: Graph Neural Networks Based Analog Circuit Link Prediction
β οΈ https://drive.google.com/file/d/1XK4HTy4aaC4h2E8t8jgzDUrJrl4jBxKH/view?usp=sharing
Foundation AI
Title to be confirmed
Foundation AI
AI-Powered Graph Representation Learning for Robust and Efficient Urban and Social Science
Foundation AI
Title to be confirmed
Foundation AI
From Score to Sound: Music Generation in the AI Era
Foundation AI
AI Governance and Regulation: Comparing EU, US, and Chinaβs Models and global initiatives
Foundation AI
title
Foundation AI
Artificial Intelligence in Agrifood and Environment
Foundation AI
Performance evaluation for learning systems
Foundation AI
title
Foundation AI
title
Foundation AI
title
Foundation AI
title
Foundation AI
Title to be confirmed
Artificial Intelligence Research Group Talks (Computer Laboratory)
Success, sensitivity and unbelievable quality of LLM code generation
Formalisation of mathematics with interactive theorem provers
Formalising the Multigraded Proj Construction in Lean 4
Artificial Intelligence Research Group Talks (Computer Laboratory)
Feedback Forensics: A Toolkit to Measure AI Personality
Logic and Semantics Seminar (Computer Laboratory)
A unified treatment of commuting tensor products
Logic and Semantics Seminar (Computer Laboratory)
Aeneas: Rust Verification by Functional Translation
Formalisation of mathematics with interactive theorem provers
Universal Diophantine Equations in Isabelle
Wednesday Seminars - Department of Computer Science and Technology
Hard and soft equivariance priors via Steerable CNNs
Artificial Intelligence Research Group Talks (Computer Laboratory)
Computer Vision: Between Forensics and Biomedical Imaging
Formalisation of mathematics with interactive theorem provers
Completeness Theorems for Variations of Higher-Order Logic
β οΈ CANCELLED
Wednesday Seminars - Department of Computer Science and Technology
Recreating the Physical Natural World from Images
Foundation AI
Deep Learning Approaches for Label-Free Tumour Image Segmentation Spectroscopy in Cancer Diagnosis
Wednesday Seminars - Department of Computer Science and Technology
Type-driven Development with Idris 2
Foundation AI
Sheaf-Based Diffusion for Multimodal Graph Learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
Explainable AI in Neuroscience: From Interpretability to Biomarker Discovery
Foundation AI
Superposition in GNNs
Foundation AI
Exploring the interplay between Ricci Flow, the Fisher Information Matrix and Gradient Descent in Neural Networks
Logic and Semantics Seminar (Computer Laboratory)
A topological proof of the H-colouring dichotomy
Formalisation of mathematics with interactive theorem provers
Algebraic Geometry in Mathlib
Wednesday Seminars - Department of Computer Science and Technology
The TPTP World - Infrastructure for Automated Reasoning
Formalisation of mathematics with interactive theorem provers
Formalizing Fermat: an update
Foundation AI
bla bla
Foundation AI
bla bla
Foundation AI
bla bla
Logic and Semantics Seminar (Computer Laboratory)
On morphisms between diagrams, and strictification of (β,n)-categories
Foundation AI
blabla
Foundation AI
Deterministic Neural Syllogistic Reasoning (Part 2) recorded: https://www.youtube.com/watch?v=PFCHg-DAnEs
Logic and Semantics Seminar (Computer Laboratory)
Interventions and Counterfactuals for the Working Programmer
Cambridge Philosophical Society
The Unknown Maxwell
Foundation AI
From Machine Learning to Machine Reasoning: Deterministic Neural Syllogistic Reasoning (Part 1)
Foundation AI
Surgical data using LLMs
Logic and Semantics Seminar (Computer Laboratory)
Number of quantifiers in 3-variable logic on linear orders
Formalisation of mathematics with interactive theorem provers
Verified Unsolvability of Temporal Planning
Wednesday Seminars - Department of Computer Science and Technology
Which Faculty Diversity Programs Work? Evidence from 600 U.S. Colleges and Universities
SciSoc β Cambridge University Scientific Society
Beyond the Standard Model of particle physics: a maths-driven journey to the unknown
Artificial Intelligence Research Group Talks (Computer Laboratory)
Similarity-based Methods for Language Model Analysis and Prediction
Cambridge Philosophical Society
Acoustics of musical instruments - why is a saxophone like a violin?
Foundation AI
From Machine Learning to Machine Reasoning: Deterministic Neural Syllogistic Reasoning (Part 1).
Darwin College Lecture Series
Decoding our Humanity
Formalisation of mathematics with interactive theorem provers
Formal verification of the 5th Busy Beaver value
Artificial Intelligence Research Group Talks (Computer Laboratory)
Multimodal AI in Spatial Biology
β οΈ Note: unusual date compared to regular AI Seminars
Cambridge Philosophical Society
Towards a Net Zero World: Developing and applying new tools to understand how materials for Li and βbeyond-Liβ battery technologies function
Cambridge Philosophical Society
Towards a Net Zero World: Developing and applying new tools to understand how materials for Li and βbeyond-Liβ battery technologies function
Formalisation of mathematics with interactive theorem provers
Why do I write proofs?
β οΈ NOTE UNUSUAL DAY
SciSoc β Cambridge University Scientific Society
Black Holes & spin-offs
Darwin College Lecture Series
Polari - a Very Queer Code
Logic and Semantics Seminar (Computer Laboratory)
Axiomatization of infinity-categories
Foundation AI
On Vanishing Gradients, Over-Smoothing, and Over-Squashing in GNNs: Bridging Recurrent and Graph Learning
β οΈ hybrid : meet.google.com/bhz-scdk-unp
Artificial Intelligence Research Group Talks (Computer Laboratory)
RO-FIGS: Efficient and Expressive Tree-Based Ensembles for Tabular Data
β οΈ NOTE unusual date
Wednesday Seminars - Department of Computer Science and Technology
Generative modelling for de novo design of therapeutics
SciSoc β Cambridge University Scientific Society
Plasmonic and Magnetic Nanoparticles for Biomedical Applications
Logic and Semantics Seminar (Computer Laboratory)
CRIS: The power of imagination in specification and verification
Cambridge Philosophical Society
Protein self-assembly β understanding and controlling the machinery of life
Cambridge Philosophical Society
Protein self-assembly β understanding and controlling the machinery of life
Darwin College Lecture Series
Wayfinding through the Human Genome
Wednesday Seminars - Department of Computer Science and Technology
Digital Money and Decentralised Finance
SciSoc β Cambridge University Scientific Society
Culinary chemistry: Exploring the science of baking with Josh Smalley
Foundation AI
Beyond Interpolation: Extrapolative Reasoning with Reinforcement Learning and Graph Neural Networks
Darwin College Lecture Series
Eve's Byte of the Apple
Formalisation of mathematics with interactive theorem provers
Formalising Brauer Group and Group Cohomology in Lean4
Wednesday Seminars - Department of Computer Science and Technology
Probabilistic weather forecasting with machine learning
SciSoc β Cambridge University Scientific Society
Strengthening control over stress: novel brain mechanisms and opportunities for intervention
Cambridge Philosophical Society
Why thereβs no such thing as βtheβ scientific advice
Darwin College Lecture Series
Epigenetics: A Code upon a Code?
Formalisation of mathematics with interactive theorem provers
Algebraising foundations of elliptic curves
Wednesday Seminars - Department of Computer Science and Technology
Hardware Datapath: For Machine Learning and Beyond
SciSoc β Cambridge University Scientific Society
Evolution on Islands: insights from silvereyes of the southwest Pacific
Darwin College Lecture Series
Using Maths to Decode the Universe
Formalisation of mathematics with interactive theorem provers
Formalisation of Combinatorial Optimisation in Isabelle/HOL: Network Flows
Wednesday Seminars - Department of Computer Science and Technology
EU AI Act: A firsthand perspective
SciSoc β Cambridge University Scientific Society
Nucleic-Acid based therapeutics: how to use mechanistic information to ensure "safe-by-design"
Artificial Intelligence Research Group Talks (Computer Laboratory)
Text-and-audio methods
Cambridge Philosophical Society
To Bend or to Break? β new views on the hardening of metals
Darwin College Lecture Series
The Power of Music: A Journey Back to Home
Formalisation of mathematics with interactive theorem provers
Prospects for formalizing the theory of weak infinite-dimensional categories
Wednesday Seminars - Department of Computer Science and Technology
Green Algorithms, Green DiSC and GREENER principles: making computational science more environmentally sustainable
SciSoc β Cambridge University Scientific Society
Multicomponent High-Entropy Cantor Alloys
Artificial Intelligence Research Group Talks (Computer Laboratory)
SynFlowNet: Design of Synthesisable Molecules with GFlowNets
Darwin College Lecture Series
Bits with Soul
Formalisation of mathematics with interactive theorem provers
Decision Procedures for Bitvector Reasoning in Lean
Foundation AI
Multi-Head Explainer: A General Framework to Improve Explainability in CNNs and Transformers
β οΈ record: https://youtu.be/iuT_tkVEgA4
Formalisation of mathematics with interactive theorem provers
How to teach Fourier analysis to a large library of formalised mathematics
SciSoc β Cambridge University Scientific Society
With a Little Help from My Friends: New Ways of Seeing Electrochemistry
Formalisation of mathematics with interactive theorem provers
Automatic Verification of BitVector Identities in SSA-Based Compiler IRs
Wednesday Seminars - Department of Computer Science and Technology
The first AGI will be Federated
SciSoc β Cambridge University Scientific Society
Order, Disorder, Flexibility, Function
Cambridge University Railway Club
CURC Talk: Realtime Trains
Artificial Intelligence Research Group Talks (Computer Laboratory)
Controlling Behavioral Diversity in Multi-Agent Reinforcement Learning
Cambridge Philosophical Society
Signals from the beginning of the universe
Formalisation of mathematics with interactive theorem provers
Computer Algebra and the Formalisation of New Mathematics
Wednesday Seminars - Department of Computer Science and Technology
Sensing human activities: from the lab to the home of the elderly
SciSoc β Cambridge University Scientific Society
Viruses: EleganceΒ in Their Simplicity, or Simply Bad News Wrapped in Protein?
Cambridge University Railway Club
CURC Talk: Govia Thameslink Railway
Artificial Intelligence Research Group Talks (Computer Laboratory)
Bias Mitigation in the Wild: Challenges and Opportunities
Formalisation of mathematics with interactive theorem provers
Formalizing the divided power envelope in Lean
Wednesday Seminars - Department of Computer Science and Technology
Computing for Climate Science and Programming for the Planet
SciSoc β Cambridge University Scientific Society
Technology for Bioelectronic Medicine
Cambridge University Railway Club
CURC Talk: Tramway and Light Railway Society
Artificial Intelligence Research Group Talks (Computer Laboratory)
Natural Experiments in NLP and Where to Find Them
Cambridge Philosophical Society
A V HILL LECTURE Pain: Why does it exist, how does it work and how can we more effectively treat it?
Formalisation of mathematics with interactive theorem provers
A tour in (formalised) type theory
Wednesday Seminars - Department of Computer Science and Technology
Lean Learning: Applying Lean and Agile Techniques to Software Engineering Education
SciSoc β Cambridge University Scientific Society
The rise of life on land: new insights from exceptionally preserved fossils
Cambridge University Railway Club
CURC Talk: Nuclear Transport Solutions / Direct Rail Services
Artificial Intelligence Research Group Talks (Computer Laboratory)
Paying Attention to Efficiency: LLM Deployment on Mobile and Edge Devices
Formalisation of mathematics with interactive theorem provers
Equational theories project: metatheorems and how to formalise them
SciSoc β Cambridge University Scientific Society
Seeing the invisible; the Dark Matter puzzle
Cambridge University Railway Club
CURC Talk: Ian Dinmore -- the Rail Archive
Cambridge Philosophical Society
LARMOR LECTURE Surging cylinders, flapping wings and gust encounters: Force production in unsteady flows
Formalisation of mathematics with interactive theorem provers
New Foundations: the story of a large formalisation project
The Wheeler Lectures in Computer Science
Wheeler Lecture 2024: Supercharging the Human Mind With AI
SciSoc β Cambridge University Scientific Society
Lessons for human TB and its treatment from the tiny transparent zebrafish larva
Cambridge University Railway Club
CURC Talk: Young Rail Professionals
Formalisation of mathematics with interactive theorem provers
Computer environments for math problem solving
SciSoc β Cambridge University Scientific Society
Our archaeal origins
Cambridge Philosophical Society
Diagnostics Without Frontiers: A Regenerable Supply Chain For PCR In Low Resource Countries
Formalisation of mathematics with interactive theorem provers
Reasoning with Kan fillings about Morse reductions
Foundation AI
Sheaves for Heterogeneous Data
Foundation AI
Sheaves for Heterogeneous Data
Robotics Seminar Series
Reinforcement Learning and Learning-guided Search for Generalizability for Multi-agent Mobility Systems
Cambridge ML Systems Seminar Series
Navigating Privacy Risks in Language Models
Logic and Semantics Seminar (Computer Laboratory)
Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)
Formalisation of mathematics with interactive theorem provers
Alpha-Beta Pruning Explored, Extended and Verified
Foundation AI
How deep can LLMs reason? Benchmarking GPT and Llama models on nested mathematical formulas
Artificial Intelligence Research Group Talks (Computer Laboratory)
Unveiling Causal Drivers of Non-Communicable Diseases with Interpretable Models
Artificial Intelligence Research Group Talks (Computer Laboratory)
Leveraging AI for Breakthroughs in Genomic Research
β οΈ Hybrid: https://cam-ac-uk.zoom.us/j/2554325137?pwd=NGZEbGl1WkJxQVdkV09oc2k1L2pwQT09 Meeting ID: 255 432 5137 Passcode: 360730
Formalisation of mathematics with interactive theorem provers
Little theories for big formal proofs
Formalisation of mathematics with interactive theorem provers
Teaching using a proof assistant and controlled natural language
Wednesday Seminars - Department of Computer Science and Technology
Iterative active learning for the rapid discovery of best-in-class multispecific antibody therapeutics
Logic and Semantics Seminar (Computer Laboratory)
A selective and biased choice of techniques for building a distributed data store
Formalisation of mathematics with interactive theorem provers
Scientific Computing in Lean
Formalisation of mathematics with interactive theorem provers
Condensed Type Theory
Wednesday Seminars - Department of Computer Science and Technology
Exploring novel (bio)molecular spaces by design β a dialogue between representation and generation
Logic and Semantics Seminar (Computer Laboratory)
Comodule representations of Second-order functionals
β οΈ Note the unusual date and time.
Artificial Intelligence Research Group Talks (Computer Laboratory)
The UK AI Safety Institute
Formalisation of mathematics with interactive theorem provers
Can a computer judge interestingness?
β οΈ (NOTE UNUSUAL DAY/TIME)
Formalisation of mathematics with interactive theorem provers
Formalising Theory of Combinatorial Optimisation
β οΈ Online
Cambridge Philosophical Society
SCIENCE AND THE FUTURES OF MEDICINE One Day Meeting
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Folding a Protein: Natureβs Origami
Formalisation of mathematics with interactive theorem provers
Lawvere Theories in Lean
β οΈ Online
Wednesday Seminars - Department of Computer Science and Technology
Private Data Analysis over Large Populations
Artificial Intelligence Research Group Talks (Computer Laboratory)
TacticAI: an AI assistant for football tactics
Cambridge Philosophical Society
Using organoids to reveal what sets the human brain apart
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
Darwin College Lecture Series
How the Cultural Revolution still shapes China
Logic and Semantics Seminar (Computer Laboratory)
Choice Principles in Observational Type Theory
Formalisation of mathematics with interactive theorem provers
Formalising (part of) the Diagonal Ramsey Paper
Cambridge Philosophical Society
HONORARY FELLOWS LECTURE - Every breath you take and every move you make - understanding cellular oxygen sensing mechanisms
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
Wednesday Seminars - Department of Computer Science and Technology
Distribution Shifts in Human-Centered Representation Learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
POSTPONED
β οΈ POSTPONED. Sorry for inconvenience.
SciSoc β Cambridge University Scientific Society
How Religion Evolved and Why It Endures
Darwin College Lecture Series
Revolution by Natural Selection: a radical history of life from inside our cells
Logic and Semantics Seminar (Computer Laboratory)
Epimorphisms and Acyclic Types in Univalent Mathematics
Formalisation of mathematics with interactive theorem provers
The Mandelbrot set is connected (and other Lean explorations)
Wednesday Seminars - Department of Computer Science and Technology
A Data-Free, Universal Prior Distribution for Syntactic Structures
Cambridge Philosophical Society
The quest for the first stars and first black holes with the James Webb Space Telescope
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Cell fate transitions and the secret life of histones
Darwin College Lecture Series
Worlds Turned Upside Down: Quiet Revolutions in Art
Formalisation of mathematics with interactive theorem provers
Experiences with Isabelle/HOL: Formalising Real Algebraic Geometry
Foundation AI
Towards Machine Learning-enhanced Monitoring
Wednesday Seminars - Department of Computer Science and Technology
Making Large Language Models Safe: A Case Study of Llama2
SciSoc β Cambridge University Scientific Society
Antibodies and their peptide mimics as pharmaceutical drugs
Darwin College Lecture Series
The Exoplanet Revolution
Foundation AI
Opinion dynamics inspired sheaf neural networks.
Logic and Semantics Seminar (Computer Laboratory)
Synthesis modulo oracles
Formalisation of mathematics with interactive theorem provers
Structures in dependent type theory
β οΈ Online
Wednesday Seminars - Department of Computer Science and Technology
Graph Neural Networks for skillful weather forecasting
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning to Receive Help: Intervention-Aware Concept Embedding Models
Cambridge Philosophical Society
Going beyond emissions reduction β Climate Repair
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Whatβs in a Face? How Facial Expressions Influence Decision-Making
Darwin College Lecture Series
A Revolution in Thought? How hemisphere theory helps us understand the metacrisis
Formalisation of mathematics with interactive theorem provers
How to prove Fermat's Last Theorem
β οΈ Online
Wednesday Seminars - Department of Computer Science and Technology
The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification
Artificial Intelligence Research Group Talks (Computer Laboratory)
Towards Learning-Powered Networked Systems
SciSoc β Cambridge University Scientific Society
Structural Biology, Bioinformatics and Drug Discovery: Learning from Targeting Cancer to Combat Mycobacterial Infections
Darwin College Lecture Series
Are Revolutions Justified?
Formalisation of mathematics with interactive theorem provers
Comparative Formalisation of Kneser's theorem in Isabelle/HOL and Lean
Artificial Intelligence Research Group Talks (Computer Laboratory)
Text-and-audio methods
Cambridge Philosophical Society
G I TAYLOR LECTURE - The influence of GI Taylor: granular collapses, viscous gravity currents, explosive eruptions and chemical gardens
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
[CANCELLED] Birds of a Feather: the Deep History of Dinosaur Skin
Darwin College Lecture Series
The Genetic Revolutions
Logic and Semantics Seminar (Computer Laboratory)
When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety
Logic and Semantics Seminar (Computer Laboratory)
Towards Secure Distributed Choreographies
Wednesday Seminars - Department of Computer Science and Technology
Quantum computing via the lens of additive combinatorics
Artificial Intelligence Research Group Talks (Computer Laboratory)
Accelerating Generative AI on Custom Hardware Accelerators - Challenges and Opportunities
SciSoc β Cambridge University Scientific Society
Of Odour Plumes and Synchrotrons: Structure and Function of Neural Circuits
Darwin College Lecture Series
On the Disappointment of Revolutions
Formalisation of mathematics with interactive theorem provers
Towards Autoformalization and Mathematical Reasoning using language models
β οΈ Note unusual time
Artificial Intelligence Research Group Talks (Computer Laboratory)
Vibe checks and red teaming: why ML researchers are increasingly reverting to manual evaluation
Logic and Semantics Seminar (Computer Laboratory)
Testing GPU Memory Consistency at Large
Wednesday Seminars - Department of Computer Science and Technology
A brief introduction to causal inference
SciSoc β Cambridge University Scientific Society
When the Quantum World Breaks Through and Resistance Becomes Quantized
Logic and Semantics Seminar (Computer Laboratory)
A categorical semantics for neural networks
Wednesday Seminars - Department of Computer Science and Technology
Cross-lingual transfer learning with multilingual masked language models
SciSoc β Cambridge University Scientific Society
Unlocking safe reprogamming with deep learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
Deep screening of RNA, XNA and protein interactions
β οΈ https://cl-cam-ac-uk.zoom.us/j/83721191406?pwd=V0xkY0Vvb3czWUJkR0xIZC9qMnM0QT09
Artificial Intelligence Research Group Talks (Computer Laboratory)
Hybrid Multi-Modal Fusion for Heterogeneous Biomedical Data
SciSoc β Cambridge University Scientific Society
Short Cuts
Cambridge Philosophical Society
The quiet AI revolution in weather forecasting
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
The Wheeler Lectures in Computer Science
Wheeler Lecture 2023: Beyond functional programming: a taste of Verse
Artificial Intelligence Research Group Talks (Computer Laboratory)
RetroBridge: Modeling Retrosynthesis with Markov Bridges
β οΈ This talk is online only: https://cam-ac-uk.zoom.us/j/92041617729
SciSoc β Cambridge University Scientific Society
The Large Hadron Collider, a marvel of technology
Foundation AI
Multi-Agent Graph Learning-Based Optimization and its Applications to Computer Networks
Wednesday Seminars - Department of Computer Science and Technology
Coherence Attacks and Defenses in 2.5D Integrated Systems
Artificial Intelligence Research Group Talks (Computer Laboratory)
Multi-Agent Simulation and Learning in TorchRL
Cambridge Philosophical Society
A V Hill LECTURE - Recent controversies in evolutionary theory
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Motor Augmentation: The Brain's Journey Beyond Biological Boundaries
Wednesday Seminars - Department of Computer Science and Technology
Pathfinding for 10k agents
Wednesday Seminars - Department of Computer Science and Technology
An invitation to univalent foundations of mathematics
Foundation AI
Revolutionizing Biosensing Technologies: Plug and Play Devices in Medical and Agricultural Diagnostics
Artificial Intelligence Research Group Talks (Computer Laboratory)
AbDiffuser: Full-Atom Generation of In Vitro Functioning Antibodies
β οΈ Notice that this talk is online only: https://cam-ac-uk.zoom.us/j/92041617729 Pietro Lio and Chaitanya Joshi will introduce the speakers
Cambridge Philosophical Society
Maths versus pandemics: the COVID-19 story
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Autophagy, a guardian against neurodegeneration
Logic and Semantics Seminar (Computer Laboratory)
Coherence by Normalization for Linear Multicategorical Structures
Logic and Semantics Seminar (Computer Laboratory)
Software for Compositional Modeling
Artificial Intelligence Research Group Talks (Computer Laboratory)
On Learning Latent Models with Multi-Instance Weak Supervision
SciSoc β Cambridge University Scientific Society
Understanding cellular oxygen sensing mechanisms: adventures of a physician in discovery science.
Logic and Semantics Seminar (Computer Laboratory)
How to prove - hopefully - that polynomial time is not choiceless
Wednesday Seminars - Department of Computer Science and Technology
How can we make trustworthy AI?
SciSoc β Cambridge University Scientific Society
How Best to Explore Chemical Space for Bioactive Molecular Discovery
Cambridge Philosophical Society
LARMOR LECTURE From superconductors to giant planets: a computational window on materials
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
Artificial Intelligence Research Group Talks (Computer Laboratory)
Sediment core analysis using artificial intelligence
Artificial Intelligence Research Group Talks (Computer Laboratory)
Scattering Networks and Singular Values Decomposition: different methods to remove background in Single-Molecule Localization Microscopy image
β οΈ hybrid (zoom link at the end of the abstract)
Logic and Semantics Seminar (Computer Laboratory)
Optimizations in a formally verified compiler
Artificial Intelligence Research Group Talks (Computer Laboratory)
Sphere Neural-Network for Higher-level Cognition
β οΈ join us also with zoom
Artificial Intelligence Research Group Talks (Computer Laboratory)
Is ChatGPT adequate for decision-making?
Formalisation of mathematics with interactive theorem provers
Roth numbers: Upper, lower bounds, and related constructions
β οΈ Note: different room, MR20 this time
Artificial Intelligence Research Group Talks (Computer Laboratory)
Protein generation and fitness optimization
β οΈ https://cl-cam-ac-uk.zoom.us/j/94094286505?pwd=T2V3MFVSQ1ZKTFFyYlFueHlzTE83Zz09
Artificial Intelligence Research Group Talks (Computer Laboratory)
Interpretable Neural-Symbolic Concept Reasoning
β οΈ Note this is on zoom only! Note a change of date! Note a new zoom link!
Logic and Semantics Seminar (Computer Laboratory)
Formalizing General Calculi with Binders in Rewriting Logic
Formalisation of mathematics with interactive theorem provers
Formalizing the change of variables formula for integrals in mathlib
β οΈ Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Artificial Intelligence Research Group Talks (Computer Laboratory)
POSTPONED: Interpretable Neural-Symbolic Concept Reasoning
β οΈ This talk has moved to 20 June 2023.
Logic and Semantics Seminar (Computer Laboratory)
RoboCert: A Formal Specification Notation for Robotic Software
Formalisation of mathematics with interactive theorem provers
Formalizing algebraic number theory, recent progress and future challenges
β οΈ Note: different room, MR20 this time
Artificial Intelligence Research Group Talks (Computer Laboratory)
Untangling genome assembly graphs with graph neural networks
β οΈ https://cl-cam-ac-uk.zoom.us/j/93934749405?pwd=M0ZERUZleklON01vZlpXbzhqTld0Zz09. ; ID riunione: 939 3474 9405 Passcode: 374750
Artificial Intelligence Research Group Talks (Computer Laboratory)
Information Spreading on Networks
β οΈ NOTE A CHANGE OF ROOM DUE TO EXAMS. NOW SS03
Formalisation of mathematics with interactive theorem provers
The leanest automata
β οΈ Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Wednesday Seminars - Department of Computer Science and Technology
Privacy in mobility measurements
Artificial Intelligence Research Group Talks (Computer Laboratory)
Hypergraph Factorisation for Multi-Tissue Gene Expression Imputation
β οΈ NOTE: Room changed, now Lecture Theatre 1
Artificial Intelligence Research Group Talks (Computer Laboratory)
MaRF: Representing Mars as Neural Radiance Fields
Artificial Intelligence Research Group Talks (Computer Laboratory)
Unveiling Bounded Confidence Dynamics in Sheaf Neural Networks
Formalisation of mathematics with interactive theorem provers
Formalising ErdΕs and Larson: Ordinal Partition Theory
Wednesday Seminars - Department of Computer Science and Technology
Bayes in the age of intelligent machines
Artificial Intelligence Research Group Talks (Computer Laboratory)
Improving learning with noisy labels in two possibile scenarios.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Relative Entropy Coding for Learned Data Compression
Artificial Intelligence Research Group Talks (Computer Laboratory)
Integrating Radiomics and Explainable Methods: Paving the Way for Transparent and Interpretable Medical Imaging Analysis
Logic and Semantics Seminar (Computer Laboratory)
Making concurrency functional
Formalisation of mathematics with interactive theorem provers
Explaining mathematics using formalized mathematics
β οΈ Hybrid talk (please see abstract for link)
Artificial Intelligence Research Group Talks (Computer Laboratory)
Dimensionality Reduction via Probabilistic Inference
Logic and Semantics Seminar (Computer Laboratory)
Compound Memory Models
Formalisation of mathematics with interactive theorem provers
Formalization of diagram chasing as a first-order logic in Coq
β οΈ Hybrid talk (please see abstract for link)
Wednesday Seminars - Department of Computer Science and Technology
Learning the topology of complex systems from their dynamics
Logic and Semantics Seminar (Computer Laboratory)
Types-To-Sets and Types-to-PERs Relativization in Higher-Order Logic
Formalisation of mathematics with interactive theorem provers
Smooth vector bundles in Lean
β οΈ Hybrid talk (please see abstract for link)
Wednesday Seminars - Department of Computer Science and Technology
From the GUI to ChatGPT: a historical sketch of HCI research agendas and their applicability today
Logic and Semantics Seminar (Computer Laboratory)
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
Formalisation of mathematics with interactive theorem provers
Formalising modular forms, Eisenstein series and the statement of the modularity conjecture in Lean
Cambridge Philosophical Society
Our Quantum World: How Quantum Technologies will Shape the Future - One Day Meeting
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
Formalisation of mathematics with interactive theorem provers
The Locale-Centric Approach for Formalising Mathematical Hierarchies
Wednesday Seminars - Department of Computer Science and Technology
TALK CANCELLED: Explicit Weakening (A Functional Pearl)
Logic and Semantics Seminar (Computer Laboratory)
Graduality and Parametricity - Together again for the first time, for the second time
Cambridge Philosophical Society
Nanowires: Small but mighty building blocks for efficient electronics
β οΈ Please note change to start time of 18.00. Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
An Old Story: What happens to tissues when we age
Darwin College Lecture Series
Isolation of atomic mechanisms β the choreographer at play
Logic and Semantics Seminar (Computer Laboratory)
Stochastic games and strategy complexity
Formalisation of mathematics with interactive theorem provers
[CANCELLED] Real Closed Field and Thom Encoding in Isabelle/HOL
β οΈ [CANCELLED, please check back for rescheduling]
Cambridge Philosophical Society
Honorary Fellows Lecture - Cosmic extinction - the far future of our Universe
β οΈ Please note change to start time of 18.00. Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
Darwin College Lecture Series
The Self-Imposed Isolation of North Korea
Formalisation of mathematics with interactive theorem provers
Formalising TurΓ‘n's Graph Theorem in Isabelle/HOL
β οΈ Hybrid talk (please see abstract for link)
Wednesday Seminars - Department of Computer Science and Technology
Backdoors in Machine Learning Models
Artificial Intelligence Research Group Talks (Computer Laboratory)
Structure-based Drug Design and Molecular Optimisation with Diffusion Models
Cambridge Philosophical Society
Mitigating mitochondrial mutational meltdown: can we save the species?
β οΈ Please note change to start time of 18.00. Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Going small to tackle big challenges β using microalgae to develop sustainable solutions
Darwin College Lecture Series
Are we alone in the Universe?
Logic and Semantics Seminar (Computer Laboratory)
The Functional Machine Calculus
Formalisation of mathematics with interactive theorem provers
Formalisation of the BalogβSzemerΓ©diβGowers Theorem in Isabelle/HOL
Wednesday Seminars - Department of Computer Science and Technology
Data Science and Machine Learning in Context
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural Networks for High-Dimensional Tabular Biomedical Datasets
SciSoc β Cambridge University Scientific Society
Chemical Biology in Antibiotic and Anticancer Drug Discovery
Darwin College Lecture Series
Isolation and Trapping using Optical Tweezers
Formalisation of mathematics with interactive theorem provers
From benchmark-centric to human-centric: deep learning methods in the formalisation of mathematics
Wednesday Seminars - Department of Computer Science and Technology
Memorial Event for Alexander 'Sandy' Fraser
Artificial Intelligence Research Group Talks (Computer Laboratory)
Relative representations enable zero-shot latent space communication
β οΈ Organized by Donato Crisostomi and Pietro Barbiero
Artificial Intelligence Research Group Talks (Computer Laboratory)
Composite Feature Selection using Deep Ensembles
Cambridge Philosophical Society
Building your life-support system; a new paradigm for human placental development
β οΈ Please note change to start time of 18.00. Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
The Rise and Fall of the Dinosaurs and the Reign of the Mammals
Darwin College Lecture Series
Antarctica:Isolated Continent
Formalisation of mathematics with interactive theorem provers
Some practical problems in formalising mathematics and how to solve them
β οΈ Hybrid talk (please see abstract for link)
SciSoc β Cambridge University Scientific Society
From cells to continents: Understanding how bacteria evolve and transmit
Darwin College Lecture Series
The Closeting of Secrets
Logic and Semantics Seminar (Computer Laboratory)
Bidirectional typing is not just an implementation technique
Formalisation of mathematics with interactive theorem provers
The Liquid Tensor Experiment
Artificial Intelligence Research Group Talks (Computer Laboratory)
When Vision Transformers Meet Cooperative Perception
Cambridge Philosophical Society
G I TAYLOR LECTURE β Some wrinkles in Gaussβ Theorem: Mathematics of everyday objects from Pizza to Umbrellas and Parachutes
β οΈ Please note change to start time of 18.00. Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Space: The Final Front-queer
Darwin College Lecture Series
The Isolation of Asylum Seekers: immigration detention in Australia
Logic and Semantics Seminar (Computer Laboratory)
When Concurrency Strikes
Formalisation of mathematics with interactive theorem provers
How Hilbert met Isabelle: Proof Between Generations
β οΈ Hybrid talk (please see abstract for link)
Artificial Intelligence Research Group Talks (Computer Laboratory)
Concept Embedding Models: Beyond the Accuracy-Explainability Trade-off
Darwin College Lecture Series
On Escaping or Not Escaping Solitude. Persian Tales of Turtles and Pearls
Formalisation of mathematics with interactive theorem provers
Formalised Mathematics: Obstacles and Achievements
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Logic and Semantics Seminar (Computer Laboratory)
String diagrams for semistrict n-categories
Artificial Intelligence Research Group Talks (Computer Laboratory)
A Distance Function based Cascaded Neural Network for accurate Polyps Segmentation and Classification
β οΈ https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Artificial Intelligence Research Group Talks (Computer Laboratory)
Approximate Equivariance SO(3) Needlet Convolution
β οΈ https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Wednesday Seminars - Department of Computer Science and Technology
Using Everyday Routines as a Resource for Understanding Behaviors and Making Recommendations
Artificial Intelligence Research Group Talks (Computer Laboratory)
Global Explainability of GNNs via Logic Combination of Learned Concepts
β οΈ https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Artificial Intelligence Research Group Talks (Computer Laboratory)
The Interpretability of Graph Neural Networks
β οΈ Join Zoom Meeting https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Logic and Semantics Seminar (Computer Laboratory)
The linear operator semantics of probabilistic programs
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning Feynman Diagrams using Graph Neural Networks
β οΈ https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Wednesday Seminars - Department of Computer Science and Technology
Formalised Mathematics: Obstacles and Achievements
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning Multi-Scene Absolute Pose Regression with Transformers
Cambridge Philosophical Society
Lecture - Eureka! How the history of science became a story of discovery
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Sustainable seafood for human health
Logic and Semantics Seminar (Computer Laboratory)
Linear Logic and the Semantics of Concurrent Computation
Wednesday Seminars - Department of Computer Science and Technology
Financing Forests: A Credible Approach towards Halting Tropical Deforestation
Artificial Intelligence Research Group Talks (Computer Laboratory)
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
SciSoc β Cambridge University Scientific Society
Nanoscale Engineering of Plasmonic Materials for Biosensing and Bioimaging
Logic and Semantics Seminar (Computer Laboratory)
On bilinearity of Whitehead products in Homotopy Type Theory
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Turning the metaverse from myth to reality
Artificial Intelligence Research Group Talks (Computer Laboratory)
Graph Neural Networks for Geometric Graphs
Cambridge Philosophical Society
A V HILL Lecture β The Protected Brain: Neurogenesis Under Stress
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Bioelectronic tools to study the gut-brain axis
Logic and Semantics Seminar (Computer Laboratory)
Subcubic certificates for CFL reachability
Artificial Intelligence Research Group Talks (Computer Laboratory)
AI for Science: An Oral Report from a Recent Dagstuhl Workshop
SciSoc β Cambridge University Scientific Society
Reimagining Museum Collecting & Collections in Natural History: A Decolonial Perspective
Cambridge Philosophical Society
Cambridge Darwins in Conversation
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
Logic and Semantics Seminar (Computer Laboratory)
Coherent differentiation makes the differential lambda-calculus deterministic
Artificial Intelligence Research Group Talks (Computer Laboratory)
ACMP: Allen-Cahn Message Passing with Attractive and Repulsive Forces for Graph Neural Networks
β οΈ https://cl-cam-ac-uk.zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09
Cambridge Philosophical Society
Banks, Bunkers, and Backup: Securing Crop Diversity from the Cold War through the Internet Age
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Controlling the cell cycle: A new model
Logic and Semantics Seminar (Computer Laboratory)
Generic pattern unification: a categorical approach
Wednesday Seminars - Department of Computer Science and Technology
Developing an artificial heart
Artificial Intelligence Research Group Talks (Computer Laboratory)
Query-based Hard-Image Retrieval for Object Detection at Test Time
SciSoc β Cambridge University Scientific Society
Why We Aren't Just Great Apes
Logic and Semantics Seminar (Computer Laboratory)
β-type theories and coherence problems
Wednesday Seminars - Department of Computer Science and Technology
Would you trust a cybercriminal?
Cambridge Philosophical Society
Larmor Lecture - The Milky Way Galaxy - from beginning to end
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Climate Change and Planet Earth: A View from the Poles
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
Artificial Intelligence Research Group Talks (Computer Laboratory)
Cancelled! Sorry for inconvenience.
Logic and Semantics Seminar (Computer Laboratory)
The Expressive Power of CSP Quantifiers
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning Backward Compatible Embeddings
β οΈ hybrid event (https://cl-cam-ac-uk.zoom.us/j/92564083880?pwd=Wk5DVWpUc2lIN0krMFU5azEwUGpEUT09)
Logic and Semantics Seminar (Computer Laboratory)
Algebraic type theory
Logic and Semantics Seminar (Computer Laboratory)
Staged Compilation with Two-Level Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Decoding Nets: A Formal Take on Address Translation
Artificial Intelligence Research Group Talks (Computer Laboratory)
The Problem of Size Generalization in Graph Neural Networks
β οΈ Recording: https://www.youtube.com/watch?v=W4jNbgtBl_k
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neighbourhood matching creates realistic surrogate temporal networks
Logic and Semantics Seminar (Computer Laboratory)
Finite-state polynomial computation
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural Sequence Models for Mathematical Reasoning
β οΈ RESCHEDULED, NOTE THE UNUSUAL TIME
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in quantitative semantics
Wednesday Seminars - Department of Computer Science and Technology
Computational Inverse Design of Deployable Structures
Wednesday Seminars - Department of Computer Science and Technology
Balanced Allocations: The Power of Choice versus Noise
Artificial Intelligence Research Group Talks (Computer Laboratory)
Multi-fidelity machine learning models for improved high-throughput screening predictions
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in Reversible Programming
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Wednesday Seminars - Department of Computer Science and Technology
AI Hardware and Real-World AI
The Wheeler Lectures in Computer Science
CANCELLED: Wheeler Lecture 2022
Artificial Intelligence Research Group Talks (Computer Laboratory)
Lifted Relational Neural Networks
Logic and Semantics Seminar (Computer Laboratory)
Game comonads, FVM theorems, and bilinear maps
Wednesday Seminars - Department of Computer Science and Technology
Safe and accurate satellite navigation with non-Gaussian models
Artificial Intelligence Research Group Talks (Computer Laboratory)
On the Two-fold Role of Logic Constraints in Deep Learning
β οΈ https://cl-cam-ac-uk.zoom.us/j/99805544705?pwd=cXR6MTlaeXd6VmEreVdQSmFRblBtUT09
Logic and Semantics Seminar (Computer Laboratory)
The complexity of counting problems
Cambridge Philosophical Society
G I Taylor Lecture - Life in Moving Fluids
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
Cambridge Philosophical Society
Our Quantum World: How Quantum Tehnologies Will Shape the Future - One day meeting
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
SciSoc β Cambridge University Scientific Society
Controlling Drug Transport With Pharmaceutical Nanotechnology
Artificial Intelligence Research Group Talks (Computer Laboratory)
Machine learning as an assay for high-dimensional biology
Cambridge Philosophical Society
Light-rechargeable Batteries: A New tool to Fight Climate Change?
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org
Darwin College Lecture Series
The Political Economy of Conservation and Food Security
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Implicit Complexity
Wednesday Seminars - Department of Computer Science and Technology
Graph Neural Networks through the lens of algebraic topology, differential geometry, and PDEs
SciSoc β Cambridge University Scientific Society
Atmosphere-ocean interactions: Global-scale impacts on tropospheric chemistry
Artificial Intelligence Research Group Talks (Computer Laboratory)
Work in progress: Making efficient use of language models for theorem proving
Darwin College Lecture Series
Archaeology and Discovering the Food of the Past
Logic and Semantics Seminar (Computer Laboratory)
How undecidable are HyperLTL and HyperCTL*?
Wednesday Seminars - Department of Computer Science and Technology
Intelligent Systems of the People, by the People, for the People
SciSoc β Cambridge University Scientific Society
Photosynthesis on an electrode
Cambridge Philosophical Society
Imaging cancer metabolism - Out of the lab and into the clinic
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org or https://www.eventbrite.co.uk/e/lecture-professor-kevin-brindle-tickets-260329090317
Darwin College Lecture Series
Food and Cultural History
Logic and Semantics Seminar (Computer Laboratory)
A categorical view of conditional expectation
Cambridge Philosophical Society
Honorary Fellows Lecture - Using electron microscopy to understand the molecules of life
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org or https://www.eventbrite.co.uk/e/honorary-fellows-lecture-professor-richard-henderson-tickets-260346963777
Wednesday Seminars - Department of Computer Science and Technology
AI x Mathematics
Artificial Intelligence Research Group Talks (Computer Laboratory)
POSTPONED till next week!!!! Work in progress: Making efficient use of language models for theorem proving
β οΈ Postponed till next week
Darwin College Lecture Series
Food as Expression
Logic and Semantics Seminar (Computer Laboratory)
CANCELLED -- The complexity of counting problems
SciSoc β Cambridge University Scientific Society
Lessons for Tuberculosis Pathogenesis and Treatment from the Zebrafish
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural Sheaf Diffusion: A Topological Perspective on Heterophily and Oversmoothing in GNNs
Cambridge Philosophical Society
Should we Automate?
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org or go to https://www.eventbrite.co.uk/e/lecture-professor-duncan-mcfarlane-tickets-250023506037
Cambridge Philosophical Society
Lecture - Professor Graham Burton - title tbc
Darwin College Lecture Series
X-rays and Food Safety
Logic and Semantics Seminar (Computer Laboratory)
Relational databases versus relational models
SciSoc β Cambridge University Scientific Society
Protein Nutrition, Healthy Ageing and Climate Change: How Do We Combine The Three?
Artificial Intelligence Research Group Talks (Computer Laboratory)
Adaptive Gaussian Processes on Graphs via Spectral Graph Wavelets
Darwin College Lecture Series
Food, Power and Society
Logic and Semantics Seminar (Computer Laboratory)
Categorical Foundations of Gradient-Based Learning
Wednesday Seminars - Department of Computer Science and Technology
Improving Quality of Experience for Video Users in Cellular Networks
SciSoc β Cambridge University Scientific Society
Structural Bio in the 21st Century
Artificial Intelligence Research Group Talks (Computer Laboratory)
Brain charts for the human lifespan
Darwin College Lecture Series
Should Cats and Dogs go Vegan?
Wednesday Seminars - Department of Computer Science and Technology
The Quarks of Attention
Artificial Intelligence Research Group Talks (Computer Laboratory)
Advancing mathematics by guiding human intuition with AI
Darwin College Lecture Series
Food and Climate Change
Logic and Semantics Seminar (Computer Laboratory)
Theorem Provers to Protect Democracy: Formally Verified Vote-Counting-Software
Logic and Semantics Seminar (Computer Laboratory)
Comparing general definitions of type theories
Cambridge University Railway Club
CURC Talk: Keith Williams
SciSoc β Cambridge University Scientific Society
Birdwatching through Geological Time: A Paleontological Perspective on Avian Evolution
Artificial Intelligence Research Group Talks (Computer Laboratory)
An Introduction to Federated Learning and its Applications in Medicine
Logic and Semantics Seminar (Computer Laboratory)
A computational method for left adjointness
SciSoc β Cambridge University Scientific Society
Energy and Matter at the Origin of Life
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning on Graphs with Missing Node Features
Cambridge Philosophical Society
The Biology of Eating
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org or go to https://www.eventbrite.co.uk/e/lecture-by-professor-sadaf-farooqi-tickets-188170812967
Logic and Semantics Seminar (Computer Laboratory)
Towards a geometry for syntax
SciSoc β Cambridge University Scientific Society
To COVID-19 Detection: How physics can be used to create novel tests for viruses
Artificial Intelligence Research Group Talks (Computer Laboratory)
Weisfeiler and Lehman Go Cellular: CW Networks
Logic and Semantics Seminar (Computer Laboratory)
Enriched categories for optimal transport
SciSoc β Cambridge University Scientific Society
Hunting for dark matter at the Large Hadron Collider
Artificial Intelligence Research Group Talks (Computer Laboratory)
Gaussian Processes on Graphs via Spectral Kernel Learning
Cambridge Philosophical Society
Urban tunneling - the challenges of creating underground space in historic cities
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org or go to https://www.eventbrite.co.uk/e/lecture-professor-giulia-viggiani-infrastructure-geotechnics-tickets-188169037657
Logic and Semantics Seminar (Computer Laboratory)
A formal context for metric semantics
Cambridge Philosophical Society
Honorary Fellows Lecture - Should we trust statistics?
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org or go to https://www.eventbrite.co.uk/e/honorary-fellows-lecture-professor-sir-david-spiegelhalter-frs-obe-tickets-188164062777
Wednesday Seminars - Department of Computer Science and Technology
Self-Organization of Lifelike Behaviors
SciSoc β Cambridge University Scientific Society
Could we treat mental health disorders by disrupting maladaptive memories?
Logic and Semantics Seminar (Computer Laboratory)
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Wednesday Seminars - Department of Computer Science and Technology
Remote sensing and computer vision β just analysis of images from different sensors?
SciSoc β Cambridge University Scientific Society
Who Cares about the History of Science?
Cambridge Philosophical Society
A V Hill Lecture - The Rewarded Brain
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org or go to https://www.eventbrite.co.uk/e/a-v-hill-lecture-professor-wolfram-schultz-tickets-181588946427
Logic and Semantics Seminar (Computer Laboratory)
CaTT, a type-theory to describe weak omega-categories
SciSoc β Cambridge University Scientific Society
The Physics of Can and Can't
Wednesday Seminars - Department of Computer Science and Technology
CO2 Monitoring in the Department
SciSoc β Cambridge University Scientific Society
The Amazing World of RNA
Logic and Semantics Seminar (Computer Laboratory)
Quantum Software in 2021: Patterns and Problems
SciSoc β Cambridge University Scientific Society
The Exoplanet Revolution
Artificial Intelligence Research Group Talks (Computer Laboratory)
3D Pre-training improves GNNs for Molecular Property Prediction
Cambridge Philosophical Society
Larmor Lecture - Covid, Chaos and Climate: How mathematical models help to explain the universe
β οΈ Check website for latest updates and booking information http://www.cambridgephilosophicalsociety.org or go to https://www.eventbrite.co.uk/e/larmor-lecture-professor-chris-budd-tickets-177983973857
Wednesday Seminars - Department of Computer Science and Technology
A Retrospective on the 2014 NeurIPS Experiment
Artificial Intelligence Research Group Talks (Computer Laboratory)
Unlocking Deep Learning for Graphs
Wednesday Seminars - Department of Computer Science and Technology
The Statistical Finite Element Method
Artificial Intelligence Research Group Talks (Computer Laboratory)
Structure-aware generation of molecules in protein pockets
Wednesday Seminars - Department of Computer Science and Technology
Morello - Arm's research prototype using Capabilities
Wednesday Seminars - Department of Computer Science and Technology
Computation, Composition
Artificial Intelligence Research Group Talks (Computer Laboratory)
Geometric Deep Learning: Grids, Graphs, Groups, Geodesics, and Gauges
The Wheeler Lectures in Computer Science
Wheeler Lecture 2021: Reimagining Robots
Artificial Intelligence Research Group Talks (Computer Laboratory)
Weisfeiler and Lehman Go Topological: Message Passing Simplicial Networks
Wednesday Seminars - Department of Computer Science and Technology
Programming languages for humans
Artificial Intelligence Research Group Talks (Computer Laboratory)
Towards Robust and Reliable Model Explanations
Artificial Intelligence Research Group Talks (Computer Laboratory)
Predicting outcome for psychotic disorders, using brain connectivity and transcribed speech data
Logic and Semantics Seminar (Computer Laboratory)
Unfinity Categories
Cambridge Philosophical Society
G I Taylor Lecture - title to be confirmed
β οΈ YouTube upload date to follow soon
Cambridge Philosophical Society
Phylogenetic network analysis of SARS-CoV-2 genomes - tracing the origins of the epidemic
β οΈ YouTube upload date to follow soon
Cambridge Philosophical Society
LECTURE - title to be confirmed
β οΈ YouTube upload date to follow soon
Cambridge Philosophical Society
Universal Darwinism: A Health Check at Forty
β οΈ YouTube upload date to follow soon
Cambridge University Railway Club
Alternative Railway Traction for the UK Network (Debate)
SciSoc β Cambridge University Scientific Society
Mass spectrometry: From ribosomes to receptors
Artificial Intelligence Research Group Talks (Computer Laboratory)
Message-Aware Graph Attention Networks for Large-Scale Multi-Robot Path Planning
SciSoc β Cambridge University Scientific Society
The art of conversation
Darwin College Lecture Series
Blood Sculptures
Wednesday Seminars - Department of Computer Science and Technology
Modelling syntactico-semantic composition for natural language understanding and generation
SciSoc β Cambridge University Scientific Society
Cancer evolution, immune evasion and metastasis
Artificial Intelligence Research Group Talks (Computer Laboratory)
Computational foundations of morphogenomics
Darwin College Lecture Series
Cold Blood
Cambridge University Railway Club
Mark Thurston - CEO of High Speed 2 (HS2)
SciSoc β Cambridge University Scientific Society
Challenges in the development of therapy for Duchenne muscular dystrophy
Artificial Intelligence Research Group Talks (Computer Laboratory)
Landscape and Gaps in Open Source Fairness Toolkits
Cambridge Philosophical Society
Larmor Lecture - Climate change and cascading risks
β οΈ YouTube Lecture available online now
Cambridge Philosophical Society
A V Hill Lecture - Kings and Queens of the Mountain: Studies of Extreme Physiology in Himalayan Sherpas
β οΈ YouTube Lecture available online now
Cambridge Philosophical Society
Lecture - Modern Molecular Science and How is it Changing our Life - Dr Ljiljana Fruk
β οΈ YouTube Lecture available online now
Darwin College Lecture Series
Blood villains and heros
Wednesday Seminars - Department of Computer Science and Technology
Data driven design for sustainable future cities: incorporating the intangible
SciSoc β Cambridge University Scientific Society
Observing the light of the distant Universe
Artificial Intelligence Research Group Talks (Computer Laboratory)
Machine Learning and String theory
Darwin College Lecture Series
Bloodlines of the British
Wednesday Seminars - Department of Computer Science and Technology
Theoretical Foundations of Graph Neural Networks
SciSoc β Cambridge University Scientific Society
Technologies for scalably modeling and simulating whole cells
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural ODE Processes
SciSoc β Cambridge University Scientific Society
PechaKucha - SciSoc Edition!
Darwin College Lecture Series
Dracula, Vampires and the New Woman
SciSoc β Cambridge University Scientific Society
Advances in Breast Cancer: From Molecular Science to Patients in the Clinic
Darwin College Lecture Series
Blood in Motion: The Physics of Blood Flow
Wednesday Seminars - Department of Computer Science and Technology
The Compelling World of Augmented Perception - A Perspective on Sensory Wearables
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning under model misspecification
Darwin College Lecture Series
Transitional Bleeding in Early Modern England
Logic and Semantics Seminar (Computer Laboratory)
Promising ARMv8/RISC-V relaxed memory
Cambridge Philosophical Society
ONLINE LECTURE - title to be confirmed
β οΈ ONLINE LECTURE - YOUTUBE UPLOAD DATE TO FOLLOW SOON
Wednesday Seminars - Department of Computer Science and Technology
Reconciling Temporalities in Relating Different Worlds
SciSoc β Cambridge University Scientific Society
Ripples from the dark side of the universe
Artificial Intelligence Research Group Talks (Computer Laboratory)
Latent Action Space for Offline Reinforcement Learning
Darwin College Lecture Series
Battle Blood
Artificial Intelligence Research Group Talks (Computer Laboratory)
Debugging Machine Learning Code
Artificial Intelligence Research Group Talks (Computer Laboratory)
Predicting material properties with the help of machine learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
Improving the Aggregation in Graph Networks: can nodes understand their neighbourhood?
SciSoc β Cambridge University Scientific Society
Tips and Tricks for Inventing the Future
β οΈ Last talk of term
Artificial Intelligence Research Group Talks (Computer Laboratory)
Wasserstein Natural Gradients for Reinforcement Learning
SciSoc β Cambridge University Scientific Society
Misinformation in the Digital Age: A Panel
β οΈ Please note this panel is on a Monday.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Graph Neural Networks for Biomedical Data
β οΈ Note the change of date and time. This seminar is part of the Wednesday seminar series too.
Wednesday Seminars - Department of Computer Science and Technology
Graph Neural Networks for Biomedical Data
β οΈ This seminar is part of the Artificial Intelligence Group Talk series too.
SciSoc β Cambridge University Scientific Society
Can genomics improve health in Africa? Experience from sickle cell disease in Tanzania
Logic and Semantics Seminar (Computer Laboratory)
Fully Abstract Models of Call-by-Value Languages, Γ la O'Hearn & Riecke
SciSoc β Cambridge University Scientific Society
On the interactions between our industrial system and the natural system
Artificial Intelligence Research Group Talks (Computer Laboratory)
What is Next for the Efficient Machine Learning Revolution?
Logic and Semantics Seminar (Computer Laboratory)
LovΓ‘sz' Theorem and Comonads in Finite Model Theory
SciSoc β Cambridge University Scientific Society
Human Cell Atlas: Mapping the human body one cell at a time
Artificial Intelligence Research Group Talks (Computer Laboratory)
Second Order Behaviour in Augmented Neural ODEs
Logic and Semantics Seminar (Computer Laboratory)
Free Commutative Monoids in Homotopy Type Theory
SciSoc β Cambridge University Scientific Society
DNA: Inspiring building blocks that made me a learner in perpetuity
Artificial Intelligence Research Group Talks (Computer Laboratory)
Modulated Bayesian Optimisation
Logic and Semantics Seminar (Computer Laboratory)
Symmetric Arithmetic Circuits
SciSoc β Cambridge University Scientific Society
New Materials for a New Age
β οΈ Note that this talk is on a Wednesday
Wednesday Seminars - Department of Computer Science and Technology
Haar Graph Pooling
Cambridge University Railway Club
CURC Talk: Rob Brighouse - Chairman of East West Rail
SciSoc β Cambridge University Scientific Society
Combustion Transition: tackling climate change at its source
β οΈ In collaboration with CUSPE and CUSISS
Artificial Intelligence Research Group Talks (Computer Laboratory)
Constraining Variational Inference with Geometric Jensen-Shannon Divergence
Logic and Semantics Seminar (Computer Laboratory)
Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution
Cambridge University Railway Club
CURC Talk: Richard McClean - MD of Grand Central
SciSoc β Cambridge University Scientific Society
Why is sleep good for you?
Artificial Intelligence Research Group Talks (Computer Laboratory)
Predicting Mortality and Length of Stay with Patient Graph Representation Learning
Logic and Semantics Seminar (Computer Laboratory)
Incrementality xor currency for monotone fixed points
SciSoc β Cambridge University Scientific Society
Ice cores and interglacials
Artificial Intelligence Research Group Talks (Computer Laboratory)
Sponge Examples: Energy-Latency Attacks on Neural Networks
Logic and Semantics Seminar (Computer Laboratory)
Higher Algebra in Computer Science
SciSoc β Cambridge University Scientific Society
Coding and Decoding of Calcium Signals in Plants
SciSoc β Cambridge University Scientific Society
Tools for Analyzing and Repairing Biological Systems
Artificial Intelligence Research Group Talks (Computer Laboratory)
Emergent Multi-Agent Communication: The story so far
Artificial Intelligence Research Group Talks (Computer Laboratory)
A Weighting Based Adversarial Approach to Fairness in Machine Learning
Wednesday Seminars - Department of Computer Science and Technology
Addressing Imbalance in Object Detection
Artificial Intelligence Research Group Talks (Computer Laboratory)
Adversarial Explanations - You Shouldn't Trust Me: Learning Models Which Conceal Unfairness From Multiple Explanation Methods
Artificial Intelligence Research Group Talks (Computer Laboratory)
Developing a Concept-Oriented Search Engine for Isabelle Based on Natural Language : Technical Challenges
SciSoc β Cambridge University Scientific Society
Studies in Natural Product Synthesis
Artificial Intelligence Research Group Talks (Computer Laboratory)
Graph Representation Learning under Uncertainty (WIP)
The Wheeler Lectures in Computer Science
Wheeler Lecture 2020: The Future of Microprocessors
Artificial Intelligence Research Group Talks (Computer Laboratory)
Temporal Pointwise Convolutional Networks for Length of Stay Prediction in the Intensive Care Unit
Cambridge Philosophical Society
Meeting Cancelled - Science and the Futures of Medicine - One Day meeting
β οΈ Meeting has been cancelled
SciSoc β Cambridge University Scientific Society
COVID-19: the cause, the disease and the response
β οΈ Canceled
Logic and Semantics Seminar (Computer Laboratory)
A Syntactic View of Computational Adequacy
SciSoc β Cambridge University Scientific Society
Electroreception: A βSixth Senseβ
Logic and Semantics Seminar (Computer Laboratory)
Tests and Proofs in Isabelle
Artificial Intelligence Research Group Talks (Computer Laboratory)
Learning evolving node and community representations on dynamic graphs
Cambridge Philosophical Society
Vibration and Acoustics of Everyday Things
Darwin College Lecture Series
Archaeological Mysteries
Logic and Semantics Seminar (Computer Laboratory)
Aspects of my formal development work
Logic and Semantics Seminar (Computer Laboratory)
Automating proof by induction in Isabelle/HOL using domain-specific languages
SciSoc β Cambridge University Scientific Society
Natural Justice: Soil Science and Criminal Investigations
Artificial Intelligence Research Group Talks (Computer Laboratory)
Deep Graph Mapper: Seeing Graphs through the Neural Lens
Logic and Semantics Seminar (Computer Laboratory)
Formal Foundations for Provably Safe Web Components
Darwin College Lecture Series
Eruptions, Emissions and Enigmas: from fuming volcanic vents to mass extinction events
Logic and Semantics Seminar (Computer Laboratory)
A duality theoretic view on limits of finite structures
Logic and Semantics Seminar (Computer Laboratory)
Cerberus C semantics & pointer provenance
Cambridge Philosophical Society
HONORARY FELLOWS LECTURE - What is epigenetics? And is it important?
β οΈ A COMPLIMENTARY DRINKS RECEPTION TO FOLLOW ON AFTER THE LECTURE WILL TAKE PLACE IN THE FOYER TO THE LECTURE THEATRE FOR ALL ATTENDEES
SciSoc β Cambridge University Scientific Society
Like the Back of Your Hand
Artificial Intelligence Research Group Talks (Computer Laboratory)
Knowledge Graph Convolutional Networks - Combining ML and Reasoning
Cambridge Philosophical Society
Simpson's question: How does behaviour determine evolution?
Logic and Semantics Seminar (Computer Laboratory)
Computation via Substructures
Darwin College Lecture Series
The Enigmatic Premodern Book
Logic and Semantics Seminar (Computer Laboratory)
A Profunctorial Finiteness Semantics
Wednesday Seminars - Department of Computer Science and Technology
Soft Aerial Robotics for Digital Infrastructure Systems
SciSoc β Cambridge University Scientific Society
What Fuels Cancer Killers!
Artificial Intelligence Research Group Talks (Computer Laboratory)
Some ideas on neural network modulation
Darwin College Lecture Series
The Enigma of Emotion
Wednesday Seminars - Department of Computer Science and Technology
Climate, Carbon, and Computer Science
SciSoc β Cambridge University Scientific Society
Natural Language Processing for Health
Artificial Intelligence Research Group Talks (Computer Laboratory)
KRAB zinc fingers, transposable elements and the evolution of gene regulatory networks
Artificial Intelligence Research Group Talks (Computer Laboratory)
Machine learning for network inference
Cambridge Philosophical Society
Modern Molecular Science and How It Is Changing Our Life
Darwin College Lecture Series
Alan Turing and the Enigma Machine
Wednesday Seminars - Department of Computer Science and Technology
Machine Learning at the Extreme Edge - an Open Platform Approach
SciSoc β Cambridge University Scientific Society
Physics Meets Biology: How Cells Control Their shape and Why It Matters
Artificial Intelligence Research Group Talks (Computer Laboratory)
Non-convex Optimisation Using the Polyak-Εojasiewicz Inequality
Darwin College Lecture Series
Decoding the Heavens: The Antikythera Mechanism
SciSoc β Cambridge University Scientific Society
Regulating Innovation: Policy-Making in Reproductive Technologies
Artificial Intelligence Research Group Talks (Computer Laboratory)
Flexible deep learning for heterogeneous clinical time series
Cambridge Philosophical Society
G I TAYLOR LECTURE - The Silent Flight of the Owl
Darwin College Lecture Series
Mysteries of Modern Physics
Wednesday Seminars - Department of Computer Science and Technology
Digital Modeling of Reality with Machine Learning
Artificial Intelligence Research Group Talks (Computer Laboratory)
Abstract Diagrammatic Reasoning with Multiplex Graph Networks
Darwin College Lecture Series
Human Origins
Artificial Intelligence Research Group Talks (Computer Laboratory)
A Geometrical Perspective on Deep Neural Networks
Artificial Intelligence Research Group Talks (Computer Laboratory)
MARLeME: A Multi-Agent Reinforcement Learning Model Extraction Library
Logic and Semantics Seminar (Computer Laboratory)
Quantum things 3 - Resources and Co-resources
Logic and Semantics Seminar (Computer Laboratory)
Modular Relaxed Dependencies in Weak Memory Concurrency
SciSoc β Cambridge University Scientific Society
Coffee Stains, Cell Receptors and Time Crystals: Lessons from the Old Literature
Artificial Intelligence Research Group Talks (Computer Laboratory)
Work in progress: Diving deeper into building distributed representations graphs
Artificial Intelligence Research Group Talks (Computer Laboratory)
AI, Data Science & Mechanism Design in Sub-Saharan Africa
SciSoc β Cambridge University Scientific Society
Mathematics vs Dementia
Artificial Intelligence Research Group Talks (Computer Laboratory)
Model extraction for clinical decision support systems
Cambridge Philosophical Society
The Spirit of Inquiry: how the Cambridge Philosophical Society shaped modern science
SciSoc β Cambridge University Scientific Society
An evening with Lynn Rothschild
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Earphones: The Next Significant Platform after Smartphones
SciSoc β Cambridge University Scientific Society
Is Obesity a Choice?
Artificial Intelligence Research Group Talks (Computer Laboratory)
Finding an Analogy
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 2 - The quantum monad on relational structures
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 1 - Monads, comonads, and resource-limited computation
Wednesday Seminars - Department of Computer Science and Technology
The Digital Architecture of Future Cities
SciSoc β Cambridge University Scientific Society
Communicating Risk and Uncertainty
Artificial Intelligence Research Group Talks (Computer Laboratory)
Matrix Means for Signed and Multilayer Graph Clustering
Cambridge Philosophical Society
How to Hunt a Submarine
Artificial Intelligence Research Group Talks (Computer Laboratory)
Rule extraction from deep neural nets
Logic and Semantics Seminar (Computer Laboratory)
Haskelly things
Wednesday Seminars - Department of Computer Science and Technology
Deep learning on graphs and manifolds: going beyond Euclidean data
SciSoc β Cambridge University Scientific Society
Stem Cell Ageing: Reversing the Ravages of Time
Artificial Intelligence Research Group Talks (Computer Laboratory)
Machine Learning Systems Design
SciSoc β Cambridge University Scientific Society
Neurophysics and Neuroengineering of space, time and imagination
Wednesday Seminars - Department of Computer Science and Technology
StructureNet: Hierarchical Graph Networks for 3D Shape Generation
SciSoc β Cambridge University Scientific Society
10 Years of HPV Vaccines - The Global Experience
Artificial Intelligence Research Group Talks (Computer Laboratory)
Question Answering in Realistic Visual Environments: Challenges and Approaches
Cambridge Philosophical Society
Cancer: when friends become foes, and how to make them friends again
Artificial Intelligence Research Group Talks (Computer Laboratory)
Neural networks to model probability densities in quantum chromodynamics
Artificial Intelligence Research Group Talks (Computer Laboratory)
Quantile QT-Opt for Risk-Aware Vision-Based Robotic Grasping
SciSoc β Cambridge University Scientific Society
Dressed to Kill: What do Infectious Disease Agents Have in their Wardrobes?
Artificial Intelligence Research Group Talks (Computer Laboratory)
Verifiable robustness of neural networks in autonomous vehicles.
Cambridge Philosophical Society
LARMOR LECTURE - Design of Tissue Engineering Scaffolds - Still Learning our ABC?
Logic and Semantics Seminar (Computer Laboratory)
The way of the empty proof
SciSoc β Cambridge University Scientific Society
How To - An Evening with Randall Monroe
Artificial Intelligence Research Group Talks (Computer Laboratory)
A human-oriented term rewriting system
Logic and Semantics Seminar (Computer Laboratory)
Local reasoning for robust observational equivalence
Logic and Semantics Seminar (Computer Laboratory)
Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance
Wednesday Seminars - Department of Computer Science and Technology
Security and Privacy in a World of Safety: Analysing Avionic Data Links and NextGen ATC Networks
Wednesday Seminars - Department of Computer Science and Technology
The Principle of Least Cognitive Action
Logic and Semantics Seminar (Computer Laboratory)
Retrofitting Purity with Comonads and Capabilities
The Wheeler Lectures in Computer Science
Combining Formal Methods and Machine Learning
Logic and Semantics Seminar (Computer Laboratory)
Hardness magnification near state-of-the-art lower bounds
Logic and Semantics Seminar (Computer Laboratory)
An Overview of the Flix Programming Language
Wednesday Seminars - Department of Computer Science and Technology
How to design a programming language
Artificial Intelligence Research Group Talks (Computer Laboratory)
Interpretable Deep Learning
Wednesday Seminars - Department of Computer Science and Technology
Hand Tracking on HoloLens 2
Logic and Semantics Seminar (Computer Laboratory)
Resource-oriented programming with graded modal types
Logic and Semantics Seminar (Computer Laboratory)
Uncertainty is hope: towards a unified foundation of gradual typing
Logic and Semantics Seminar (Computer Laboratory)
Push versus Pull-Based Loop Fusion in Query Engines
Logic and Semantics Seminar (Computer Laboratory)
Stacked Borrows: An Aliasing Model for Rust
Logic and Semantics Seminar (Computer Laboratory)
Excel Formulae: a PL perspective
Cambridge Philosophical Society
200TH ANNIVERSARY TWO-DAY MEETING - The Futures of Sciences
β οΈ 200TH ANNIVERSARY TWO DAY MEETING FREE ENTRY - OPEN TO ALL - NO BOOKING REQUIRED
Cambridge Philosophical Society
200TH ANNIVERSARY TWO-DAY MEETING - The Futures of Sciences
β οΈ 200TH ANNIVERSARY TWO DAY MEETING - FREE ENTRY - OPEN TO ALL - NO BOOKING REQUIRED
Wednesday Seminars - Department of Computer Science and Technology
Representation Learning on Graphs
Logic and Semantics Seminar (Computer Laboratory)
Linear Capabilities: an overview
Logic and Semantics Seminar (Computer Laboratory)
Linear capabilities for fully abstract compilation of separation-logic-verified code
Logic and Semantics Seminar (Computer Laboratory)
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
SciSoc β Cambridge University Scientific Society
Statistical Physics and The Arrow of Life
Cambridge Philosophical Society
Supertall Timber: impossibly high wooden skyscrapers
Darwin College Lecture Series
Perception of Visual Space
SciSoc β Cambridge University Scientific Society
How We Make a Billion Antibodies: Genetics and Epigenetics
SciSoc β Cambridge University Scientific Society
Mitochondria Tansfer: a 25 Year Project
Darwin College Lecture Series
Computer Vision
Cambridge University Railway Club
Andy Cooper, Managing Director of CrossCountry
Wednesday Seminars - Department of Computer Science and Technology
DevOps and Cloud Native development in the University of Cambridge
SciSoc β Cambridge University Scientific Society
To What Extent is the Human Species Slowing Down?
Cambridge Philosophical Society
A V HILL LECTURE - Cardiac Arrest: From Genes to Mechanisms to Mind
Darwin College Lecture Series
Viewing the Universe
Logic and Semantics Seminar (Computer Laboratory)
A domain theory for statistical probabilistic programming
Wednesday Seminars - Department of Computer Science and Technology
Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation
SciSoc β Cambridge University Scientific Society
Are we on the Road to Collapse?
Artificial Intelligence Research Group Talks (Computer Laboratory)
Dilated DenseNets for Relational Reasoning
Darwin College Lecture Series
Appearance and Physical Reality
Cambridge University Railway Club
Sir Peter Hendy, Chairman of Network Rail
Wednesday Seminars - Department of Computer Science and Technology
Make Switches Simple Again!
SciSoc β Cambridge University Scientific Society
Language and Artificial Intelligence
Cambridge Philosophical Society
When algebra meets geometry
Darwin College Lecture Series
Vision of Future Technology
Cambridge Philosophical Society
HONORARY FELLOWS LECTURE - The Fuel of Life
β οΈ A COMPLIMENTARY DRINKS RECEPTION TO FOLLOW ON AFTER THE LECTURE WILL TAKE PLACE IN THE FOYER TO THE LECTURE THEATRE FOR ALL ATTENDEES
Wednesday Seminars - Department of Computer Science and Technology
Perpetual Computing: Technologies for Banishing Batteries
SciSoc β Cambridge University Scientific Society
Nuclear fusion technology
Artificial Intelligence Research Group Talks (Computer Laboratory)
Quick intro to building and analysing distributed representation of graphs
Darwin College Lecture Series
Evolution of the Eye
Wednesday Seminars - Department of Computer Science and Technology
The Magic of Machine Learning and Classifier ensembles
SciSoc β Cambridge University Scientific Society
Gravitational Wave Astrophysics: the Shape of Things to Come
Cambridge Philosophical Society
G I TAYLOR LECTURE - Fluctuations in the life of a cell: maintaining order amidst disorder
Cambridge University Railway Club
Geoff Marshall and Vicki Pipe, All The Stations
Darwin College Lecture Series
Colour and Vision
Wednesday Seminars - Department of Computer Science and Technology
Imitation learning for structured prediction
Darwin College Lecture Series
Visions
Logic and Semantics Seminar (Computer Laboratory)
Project Everest: towards a verified TLS ecosystem
Wednesday Seminars - Department of Computer Science and Technology
From molecules to recurrent visual hallucinations: multimodal imaging and computational modelling of Dementia with Lewy bodies
SciSoc β Cambridge University Scientific Society
Understanding cellular heterogeneity in pancreatic cancer
Logic and Semantics Seminar (Computer Laboratory)
Verifying Concurrent Search Structure Templates
SciSoc β Cambridge University Scientific Society
Academic Internships event!
Wednesday Seminars - Department of Computer Science and Technology
Computational Imaging for Realistic Appearance Modelling
SciSoc β Cambridge University Scientific Society
Non coding RNA and normal botany
Logic and Semantics Seminar (Computer Laboratory)
PP is not a monad
Cambridge Philosophical Society
The combinatorics of spaghetti hoops
Logic and Semantics Seminar (Computer Laboratory)
Lower bound for arithmetic circuits via Hankel matrix
Wednesday Seminars - Department of Computer Science and Technology
Failing with Style: Why and How we Should Encourage Humans to Fail with Highly Capable Systems
Wednesday Seminars - Department of Computer Science and Technology
Scalable Intelligent Systems by 2025
SciSoc β Cambridge University Scientific Society
Particle Physics & CERN
Cambridge Philosophical Society
Lecture has been cancelled - This Antibiotics from Darwinβs chemistry set
β οΈ This lecture has been cancelled
SciSoc β Cambridge University Scientific Society
Rejuvenation biotechnology: why age may soon cease to mean aging
Wednesday Seminars - Department of Computer Science and Technology
Stylus input and the benefits of a standard
SciSoc β Cambridge University Scientific Society
Influenza pandemics: past and future
Cambridge Philosophical Society
Manipulating light at the nanoscale with plasmonics
Wednesday Seminars - Department of Computer Science and Technology
A journey into interdisciplinary research
SciSoc β Cambridge University Scientific Society
Drug discovery with machine learning: Towards a new way of thinking about molecules
Wednesday Seminars - Department of Computer Science and Technology
Machine learning for medicine: Predicting, pre-empting and treating disease
SciSoc β Cambridge University Scientific Society
CRISPR based gene drive approaches for population control of malaria mosquitoes
Cambridge Philosophical Society
LARMOR LECTURE - Why the Ancient Continents are special: a geological detective story
Logic and Semantics Seminar (Computer Laboratory)
Quasi-polynomial solutions for parity games and other problems
Logic and Semantics Seminar (Computer Laboratory)
Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing
Logic and Semantics Seminar (Computer Laboratory)
Graphical Conjunctive Queries
Logic and Semantics Seminar (Computer Laboratory)
Automated Full-Stack Memory Model Verification with the Check suite
Logic and Semantics Seminar (Computer Laboratory)
Polynomial models of type theory
Logic and Semantics Seminar (Computer Laboratory)
Types and Safety of Lock-free Data Structures
Logic and Semantics Seminar (Computer Laboratory)
The direct approach to evaluation order
Logic and Semantics Seminar (Computer Laboratory)
Compositional Compiler Verification for a Multi-Language World
Cambridge University Railway Club
Office for Rail & Road (ORR)
Logic and Semantics Seminar (Computer Laboratory)
From global to local state in game semantics via the sequoid
The Wheeler Lectures in Computer Science
The Wheeler Lecture In Computer Science: Language, Learning, and Creativity
Logic and Semantics Seminar (Computer Laboratory)
Quantitative equational reasoning
Wednesday Seminars - Department of Computer Science and Technology
Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents
Cambridge University Railway Club
RevolutioN Trains
Logic and Semantics Seminar (Computer Laboratory)
Scheduling Tasks for Reconfigurable Architecture
Wednesday Seminars - Department of Computer Science and Technology
A New Era of Open-Source System-on-Chip Design
Cambridge University Railway Club
West Midland Railway with Jan Chaudhry
Wednesday Seminars - Department of Computer Science and Technology
Latent Variable Model, Matrix Estimation and Collaborative Filtering
Logic and Semantics Seminar (Computer Laboratory)
Lecture 3: Logic for Program Development, Verification and Implementation.
Wednesday Seminars - Department of Computer Science and Technology
No Seminar Today
Cambridge University Railway Club
How to make a nationalised railway work? Jonathan Tyler presents.
Logic and Semantics Seminar (Computer Laboratory)
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries
Cambridge Philosophical Society
What we donβt know about the Universe from the very small to the very big : ONE DAY MEETING
β οΈ ONE DAY MEETING FREE ENTRY NO BOOKING REQUIRED
SciSoc β Cambridge University Scientific Society
Microsoft: Quantum Computing
Cambridge University Railway Club
The Digital Railway - Network Rail
Wednesday Seminars - Department of Computer Science and Technology
Embedding Musical Codes into an Interactive Piano Composition
β οΈ Sadly, today's seminar shall not take place owing to strike action.
SciSoc β Cambridge University Scientific Society
Improving on Nature: Biotechnology and the Ethics of Animal Enhancement
Cambridge Philosophical Society
New micro-machines, new materials
Darwin College Lecture Series
Animal Migration
Logic and Semantics Seminar (Computer Laboratory)
Left Exact Modalities in Type Theory
SciSoc β Cambridge University Scientific Society
The Beginning of Our Universe and what we don't know about Physics
Cambridge University Railway Club
Eurostar with Philippe Mouly
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Group Project Presentations
Darwin College Lecture Series
Migration in Science
Cambridge University Railway Club
Hornby Model Railways
Wednesday Seminars - Department of Computer Science and Technology
The Exposome in Epidemiological Practice
β οΈ Sadly today's seminar shall not take place owing to snowy travel conditions.
SciSoc β Cambridge University Scientific Society
Human Brain Development Modelled in a Dish
Cambridge Philosophical Society
A V HILL LECTURE - The cortex and the hand of the primate: a special relationship
Darwin College Lecture Series
The Partition of India and Migration
Logic and Semantics Seminar (Computer Laboratory)
Modular Algorithm Analysis
Wednesday Seminars - Department of Computer Science and Technology
Exploring the mechanisms of haematopoietic lineage progression at the single-cell level
SciSoc β Cambridge University Scientific Society
Synthesising Molecular Function: Shape Matters
Darwin College Lecture Series
Disease Migration
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
Cambridge University Railway Club
Renationalisation of the Railways. A CU Railway Club Public Debate.
Wednesday Seminars - Department of Computer Science and Technology
Kiwi Scientific Acceleration on FPGA
SciSoc β Cambridge University Scientific Society
Paracelsus' Chickens - Strange Tales from the History of Chemistry
Logic and Semantics Seminar (Computer Laboratory)
Lecture 2: Algebraic Theory of Program Transformation
Cambridge Philosophical Society
Magnetic microscopy of meteorites: probing the magnetic state of the early solar system
Darwin College Lecture Series
Refugees and Migration
Cambridge University Railway Club
Arriva Trains Wales by Tom Joyner
Cambridge Philosophical Society
HONORARY FELLOWS PRIZE LECTURE - Towards a silent aircraft
β οΈ A COMPLIMENTARY DRINKS RECEPTION TO FOLLOW ON AFTER THE LECTURE WILL TAKE PLACE IN THE FOYER TO THE LECTURE THEATRE FOR ALL ATTENDEES
Wednesday Seminars - Department of Computer Science and Technology
Private Statistics and Their Applications to Distributed Learning: Tools and Challenges
SciSoc β Cambridge University Scientific Society
The Particulars of Particulates: Granular Research on Dunes and Avalanches
Darwin College Lecture Series
Art and Migration
SciSoc β Cambridge University Scientific Society
Light, Sleep & Circadian Rhythms-Biology to Therapeutics
Wednesday Seminars - Department of Computer Science and Technology
Amazon Alexa
Cambridge Philosophical Society
G I TAYLOR LECTURE - Waves in the airways: a carpet of microscopic rowers keeps us alive
Darwin College Lecture Series
Immigration and Freedom
Logic and Semantics Seminar (Computer Laboratory)
Atomicity Abstractions in Relaxed Memory Architectures
Computer Laboratory Programming Research Group Seminar
Energy Efficient Compilation of Irregular Task-Parallel Loops
Cambridge University Railway Club
East West Railway Company - Oxford to Cambridge Varsity Line for the 21st Century
Wednesday Seminars - Department of Computer Science and Technology
THEMIS: Fairness in Federated Stream Processing under Overload
SciSoc β Cambridge University Scientific Society
It's Not All About The Science
Logic and Semantics Seminar (Computer Laboratory)
Logic Programming, Semantics, and a Bit of Cleverness
Cambridge University Railway Club
National Infrastructure Commission
Darwin College Lecture Series
Black and British Migration
Logic and Semantics Seminar (Computer Laboratory)
A Geometric Theory of Program Testing.
Logic and Semantics Seminar (Computer Laboratory)
The Linux Kernel Concurrency Model
Logic and Semantics Seminar (Computer Laboratory)
Effective Stateless Model Checking for C/C++ Concurrency
Logic and Semantics Seminar (Computer Laboratory)
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Wednesday Seminars - Department of Computer Science and Technology
Hands-on Generative Programming: Write an Interpreter, Build a Compiler.
SciSoc β Cambridge University Scientific Society
Open Data and the Future of Science
SciSoc β Cambridge University Scientific Society
Providing Science Advice to the Government
Cambridge University Railway Club
Crossrail 2
Wednesday Seminars - Department of Computer Science and Technology
Using Modern C++ - stepping up to C++14/17
Cambridge Philosophical Society
Strategic brain routes for learning and plasticity
Cambridge University Railway Club
South Western Railway
Wednesday Seminars - Department of Computer Science and Technology
When Robots Hit the Road: New Challenges in Multi-Vehicle Coordination and Control
SciSoc β Cambridge University Scientific Society
Living in the Cold
Logic and Semantics Seminar (Computer Laboratory)
Reasoning beyond data-race freedom
Logic and Semantics Seminar (Computer Laboratory)
Designing Verifiable Cache Coherence Protocols
Cambridge University Railway Club
London Overground
Wednesday Seminars - Department of Computer Science and Technology
Open source β 19th C. capitalism re-invented ?
SciSoc β Cambridge University Scientific Society
The Exponents of Change: From Artificial Intellegence to Web Science
Cambridge Philosophical Society
Three phases of genome sequencing and their consequences for science and medicine
Wednesday Seminars - Department of Computer Science and Technology
Programming Computers Without Processors
SciSoc β Cambridge University Scientific Society
Pedagogical and Real Science - the Physics Case
Wednesday Seminars - Department of Computer Science and Technology
What if Computers Understood Physics?
SciSoc β Cambridge University Scientific Society
Bugs, Bites and Parasites
Cambridge Philosophical Society
On dangerous ground: understanding earthquake induced soil liquefaction
Cambridge University Railway Club
Colas Rail Freight
Wednesday Seminars - Department of Computer Science and Technology
(No Seminar Today)
SciSoc β Cambridge University Scientific Society
Perovskite Solar Cells - New Opportunities and Challenges
Wednesday Seminars - Department of Computer Science and Technology
Wireless community mesh networks: fresh connectivity for 7 billion people
SciSoc β Cambridge University Scientific Society
The Origin of the Laws of Nature
Cambridge Philosophical Society
LARMOR LECTURE - Exoplanets, on the hunt of Universal life
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
β οΈ NB: rescheduled from 2017/09/22
Logic and Semantics Seminar (Computer Laboratory)
Event Correlation with Algebraic Effects
Logic and Semantics Seminar (Computer Laboratory)
A promising semantics for relaxed-memory concurrency
Logic and Semantics Seminar (Computer Laboratory)
Semantics of Full Ground References
Logic and Semantics Seminar (Computer Laboratory)
Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity
Logic and Semantics Seminar (Computer Laboratory)
Interleaved scope for games and automata
Logic and Semantics Seminar (Computer Laboratory)
Syntax and Handlers for Operations with Scopes
Logic and Semantics Seminar (Computer Laboratory)
Disjoint Semirings for Fractional Permissions
β οΈ **NOTE NON-STANDARD DAY AND ROOM BOOKING**
Wednesday Seminars - Department of Computer Science and Technology
Reigniting Innovation in the Hardware Industry
Logic and Semantics Seminar (Computer Laboratory)
Concurrent Kleene Algebras and Pomset Languages
Wednesday Seminars - Department of Computer Science and Technology
Can we make people value IT security?
β οΈ Wheeler Lecture β Please register for this session on separate web page.
Logic and Semantics Seminar (Computer Laboratory)
What does the Future of Programming Look Like?
Wednesday Seminars - Department of Computer Science and Technology
Ubiquitous Sensing with Light
Logic and Semantics Seminar (Computer Laboratory)
Higher Categorical Structures, Type-Theoretically
Wednesday Seminars - Department of Computer Science and Technology
Pervasive Sensing for Lifestyle Monitoring and Urban Applications
Wednesday Seminars - Department of Computer Science and Technology
Morphologically Computing Soft Robots toward Self-Organizing Machines
Logic and Semantics Seminar (Computer Laboratory)
Monads and Lenses
Cambridge Philosophical Society
New Frontiers in Robotics - ONE DAY MEETING
β οΈ ONE DAY MEETING FREE ENTRY NO BOOKING REQUIRED
Cambridge University Railway Club
Peter Latham (Department for Transport)
Logic and Semantics Seminar (Computer Laboratory)
Diagrammatic Operational Semantics for Digital Circuits
Wednesday Seminars - Department of Computer Science and Technology
Are Sensor Networks a first step towards the Diamond Age?
SciSoc β Cambridge University Scientific Society
Can Future Energy Needs be met Sustainably?
Cambridge Philosophical Society
Environmental diversity of Architecture
Darwin College Lecture Series
Reporting from Extreme Environments
Cambridge University Railway Club
Anthony Coulls (National Railway Museum)
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Computer Science Group Project Presentations
Darwin College Lecture Series
Extreme Ageing
Logic and Semantics Seminar (Computer Laboratory)
Verified Characteristic Formulae for CakeML
Cambridge Philosophical Society
HONORARY FELLOWS LECTURE - Evolution in action: Materials, Design and Sustainability
β οΈ A COMPLIMENTARY DRINKS RECEPTION TO FOLLOW ON AFTER THE LECTURE WILL TAKE PLACE IN THE FOYER TO THE LECTURE THEATRE FOR ALL ATTENDEES
Wednesday Seminars - Department of Computer Science and Technology
AI Meets Cancer
SciSoc β Cambridge University Scientific Society
The path to delivering nuclear fusion power
Cambridge Philosophical Society
A V HILL LECTURE - Systems level in vivo modelling of vertebrate physiology and pharmacology
Darwin College Lecture Series
Extreme Politics
Wednesday Seminars - Department of Computer Science and Technology
CHERI - Architectural support for software memory protection and compartmentalisation
SciSoc β Cambridge University Scientific Society
Towards earlier diagnosis for cancer of the oesophagus
Cambridge University Railway Club
Debbie Francis (Direct Rail Services)
Darwin College Lecture Series
Extremes of the Universe
Logic and Semantics Seminar (Computer Laboratory)
A monad for full ground reference cells
Wednesday Seminars - Department of Computer Science and Technology
Challenges in Human-Robot Interaction
Cambridge Philosophical Society
A Lab of One's Own: Science & Suffrage in World War One
Cambridge University Railway Club
Nigel Beavor, Jacobs engineer
Darwin College Lecture Series
Extreme Rowing
Wednesday Seminars - Department of Computer Science and Technology
Data Science for the World of Moving Things
SciSoc β Cambridge University Scientific Society
Why scientists should also be revolutionaries
Darwin College Lecture Series
Dealing with Extremism
Wednesday Seminars - Department of Computer Science and Technology
GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE
Cambridge Philosophical Society
G I Taylor Lecture - Using light to orchestrate the assembly of self-propelled particles into microfluidic devices
Darwin College Lecture Series
Extreme Events and How to Live with Them
Logic and Semantics Seminar (Computer Laboratory)
Genus, Numerics and Architectural Level Optimisation
β οΈ Joint Logic and Semantics and Computer Architecture Seminar
Cambridge University Railway Club
Talk by Managing Director of Abellio Greater Anglia
Wednesday Seminars - Department of Computer Science and Technology
Sequencing DNA Using Biological Nanopores
SciSoc β Cambridge University Scientific Society
The Science of Climate Change
Darwin College Lecture Series
Extreme Weather
Logic and Semantics Seminar (Computer Laboratory)
One-Dimensional Higher Inductive Types
SciSoc β Cambridge University Scientific Society
The health gap: the challenge of an unequal world
Logic and Semantics Seminar (Computer Laboratory)
Polymorphism, subtyping and type inference in MLsub
Logic and Semantics Seminar (Computer Laboratory)
A categorical perspective on type refinement systems
Logic and Semantics Seminar (Computer Laboratory)
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming
Wednesday Seminars - Department of Computer Science and Technology
Architectural Impacts of the Silicon Performance Wall
SciSoc β Cambridge University Scientific Society
SCISOC TALK - Our cosmic origins: everything from nothing
Wednesday Seminars - Department of Computer Science and Technology
Making Reactive Programs Function
β οΈ Note: Venue is LT2 (not LT1).
SciSoc β Cambridge University Scientific Society
SCISOC TALK - 103 years of Crystallography: what has it taught us and where will lead us?
Cambridge Philosophical Society
Climate change and local wildlife
Logic and Semantics Seminar (Computer Laboratory)
A compositional account of Herbrand's theorem via concurrent games
β οΈ NOTE NON-STANDARD ROOM BOOKING
SciSoc β Cambridge University Scientific Society
SCISOC TALK - Engineering challenges in creating underground space
Wednesday Seminars - Department of Computer Science and Technology
PYNQ - Enabling Software Engineers to Program Heterogeneous, Reconfigurable SoCs
Logic and Semantics Seminar (Computer Laboratory)
Fencing off Go: Liveness and Safety for Channel-based Programming
Wednesday Seminars - Department of Computer Science and Technology
Web search in an AI world: small, cute, distributed.
SciSoc β Cambridge University Scientific Society
SCISOC TALK - Opossums, Catastrophes, and Homeostasis
Cambridge Philosophical Society
Molecular medicines for the lysosome
SciSoc β Cambridge University Scientific Society
SCISOC TALK: ATP-sensitive potassium channels and neonatal diabetes β from molecule to new therapy and beyond.
Wednesday Seminars - Department of Computer Science and Technology
Graduate Studies Open Day
β οΈ This is not a regular seminar. Please see separate programme.
SciSoc β Cambridge University Scientific Society
SCISOC TALK - Black holes and revelations
Wednesday Seminars - Department of Computer Science and Technology
End-to-end encryption: Behind the scenes
SciSoc β Cambridge University Scientific Society
SCISOC TALK - The Black dog: why don't we care?
Cambridge Philosophical Society
LARMOR LECTURE - Nanostructured steel: the challenge of manufacture
Logic and Semantics Seminar (Computer Laboratory)
Context Equivalences and Metrics in Probabilistic Lambda-Calculi
Wednesday Seminars - Department of Computer Science and Technology
From Idea to Startup
SciSoc β Cambridge University Scientific Society
SCISOC TALK - The Roadmap to Applications of Graphene, Layered Materials and Hybrid systems
Logic and Semantics Seminar (Computer Laboratory)
An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures
Wednesday Seminars - Department of Computer Science and Technology
Rethinking Auto-Parallelisation
β οΈ Please note: All seminars in this series now start at 16:15
SciSoc β Cambridge University Scientific Society
When Antarctica was green: fossil plants reveal Antarctica's climate history
Cambridge Philosophical Society
Packing dominoes and other shapes
Logic and Semantics Seminar (Computer Laboratory)
On Proofs of Equality as Paths
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)
Making Reactive Programs Function
Logic and Semantics Seminar (Computer Laboratory)
A new verified compiler backend for CakeML
β οΈ **NOTE NON-STANDARD DATE, TIME, AND ROOM**
Logic and Semantics Seminar (Computer Laboratory)
Classical Linear Logic considered as a programming language
Wednesday Seminars - Department of Computer Science and Technology
From EDA to NDA: Treating Networks like Hardware Circuits
β οΈ (Out-of-term, one-off extra seminar.)
Logic and Semantics Seminar (Computer Laboratory)
A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data
Logic and Semantics Seminar (Computer Laboratory)
Practical Statically-checked Deterministic Parallelism
Logic and Semantics Seminar (Computer Laboratory)
Automatically comparing memory consistency models
Logic and Semantics Seminar (Computer Laboratory)
Programming and Proving with Concurrent Resources
Logic and Semantics Seminar (Computer Laboratory)
Optimising star-convex functions
Cambridge University Railway Club
Annual General Meeting of the CURC
Logic and Semantics Seminar (Computer Laboratory)
Automated Reasoning and AI for Large Formal Mathematics
Cambridge University Railway Club
Arriva Rail North
Cambridge University Railway Club
Bachmann Europe "All Trains Great and Small"
The Wheeler Lectures in Computer Science
A History of Virtualisation in Operating Systems.
β οΈ [14:30 Minute madness; 16:00 Main lecture; 17:00 Drinks reception.]
Logic and Semantics Seminar (Computer Laboratory)
Certified automated theorem proving for types
Wednesday Seminars - Department of Computer Science and Technology
What does the operating system ever do for me? - Systems Challenges in Graph Analytics
Wednesday Seminars - Department of Computer Science and Technology
No Littering!
β οΈ Please note: Unusual day of week and time.
Logic and Semantics Seminar (Computer Laboratory)
The C standard formalized in Coq, what's next?
Cambridge University Railway Club
Turning South London Orange
Wednesday Seminars - Department of Computer Science and Technology
Imaginary Engines: Lovelace, Babbage and the Analytical Engine.
Logic and Semantics Seminar (Computer Laboratory)
A rational reconstruction of homogeneous meta-programming
Wednesday Seminars - Department of Computer Science and Technology
Android: Mobile, Wearable and IoT devices - Designing Global, Scalable Systems
β οΈ Note revised date.
Logic and Semantics Seminar (Computer Laboratory)
Giry and the Machine
Wednesday Seminars - Department of Computer Science and Technology
From Human Affect and Personality to Social Robots: Affective and Social Signal Processing
Logic and Semantics Seminar (Computer Laboratory)
Logical dependence via functional dependence
Cambridge University Railway Club
Freightliner Ltd
Logic and Semantics Seminar (Computer Laboratory)
Generating Gradual Typing Systems with the Gradualizer
Logic and Semantics Seminar (Computer Laboratory)
Comprehensive Parametric Polymorphism
Wednesday Seminars - Department of Computer Science and Technology
Freedom to Innovate: Addressing Student Legal Risks at MIT and Queen Mary's Entrepreneurship and Cyberlaw Clinics
Cambridge Philosophical Society
Towards a cure for Alzheimer's Disease
Darwin College Lecture Series
The Game Theory of Conflict
Logic and Semantics Seminar (Computer Laboratory)
THIS TALK HAS BEEN CANCELLED/POSTPONED
β οΈ THIS TALK HAS BEEN CANCELLED/POSTPONED
Wednesday Seminars - Department of Computer Science and Technology
CST Part Ib, Group Project Presentations
SciSoc β Cambridge University Scientific Society
SciSoc Talk: Dr Philipp Holliger
Cambridge University Railway Club
The London Transport Museum and specific trading choices.
Darwin College Lecture Series
Games Animals Play
Logic and Semantics Seminar (Computer Laboratory)
A call-by-value realizability model for PML
β οΈ NOTE UNUSUAL VENUE
Wednesday Seminars - Department of Computer Science and Technology
Data Science at The Guardian
β οΈ There is no 2:00pm Seminar this week, but the 3:00pm NLIP talk is a recommended alternative.
SciSoc β Cambridge University Scientific Society
SciSoc Talk: Professor Steve Jones - "Nature, Nurture, or Nietzsche, what genetics can (and cannot) tell us about oursleves"
Cambridge Philosophical Society
Campath-1H: how a famous antibody found its disease
Darwin College Lecture Series
Games for the Brain
Logic and Semantics Seminar (Computer Laboratory)
Excuse My Extrusion
Cambridge University Railway Club
The British Transport Police - Keeping the Railways Safe
Wednesday Seminars - Department of Computer Science and Technology
Communication with Artificial Intelligences
SciSoc β Cambridge University Scientific Society
Genetic Instability and Cancer Suppression
Darwin College Lecture Series
"Losing the New Great Game"
Logic and Semantics Seminar (Computer Laboratory)
Identity types in Algebraic Model Structures
β οΈ NOTE UNUSUAL VENUE This is the second seminar this week.
Wednesday Seminars - Department of Computer Science and Technology
Predicting Psychology from Social Media Data
Logic and Semantics Seminar (Computer Laboratory)
What is an Algorithm?
β οΈ NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday)
Cambridge Philosophical Society
G I TAYLOR LECTURE - Fracking - shale gas extraction and protecting buildings from tunnelling subsidence
Darwin College Lecture Series
Games in Sports
Logic and Semantics Seminar (Computer Laboratory)
Effects as sessions, sessions as effects
β οΈ NOTE UNUSUAL VENUE
Wednesday Seminars - Department of Computer Science and Technology
The Supercloud: Opportunities and Challenges
SciSoc β Cambridge University Scientific Society
Scisoc Talk: Sir David Spiegelhalter
Darwin College Lecture Series
Wittgenstein's Games
Logic and Semantics Seminar (Computer Laboratory)
Interacting Hopf monoids: the algebra of signal flow diagrams
β οΈ NOTE UNUSUAL VENUE
Wednesday Seminars - Department of Computer Science and Technology
Synthetic Biology
SciSoc β Cambridge University Scientific Society
SciSoc Talk: Dame Julia Slingo
Cambridge Philosophical Society
A V HILL LECTURE - Oxygen sensing: from worms to people and genes to drugs
Cambridge University Railway Club
A History of the Great Central Railway (Heritage)
Darwin College Lecture Series
The Game of Crime and Punishment
Logic and Semantics Seminar (Computer Laboratory)
Dependent Types and Fibred Computational Effects
Wednesday Seminars - Department of Computer Science and Technology
Finding what is invisible through computation
SciSoc β Cambridge University Scientific Society
SciSoc Talk: Dame Athene Donald - "Physics of the Everyday"
Darwin College Lecture Series
Personal Principles and the Political Game
Logic and Semantics Seminar (Computer Laboratory)
Graphical linear algebra and applications
Logic and Semantics Seminar (Computer Laboratory)
A continuation passing translation for functional session types
Wednesday Seminars - Department of Computer Science and Technology
Understanding and Verifying Javascript Programs.
Logic and Semantics Seminar (Computer Laboratory)
Typed realizability for first-order classical analysis
Cambridge University Railway Club
Transport Scotland
Wednesday Seminars - Department of Computer Science and Technology
Communication Technologies Research at the NPL
SciSoc β Cambridge University Scientific Society
More is different: Many-body physics with ultracold atoms.
Cambridge Philosophical Society
Epigenetic inheritance and parent-of-origin effects
Wednesday Seminars - Department of Computer Science and Technology
Talk Cancelled (was 'Synthetic Biology')
β οΈ This talk is cancelled.
SciSoc β Cambridge University Scientific Society
Scisoc talk: Dr David Bainbridge - 'Curvology: the origins and power of female body shape"
Cambridge University Railway Club
Rob Holden, High Speed 1 Chairman
Logic and Semantics Seminar (Computer Laboratory)
Online Space Complexity
Cambridge Philosophical Society
HONORARY FELLOWS LECTURE - Molecules against cancer or for long-term memory storage
β οΈ A COMPLIMENTARY DRINKS RECEPTION TO FOLLOW ON AFTER THE LECTURE WILL TAKE PLACE IN THE FOYER TO THE LECTURE THEATRE FOR ALL ATTENDEES
Wednesday Seminars - Department of Computer Science and Technology
Unpatchable: Living with a Vulnerable Implanted Device
SciSoc β Cambridge University Scientific Society
Scisoc talk: Dr Ewan Birney - 'Big Data for Basic Research'
Cambridge Philosophical Society
The human brain - a lesson in green technology
Logic and Semantics Seminar (Computer Laboratory)
Global Realisations of Local Specifications
Wednesday Seminars - Department of Computer Science and Technology
Image-triage, Brain Computer Interaction and Deception Detection using EEG
SciSoc β Cambridge University Scientific Society
Scisoc talk: Dr Hugh Lewis - 'Space Debris, the UN and the IADC'
SciSoc β Cambridge University Scientific Society
Scisoc talk: Dr Hugh Lewis - 'Space Debris, the UN and the IADC'
SciSoc β Cambridge University Scientific Society
Scisoc talk: Dr Hugh Lewis - 'Space Debris, the UN and the IADC'
SciSoc β Cambridge University Scientific Society
GMOs: beginnings, advancements, new opportunities and public perceptions.
Wednesday Seminars - Department of Computer Science and Technology
Todayβs and Tomorrowβs Camera Processing Pipelines
SciSoc β Cambridge University Scientific Society
SciSoc Talk: Professor Jeremy Baumberg: Where is my nanobot?
Cambridge Philosophical Society
On the origin of animals, and the invention of the modern biosphere
Cambridge University Railway Club
David Horne - Virgin Trains East Coast
Wednesday Seminars - Department of Computer Science and Technology
Cluster Management with Kubernetes
SciSoc β Cambridge University Scientific Society
Dressed to kill: what do infectious disease agents have in their wardrobes?
Cambridge University Railway Club
South West Trains
Wednesday Seminars - Department of Computer Science and Technology
Clouds, Things and Robots: the need for innovation in Architecture and Software
Cambridge Philosophical Society
LARMOR LECTURE - The statistical physics of stem cell biology: Dicing with fate
NLIP Seminar Series
Unweaving The Lexical Rainbow: Grounding Linguistic Creativity in Perceptual Semantics
β οΈ We only have LT2 for the hour, so please don't enter before 1pm and don't be late for the talk, as it will start promptly at 1:05 and we'll have to leave before 2pm.
Wednesday Seminars - Department of Computer Science and Technology
Interaction + Graphics: Four Lectures By Computer Laboratory Visitors
β οΈ This is a cross posting from the Rainbow Group.
Logic and Semantics Seminar (Computer Laboratory)
Heat kernels in graphs: A journey from random walks to geometry, and back
Logic and Semantics Seminar (Computer Laboratory)
Consistency of Quine's NF using nominal techniques
Wednesday Seminars - Department of Computer Science and Technology
Probabilistic Programming; Ways Forward
The Wheeler Lectures in Computer Science
Hints and Principles for Computer System Design
Logic and Semantics Seminar (Computer Laboratory)
From Communicating Machines to Graphical Choreographies
Wednesday Seminars - Department of Computer Science and Technology
Cancelled : Full reduction in the face of absurdity.
β οΈ Talk cancelled for today - speaker cannot make it.
Logic and Semantics Seminar (Computer Laboratory)
Generic Computational Models
Logic and Semantics Seminar (Computer Laboratory)
Locally Finite Constraint Satisfaction Problems
Wednesday Seminars - Department of Computer Science and Technology
Cellular Systems Biology of Chromosome Dynamics
Cambridge University Railway Club
DB Schenker
Cambridge University Railway Club
Japan Railway East - London Office
Wednesday Seminars - Department of Computer Science and Technology
Toward Causal Machine Learning
Cambridge University Railway Club
Great Northern and Govia Thameslink Railway
Wednesday Seminars - Department of Computer Science and Technology
Deep Learning of Natural Language Semantics
β οΈ Extrodinary (out-of-term) Babbage Seminar
Logic and Semantics Seminar (Computer Laboratory)
Linear numeral systems
Cambridge University Railway Club
Christian Wolmar
Wednesday Seminars - Department of Computer Science and Technology
The Automatic Statistician - an AI for Data Science
SciSoc β Cambridge University Scientific Society
Prostacyclin and nitric oxide in vascular biology
Cambridge Philosophical Society
Between rock and a hard place: soil, the ambiguous material
Darwin College Lecture Series
Technology Development
Cambridge University Railway Club
Dapol - Model Railway Manufacturing
Wednesday Seminars - Department of Computer Science and Technology
Group Project Presentations
SciSoc β Cambridge University Scientific Society
Grand challenges facing scientists and Nature
Darwin College Lecture Series
Economic Development
Wednesday Seminars - Department of Computer Science and Technology
Digital by Default - A Paradigm Shift in Government
SciSoc β Cambridge University Scientific Society
Defects in materials and how to describe them
Cambridge Philosophical Society
A V HILL LECTURE - Science and the quiet art revisited
Darwin College Lecture Series
Biomimicry - Development of Sustainable Design
Wednesday Seminars - Department of Computer Science and Technology
The Evolution of Sophos
SciSoc β Cambridge University Scientific Society
Towards the Evolutionary Genesis Engine
Darwin College Lecture Series
Development of Climate Science
Logic and Semantics Seminar (Computer Laboratory)
Game Semantics for Interface Middleweight Java
Wednesday Seminars - Department of Computer Science and Technology
Compressed sensing in the real world - Why and what actually works
SciSoc β Cambridge University Scientific Society
Computation, Technology and the New Era of STEM
Cambridge Philosophical Society
Lighting the Future: Next generation LED lighting to save energy and improve our health
Darwin College Lecture Series
Developing a Sense of Self
Wednesday Seminars - Department of Computer Science and Technology
Non-Photorealistic Rendering of Images
SciSoc β Cambridge University Scientific Society
The antibody revolution
Cambridge University Railway Club
Abellio Greater Anglia
Darwin College Lecture Series
The Development of Galaxies
Wednesday Seminars - Department of Computer Science and Technology
Interacting with Infrastructure: Home Networking and Beyond
SciSoc β Cambridge University Scientific Society
Protein folding, misfolding, disease and cancer
Cambridge Philosophical Society
G I TAYLOR LECTURE - Understanding the physics of molecular motors
Cambridge University Railway Club
Chief Scientific Railway Advisor to the DfT
Darwin College Lecture Series
Development of an Athlete
SciSoc β Cambridge University Scientific Society
UK Government Policy on Science and Technology Post-2015
Wednesday Seminars - Department of Computer Science and Technology
The UK National Cyber Security Programme
SciSoc β Cambridge University Scientific Society
Copper with Light β the Prospects for Photonic-Enabled-Electronics
Cambridge University Railway Club
Railway Fares and Financing Debate
Darwin College Lecture Series
Reprogramming Animal Development
Logic and Semantics Seminar (Computer Laboratory)
New reasoning techniques for monoidal algebras
Cambridge Philosophical Society
Biomimetics: from nature to applications - ONE DAY MEETING
Logic and Semantics Seminar (Computer Laboratory)
Rigid Graphs for Adaptive Networks, with Data
Wednesday Seminars - Department of Computer Science and Technology
Transitive leap frogging: how to avoid queuing up for work
SciSoc β Cambridge University Scientific Society
Stem Cells
Cambridge University Railway Club
Passenger Focus
Logic and Semantics Seminar (Computer Laboratory)
Transition systems over games
Wednesday Seminars - Department of Computer Science and Technology
Text Analysis of Social Media Beyond Twitterdome
SciSoc β Cambridge University Scientific Society
Reducing Genetic Abnormalities in Embryos
Cambridge Philosophical Society
MEMS Biosensors and their potential for improving healthcare
Cambridge University Railway Club
London Underground/TfL
Logic and Semantics Seminar (Computer Laboratory)
Senescent Ground Tree Rewrite Systems
Cambridge Philosophical Society
HONORARY FELLOWS PRIZE LECTURE - Could computers understand their own programs?
Wednesday Seminars - Department of Computer Science and Technology
Scientific Data Management
SciSoc β Cambridge University Scientific Society
Working for a Healthier Tomorrow
Logic and Semantics Seminar (Computer Laboratory)
Verification of quantum protocols using Coq
Wednesday Seminars - Department of Computer Science and Technology
Kafka and Samza: distributed stream processing in practice
SciSoc β Cambridge University Scientific Society
The Scientific Challenges for Fusion Power
Cambridge Philosophical Society
The changing genome: signatures of mutagenesis in human cells
Logic and Semantics Seminar (Computer Laboratory)
An Algorithmic Metatheorem for Directed Treewidth
Cambridge University Railway Club
Arriva CrossCountry Trains
Wednesday Seminars - Department of Computer Science and Technology
Payment System Security - Attacks and Defences
SciSoc β Cambridge University Scientific Society
Generating the Fuel of Life
Wednesday Seminars - Department of Computer Science and Technology
Structure and Dynamics of Mutlilayer Networks
Cambridge Philosophical Society
Perception and belief in psychosis
Wednesday Seminars - Department of Computer Science and Technology
Science Data Processor for the Square Kilometre Array Telescope
SciSoc β Cambridge University Scientific Society
Building Brains
SciSoc β Cambridge University Scientific Society
The Science of Invisibility
Wednesday Seminars - Department of Computer Science and Technology
Fuzzy Optimisation of Reverse Logistics Networks
SciSoc β Cambridge University Scientific Society
How to Win a Nobel Prize: The Secret of Cell Division
Cambridge Philosophical Society
LARMOR LECTURE - The Computational Universe
Computer Laboratory Automated Reasoning Group Lunches
Logic programming beyond Prolog
β οΈ This is a MSR Seminar (Station Road), duplicated on the ARG list
Logic and Semantics Seminar (Computer Laboratory)
Micro-Policies: A Framework for Tag-Based Security Monitors
Logic and Semantics Seminar (Computer Laboratory)
Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction
Logic and Semantics Seminar (Computer Laboratory)
Why Isnβt Verification Standard Practice?
Wednesday Seminars - Department of Computer Science and Technology
No Fixed Abode: Avoiding IP Address Blocking to Circumvent Censorship
Logic and Semantics Seminar (Computer Laboratory)
Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection
Wednesday Seminars - Department of Computer Science and Technology
Theory into Practice: the story of Incremental
Cambridge Philosophical Society
The Henslow Fellow Lectures - Use of random matrices
β οΈ The second of two half-hour lectures by the Society's Henslow Fellows
Cambridge Philosophical Society
Henslow Fellows Lectures - Resolving the early record of animal evolution: Insights from the enigmatic Ediacaran Biota
β οΈ The first of two half-hour lectures by the Society's Henslow Fellows
The Wheeler Lectures in Computer Science
Computational Thinking
Wednesday Seminars - Department of Computer Science and Technology
No Babbage Seminar today owing to the Wheeler Lecture
Wednesday Seminars - Department of Computer Science and Technology
Multitask Learning
Wednesday Seminars - Department of Computer Science and Technology
Computing Cancer
Logic and Semantics Seminar (Computer Laboratory)
On-the-fly garbage collection: issues and opportunities
Wednesday Seminars - Department of Computer Science and Technology
*** The Weight of Gravity ***
β οΈ (Additional Talk: Week 0, Extended Duration 1.5 hrs)
Cambridge Philosophical Society
Perception and belief in psychosis
SciSoc β Cambridge University Scientific Society
Captured Thoughts: The Collaborations of an Artist and a Scientist
Wednesday Seminars - Department of Computer Science and Technology
Competitive Contagion in Networks
SciSoc β Cambridge University Scientific Society
Quantum Games with Spins Alight
Cambridge Philosophical Society
Electric and Hybrid Powered Aircraft β making energy go further
Darwin College Lecture Series
Plagues & Metaphor
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Group Project Presentations
SciSoc β Cambridge University Scientific Society
Stability and Complexity in Financial Ecosystems
SciSoc β Cambridge University Scientific Society
Development and Repair of Neurons
Computer Laboratory Automated Reasoning Group Lunches
Interfacing and improving proof tools
Darwin College Lecture Series
Plagues & Economic Collapse
Wednesday Seminars - Department of Computer Science and Technology
What We Talk About When We Talk About Types
SciSoc β Cambridge University Scientific Society
Neurons Feel the Force
Cambridge Philosophical Society
Hop, skip and jump - muscles are not just for running
β οΈ A V HILL LECTURE
Darwin College Lecture Series
The Human Plague
Wednesday Seminars - Department of Computer Science and Technology
Interactive Configuration Problems
SciSoc β Cambridge University Scientific Society
The sweet smell of E. coli division
Darwin College Lecture Series
Plagues, Populations & Survival
Cambridge University Railway Club
A View of UK Rail β A ROSCO Perspective
Wednesday Seminars - Department of Computer Science and Technology
Safer Healthcare by Better Computer Science
SciSoc β Cambridge University Scientific Society
Protecting the planet for our children and other species
Cambridge Philosophical Society
The dinosaur Iguanodon (1809-2013) - palaeobiology in action
Darwin College Lecture Series
The Nature of Plagues
Wednesday Seminars - Department of Computer Science and Technology
Talking About Shapes
SciSoc β Cambridge University Scientific Society
Why did it take medicine 3,000 years to become effective?
Semantics Lunch (Computer Laboratory)
Yet more animals: dynamic linkers and debuggers
Darwin College Lecture Series
Silicon Plagues
Cambridge University Railway Club
Direct Rail Services: Railway Freight Growth and Investiment
Wednesday Seminars - Department of Computer Science and Technology
Randomised Load Balancing For Networks
SciSoc β Cambridge University Scientific Society
Grasses bite back! The role of silicon-based defences in the interactions between plants and herbivores
Cambridge Philosophical Society
Fluid mechanical processes during geological sequestration of carbon dioxide
β οΈ G I TAYLOR LECTURE
Darwin College Lecture Series
Plagues & History
Logic and Semantics Seminar (Computer Laboratory)
Representing conditional independence in probabilistic programming
Wednesday Seminars - Department of Computer Science and Technology
Evaluation Metrics and Learning to Rank for Information Retrieval
β οΈ Please note new seminar start time of 2:00pm this term.
SciSoc β Cambridge University Scientific Society
Exploring the History of Mars by Robot: Curiosity's Adventures in Gale Crater
Darwin College Lecture Series
Plagues & Medicine
Logic and Semantics Seminar (Computer Laboratory)
Automating reasoning tasks for separation logic
SciSoc β Cambridge University Scientific Society
Synthetic Biology: New Technologies and Sustainable Solutions
Semantics Lunch (Computer Laboratory)
ABIs, linkers and other animals
Logic and Semantics Seminar (Computer Laboratory)
An algebraic theory of type-and-effect systems
Logic and Semantics Seminar (Computer Laboratory)
Relational Programming in miniKanren
Wednesday Seminars - Department of Computer Science and Technology
MirageOS: compiling a functional cloud
SciSoc β Cambridge University Scientific Society
Subglacial Lake Ellsworth
Computer Laboratory Automated Reasoning Group Lunches
CakeML: A Verified Implementation of ML
Logic and Semantics Seminar (Computer Laboratory)
Decision Problems for Linear Recurrence Sequences
Wednesday Seminars - Department of Computer Science and Technology
Compressed sensing and the art of subsampling
SciSoc β Cambridge University Scientific Society
Healing the body with new materials
Cambridge Philosophical Society
Decoding human genomes on a population scale: solexa/illumina sequencing
β οΈ Note new start time of 6.00pm
Cambridge University Railway Club
Hitachi Rail in Europe - on track to success
Logic and Semantics Seminar (Computer Laboratory)
Language based web security: the operational semantics approach
Wednesday Seminars - Department of Computer Science and Technology
Research Issues in Computer Support for Collaborative Problem Solving
SciSoc β Cambridge University Scientific Society
Life and the Earth: Interlocking Histories
Computer Laboratory Automated Reasoning Group Lunches
A Verified Bignum Implementation in x86-64 Machine Code
Cambridge University Railway Club
Delivery and Design of High Speed Two (HS2) Railway
Logic and Semantics Seminar (Computer Laboratory)
Weighted relational models of typed lambda-calculi
Cambridge Philosophical Society
Genomics, Structural Biology and Making New Medicines: An Opportunity for Academia to Contribute
β οΈ HONORARY FELLOWS LECTURE
Wednesday Seminars - Department of Computer Science and Technology
Towards Do-It-Yourself Networking
SciSoc β Cambridge University Scientific Society
The Headache of Hypoxia
Cambridge Philosophical Society
The cultured chimpanzee: nonsense or breakthrough?
β οΈ Note new start time of 6.00pm
Cambridge University Railway Club
Delivering Railway Projects-A great place to be
Logic and Semantics Seminar (Computer Laboratory)
Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.
SciSoc β Cambridge University Scientific Society
Why is Chemistry Difficult?
Wednesday Seminars - Department of Computer Science and Technology
Pico: no more passwords!
Computer Laboratory Automated Reasoning Group Lunches
Mathematical practice, crowdsourcing, and social machines
Logic and Semantics Seminar (Computer Laboratory)
**TALK POSTPONED**
Wednesday Seminars - Department of Computer Science and Technology
Understanding Video and Audio at Google
SciSoc β Cambridge University Scientific Society
Are Normal People Sane?
Cambridge Philosophical Society
Antarctica, Ozone and Change: some links between environmental concerns
β οΈ Note new start time of 6.00pm
Cambridge University Railway Club
Talk on the preservation of the prototype HST powercar 41001
Logic and Semantics Seminar (Computer Laboratory)
Fibrational Parametricity
Wednesday Seminars - Department of Computer Science and Technology
Disciplined Approximate Computing: From Language to Hardware and Beyond
SciSoc β Cambridge University Scientific Society
Super-resolution Microscopy
Wednesday Seminars - Department of Computer Science and Technology
Towards Position-based Routing for Mobile Environments
SciSoc β Cambridge University Scientific Society
From Mars to the Multiverse
Cambridge Philosophical Society
Physics, Chemistry,Materials Science and Biology from the Schrodinger Equation
β οΈ LARMOR LECTURE - note new start time of 6.00pm
Semantics Lunch (Computer Laboratory)
POPL PC workshop
Computer Laboratory Automated Reasoning Group Lunches
Some unfinished projects
Logic and Semantics Seminar (Computer Laboratory)
Descriptive set theory and Computation theory
Computer Laboratory Automated Reasoning Group Lunches
Looking Back at Lyrebird
Logic and Semantics Seminar (Computer Laboratory)
An overview of nominal algebra, lattice, representation and dualities for computer science foundations
Logic and Semantics Seminar (Computer Laboratory)
**Cancelled** Logic of Hybrid Games
Wednesday Seminars - Department of Computer Science and Technology
Humans + Automation: Greater than the sum of the parts
Wednesday Seminars - Department of Computer Science and Technology
Errors, Exploits, and Espionage - A tour of software vulnerabilities and their real-world impact
Logic and Semantics Seminar (Computer Laboratory)
A few lessons that I learnt about interprocedural program analyses
Wednesday Seminars - Department of Computer Science and Technology
The Domain Name System in 2013 β The political and technical landscape
Wednesday Seminars - Department of Computer Science and Technology
Digging into (Historical) Data: Tracking global commodity trading in the nineteenth century
Logic and Semantics Seminar (Computer Laboratory)
Multiparty session types and their application in large distributed systems
Wednesday Seminars - Department of Computer Science and Technology
Strongly-Typed Language Support for Internet-Scale Information Sources
Wednesday Seminars - Department of Computer Science and Technology
Mind the Map - Modelling Sustainability of Urban Crowd-Sourcing
Logic and Semantics Seminar (Computer Laboratory)
Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Compressed Sensing and the Art of Subsampling
SciSoc β Cambridge University Scientific Society
Energy and Life
Logic and Semantics Seminar (Computer Laboratory)
Semigroups with low difficulty word problem
Cambridge Philosophical Society
The Inaugural Henslow Fellows Lectures - Moving without a brain: how do fruit fly larvae explore?
β οΈ The second of two half-hour lectures by the Society's Henslow Fellows
Cambridge Philosophical Society
The Inaugural Henslow Fellow Lectures - Turning the tables in plant-animal interactions: the tricks and traps of insect-eating pitcher plants
β οΈ The first of two half-hour lectures by the Society's Henslow Fellows
The Wheeler Lectures in Computer Science
Could Computers Understand Their Own Programs
SciSoc β Cambridge University Scientific Society
"Curing Incurable Cancer"
Computer Laboratory Automated Reasoning Group Lunches
Verified AIG Algorithms in ACL2
SciSoc β Cambridge University Scientific Society
How curiosity turned into Science?
Logic and Semantics Seminar (Computer Laboratory)
Malware Analysis with Tree Automata Inference
Cambridge Philosophical Society
Low Carbon Road Freight Transport
Darwin College Lecture Series
Foresight in Ancient Mesopotamia
Wednesday Seminars - Department of Computer Science and Technology
Student Design Project Presentations
SciSoc β Cambridge University Scientific Society
Whatβs special about the human brain
Darwin College Lecture Series
Foresight and Self-Control
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Abduction of Inductive Termination Preconditions
Wednesday Seminars - Department of Computer Science and Technology
High-Assurance Algorithmic Trading
SciSoc β Cambridge University Scientific Society
POSTPONED: Energy and Life
Cambridge Philosophical Society
A V HILL LECTURE - Vaccines: from science to policy
Darwin College Lecture Series
Foreseeing Space Weather
Wednesday Seminars - Department of Computer Science and Technology
Challenges in Computer Graphics Modeling
SciSoc β Cambridge University Scientific Society
Ornamentation, Attraction and Sexual Behaviour
Darwin College Lecture Series
Foresight in Music
Wednesday Seminars - Department of Computer Science and Technology
Privacy Challenges and Solutions for Data Sharing
SciSoc β Cambridge University Scientific Society
The Unexpected Side of Entropy
Computer Laboratory Automated Reasoning Group Lunches
A Formalisation of Finite Automata in Isabelle/HOL
Cambridge Philosophical Society
Under the volcano: geological fieldwork in East Greenland
Darwin College Lecture Series
Foresight in Scientific Method
Wednesday Seminars - Department of Computer Science and Technology
Adaptive Runtime Verification
SciSoc β Cambridge University Scientific Society
Our shared destinies within the planetβs boundaries
Darwin College Lecture Series
Foresight and Fiction
Wednesday Seminars - Department of Computer Science and Technology
Replacing lectures with videos in the Computer Science Tripos
SciSoc β Cambridge University Scientific Society
Incomprehensible Comprehensibility of the Universe
Cambridge Philosophical Society
G I TAYLOR LECTURE - Making Nanoscience and Nanotechnology useful
Darwin College Lecture Series
Foresight in Journalism
Wednesday Seminars - Department of Computer Science and Technology
Computing at School: Tackling the ICT Education Crisis in UK Schools
Darwin College Lecture Series
Foresight in Ancient Civilisations
Semantics Lunch (Computer Laboratory)
Sigma*: Symbolic Learning of Input-Output Specifications
Cambridge Philosophical Society
ONE DAY MEETING - BRAGG'S LAW
β οΈ Organised by Professor Haroon Ahmed FRS and Professor Archie Howie FRS
Semantics Lunch (Computer Laboratory)
High-Level Separation Logic for Low-Level Code
Semantics Lunch (Computer Laboratory)
Library Abstraction for C/C++ Concurrency
Wednesday Seminars - Department of Computer Science and Technology
One Bit is Not Enough: The Benefit of Reference Analysis in Virtual Memory Management
SciSoc β Cambridge University Scientific Society
Time to grow up?
Semantics Lunch (Computer Laboratory)
Full Abstraction for PCF with Names
Logic and Semantics Seminar (Computer Laboratory)
Halo: From Haskell to Logic through Denotational Semantics
Wednesday Seminars - Department of Computer Science and Technology
Every tweet counts: How statistical content analysis of social networks can improve our knowledge of citizens' preferences. An application to France and US presidential elections and EU leaders' popularity
SciSoc β Cambridge University Scientific Society
Plastic Electronics
Cambridge Philosophical Society
Sustainable Materials: with both eyes open
Semantics Lunch (Computer Laboratory)
A Model-Learner Pattern for Bayesian Reasoning
Wednesday Seminars - Department of Computer Science and Technology
Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google
SciSoc β Cambridge University Scientific Society
Does Time Exist?
Semantics Lunch (Computer Laboratory)
Putting the thrill back into computing at school
Logic and Semantics Seminar (Computer Laboratory)
Abstraction and Invariance for Algebraically Indexed Types
Cambridge Philosophical Society
HONORARY FELLOWS LECTURE - Seeing is believing: how a Century after its discovery, Bragg's Law allows us to peer into molecules that read the information in our genes
Wednesday Seminars - Department of Computer Science and Technology
Sentiment Analysis
Cambridge Philosophical Society
Seeing in three dimensions: philosophical issues and empirical findings
Semantics Lunch (Computer Laboratory)
On distributed probabilistic strategies
Wednesday Seminars - Department of Computer Science and Technology
Semi-local string comparison
SciSoc β Cambridge University Scientific Society
Controlling Cell Division
Wednesday Seminars - Department of Computer Science and Technology
Challenges and approaches to improving the accuracy of indoor positioning systems
SciSoc β Cambridge University Scientific Society
The Science of Art
Cambridge Philosophical Society
How Plants Grow: Chemical and Physical Interactions Create Developmental Patterns
Semantics Lunch (Computer Laboratory)
The Power of Parameterization in Coinductive Proof
β οΈ This will be the first Semantics Lunch of the term - please do come along (or email Peter.Sewell@cl.cam.ac.uk) with offers of talks.
Wednesday Seminars - Department of Computer Science and Technology
Machine Learning Methods for the Detection and Prediction of Transmembrane Beta-Barrel Proteins in Prokariotes
SciSoc β Cambridge University Scientific Society
Molecules of Murder
Wednesday Seminars - Department of Computer Science and Technology
Dart: A Platform for Building Large Web Applications
SciSoc β Cambridge University Scientific Society
Can Nurture Influence Nature?
Cambridge Philosophical Society
LARMOR LECTURE - The Antikythera Mechanism and the Mechanical Universe
Logic and Semantics Seminar (Computer Laboratory)
Preservation under Substructures modulo Bounded Cores
β οΈ Note special date and location (GC22)
Wednesday Seminars - Department of Computer Science and Technology
The Great Indoors: The Next Frontier in Location-Based Services
β οΈ Note unusual time, day and location
Semantics Lunch (Computer Laboratory)
Containers, Comonads and Distributive Laws
Computer Laboratory Automated Reasoning Group Lunches
Semi-automatic Algorithm Synthesis (Case Study: Square Root)
Semantics Lunch (Computer Laboratory)
Ribbon Proofs for Separation Logic
Computer Laboratory Automated Reasoning Group Lunches
Diabelli and Speedith: Heterogeneous reasoning and spider diagrams
SciSoc β Cambridge University Scientific Society
"Science, Computation and the Future"
Wednesday Seminars - Department of Computer Science and Technology
Behavioural Nudge or Technological Fudge?
Logic and Semantics Seminar (Computer Laboratory)
Bounds on proof size and distributive encryption
β οΈ Note that this talk will be in FW26 rather than the usual room.
Logic and Semantics Seminar (Computer Laboratory)
Safe Recursive Set Functions
Semantics Lunch (Computer Laboratory)
A Concurrent Logical Relation
β οΈ NB: changed (again!) unusual day/time
Wednesday Seminars - Department of Computer Science and Technology
A Bayesian Approach to Learning the Structure of Human Languages
Computer Laboratory Automated Reasoning Group Lunches
Holfoot - a separation logic tool in HOL4
Semantics Lunch (Computer Laboratory)
Virtue of certified programming with decision procedures
β οΈ NB: unusual day/time
Wednesday Seminars - Department of Computer Science and Technology
Alan Turing as a computer designer
Semantics Lunch (Computer Laboratory)
From threads to events through classical program transformations
β οΈ NB: Unusual day/time
Logic and Semantics Seminar (Computer Laboratory)
MELL in a free compact closure
Wednesday Seminars - Department of Computer Science and Technology
Energy efficiency and the design of brains
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google
β οΈ CANCELLED: will most likely be rescheduled for next term
Computer Laboratory Automated Reasoning Group Lunches
Diabelli: a framework for heterogeneous reasoning
Wednesday Seminars - Department of Computer Science and Technology
Content delivery in the Internet: an infrastructure-oriented perspective.
SciSoc β Cambridge University Scientific Society
Humour in Science
Logic and Semantics Seminar (Computer Laboratory)
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Cambridge Philosophical Society
"When Antarctica was green: Fossil plants reveal Antarctica's climate history"
β οΈ LECTURE TO COMMEMORATE THE SCIENTIFIC WORK OF SCOTT'S POLAR EXPEDITION OF 1912
Logic and Semantics Seminar (Computer Laboratory)
Expressiveness of real-time temporal logics
Computer Laboratory Automated Reasoning Group Lunches
Proof-Producing Synthesis of ML from Higher-Order Logic
SciSoc β Cambridge University Scientific Society
"Stem Cell Bioprocessing: The Role of Chemical Engineering"
Cambridge Philosophical Society
Nine evolutionary myths: The closing of the Darwinian mind?
Darwin College Lecture Series
The After Life
Logic and Semantics Seminar (Computer Laboratory)
On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics
Cambridge Philosophical Society
HONORARY FELLOWS LECTURE - The Youthful Spirit of Mathematics
SciSoc β Cambridge University Scientific Society
" Towards a Science of Cultural Evolution"
Computer Laboratory Automated Reasoning Group Lunches
Extending deforestation
Darwin College Lecture Series
Artificial Life
SciSoc β Cambridge University Scientific Society
"The natural and enhanced mathematical brain"
Computer Laboratory Automated Reasoning Group Lunches
A Proposed Framework for Analysing Security Ceremonies
Cambridge Philosophical Society
Quantum chemical games of life
Semantics Lunch (Computer Laboratory)
Developing verified programs in Dafny
Darwin College Lecture Series
Life and Death of a Cell
SciSoc β Cambridge University Scientific Society
βModelling aspects of tumour growth and progressionβ
Computer Laboratory Automated Reasoning Group Lunches
Bottom-up formalization of the ARM architecture
Semantics Lunch (Computer Laboratory)
RESCHEDULED to 20th Feb: GPUVerify: a modular verifier for GPU kernels
Darwin College Lecture Series
Life in Conflict
SciSoc β Cambridge University Scientific Society
βAstrophysicist - Speaker of the Parliamentβ
Cambridge Philosophical Society
Gilding the lily: understanding angiosperm diversity through petal evolution and development
Darwin College Lecture Series
Life in the Ancient World
Wednesday Seminars - Department of Computer Science and Technology
A Communications Medium for the 21st Century : Towards Open Public Display Networks
SciSoc β Cambridge University Scientific Society
βFingerprints of the Early Universeβ
Computer Laboratory Automated Reasoning Group Lunches
Explicit vs. symbolic algorithms for solving ALFP constraints
Darwin College Lecture Series
The Spark of Life
Logic and Semantics Seminar (Computer Laboratory)
Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphism
SciSoc β Cambridge University Scientific Society
"Biologically-Inspired Massively-Parallel Computing"
Cambridge Philosophical Society
Bulk High Temperature Superconductors for High Field Engineering Applications
β οΈ G I TAYLOR LECTURE
Darwin College Lecture Series
Life in Ruins
Wednesday Seminars - Department of Computer Science and Technology
Inclusive Design
SciSoc β Cambridge University Scientific Society
"Proton Therapy: Particle physics fights cancer"
Darwin College Lecture Series
From Genomes to the Diversity of Life
Logic and Semantics Seminar (Computer Laboratory)
Layered Fixed Point Logic
Wednesday Seminars - Department of Computer Science and Technology
Speech Synthesis at Google
Computer Laboratory Automated Reasoning Group Lunches
Plan B: A Buffered Memory Model for Java
Cambridge Philosophical Society
ONE DAY MEETING - Geometry in Science
β οΈ Organised by Professor Jim Woodhouse
Semantics Lunch (Computer Laboratory)
Resource Sensitive Synchronisation Inference by Abduction
Logic and Semantics Seminar (Computer Laboratory)
Algebra unifies Calculi of programming
SciSoc β Cambridge University Scientific Society
Everything from nothing: how our universe was made
Semantics Lunch (Computer Laboratory)
Clarifying and Compiling C/C++ Concurrency: from C++11 to POWER
Logic and Semantics Seminar (Computer Laboratory)
Nash Equilibrium, Bekic's Lemma and Bar Recursion
Wednesday Seminars - Department of Computer Science and Technology
Automatic Discovery of Patterns in Media Content
SciSoc β Cambridge University Scientific Society
The Large Hadron Collider: answering Gauguin's questions about the Universe
Cambridge Philosophical Society
Metallic Glasses: record-breaking properties for alloys from parvenus in the world of glasses
Semantics Lunch (Computer Laboratory)
Stop when you are Almost-Full: Adventures in Constructive Termination
Wednesday Seminars - Department of Computer Science and Technology
Search Based Software Engineering
SciSoc β Cambridge University Scientific Society
The limits of science
Semantics Lunch (Computer Laboratory)
Understanding POWER Multiprocessors
Wednesday Seminars - Department of Computer Science and Technology
Algebraic theories and computational effects
SciSoc β Cambridge University Scientific Society
Multiple Sclerosis Genetics - light at the end of the tunnel
Computer Laboratory Automated Reasoning Group Lunches
Modular verification of preemptive OS kernels
Cambridge Philosophical Society
Before the Silk Road - Food Globalisation in Prehistory
Semantics Lunch (Computer Laboratory)
The Importance of Being Linearizable
Wednesday Seminars - Department of Computer Science and Technology
Notes on the Synthesis of Music
SciSoc β Cambridge University Scientific Society
Defeating Ageing with Regenerative Medicine
Computer Laboratory Automated Reasoning Group Lunches
On the Strength of Owicki-Gries for Resources
Semantics Lunch (Computer Laboratory)
A Heirarchy of Mendler style Iteration/Recursion Combinators: taming recursive types with negative occurrences
Logic and Semantics Seminar (Computer Laboratory)
Almost always blue trees and bar induction
Wednesday Seminars - Department of Computer Science and Technology
TIME: Transport Information Monitoring Environment
Computer Laboratory Automated Reasoning Group Lunches
Discovery of Invariants through Automated Theory Formation
Cambridge Philosophical Society
Lapis lazuli and the Virgin's Robe
Semantics Lunch (Computer Laboratory)
Semantics of a DNA Strand Displacement Model
SciSoc β Cambridge University Scientific Society
The commercialization of university research
Semantics Lunch (Computer Laboratory)
Ribbon proofs for separation logic
Wednesday Seminars - Department of Computer Science and Technology
Probabilistic Graphical Models in Microsoft's Online Services: TrueSkill, AdPredictor, and Matchbox
SciSoc β Cambridge University Scientific Society
Darkness visible: the search for the missing mass of the universe
Computer Laboratory Automated Reasoning Group Lunches
Zeno: An automated theorem prover for functional programs
Cambridge Philosophical Society
The diversity of extrasolar planetary systems: Clues to planet formation and migration
β οΈ LARMOR LECTURE
Semantics Lunch (Computer Laboratory)
TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs
Logic and Semantics Seminar (Computer Laboratory)
Parameterized Complexity of some Problems in Concurrency and Verification
Semantics Lunch (Computer Laboratory)
Relating Two Semantics of Locally Scoped Names
β οΈ Note unusual day, time and place: this will be in the ARG lunch slot
Logic and Semantics Seminar (Computer Laboratory)
Parallel Assertions for Debugging Parallel Programs
Computer Laboratory Automated Reasoning Group Lunches
Nitpicking C++ Concurrency
Logic and Semantics Seminar (Computer Laboratory)
Lightweight Monadic Programming in ML
Wednesday Seminars - Department of Computer Science and Technology
Compiler Tools for MATLAB
Semantics Lunch (Computer Laboratory)
Polarisation in classical realisability and delimited control
β οΈ NOTE UNUSUAL TIME AND PLACE
Wednesday Seminars - Department of Computer Science and Technology
EXAMS - NO SEMINAR THIS WEEK
Computer Laboratory Automated Reasoning Group Lunches
Work in progress: a prototype refactoring tool based on a mechanically-verified core
Wednesday Seminars - Department of Computer Science and Technology
Body Part Recognition: Making Kinect Robust
Computer Laboratory Automated Reasoning Group Lunches
How do I know my GPU or multicore floating point computations are correct?
Computer Laboratory Automated Reasoning Group Lunches
Separation Algebra
Wednesday Seminars - Department of Computer Science and Technology
The Duality of State and Observation
Computer Laboratory Automated Reasoning Group Lunches
Title to be confirmed
Semantics Lunch (Computer Laboratory)
Composable Asynchronous Events/Formal Methods for Wireless Mesh Networks
β οΈ Note unusual start time: talks at 12.50 prompt
Logic and Semantics Seminar (Computer Laboratory)
The Complexity of #CSP
Wednesday Seminars - Department of Computer Science and Technology
Kernel Methods: the Emergence of a Well-founded Machine Learning
Computer Laboratory Automated Reasoning Group Lunches
A verified runtime for a verified theorem prover
Wednesday Seminars - Department of Computer Science and Technology
From deterministic finite automata to infinite games
SciSoc β Cambridge University Scientific Society
'Infection and autoimmunity: there may be some advantages to co-habitation'
Logic and Semantics Seminar (Computer Laboratory)
Isomorphisms of types in the presence of higher-order references
Wednesday Seminars - Department of Computer Science and Technology
Reflection on Java Security and Its Practical Impacts
β οΈ Joint with the Security seminar series
SciSoc β Cambridge University Scientific Society
From Einstein to the Large Hadron Collider
Computer Laboratory Automated Reasoning Group Lunches
Using the Cambridge ARM model to verify the concrete machine code of seL4
Wednesday Seminars - Department of Computer Science and Technology
Moose: an open platform for software analysis
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Logic and Semantics Seminar (Computer Laboratory)
Domination When the Stars Are Out β An algorithmization of Chudnovskyβs and Seymourβs Structure Theorem for Claw-Free Graphs
Wednesday Seminars - Department of Computer Science and Technology
Quantum computing -- theoretical prospects and relations to classical computation
β οΈ Note change of lecture theatre
SciSoc β Cambridge University Scientific Society
'Sophisticated Small Satellites from Surrey'
Computer Laboratory Automated Reasoning Group Lunches
Validating QBF Validity in HOL4
Cambridge Philosophical Society
SOAP FILMS AND THE ATTRACTIONS OF CLASSICAL PHYSICS
Darwin College Lecture Series
The Science and Beauty of Nebulae
Logic and Semantics Seminar (Computer Laboratory)
Bisimulation and Model-Checking for Partial Order Models of Concurrency
Wednesday Seminars - Department of Computer Science and Technology
Exhibition of Student Design Projects
β οΈ Note special event! Note unusual time!
SciSoc β Cambridge University Scientific Society
[CANCELLED] From Genomes to Health
Computer Laboratory Automated Reasoning Group Lunches
Heterogeneous Proofs: Spider Diagrams meet Higher-Order Provers
Darwin College Lecture Series
Terror by Beauty: Russo-Soviet perspectives
SciSoc β Cambridge University Scientific Society
The Coalitionβs Vision for Science and Technology
Wednesday Seminars - Department of Computer Science and Technology
Mobile Software Engineering - Characteristics and Challenges
SciSoc β Cambridge University Scientific Society
Is it possible to break the World Land speed record again?
Computer Laboratory Automated Reasoning Group Lunches
Rough-and-ready proof reconstruction
Cambridge Philosophical Society
UNDERSTANDING AND CURING CANCER: LESSONS FROM EVOLUTIONARY BIOLOGY
Darwin College Lecture Series
Beauty & Happiness: Chinese perspectives
Logic and Semantics Seminar (Computer Laboratory)
Approximating Labelled Markov Processes by Averaging
Wednesday Seminars - Department of Computer Science and Technology
Reasoning about Software Safety Integrity and Assurance
SciSoc β Cambridge University Scientific Society
Magnetricity and Magnetic Monopoles
Computer Laboratory Automated Reasoning Group Lunches
The Strategy Challenge in Computer Algebra
Darwin College Lecture Series
Beauty & Attraction: in the eyes of the beholder
SciSoc β Cambridge University Scientific Society
When ideas have sex: the collective brain
Computer Laboratory Automated Reasoning Group Lunches
Formalizing Metarouting
Cambridge Philosophical Society
FRAGMENTS AND DROPLETS
Darwin College Lecture Series
The Sound of Beauty
Logic and Semantics Seminar (Computer Laboratory)
Kleisli Arrows of Outrageous Fortune
Wednesday Seminars - Department of Computer Science and Technology
In the beginning God created tensor, ... then matter, ... then speech
SciSoc β Cambridge University Scientific Society
Twistors and Quantum Non-Locality
Darwin College Lecture Series
Quantum Beauty
Wednesday Seminars - Department of Computer Science and Technology
Efficient Network-wide Flow Record Generation
SciSoc β Cambridge University Scientific Society
Paul Dirac and the Religion of Mathematical Beauty
Computer Laboratory Automated Reasoning Group Lunches
Quantifier Heuristics in HOL4
Cambridge Philosophical Society
G I TAYLOR LECTURE - THE FLUID DYNAMICS OF GREEN BUILDINGS
β οΈ Co-hosted with the Department of Applied Mathematics & Theoretical Physics. A complimentary drinks reception will follow on after the lecture for all attendees.
Darwin College Lecture Series
Beauty & The Grotesque
Logic and Semantics Seminar (Computer Laboratory)
Selection functions everywhere
Wednesday Seminars - Department of Computer Science and Technology
Challenging Computer Science Problems at Ocado
SciSoc β Cambridge University Scientific Society
"The End of the Line": How Overfishing Is Changing the World And What We Eat
Darwin College Lecture Series
Beauty & Truth
Logic and Semantics Seminar (Computer Laboratory)
Modular Reasoning for Deterministic Parallelism
Wednesday Seminars - Department of Computer Science and Technology
Implementing a Distributed Event Processing Network
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Semantics Lunch (Computer Laboratory)
Relaxed-Memory Concurrency and Verified Compilation / Mathematizing C++0x concurrency
Semantics Lunch (Computer Laboratory)
Logics with algebraic operators
Semantics Lunch (Computer Laboratory)
Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages
SciSoc β Cambridge University Scientific Society
Devilish decline: infectious cancer and the Tasmanian devil
Computer Laboratory Automated Reasoning Group Lunches
Evaluating Formulas on Graphs
Semantics Lunch (Computer Laboratory)
Making Prophecies with Decision Predicates
SciSoc β Cambridge University Scientific Society
Volcanic eruptions: causes and consequences
Computer Laboratory Automated Reasoning Group Lunches
First prototype of an Isabelle/HOL-to-LeoII interface
Cambridge Philosophical Society
FROM VAN DER WAALS TO MODELLING PROTEIN CHRYSTALLISATION
Semantics Lunch (Computer Laboratory)
Relaxed-Memory Concurrency and Verified Compilation
Logic and Semantics Seminar (Computer Laboratory)
Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretation
Wednesday Seminars - Department of Computer Science and Technology
Detecting Network Traffic Anomalies
SciSoc β Cambridge University Scientific Society
Snake and Lobster - A Feast for MICCAI
Computer Laboratory Automated Reasoning Group Lunches
Mirage
Semantics Lunch (Computer Laboratory)
A Language for Mathematics
SciSoc β Cambridge University Scientific Society
Verification of Quantum Mechanics
Wednesday Seminars - Department of Computer Science and Technology
What is happening now? Finding events in Massive Message Streams
Computer Laboratory Automated Reasoning Group Lunches
A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions
Cambridge Philosophical Society
THE ANTIBODY REVOLUTION; FROM SCIENCE AND INVENTIONS TO COMPANIES AND MEDICINES
Semantics Lunch (Computer Laboratory)
Andrew Kennedy
β οΈ POSTPONED - no Semantics Lunch meeting this week
Logic and Semantics Seminar (Computer Laboratory)
Towards Automatic Resource Consumption Certification
β οΈ Note unusual time (11am) and room (SS03)
Cambridge University Railway Club
The Welsh Highland Railway
Cambridge Philosophical Society
HONORARY FELLOWS LECTURE - CLONING, NUCLEAR REPROGRAMMING AND PROSPECTS FOR CELL REPLACEMENT
Wednesday Seminars - Department of Computer Science and Technology
A Look Into Youtube - The World's Largest Video Site
Computer Laboratory Automated Reasoning Group Lunches
Formal Verification of Analog Designs using MetiTarski
Semantics Lunch (Computer Laboratory)
Finding best paths in difficult conditions
β οΈ (Change of speaker - this replaces Eric's talk)
Logic and Semantics Seminar (Computer Laboratory)
A Framework for Incremental Modelling and Verification of On-Chip Protocols and Its Application to PCI Express
β οΈ Note the unusual time (13:00)
Computer Laboratory Automated Reasoning Group Lunches
Bit-blasting in HOL4
Cambridge Philosophical Society
TENSEGRITY: THE ART AND MATHEMATICS OF PRE-STRESSED STRUCTURES
Semantics Lunch (Computer Laboratory)
Separation Logic and Graphical Models
SciSoc β Cambridge University Scientific Society
Neonatal diabetes: From Gene to Therapy
Wednesday Seminars - Department of Computer Science and Technology
A Survey of Classical and Real-Time Verification
Computer Laboratory Automated Reasoning Group Lunches
A Simple and Efficient Memory Model for Concurrent Programming Languages
Semantics Lunch (Computer Laboratory)
Mathematizing C++ Concurrency
Wednesday Seminars - Department of Computer Science and Technology
Test Generation and Fault Localization for Web Applications
SciSoc β Cambridge University Scientific Society
And now for something completely different β when engineers did maths and mathematicians talked to God
Wednesday Seminars - Department of Computer Science and Technology
Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance Architectures
β οΈ Note unusual time and day (and LT2)
Computer Laboratory Automated Reasoning Group Lunches
Schedulability analysis of embedded real-time Java
Cambridge Philosophical Society
LARMOR LECTURE - STRING THEORY - A UNIFYING PRINCIPLE IN THEORETICAL PHYSICS
β οΈ Note venue change
Semantics Lunch (Computer Laboratory)
Let should not be generalised
Wednesday Seminars - Department of Computer Science and Technology
Multi-Target Data-Parallel Programming with Accelerator for GPUs, Multicore Processors and FPGAs
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Semantics Lunch (Computer Laboratory)
Abstract separation algebra
Logic and Semantics Seminar (Computer Laboratory)
Characterizations of the Expressive Power of Logics over Trees
Semantics Lunch (Computer Laboratory)
Concurrent abstract predicates
Semantics Lunch (Computer Laboratory)
Interoperability in a Scripted World
Semantics Lunch (Computer Laboratory)
Probabilistic languages for inference
Wednesday Seminars - Department of Computer Science and Technology
Some Uses of Hashing in Networking Problems
Semantics Lunch (Computer Laboratory)
Higher order reactive programming
Semantics Lunch (Computer Laboratory)
Proving safety of asynchronous multi-core programs
Semantics Lunch (Computer Laboratory)
Hoopl: modular library for dataflow analysis/transformation
Semantics Lunch (Computer Laboratory)
Every bit counts
Computer Laboratory Automated Reasoning Group Lunches
A Mechanically Verified AIG-to-BDD Conversion Algorithm
Semantics Lunch (Computer Laboratory)
Linear maps
Wednesday Seminars - Department of Computer Science and Technology
Executable Strategies for Cellular Decision Making
Computer Laboratory Automated Reasoning Group Lunches
General Binding in Nominal Isabelle 2
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 3)
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 2)
Wednesday Seminars - Department of Computer Science and Technology
EXAMS
β οΈ No Wednesday Seminar due to Exams!
Computer Laboratory Automated Reasoning Group Lunches
Validating QBF Invalidity in HOL4
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 1)
Wednesday Seminars - Department of Computer Science and Technology
Dynamical Grammars for Galaxy Image Recognition
Computer Laboratory Automated Reasoning Group Lunches
Local Reasoning about While-Loops
Logic and Semantics Seminar (Computer Laboratory)
Scalars & probabilities, monads & categories
Category Theory Seminar
The Scott model of Linear Logic is the extensional collapse of its relational model
Wednesday Seminars - Department of Computer Science and Technology
Statistical problems in complex networks
Computer Laboratory Automated Reasoning Group Lunches
Verification of a copying garbage collector
Semantics Lunch (Computer Laboratory)
A polarised calculus of delimited control
Logic and Semantics Seminar (Computer Laboratory)
Algebraic Theories over Nominal Sets
Wednesday Seminars - Department of Computer Science and Technology
Privacy in Advertising: Not all Adware is Badware
β οΈ Rescheduled from April 21.
Computer Laboratory Automated Reasoning Group Lunches
Title to be confirmed
β οΈ Canceled because of date clash with HCSS and workshop at MSR
Wednesday Seminars - Department of Computer Science and Technology
NO SEMINAR THIS WEEK
SciSoc β Cambridge University Scientific Society
Len Fisher - Equations for Everyday Life
Computer Laboratory Automated Reasoning Group Lunches
Formal models of ARM processors in HOL
β οΈ Presenters: Mike Gordon and Anthony Fox / This is a rehearsal of our HCSS talk on May 11
Wednesday Seminars - Department of Computer Science and Technology
From Separation Logic to Systems Code
SciSoc β Cambridge University Scientific Society
Synchrotron light: from Einstein's theories into a brilliant future
Computer Laboratory Automated Reasoning Group Lunches
From Counter Abstraction to Thread-State Cutoffs: New Techniques for Multi-Threaded Program Verification
Wednesday Seminars - Department of Computer Science and Technology
Privacy in Advertising: Not all Adware is Badware
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Logic and Semantics Seminar (Computer Laboratory)
Declassification Policy Inference
Semantics Lunch (Computer Laboratory)
New frontiers for Linear Temporal Logic
Computer Laboratory Automated Reasoning Group Lunches
Formal Verification of Analog and Mixed Signal Designs
Semantics Lunch (Computer Laboratory)
The Thorn Programming Language: Robust Distributed Scripting
Cambridge Philosophical Society
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Undecidability of propositional separation logic and its neighbours
Wednesday Seminars - Department of Computer Science and Technology
Aura: A Programming Language with Authorization and Audit
SciSoc β Cambridge University Scientific Society
Sir David Baulcombe - Of Maize and Men
Computer Laboratory Automated Reasoning Group Lunches
Interfacing two similar HOLs
Cambridge Philosophical Society
What should we do about the diabetes epidemic? Insights from epidemiology
Darwin College Lecture Series
Risk and (Human-induced) Climate Change
Wednesday Seminars - Department of Computer Science and Technology
Exhibition of Student Design Projects
β οΈ Note special event! Note unusual time!
SciSoc β Cambridge University Scientific Society
The Oil And Gas Industry: The Next 30 Years
Computer Laboratory Automated Reasoning Group Lunches
Integration of SMT Solvers with ITPs - There and Back Again
Darwin College Lecture Series
Risk and Natural Catastrophes
Wednesday Seminars - Department of Computer Science and Technology
Generic Programming
SciSoc β Cambridge University Scientific Society
Prof Andrew Lever - Getting Intimate With HIV
Computer Laboratory Automated Reasoning Group Lunches
Verification of Multicast Protocols
Cambridge Philosophical Society
The consequences of Chernobyl, from human health to genetic mechanisms
Darwin College Lecture Series
Risk, Security and Terrorism
Wednesday Seminars - Department of Computer Science and Technology
Proving that programs eventually do something good
SciSoc β Cambridge University Scientific Society
Prof Kevin Warwick - Cyborg Experiments
Computer Laboratory Automated Reasoning Group Lunches
A New Version of Nominal Isabelle
Cambridge Philosophical Society
Title to be confirmed
Darwin College Lecture Series
Risk and Humanities
Wednesday Seminars - Department of Computer Science and Technology
Third Generation Machine Intelligence
SciSoc β Cambridge University Scientific Society
The Logic of Foraging
β οΈ Followed by a wine reception
Cambridge Philosophical Society
The Dynamics of Avalanches
Darwin College Lecture Series
Risk and Government: The architectonics of blame-avoidance
Wednesday Seminars - Department of Computer Science and Technology
Automated Experimentation: Beyond Deployment and Execution
SciSoc β Cambridge University Scientific Society
Prof Nicola Clayton - Do Animals Make Shopping Lists?
Darwin College Lecture Series
Risk and the Brain: The neural basis of decision making under uncertainty
Wednesday Seminars - Department of Computer Science and Technology
Graphical Reasoning in Symmetric Monoidal Categories
SciSoc β Cambridge University Scientific Society
Lord Robert Winston (Free Entry)
Computer Laboratory Automated Reasoning Group Lunches
Holfoot - A separation logic tools inside HOL 4
Cambridge Philosophical Society
G I TAYLOR LECTURE - Stirring Tails of Evolution
Darwin College Lecture Series
Risk: Science and the Media
Wednesday Seminars - Department of Computer Science and Technology
Models of large-scale real-life networks
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Darwin College Lecture Series
Risk: Trying to quantify our uncertainty
Logic and Semantics Seminar (Computer Laboratory)
Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors
Wednesday Seminars - Department of Computer Science and Technology
Multipath TCP
Computer Laboratory Automated Reasoning Group Lunches
Verified just-in-time compiler on x86
β οΈ Notice changed date
Wednesday Seminars - Department of Computer Science and Technology
Performance Comparisons of Hard Logic, Programmable Soft Logic, and Instruction Set Architectures
β οΈ Note unusual out of term date.
Cambridge Philosophical Society
ONE DAY MEETING - Emotions in an age of communication
β οΈ An interdisciplinary scientific ONE DAY meeting OPEN TO ALL who are interested
Logic and Semantics Seminar (Computer Laboratory)
The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.
Wednesday Seminars - Department of Computer Science and Technology
A POPLmark retrospective: Using proof assistants in programming language research
β οΈ Note change of speaker!
SciSoc β Cambridge University Scientific Society
Prof. David Colquhoun - Science in an Age of Endarkenment
Computer Laboratory Automated Reasoning Group Lunches
jStar: Towards Practical Verification for Java
Semantics Lunch (Computer Laboratory)
Coarse-grained transactions
Logic and Semantics Seminar (Computer Laboratory)
The Microcosm Principle and Coalgebraic Modeling of Component Calculi
Wednesday Seminars - Department of Computer Science and Technology
Elements of a Networked Urbanism
SciSoc β Cambridge University Scientific Society
Prof. Anthony Hollander - Claudia's Tracha and other Stem Cell Stories
Computer Laboratory Automated Reasoning Group Lunches
New tools in HOL 4 - Consequence Conversions, Quantifier Heuristics, Styles
β οΈ Notice change of speaker
Cambridge Philosophical Society
Tracing human ancestry using DNA
Semantics Lunch (Computer Laboratory)
A refinement of the state monad
Wednesday Seminars - Department of Computer Science and Technology
Insights from Expert Software Design Practice
SciSoc β Cambridge University Scientific Society
Prof. Rupert Sheldrake - Morphic Resonance, Collective Momory, and the Habits of Nature
Computer Laboratory Automated Reasoning Group Lunches
SMT Solvers: New Oracles for the HOL Theorem Prover
Semantics Lunch (Computer Laboratory)
Completeness for algebraic theories of local state
Wednesday Seminars - Department of Computer Science and Technology
On Quantitative Software Verification
SciSoc β Cambridge University Scientific Society
The Science of Spinning Things
Computer Laboratory Automated Reasoning Group Lunches
Abstract Threads
β οΈ th orginally sheduled talk by Thomas Tuerk will probably be given next term
Cambridge Philosophical Society
Hearing loss and hearing aids
Semantics Lunch (Computer Laboratory)
Structural recursion with pure local names
Cambridge Philosophical Society
HONORARY FELLOWS PRIZE LECTURE - Our cosmic environment
Wednesday Seminars - Department of Computer Science and Technology
Serializability Enforcement for Concurrent ML
SciSoc β Cambridge University Scientific Society
Prof. John Beddington - Title TBC
Semantics Lunch (Computer Laboratory)
Dependent types and program equivalence
SciSoc β Cambridge University Scientific Society
Sir David King - 21st Century Challanges
Wednesday Seminars - Department of Computer Science and Technology
Aggregated Security Monitoring in 10GB networks
Logic and Semantics Seminar (Computer Laboratory)
A Theory of Indirection via Approximation
Computer Laboratory Automated Reasoning Group Lunches
A formal system for Euclidean diagrammatic reasoning
Cambridge Philosophical Society
The Measure of the Universe: a crisis for cosmology
Semantics Lunch (Computer Laboratory)
Verifying malloc using RGSep and 'Explicit Stabilisation'
Wednesday Seminars - Department of Computer Science and Technology
Pushing JavaScript Performance
SciSoc β Cambridge University Scientific Society
Marcus du Sautoy - Finding Moonshine
β οΈ Free Event - The Freshers' Squash
Computer Laboratory Automated Reasoning Group Lunches
Owicki-Gries, Thread-Modular Model-Checking, Cartesian Abstraction
Semantics Lunch (Computer Laboratory)
Locality and Footprints in Separation Logic
Wednesday Seminars - Department of Computer Science and Technology
Reaching Out: how to engage young people with computer science
β οΈ Warning: the talk will include loud bangs.
Computer Laboratory Automated Reasoning Group Lunches
High-Assurance(?) High-Frequency Trading
Cambridge Philosophical Society
LARMOR LECTURE - The internet and new forms of mathematical collaboration
Semantics Lunch (Computer Laboratory)
F^o: Lightweight Linear F
Wednesday Seminars - Department of Computer Science and Technology
Scalable Ontology-Based Information Systems
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Semantics Lunch (Computer Laboratory)
Integration of Typed and Untyped Code in a Scripting Language
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
β οΈ FW11 FW26 not available today
Logic and Semantics Seminar (Computer Laboratory)
A Canonical Local Representation of Binding
Computer Laboratory Automated Reasoning Group Lunches
Verified LISP implementations on ARM, x86 and PowerPC / A HOL Formalisation of Smallfoot
Computer Laboratory Automated Reasoning Group Lunches
Why you can't even trust HOL, and what to do about it
Wednesday Seminars - Department of Computer Science and Technology
Reflections on merging the digital and the physical
β οΈ Note unusual time
Cambridge Philosophical Society
The Voyage to the Beagle Letters, Henslow, Darwin and the Philosophical Society
β οΈ Darwin 2009 Lecture
Wednesday Seminars - Department of Computer Science and Technology
Evolving a language in and for the real world
β οΈ 800th Anniversary of Cambridge Univ. talk
Semantics Lunch (Computer Laboratory)
Higher Order Actions in Deny-Guarantee
Semantics Lunch (Computer Laboratory)
Program Verification and Synthesis over Predicate Abstraction
Wednesday Seminars - Department of Computer Science and Technology
Toward Energy-efficient Computing
β οΈ 800th Anniversary of Cambridge Univ. talk/Note unusual time
Wednesday Seminars - Department of Computer Science and Technology
What can sequent calculus do for functional programs?
Semantics Lunch (Computer Laboratory)
Reliable evidence: Auditability by typing
Wednesday Seminars - Department of Computer Science and Technology
Concurrency Through the Ages
β οΈ 800th Anniversary of Cambridge Univ. talk
Semantics Lunch (Computer Laboratory)
A Ubiquitous Abstract Machine
Logic and Semantics Seminar (Computer Laboratory)
Explicit Stabilisation for Rely-Guarantee reasoning
Wednesday Seminars - Department of Computer Science and Technology
No Wednesday Seminar today!
Computer Laboratory Automated Reasoning Group Lunches
Solving HOL problems using FOL tools
Logic and Semantics Seminar (Computer Laboratory)
Inductive-recursive definitions
Wednesday Seminars - Department of Computer Science and Technology
The 10 Cultures Problem
β οΈ 800th Anniversary of Cambridge Univ. talk
Logic and Semantics Seminar (Computer Laboratory)
Safety of program transformations in shared-memory concurrency
β οΈ NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.
Computer Laboratory Automated Reasoning Group Lunches
Verifying Flash Device Drivers
Wednesday Seminars - Department of Computer Science and Technology
Computational Creativity: A Different Future for AI Research
Semantics Lunch (Computer Laboratory)
Towards parametric direcursion: structured mixed-variant recursion with parameters
Wednesday Seminars - Department of Computer Science and Technology
Model-Based Design: a New Landscape for Embedded Systems Development
Computer Laboratory Automated Reasoning Group Lunches
Automatic Reverse Engineering for Formal Verification
Semantics Lunch (Computer Laboratory)
Scheduling meeting
SciSoc β Cambridge University Scientific Society
Filling Tomorrow's Pipeline - A discussion with Dr Martin Mackay, President of Pfizer Global Research and Development
Logic and Semantics Seminar (Computer Laboratory)
Focalisation and Classical Realisability
Wednesday Seminars - Department of Computer Science and Technology
Inventing the User: EDSAC in context
β οΈ EDSAC 60th Anniversary talk/800th Anniversary of Cambridge Univ. talk/Note unusual time (Talk followed by Drinks Reception at 17:00)
Computer Laboratory Automated Reasoning Group Lunches
Free to a good home: an advertisement for the "new" HOL4 theories of probability, integration, and information. / A Heap of Problems
Wednesday Seminars - Department of Computer Science and Technology
Accounting for User Behaviour in Security
Computer Laboratory Automated Reasoning Group Lunches
Mechanically Proving Hoare Formulae
SciSoc β Cambridge University Scientific Society
SciSoc Annual Founders' Dinner with Simon Baron-Cohen
β οΈ Tickets on sale now: visit http://groupspaces.com/SciSoc/e/11972?s=e223a8bf
Logic and Semantics Seminar (Computer Laboratory)
TALK CANCELLED: An overview of structural corecursion
β οΈ THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.
Wednesday Seminars - Department of Computer Science and Technology
"Re-architecting Internet capacity sharing" aka "Putting far-reaching Cambridge research into practice"
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Semantics Lunch (Computer Laboratory)
A unifying model for computational objects
Computer Laboratory Automated Reasoning Group Lunches
Formal Verification of Centaur Technology's X86-Compatible Media Unit
Semantics Lunch (Computer Laboratory)
Strongly-typed term representations in Coq
Semantics Lunch (Computer Laboratory)
Segment logic (work in progress)
Logic and Semantics Seminar (Computer Laboratory)
Structurally Recursive Descent Parsing
Computer Laboratory Automated Reasoning Group Lunches
A Verifiable, Executable SLR Parser
Computer Laboratory Automated Reasoning Group Lunches
A Theory of Type-directed Coercion Insertion
β οΈ Note change of date
Semantics Lunch (Computer Laboratory)
Biorthogonality, step-indexing and compiler correctness
Wednesday Seminars - Department of Computer Science and Technology
Correctness by Construction of High-Integrity Software
SciSoc β Cambridge University Scientific Society
Fighting Blindness in the Developing World
Computer Laboratory Automated Reasoning Group Lunches
Semantics Lunch
β οΈ Canceled, semantics lunch instead
Semantics Lunch (Computer Laboratory)
Deny-guarantee reasoning
β οΈ NOTE THE UNUSUAL DAY AND VENUE. This talk is in the ARG lunch slot.
Cambridge Philosophical Society
Machines that see
Semantics Lunch (Computer Laboratory)
Resolving inductive definitions with binders
Darwin College Lecture Series
The Boundaries of Darwinism
Logic and Semantics Seminar (Computer Laboratory)
Deciding Boolean BI (via Display Logic)
Wednesday Seminars - Department of Computer Science and Technology
Collective Intelligence Techniques for Pervasive Computing
SciSoc β Cambridge University Scientific Society
When The Golden Chain Breaks: Sleep Dysfunction in Neurogenerative Disorder
Computer Laboratory Automated Reasoning Group Lunches
Modular verification of concurrent programs with heap
β οΈ Mike Hick's talk moved to the 17th of March
Semantics Lunch (Computer Laboratory)
A Framework for Specification, Prototyping, and Reasoning
Darwin College Lecture Series
Is Human Evolution Over?
Wednesday Seminars - Department of Computer Science and Technology
Balancing the expected and the surprising in geometric patterns: an investigation inspired by Bridget Riley's early Op art
SciSoc β Cambridge University Scientific Society
Shedding Light on Dark Matter
Computer Laboratory Automated Reasoning Group Lunches
Formal power series in Isabelle/HOL
Cambridge Philosophical Society
The biomechanics of Spiderman: how insects walk on the ceiling
Semantics Lunch (Computer Laboratory)
Logics with Rank Operators
Darwin College Lecture Series
Evolution and Conservation of Biodiversity
Logic and Semantics Seminar (Computer Laboratory)
A game for a neutral approach to provability in MALL
Wednesday Seminars - Department of Computer Science and Technology
Privacy and HCISec: Notes From The Front
Computer Laboratory Automated Reasoning Group Lunches
RGSep action inference
Semantics Lunch (Computer Laboratory)
Semantics lunch organisational meeting
Darwin College Lecture Series
Darwin and Human Society
Wednesday Seminars - Department of Computer Science and Technology
Modelling Quality Properties of Systems
SciSoc β Cambridge University Scientific Society
Trick or Treatment? Alternative Medicine on Trial
Computer Laboratory Automated Reasoning Group Lunches
Verifying Distributed Systems: the Operational Approach
Cambridge Philosophical Society
Planar cell polarity: a large or small part of animal development?
Darwin College Lecture Series
Darwin in the Literary World
Logic and Semantics Seminar (Computer Laboratory)
Equideductive logic and CCCs with subspaces
β οΈ NOTE UNUSUAL DAY.
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 2)
β οΈ This is the second part of a two-part series
Wednesday Seminars - Department of Computer Science and Technology
IPv6: the basics
SciSoc β Cambridge University Scientific Society
Evolution From Malaria to Manuscripts
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 1)
β οΈ This is the first part of a two-part series. Part 2 is on Wed 4th Feb.
Computer Laboratory Automated Reasoning Group Lunches
Finite Model Generation, Proof-Producing SAT Solvers, and SMT
Darwin College Lecture Series
Global Darwin
Logic and Semantics Seminar (Computer Laboratory)
Nondeterminism: many questions and (maybe) some answers
Wednesday Seminars - Department of Computer Science and Technology
A Framework for the Analysis of Mix-Based Steganographic File Systems
SciSoc β Cambridge University Scientific Society
Unpredictability and Chance in Scientific Progress
Computer Laboratory Automated Reasoning Group Lunches
A HOL Formalisation of Smallfoot
Cambridge Philosophical Society
G I Taylor Lecture - How metals can fall apart: Vision, observation and G I Taylor
Darwin College Lecture Series
Darwin's Intellectual Development
Wednesday Seminars - Department of Computer Science and Technology
Structured Hidden Markov Model: A General Tool for Analysing Sequential data
Computer Laboratory Automated Reasoning Group Lunches
Title to be confirmed
β οΈ Canceled because of POPL
SciSoc β Cambridge University Scientific Society
Cognitive Enhancement: Hope or Dope?
β οΈ FREE ADMITTANCE
Darwin College Lecture Series
The Making of the Fittest
Wednesday Seminars - Department of Computer Science and Technology
Statistical Parsing of Natural Language with Lexicalised Grammars
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Cambridge Philosophical Society
ONE DAY MEETING - Pluripotency, reprogramming and stem cells
β οΈ REGISTER BY EMAIL TO: philosoc@hermes.cam.ac.uk
Semantics Lunch (Computer Laboratory)
Secure Compilation of a Multi-Tier
Wednesday Seminars - Department of Computer Science and Technology
Second-Order Quantifier Elimination
SciSoc β Cambridge University Scientific Society
Biophysical Studies of the Nervous System
Computer Laboratory Automated Reasoning Group Lunches
An ACL2 Tutorial
Semantics Lunch (Computer Laboratory)
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Dynamics, robustness and fragility of trust
β οΈ NOTE THE UNUSUAL TIME
Wednesday Seminars - Department of Computer Science and Technology
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
SciSoc β Cambridge University Scientific Society
Extreme Natural Hazards
Computer Laboratory Automated Reasoning Group Lunches
The Semantics of x86-CC Multiprocessor Machine Code
Cambridge Philosophical Society
All cells are born equal, but some are more equal than others
Semantics Lunch (Computer Laboratory)
Convergence of path-finding
Logic and Semantics Seminar (Computer Laboratory)
Polynomial functors
Wednesday Seminars - Department of Computer Science and Technology
Robust Networks
SciSoc β Cambridge University Scientific Society
Was there Anything Before the Big Bang? Possibly!
β οΈ FREE ADMITTANCE
Computer Laboratory Automated Reasoning Group Lunches
Techniques for Symbolic Complexity Bounds
Semantics Lunch (Computer Laboratory)
Compiling Functional Types to Relational Specifications for Low Level Imperative Code
Wednesday Seminars - Department of Computer Science and Technology
Defending Networked Resources Against Floods of Unwelcome Requests
Computer Laboratory Automated Reasoning Group Lunches
Mechanically verified LISP interpreters
β οΈ Note unusual time
SciSoc β Cambridge University Scientific Society
Intimate Relations: Human Evolution and Climatic Change
β οΈ Please note the change in venue and date! The talk is on Monday!
Cambridge Philosophical Society
Lost in translation: challenges in applying society's risks to individuals
Semantics Lunch (Computer Laboratory)
Some notes on syntactic logical relations for pure System F
Logic and Semantics Seminar (Computer Laboratory)
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Cambridge Philosophical Society
HONORARY FELLOWS PRIZE LECTURE - Who owns science?
Wednesday Seminars - Department of Computer Science and Technology
The Manticore project
SciSoc β Cambridge University Scientific Society
Computing for the Future of the Planet
Computer Laboratory Automated Reasoning Group Lunches
Proving recursive programs terminating
Semantics Lunch (Computer Laboratory)
Deny-guarantee reasoning
Wednesday Seminars - Department of Computer Science and Technology
How to Protect your Data by Eliminating Trusted Storage Infrastructure
Computer Laboratory Automated Reasoning Group Lunches
Towards Automatic Stability Analysis for Rely-Guarantee Proofs
Cambridge Philosophical Society
Writing the future: opportunities and challenges in inkjet printing
Semantics Lunch (Computer Laboratory)
Focusing on Pattern Matching
Wednesday Seminars - Department of Computer Science and Technology
Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions
SciSoc β Cambridge University Scientific Society
Sustainable Energy β Without the Hot Air
Computer Laboratory Automated Reasoning Group Lunches
The Mechanical Formalization of Measure, Integration and Probability
Semantics Lunch (Computer Laboratory)
An Invitation to Nominal Domain Theory
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
SciSoc β Cambridge University Scientific Society
Gods, Devils and Alcohol - Their Influence in Chemical Nomenclature
β οΈ FREE ENTRY
Wednesday Seminars - Department of Computer Science and Technology
Practical Dynamic Software Updating for C
Computer Laboratory Automated Reasoning Group Lunches
Applications of MetiTarski in the Verification of Control and Hybrid Systems
Cambridge Philosophical Society
LARMOR LECTURE Seeing Nano: optics on the smallest scales
Wednesday Seminars - Department of Computer Science and Technology
Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors
β οΈ Note unusual date and time
Logic and Semantics Seminar (Computer Laboratory)
Classical BI (A Logic for Reasoning About Dualising Resource)
Wednesday Seminars - Department of Computer Science and Technology
Content Distribution based on Social Swarming
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Logic and Semantics Seminar (Computer Laboratory)
Nominal terms and one-and-a-half level Curry-Howard
Computer Laboratory Automated Reasoning Group Lunches
Formal Methods for Critical Systems
Computer Laboratory Automated Reasoning Group Lunches
Diagrammatic Reasoning in Separation Logic
Wednesday Seminars - Department of Computer Science and Technology
STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS
Logic and Semantics Seminar (Computer Laboratory)
The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach
Computer Laboratory Automated Reasoning Group Lunches
ACL2-Based Verification of NoC Communication Infrastructures
Computer Laboratory Automated Reasoning Group Lunches
The Relative Consistency of the Axiom of Choice, Mechanized Using Isabelle/ZF
Logic and Semantics Seminar (Computer Laboratory)
Event structure semantics of the pi-calculus
Computer Laboratory Automated Reasoning Group Lunches
Proving Liveness Properties of Non-blocking Data Structures
Wednesday Seminars - Department of Computer Science and Technology
Acceleration of scientific computing using graphics hardware
Computer Laboratory Automated Reasoning Group Lunches
Proof-producing decompilation and compilation
β οΈ Room changed
Wednesday Seminars - Department of Computer Science and Technology
How to prove that a communications protocol stack is up to the job
Computer Laboratory Automated Reasoning Group Lunches
Proving conditional termination
Logic and Semantics Seminar (Computer Laboratory)
Extensional rewriting with sums
Wednesday Seminars - Department of Computer Science and Technology
Citations and Argumentation for Better Information Access
Computer Laboratory Automated Reasoning Group Lunches
Applying Machine Learning to Heuristic Selection in an Automated Theorem Prover
Logic and Semantics Seminar (Computer Laboratory)
Eriskay: a programming language based on game semantics.
SciSoc β Cambridge University Scientific Society
Microbial Bioenergy Production
β οΈ Note unusual day: Thursday, not Tuesday
Wednesday Seminars - Department of Computer Science and Technology
Stylized Rendering for Multi-resolution Image Representation: Reconciling Efficiency with Aesthetics in Image Compression
Computer Laboratory Automated Reasoning Group Lunches
Information, Anonymity, and Proof
Logic and Semantics Seminar (Computer Laboratory)
Verification Based on Algebra and Automated Deduction
Wednesday Seminars - Department of Computer Science and Technology
Copyright vs Community
β οΈ Please note the extended duration
SciSoc β Cambridge University Scientific Society
Has the Leopard Changed Its Spots? Is a New Biology Emerging?
Computer Laboratory Automated Reasoning Group Lunches
LCF-style Propositional Simplification With BDDs and SAT Solvers
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Logic and Semantics Seminar (Computer Laboratory)
A language extension for provably safe exception handling
Cambridge University Railway Club
Railways Down Under - Around the World in 80 Trains
β οΈ Last talk of term - Note change of date
Wednesday Seminars - Department of Computer Science and Technology
Sustainable Energy -- without the hot air
Computer Laboratory Automated Reasoning Group Lunches
A Constraint-Programming Framework For Bounded Program Verification
Cambridge Philosophical Society
RNA: the fourth dimension in evolution or how nurture could influence nature?
β οΈ NOTE: NEW VENUE AND NEW START TIME
Darwin College Lecture Series
Understanding Humans - Serendipity and Anthropology
Logic and Semantics Seminar (Computer Laboratory)
Keep Off The Grass: Locking the Right Path for Atomicity
SciSoc β Cambridge University Scientific Society
Life and the Earth: interlocking histories
Wednesday Seminars - Department of Computer Science and Technology
Student Design Project Presentations
Computer Laboratory Automated Reasoning Group Lunches
Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II
Darwin College Lecture Series
Cosmological Serendipity
Wednesday Seminars - Department of Computer Science and Technology
Delay Tolerant Routing in Mobile and Sensor Networks
SciSoc β Cambridge University Scientific Society
Living with tsunamis: Sumatra and the Mediterranean
Computer Laboratory Automated Reasoning Group Lunches
Some "Real World" Problems in the Analog and Mixed Signal Domains
Cambridge Philosophical Society
Unpredictability and chance in science and technology
β οΈ NOTE: NEW VENUE AND NEW START TIME
Cambridge University Railway Club
Didwork Southeast?
Darwin College Lecture Series
Serendipity as a Force in Physics
Wednesday Seminars - Department of Computer Science and Technology
High-Performance Processing with Field-Programmable Logic
SciSoc β Cambridge University Scientific Society
Whose risk? Whose choice? Whose health?
Computer Laboratory Automated Reasoning Group Lunches
An Embedding of Abstract Separation Logic in HOL
Cambridge University Railway Club
Annual Photo Competition
Darwin College Lecture Series
Serendipity in Political Life
Wednesday Seminars - Department of Computer Science and Technology
Rethink and Arise!
SciSoc β Cambridge University Scientific Society
Bellβs Theorem, Cliffordβs Algebra, and Einsteinβs Reality
Computer Laboratory Automated Reasoning Group Lunches
A rigorous approach to networking: TCP, from implementation to protocol to service
Cambridge University Railway Club
25 Years On Rails
Darwin College Lecture Series
The Unanticipated Pleasures of the Writing Life
Wednesday Seminars - Department of Computer Science and Technology
Defence against the Dark Arts
SciSoc β Cambridge University Scientific Society
The Science of Chocolate
Computer Laboratory Automated Reasoning Group Lunches
Automatic Proof for Theorems On Transcendental Functions
Darwin College Lecture Series
HIV and the Naked Ape
Wednesday Seminars - Department of Computer Science and Technology
Executable Biology: Successes and Challenges
Cambridge Philosophical Society
G I Taylor Lecture - When is a structure a musical instrument? Percussion instruments and other musical oddities
β οΈ NOTE: NEW VENUE AND NEW START TIME
Cambridge University Railway Club
The History of London Underground
Darwin College Lecture Series
The Stratigraphy of Serendipity
Wednesday Seminars - Department of Computer Science and Technology
Fine-grained differences and similarities in meanings
β οΈ NOTE THE LATER TIME
SciSoc β Cambridge University Scientific Society
The necessity of consciousness: why human zombies would be an evolutionary dead end
Computer Laboratory Automated Reasoning Group Lunches
MaLARea: a Metasystem for Automated Reasoning in Large Theories
Darwin College Lecture Series
Serendipity's Guide to the Galaxy
Logic and Semantics Seminar (Computer Laboratory)
On Scalable Shape Analysis
Logic and Semantics Seminar (Computer Laboratory)
A completeness proof for bisimulation in the pi-calculus using Isabelle
β οΈ Note the unusual day.
Wednesday Seminars - Department of Computer Science and Technology
Searching for Evil
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Computer Laboratory Automated Reasoning Group Lunches
Automatic proof of SPARK verification conditions
Computer Laboratory Automated Reasoning Group Lunches
n-bit words in HOL
One day Meeting (Cambridge Philosophical Society): Synthetic Biology - Molecular Bioengineering for the 21st Century
General Discussion Session
One day Meeting (Cambridge Philosophical Society): Synthetic Biology - Molecular Bioengineering for the 21st Century
Synthetic biology: from bacteria to stem cells
One day Meeting (Cambridge Philosophical Society): Synthetic Biology - Molecular Bioengineering for the 21st Century
Synthetic Biology: DNA version 2.0
One day Meeting (Cambridge Philosophical Society): Synthetic Biology - Molecular Bioengineering for the 21st Century
Biological Engineering of Plant Systems
One day Meeting (Cambridge Philosophical Society): Synthetic Biology - Molecular Bioengineering for the 21st Century
Exploiting Scaffold Proteins to Generate Diverse I/O Dynamics in MAPK Pathways
One day Meeting (Cambridge Philosophical Society): Synthetic Biology - Molecular Bioengineering for the 21st Century
Towards large-scale integrated nucleic acid logic circuits
One day Meeting (Cambridge Philosophical Society): Synthetic Biology - Molecular Bioengineering for the 21st Century
Computational Design in Synthetic Biology
One day Meeting (Cambridge Philosophical Society): Synthetic Biology - Molecular Bioengineering for the 21st Century
The iGEM competition: Building with biology
One day Meeting (Cambridge Philosophical Society): Synthetic Biology - Molecular Bioengineering for the 21st Century
Tea/ coffee from 9.05 + Introduction (9.30)
Logic and Semantics Seminar (Computer Laboratory)
Logics for Coalgebras
Wednesday Seminars - Department of Computer Science and Technology
Automation for Interactive Theorem Provers
SciSoc β Cambridge University Scientific Society
Computers and Illusion - from photography to computer vision
Computer Laboratory Automated Reasoning Group Lunches
Proving Correctness of Secret Sharing Protocols using the Inductive Method
Logic and Semantics Seminar (Computer Laboratory)
Category Theory and the Philosophy of Language
Wednesday Seminars - Department of Computer Science and Technology
Executable Biology: Successes and Challenges
β οΈ Canceled
SciSoc β Cambridge University Scientific Society
Imaging Methods in Tumour Therapy
Computer Laboratory Automated Reasoning Group Lunches
From Program Logics to Program Analyses And Back
Wednesday Seminars - Department of Computer Science and Technology
Software Defect Mining with Formal Concept Analysis
Computer Laboratory Automated Reasoning Group Lunches
Reasoning about Linear Systems
Cambridge Philosophical Society
Imaging biology in the cancer patient - new ways to guide treatment. (Towards the Star Trek Tri-corder)
β οΈ NOTE: New start time and New venue
Logic and Semantics Seminar (Computer Laboratory)
Separation Logic Semantics for Communicating Processes
Cambridge Philosophical Society
The physics of the Earth's interior
β οΈ HONORARY FELLOWS PRIZE LECTURE
Wednesday Seminars - Department of Computer Science and Technology
Birrell's distributed reference listing revisited
Logic and Semantics Seminar (Computer Laboratory)
Pointer Safety and Graph Grammars
Computer Laboratory Automated Reasoning Group Lunches
Synthesis from Temporal Specifications
Logic and Semantics Seminar (Computer Laboratory)
Model theoretic tools for deciding boundedness of fixed points
Wednesday Seminars - Department of Computer Science and Technology
Multi-core programming with automatic parallelisation
SciSoc β Cambridge University Scientific Society
What Banged at the Big Bang
Computer Laboratory Automated Reasoning Group Lunches
A tool for verification: A decompiler from ARM to HOL
Cambridge University Railway Club
The Role of BRT Systems in Tomorrow's Britain
β οΈ 2030 start for 2100
Logic and Semantics Seminar (Computer Laboratory)
Logical Reasoning for Higher-Order Functions with Local State
Wednesday Seminars - Department of Computer Science and Technology
TechTalk by Google - The Chubby lock service for loosely-coupled distributed systems
Computer Laboratory Automated Reasoning Group Lunches
A modular formalisation of finite group theory
Wednesday Seminars - Department of Computer Science and Technology
How Do We Know What to Design?
SciSoc β Cambridge University Scientific Society
The History of the Universe in 60 minutes
Computer Laboratory Automated Reasoning Group Lunches
Executable Biology: Towards Computer Programs that Mimic Life
Cambridge Philosophical Society
LARMOR LECTURE, Dark Ages to Dark Endings: The Life Cycles of Galaxies
β οΈ NOTE: New start time and New venue
Wednesday Seminars - Department of Computer Science and Technology
How to Write Bug-Free Code - A Live Demonstration
Computer Laboratory Automated Reasoning Group Lunches
Introductiory Meeting
SciSoc β Cambridge University Scientific Society
Book Launch of 'Cool it' - bestselling author Bjorn Lomborg's latest release
Computer Laboratory Automated Reasoning Group Lunches
Verifying an Operating System Kernel
β οΈ Room changed
Wednesday Seminars - Department of Computer Science and Technology
SQ Minus EQ can Predict Programming Aptitude
Computer Laboratory Automated Reasoning Group Lunches
Boosting Verification by Automatic Tuning of Decision Procedures
Cambridge Philosophical Society
HIGH TEMPERATURE SUPERCONDUCTORS β WHY HAVE LARGE SCALE APPLICATIONS TAKEN SO LONG?
β οΈ Co-sponsored with Professor David Caldwell, IRC in Superconductivity
Computer Laboratory Automated Reasoning Group Lunches
Cryptanalysis with SAT - a propositional programming environment
β οΈ Room changed
Computer Laboratory Automated Reasoning Group Lunches
One-pass Tableaux for Computation Tree Logic
β οΈ Room changed
Logic and Semantics Seminar (Computer Laboratory)
The Java Memory Model - the Good, the Bad and the Ugly
Logic and Semantics Seminar (Computer Laboratory)
A unified model of class invariant verification frameworks
Computer Laboratory Automated Reasoning Group Lunches
Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic
Computer Laboratory Automated Reasoning Group Lunches
A Deep Embedding of a Decidable Fragment of Separation Logic in HOL
Computer Laboratory Automated Reasoning Group Lunches
The ARM Cortex-M1 Architecture in Coq
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Proofs of Program Termination in Separation Logic
Computer Laboratory Automated Reasoning Group Lunches
From QED to X-Logic, following the lead of Leibniz
Logic and Semantics Seminar (Computer Laboratory)
Valiant's theory
Computer Laboratory Automated Reasoning Group Lunches
Connecting Partial and Total Correctness for Probabilistic Programs in HOL4
Wednesday Seminars - Department of Computer Science and Technology
Smart-card based authentication on an insecure network
Computer Laboratory Automated Reasoning Group Lunches
A Compressing Translation from Propositional Resolution to Natural Deduction
Wednesday Seminars - Department of Computer Science and Technology
Electronics Revolution - driving pivotal change in Computer Science
Logic and Semantics Seminar (Computer Laboratory)
An Executable Model of the JVM in Coq
SciSoc β Cambridge University Scientific Society
10 Years of Biotech Crops: Global Economic and Environmental Impacts
Wednesday Seminars - Department of Computer Science and Technology
New Directions for Navigation
Computer Laboratory Automated Reasoning Group Lunches
Local Reasoning for Storable Locks and Threads
Logic and Semantics Seminar (Computer Laboratory)
Infinite-State System Verification via Tree Automata
Wednesday Seminars - Department of Computer Science and Technology
Modelling Biochemical Pathways with Stochastic Process Algebra
SciSoc β Cambridge University Scientific Society
Quasars and Radio Galaxies - the most powerful sources of radio waves in the universe
Wednesday Seminars - Department of Computer Science and Technology
βI want to tell you a joke. Are you ready?β β Implementing automated pun generation for children with complex communication needs.
SciSoc β Cambridge University Scientific Society
GM Crops - There are a lot of them About!
Wednesday Seminars - Department of Computer Science and Technology
DNA Microarray Technology at Agilent Technologies: Engineering, Manufacturing and Applications
β οΈ Host: Pietro Lio'.
SciSoc β Cambridge University Scientific Society
C++0x as a New Language
Wednesday Seminars - Department of Computer Science and Technology
Church's Problem on the Synthesis of Nonterminating Programs
β οΈ Host: Anuj Dawar. NOTE: This talk is OUT-OF-TERM
Logic and Semantics Seminar (Computer Laboratory)
When While is a Security Risk
SciSoc β Cambridge University Scientific Society
Comic Relief Charity Concert
β οΈ Songs for Cynical Scientists (and Non-Scientists!)
Logic and Semantics Seminar (Computer Laboratory)
Relational parametricity for computational effects.
Cambridge Philosophical Society
Beanbags, fish oil and rose-tinted spectacles; navigating the path through dyslexia 'cures'
SciSoc β Cambridge University Scientific Society
SciEnts Cocktail Party
Darwin College Lecture Series
SPECIES IDENTITY: WHEN IT MATTERS
Logic and Semantics Seminar (Computer Laboratory)
Stone duality for bitopological spaces
Wednesday Seminars - Department of Computer Science and Technology
Annual Presentation of Student Projects
β οΈ NOTE LATER TIME
SciSoc β Cambridge University Scientific Society
Scisoc 2007 Annual General Meeting
Darwin College Lecture Series
IMMUNOLOGICAL SELF
Logic and Semantics Seminar (Computer Laboratory)
Verification Across Intellectual Property Boundaries
Wednesday Seminars - Department of Computer Science and Technology
Security and Cooperation in Wireless Networks
SciSoc β Cambridge University Scientific Society
What do genes mean?
Cambridge Philosophical Society
Persistent Infectious Diseases - Viruses and how we live with them
Darwin College Lecture Series
IDENTITY AND THE MIND
Logic and Semantics Seminar (Computer Laboratory)
A Logic of Reachable Patterns in Linked Data-Structures
Wednesday Seminars - Department of Computer Science and Technology
The Lixto Web Data Extraction Project: A Status Report
SciSoc β Cambridge University Scientific Society
Drug discovery: how Academia can Contribute
Darwin College Lecture Series
IDENTITY AND THE LAW
Wednesday Seminars - Department of Computer Science and Technology
Computing for the Future of the Planet
SciSoc β Cambridge University Scientific Society
Religious and Scientific Belief
Cambridge Philosophical Society
Carbon Nanotubes- the Future for Electronics?
Darwin College Lecture Series
MATHEMATICAL IDENTITY
Logic and Semantics Seminar (Computer Laboratory)
Verifying Object-Invariants in Spec#
Wednesday Seminars - Department of Computer Science and Technology
From Pascal and ML to Perl and VB: Software Engineering in Postmodernity
Darwin College Lecture Series
IDENTITY OF MEANING
SciSoc β Cambridge University Scientific Society
Arrested and developing embryos as a source for stem cells
Wednesday Seminars - Department of Computer Science and Technology
Mechanising First-Order Logic: Technology, Decidability and Applications
SciSoc β Cambridge University Scientific Society
Privacy and Identity - System Engineering and the Database State
Cambridge Philosophical Society
G I Taylor Lecture - Explaining the flow of elastic liquids
Darwin College Lecture Series
VISUALISING IDENTITY
Wednesday Seminars - Department of Computer Science and Technology
Road transport data and their uses
SciSoc β Cambridge University Scientific Society
Science and Ethics of Stem Cells
Darwin College Lecture Series
MUSICAL IDENTITY
Wednesday Seminars - Department of Computer Science and Technology
Verification of fine-grain concurrency: Separation Logic for Floyd assertions in Petri nets.
Logic and Semantics Seminar (Computer Laboratory)
Fine-grained concurrency with separation logic
β οΈ (joint work with Kalpesh Kapoor and Kamal Lodaya)
Wednesday Seminars - Department of Computer Science and Technology
New Challenges in Describing Digital Music
Cambridge Philosophical Society
Instabilities of Liquid Surfaces: Rayleigh meets Nanoscience
SciSoc β Cambridge University Scientific Society
Can Science be Communicated through the Media?
Wednesday Seminars - Department of Computer Science and Technology
Safety checking in a domain of collaborative applications.
Logic and Semantics Seminar (Computer Laboratory)
A logical approach to data provenance.
SciSoc β Cambridge University Scientific Society
Careers in Science
Wednesday Seminars - Department of Computer Science and Technology
Automatic termination proofs for software
Cambridge Philosophical Society
Stem cells to synapses: how to construct a nervous system
Logic and Semantics Seminar (Computer Laboratory)
Bialgebras and modal logic
Wednesday Seminars - Department of Computer Science and Technology
Security Applications and Aspects of Meaning-Based Computing
SciSoc β Cambridge University Scientific Society
The Exploitation of Micro- and Nanotechnologies
Logic and Semantics Seminar (Computer Laboratory)
Reasoning about Code Pointers (Separation Logic for Higher-Order Store)
Cambridge Philosophical Society
HONORARY FELLOWS PRIZE LECTURE - Controlling the Cell Cycle
Wednesday Seminars - Department of Computer Science and Technology
The Challenges and Thrills of a Young Industry
SciSoc β Cambridge University Scientific Society
Cracking the Cipher Challenge
Cambridge Philosophical Society
The life habits of the trilobites
Logic and Semantics Seminar (Computer Laboratory)
A structural proof of the soundness of rely/guarantee rules
Wednesday Seminars - Department of Computer Science and Technology
All-Optical Networks
SciSoc β Cambridge University Scientific Society
Evolution of the Middle Ear
Wednesday Seminars - Department of Computer Science and Technology
Learning Probabilistic Sequence Models for Uncovering Gene Regulation
β οΈ This talk was originally scheduled for October 4. NOTE THAT IT IS NOT AT THE USUAL TIME.
Wednesday Seminars - Department of Computer Science and Technology
Semantics in broad-coverage natural language processing
SciSoc β Cambridge University Scientific Society
Modelling Life - How Quantum Mechanics can Help us Understand Biology
Cambridge Society for the Application of Research (CSAR)
Sentient Computing- Larmor Lecture
β οΈ Note unusual time and venue
Logic and Semantics Seminar (Computer Laboratory)
Logical equivalence for subtyping object and recursive types.
Wednesday Seminars - Department of Computer Science and Technology
Logics for Unranked Trees: An Overview
Logic and Semantics Seminar (Computer Laboratory)
Collection and Contra-collection in Mathematics
Wednesday Seminars - Department of Computer Science and Technology
Learning Probabilistic Sequence Models for Uncovering Gene Regulation
Cambridge Philosophical Society
The Puppet Master - How the brain controls the body.
Darwin College Lecture Series
SURVIVAL INTO THE FUTURE
Darwin College Lecture Series
SURVIVING LONGER
Cambridge Philosophical Society
Protein Folding. Misfolding and disease.
Darwin College Lecture Series
SURVIVING POVERTY AND FAMINE
Darwin College Lecture Series
SURVIVING NATURAL DISASTERS
Cambridge Philosophical Society
Inositol: evolution's favourite molecule?
Darwin College Lecture Series
SURVIVING DISEASE
Darwin College Lecture Series
SURVIVAL OF LANGUAGES
Darwin College Lecture Series
SURVIVAL OF CULTURE
Darwin College Lecture Series
SURVIVAL OF EMPIRES
Cambridge Philosophical Society
Evolution of the Earth
Cambridge Philosophical Society
Packaging the genome: chromatin, DNA architecture and the role of proteins
Cambridge Philosophical Society
The Free Will Theorem
Cambridge Philosophical Society
Our Dynamic Sun
Wednesday Seminars - Department of Computer Science and Technology
Electromagnetic eavesdropping on computers
Please see above for contact details for this list.