Computer Laboratory Wednesday Seminars
| Created: | 2007-06-06 15:34 |
|---|---|
| Institution: | Department of Computer Science and Technology |
| Description: | Computer Laboratory Wednesday Seminar Series |
Media items
This collection contains 19 media items.
Media items
Aura: A Programming Language with Authorization and Audit
http://www.talks.cam.ac.uk/talk/index/22090
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Fri 12 Mar 2010
Computing at School: Tackling the ICT Education Crisis in UK Schools
Prof. Simon Peyton-Jones, Chair of the UK Computing at School Working Group, describes the challenge facing the UK with computing education, outlines solutions, and invites...
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Wed 23 Jan 2013
Dynamical Grammars for Galaxy Image Recognition
http://www.talks.cam.ac.uk/talk/index/23759
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Wed 9 Jun 2010
Elements of a Networked Urbanism
http://www.talks.cam.ac.uk/talk/index/19195
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Thu 10 Jun 2010
From Separation Logic to Systems Code
http://www.talks.cam.ac.uk/talk/index/23757
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Fri 11 Jun 2010
Graphical Reasoning in Symmetric Monoidal Categories
http://www.talks.cam.ac.uk/talk/index/22081
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Wed 9 Jun 2010
Models of large-scale real-life networks
http://www.talks.cam.ac.uk/talk/index/22080
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Wed 9 Jun 2010
Multipath TCP
http://www.talks.cam.ac.uk/talk/index/22079
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Wed 9 Jun 2010
On Quantitative Software Verification
http://www.talks.cam.ac.uk/talk/index/19193
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Thu 10 Jun 2010
Privacy in Advertising: Not all Adware is Badware
http://www.talks.cam.ac.uk/talk/index/23761
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Wed 9 Jun 2010
Proving that programs eventually do something good
http://www.talks.cam.ac.uk/talk/index/22088
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Fri 11 Jun 2010
Scalable Ontology-Based Information Systems
http://www.talks.cam.ac.uk/talk/index/19187
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Wed 9 Jun 2010
Serializability Enforcement for Concurrent ML
http://www.talks.cam.ac.uk/talk/index/19191
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Thu 10 Jun 2010
Statistical problems in complex networks
http://www.talks.cam.ac.uk/talk/index/23760
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Wed 9 Jun 2010
Third Generation Machine Intelligence
http://www.talks.cam.ac.uk/talk/index/22085
Collection: Computer Laboratory Wednesday Seminars
Institution: Department of Computer Science and Technology
Created: Thu 10 Jun 2010