University of Cambridge > Talks.cam > Computer Laboratory Systems Research Group Seminar

Computer Laboratory Systems Research Group Seminar

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

The Computer Laboratory Systems Research Group (SRG) is the largest research area in the Computer Laboratory covering hardware, communications hardware and software, operating systems and distributed systems. Past systems developed here include Edsac, the Titan operating system, the Cambridge Ring and the Cambridge Distributed Computing System.

Tell a friend about this list:

If you have a question about this list, please contact: Dr Andrew Moore; awm22; Dr Andrew Moore; Eiko Yoneki. If you have a question about a specific talk, click on that talk to find its organiser.

1 upcoming talk and 315 talks in the archive.

Modeling, Specifying, and Verifying X86 Hardware and Software

UserAnna Slobodova (Centaur Technology) and Warren Hunt (University of Texas Austin).

HouseFW26, Computer Laboratory, William Gates Builiding.

ClockThursday 31 July 2014, 15:00-16:00

Please see above for contact details for this list.

 

© 2006-2014 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity