Computer Laboratory Wednesday Seminars
| Created: | 2007-06-06 15:34 |
|---|---|
| Institution: | Department of Computer Science and Technology |
| Editors' group: | Department of Computer Science and Technology SMS managers |
| Description: | Computer Laboratory Wednesday Seminar Series |
Media items
This collection contains 19 media items.
Media items
Aura: A Programming Language with Authorization and Audit
676 views
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
157 views
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
526 views
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
363 views
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
525 views
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
403 views
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
330 views
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
389 views
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
387 views
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
209 views
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
198 views
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
94 views
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
131 views
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
199 views
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
222 views
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