|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
Computer Laboratory Wednesday Seminars
Add to your list(s)
Send you e-mail reminders
Further detail
The Computer Laboratory’s weekly seminar series, held each Wednesday during term at 14:15 in Lecture Theatre 1 in the William Gates Building. See http://www.cl.cam.ac.uk/seminars/ for more details. If you have a question about this list, please contact: Markus Kuhn; Caroline Matthews; Alan Blackwell; David Greaves. If you have a question about a specific talk, click on that talk to find its organiser. 2 upcoming talks and 168 talks in the archive. Digging into (Historical) Data: Tracking global commodity trading in the nineteenth century
Strongly-Typed Language Support for Internet-Scale Information Sources
Mind the Map - Modelling Sustainability of Urban Crowd-Sourcing
CANCELLED: Compressed Sensing and the Art of Subsampling
The Wheeler Lectures in Computer Science Could Computers Understand Their Own Programs
Student Design Project Presentations
High-Assurance Algorithmic Trading
Challenges in Computer Graphics Modeling
Privacy Challenges and Solutions for Data Sharing
Adaptive Runtime Verification
Replacing lectures with videos in the Computer Science Tripos
Computing at School: Tackling the ICT Education Crisis in UK Schools
One Bit is Not Enough: The Benefit of Reference Analysis in Virtual Memory Management
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
Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google
Sentiment Analysis
Semi-local string comparison
Challenges and approaches to improving the accuracy of indoor positioning systems
Machine Learning Methods for the Detection and Prediction of Transmembrane Beta-Barrel Proteins in Prokariotes
Dart: A Platform for Building Large Web Applications
The Great Indoors: The Next Frontier in Location-Based ServicesNote unusual time, day and location
Behavioural Nudge or Technological Fudge?
A Bayesian Approach to Learning the Structure of Human Languages
Alan Turing as a computer designer
Energy efficiency and the design of brains
CANCELLED: Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at GoogleCANCELLED: will most likely be rescheduled for next term
Content delivery in the Internet: an infrastructure-oriented perspective.
The Wheeler Lectures in Computer Science C++11 StylePlease register; note 16:00 start time
A Communications Medium for the 21st Century : Towards Open Public Display Networks
Inclusive Design
Speech Synthesis at Google
Automatic Discovery of Patterns in Media Content
Search Based Software Engineering
Algebraic theories and computational effects
Notes on the Synthesis of Music
TIME: Transport Information Monitoring Environment
Probabilistic Graphical Models in Microsoft's Online Services: TrueSkill, AdPredictor, and Matchbox
Compiler Tools for MATLAB
EXAMS - NO SEMINAR THIS WEEK
Body Part Recognition: Making Kinect Robust
The Duality of State and Observation
Kernel Methods: the Emergence of a Well-founded Machine Learning
From deterministic finite automata to infinite games
Reflection on Java Security and Its Practical ImpactsJoint with the Security seminar series
Moose: an open platform for software analysis
Quantum computing -- theoretical prospects and relations to classical computationNote change of lecture theatre
Exhibition of Student Design ProjectsNote special event! Note unusual time!
Mobile Software Engineering - Characteristics and Challenges
Reasoning about Software Safety Integrity and Assurance
In the beginning God created tensor, ... then matter, ... then speech
Efficient Network-wide Flow Record Generation
Challenging Computer Science Problems at Ocado
Implementing a Distributed Event Processing Network
Detecting Network Traffic Anomalies
What is happening now? Finding events in Massive Message Streams
A Look Into Youtube - The World's Largest Video Site
A Survey of Classical and Real-Time Verification
Test Generation and Fault Localization for Web Applications
Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance ArchitecturesNote unusual time and day (and LT2)
Multi-Target Data-Parallel Programming with Accelerator for GPUs, Multicore Processors and FPGAs
Some Uses of Hashing in Networking Problems
Executable Strategies for Cellular Decision Making
EXAMSNo Wednesday Seminar due to Exams!
Dynamical Grammars for Galaxy Image Recognition
Statistical problems in complex networks
Privacy in Advertising: Not all Adware is BadwareRescheduled from April 21.
NO SEMINAR THIS WEEK
From Separation Logic to Systems Code
Privacy in Advertising: Not all Adware is Badware
Aura: A Programming Language with Authorization and Audit
Exhibition of Student Design ProjectsNote special event! Note unusual time!
Generic Programming
Proving that programs eventually do something good
Third Generation Machine Intelligence
Automated Experimentation: Beyond Deployment and Execution
Graphical Reasoning in Symmetric Monoidal Categories
Models of large-scale real-life networks
Multipath TCP
Performance Comparisons of Hard Logic, Programmable Soft Logic, and Instruction Set ArchitecturesNote unusual out of term date.
A POPLmark retrospective: Using proof assistants in programming language researchNote change of speaker!
Elements of a Networked Urbanism
Insights from Expert Software Design Practice
On Quantitative Software Verification
Serializability Enforcement for Concurrent ML
Aggregated Security Monitoring in 10GB networks
Pushing JavaScript Performance
Reaching Out: how to engage young people with computer scienceWarning: the talk will include loud bangs.
Scalable Ontology-Based Information Systems
Reflections on merging the digital and the physicalNote unusual time
Evolving a language in and for the real world800th Anniversary of Cambridge Univ. talk
Toward Energy-efficient Computing800th Anniversary of Cambridge Univ. talk/Note unusual time
What can sequent calculus do for functional programs?
Concurrency Through the Ages800th Anniversary of Cambridge Univ. talk
No Wednesday Seminar today!
The 10 Cultures Problem800th Anniversary of Cambridge Univ. talk
Computational Creativity: A Different Future for AI Research
Model-Based Design: a New Landscape for Embedded Systems Development
Inventing the User: EDSAC in contextEDSAC 60th Anniversary talk/800th Anniversary of Cambridge Univ. talk/Note unusual time (Talk followed by Drinks Reception at 17:00)
Accounting for User Behaviour in Security
"Re-architecting Internet capacity sharing" aka "Putting far-reaching Cambridge research into practice"
Correctness by Construction of High-Integrity Software
Collective Intelligence Techniques for Pervasive Computing
Balancing the expected and the surprising in geometric patterns: an investigation inspired by Bridget Riley's early Op art
Privacy and HCISec: Notes From The Front
Modelling Quality Properties of Systems
IPv6: the basics
A Framework for the Analysis of Mix-Based Steganographic File Systems
Structured Hidden Markov Model: A General Tool for Analysing Sequential data
Statistical Parsing of Natural Language with Lexicalised Grammars
Second-Order Quantifier Elimination
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Robust Networks
Defending Networked Resources Against Floods of Unwelcome Requests
The Manticore project
How to Protect your Data by Eliminating Trusted Storage Infrastructure
Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions
Practical Dynamic Software Updating for C
Design, Compilation and Runtime Solutions for Energy-Efficient MicroprocessorsNote unusual date and time
Content Distribution based on Social Swarming
STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS
Acceleration of scientific computing using graphics hardware
How to prove that a communications protocol stack is up to the job
Citations and Argumentation for Better Information Access
Stylized Rendering for Multi-resolution Image Representation: Reconciling Efficiency with Aesthetics in Image Compression
Copyright vs CommunityPlease note the extended duration
Sustainable Energy -- without the hot air
Student Design Project Presentations
Delay Tolerant Routing in Mobile and Sensor Networks
High-Performance Processing with Field-Programmable Logic
Rethink and Arise!
Defence against the Dark Arts
Executable Biology: Successes and Challenges
Fine-grained differences and similarities in meaningsNOTE THE LATER TIME
Searching for Evil
Automation for Interactive Theorem Provers
Executable Biology: Successes and ChallengesCanceled
Software Defect Mining with Formal Concept Analysis
Birrell's distributed reference listing revisited
Multi-core programming with automatic parallelisation
TechTalk by Google - The Chubby lock service for loosely-coupled distributed systems
How Do We Know What to Design?
How to Write Bug-Free Code - A Live Demonstration
SQ Minus EQ can Predict Programming Aptitude
Smart-card based authentication on an insecure network
Electronics Revolution - driving pivotal change in Computer Science
New Directions for Navigation
Modelling Biochemical Pathways with Stochastic Process Algebra
“I want to tell you a joke. Are you ready?” – Implementing automated pun generation for children with complex communication needs.
DNA Microarray Technology at Agilent Technologies: Engineering, Manufacturing and ApplicationsHost: Pietro Lio'.
Church's Problem on the Synthesis of Nonterminating ProgramsHost: Anuj Dawar. NOTE: This talk is OUT-OF-TERM
Annual Presentation of Student ProjectsNOTE LATER TIME
Security and Cooperation in Wireless Networks
The Lixto Web Data Extraction Project: A Status Report
Computing for the Future of the Planet
From Pascal and ML to Perl and VB: Software Engineering in Postmodernity
Mechanising First-Order Logic: Technology, Decidability and Applications
Road transport data and their uses
Verification of fine-grain concurrency: Separation Logic for Floyd assertions in Petri nets.
New Challenges in Describing Digital Music
Safety checking in a domain of collaborative applications.
Automatic termination proofs for software
Security Applications and Aspects of Meaning-Based Computing
The Challenges and Thrills of a Young Industry
All-Optical Networks
Learning Probabilistic Sequence Models for Uncovering Gene RegulationThis talk was originally scheduled for October 4. NOTE THAT IT IS NOT AT THE USUAL TIME.
Semantics in broad-coverage natural language processing
Logics for Unranked Trees: An Overview
Learning Probabilistic Sequence Models for Uncovering Gene Regulation
Please see above for contact details for this list. |
Other listsEPRG Energy and Environment (E&E) Series Michaelmas 2011 Research Seminar Series, Faculty of Education, University of Cambridge University of Cambridge, New Zealand Studies Seminar GroupOther talksRationality in extraordinary science Inaugural Lecture - 'Wid mi riddim / wid mi rime....wid mi own sense a time' (Linton Kwesi Johnson) The regulation of gene expression in the context of chromatin Small minors and subdivisions Curve fitting, errors and analysis of binding data PHANTOM: A Parallel Architecture for Practical Oblivious Computation |
Prof Ewan Klein - University of Edinburgh.
Wednesday 22 May 2013, 14:15-15:15