Computer Laboratory Wednesday Seminars
Created: | 2007-06-06 15:34 |
---|---|
Institution: | Department of Computer Science and Technology |
Editors' group: | 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
![Visible to: World](/images/visibility_icon_world.gif)
670 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
![Visible to: World](/images/visibility_icon_world.gif)
151 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
![Visible to: World](/images/visibility_icon_world.gif)
520 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
![Visible to: World](/images/visibility_icon_world.gif)
356 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
![Visible to: World](/images/visibility_icon_world.gif)
518 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
![Visible to: World](/images/visibility_icon_world.gif)
394 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
![Visible to: World](/images/visibility_icon_world.gif)
323 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
![Visible to: World](/images/visibility_icon_world.gif)
377 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
![Visible to: World](/images/visibility_icon_world.gif)
380 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
![Visible to: World](/images/visibility_icon_world.gif)
203 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
![Visible to: World](/images/visibility_icon_world.gif)
191 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
![Visible to: World](/images/visibility_icon_world.gif)
87 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
![Visible to: World](/images/visibility_icon_world.gif)
123 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
![Visible to: World](/images/visibility_icon_world.gif)
184 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
![Visible to: World](/images/visibility_icon_world.gif)
214 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