![[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)
Dr Cristina David - School of Computer Science, University of Bristol.
Wednesday 04 March 2026, 15:05-15:55
Wednesday Seminars - Department of Computer Science and Technology
The Computer Laboratory’s weekly seminar series, held each Wednesday during Cambridge Full Term at 15:00 in Lecture Theatre 1 of the William Gates Building (online during pandemic restrictions). See http://www.cl.cam.ac.uk/seminars/ for more details.
Contact: Ben Karniely ; Markus Kuhn ; Stewart Carswell ; 85342 ; 129727 ; Kata Szabo
5 upcoming talks View 397 archived talks
The Wheeler Lectures in Computer Science
Wheeler Lecture 2025: Efficiency, Resilience, and Artificial Intelligence
The Wheeler Lectures in Computer Science
Wheeler Lecture 2024: Supercharging the Human Mind With AI
Exploring novel (bio)molecular spaces by design β a dialogue between representation and generation
The Wheeler Lectures in Computer Science
Wheeler Lecture 2023: Beyond functional programming: a taste of Verse
The Wheeler Lectures in Computer Science
CANCELLED: Wheeler Lecture 2022
The Wheeler Lectures in Computer Science
Wheeler Lecture 2021: Reimagining Robots
Graph Neural Networks for Biomedical Data
β οΈ This seminar is part of the Artificial Intelligence Group Talk series too.
The Wheeler Lectures in Computer Science
Wheeler Lecture 2020: The Future of Microprocessors
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Earphones: The Next Significant Platform after Smartphones
The Wheeler Lectures in Computer Science
Combining Formal Methods and Machine Learning
The Wheeler Lectures in Computer Science
The Wheeler Lecture In Computer Science: Language, Learning, and Creativity
Embedding Musical Codes into an Interactive Piano Composition
β οΈ Sadly, today's seminar shall not take place owing to strike action.
The Exposome in Epidemiological Practice
β οΈ Sadly today's seminar shall not take place owing to snowy travel conditions.
Can we make people value IT security?
β οΈ Wheeler Lecture β Please register for this session on separate web page.
Making Reactive Programs Function
β οΈ Note: Venue is LT2 (not LT1).
Graduate Studies Open Day
β οΈ This is not a regular seminar. Please see separate programme.
Rethinking Auto-Parallelisation
β οΈ Please note: All seminars in this series now start at 16:15
From EDA to NDA: Treating Networks like Hardware Circuits
β οΈ (Out-of-term, one-off extra seminar.)
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.]
No Littering!
β οΈ Please note: Unusual day of week and time.
Android: Mobile, Wearable and IoT devices - Designing Global, Scalable Systems
β οΈ Note revised date.
Data Science at The Guardian
β οΈ There is no 2:00pm Seminar this week, but the 3:00pm NLIP talk is a recommended alternative.
Talk Cancelled (was 'Synthetic Biology')
β οΈ This talk is cancelled.
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.
Interaction + Graphics: Four Lectures By Computer Laboratory Visitors
β οΈ This is a cross posting from the Rainbow Group.
The Wheeler Lectures in Computer Science
Hints and Principles for Computer System Design
Cancelled : Full reduction in the face of absurdity.
β οΈ Talk cancelled for today - speaker cannot make it.
Deep Learning of Natural Language Semantics
β οΈ Extrodinary (out-of-term) Babbage Seminar
The Wheeler Lectures in Computer Science
Computational Thinking
*** The Weight of Gravity ***
β οΈ (Additional Talk: Week 0, Extended Duration 1.5 hrs)
Evaluation Metrics and Learning to Rank for Information Retrieval
β οΈ Please note new seminar start time of 2:00pm this term.
The Wheeler Lectures in Computer Science
Could Computers Understand Their Own Programs
The Great Indoors: The Next Frontier in Location-Based Services
β οΈ Note unusual time, day and location
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
Reflection on Java Security and Its Practical Impacts
β οΈ Joint with the Security seminar series
Quantum computing -- theoretical prospects and relations to classical computation
β οΈ Note change of lecture theatre
Exhibition of Student Design Projects
β οΈ Note special event! Note unusual time!
Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance Architectures
β οΈ Note unusual time and day (and LT2)
EXAMS
β οΈ No Wednesday Seminar due to Exams!
Privacy in Advertising: Not all Adware is Badware
β οΈ Rescheduled from April 21.
Exhibition of Student Design Projects
β οΈ Note special event! Note unusual time!
Performance Comparisons of Hard Logic, Programmable Soft Logic, and Instruction Set Architectures
β οΈ Note unusual out of term date.
A POPLmark retrospective: Using proof assistants in programming language research
β οΈ Note change of speaker!
Reaching Out: how to engage young people with computer science
β οΈ Warning: the talk will include loud bangs.
Reflections on merging the digital and the physical
β οΈ Note unusual time
Evolving a language in and for the real world
β οΈ 800th Anniversary of Cambridge Univ. talk
Toward Energy-efficient Computing
β οΈ 800th Anniversary of Cambridge Univ. talk/Note unusual time
Concurrency Through the Ages
β οΈ 800th Anniversary of Cambridge Univ. talk
The 10 Cultures Problem
β οΈ 800th Anniversary of Cambridge Univ. talk
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)
Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors
β οΈ Note unusual date and time
Copyright vs Community
β οΈ Please note the extended duration
Fine-grained differences and similarities in meanings
β οΈ NOTE THE LATER TIME
Executable Biology: Successes and Challenges
β οΈ Canceled
DNA Microarray Technology at Agilent Technologies: Engineering, Manufacturing and Applications
β οΈ Host: Pietro Lio'.
Church's Problem on the Synthesis of Nonterminating Programs
β οΈ Host: Anuj Dawar. NOTE: This talk is OUT-OF-TERM
Annual Presentation of Student Projects
β οΈ NOTE LATER TIME
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.
Please see above for contact details for this list.