University of Cambridge > Talks.cam > Computer Laboratory talks

Computer Laboratory talks

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

Merged list of all talks taking place in the Computer Laboratory. This talk series can also be used to announce individual talks that do not fit into any of the established Lab seminars.

Tell a friend about this list:

If you have a question about this list, please contact: Markus Kuhn; Dr Robert Harle; Caroline Stewart. If you have a question about a specific talk, click on that talk to find its organiser.

20 upcoming talks and 2613 talks in the archive: show first 500.

Computer Laboratory Tech Talks

Fast Models : How dynamic translation fits into ARM's story

User: LLoyd Reed - Staff Software Engineer & Team Lead, ARM.

HouseFW26, Computer Laboratory.

ClockMonday 27 February 2017, 13:05-14:05

Research Students Lecture Series

Verified Programming in Agda

UserIan Orton (University of Cambridge).

HouseComputer Laboratory, William Gates Building, Room SW01.

ClockTuesday 28 February 2017, 13:00-14:00

Computer Laboratory Wednesday Seminars

AI Meets Cancer

UserDr Jasmin Fisher - Department of Biochemistry, University of Cambridge & Microsoft Research.

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 01 March 2017, 16:15-17:15

NLIP Seminar Series

Title to be confirmed

UserDani Yogatama, DeepMind.

HouseFW26, Computer Laboratory.

ClockFriday 03 March 2017, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Verified Characteristic Formulae for CakeML

UserMagnus Myreen, Chalmers University.

HouseFW26.

ClockFriday 03 March 2017, 14:00-15:00

women@CL Speaker Lunch Series

Women@CL talklet event

UserZohreh Shams; Luana Bulat; Guo Yu.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 09 March 2017, 13:00-14:00

Rainbow Group Seminars

Intelligent Inclusive Interaction Design

UserPradipta Biswas, Indian Institute of Science.

HouseSS03 Meeting Room, Computer Laboratory.

ClockThursday 09 March 2017, 14:15-15:15

NLIP Seminar Series

Title to be confirmed

UserYishu Miao, University of Oxford.

HouseFW26, Computer Laboratory.

ClockFriday 10 March 2017, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Diagrammatic Operational Semantics for Digital Circuits

UserDan Ghica, University of Birmingham.

HouseFW26.

ClockFriday 17 March 2017, 14:00-15:00

women@CL Speaker Lunch Series

TBC

UserRoxana Rusitoru, ARM.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 25 May 2017, 13:00-14:00

Please see above for contact details for this list.

 

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