Computer Laboratory Wednesday Seminars

Computer Laboratory Wednesday Seminars's image
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.

Note: some media items are not shown, because they are only visible to Raven users. To see these media items, you must log in.
  •  

Media items

Aura: A Programming Language with Authorization and Audit

   665 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

   145 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

   519 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

   355 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

   516 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

   392 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

   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

   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

   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

   202 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

   190 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

   86 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

   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

   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

   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