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 2441 talks in the archive: show first 500.

Logic and Semantics Seminar (Computer Laboratory)

A rational reconstruction of homogeneous meta-programming

UserMartin Berger, University of Sussex.

HouseFW26.

ClockFriday 06 May 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The C standard formalized in Coq, what's next?

UserRobbert Krebbers, Aarhus University.

HouseFW26.

ClockFriday 13 May 2016, 14:00-15:00

Computer Laboratory Wednesday Seminars

No Littering!

Please note: Unusual venue, day of week and time.

UserBjarne Stroustrup - Morgan Stanley and Columbia University.

HouseLecture Theatre 2, Computer Laboratory.

ClockFriday 13 May 2016, 16:15-17:15

Computer Laboratory Programming Research Group Seminar

TBC

UserReuben Rowe, UCL.

HouseTBC.

ClockThursday 19 May 2016, 13:00-14:00

NLIP Seminar Series

Title to be confirmed

UserAnnie Louis, University of Essex.

HouseFW26, Computer Laboratory.

ClockFriday 20 May 2016, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Certified automated theorem proving for types

UserEkaterina Komendantskaya, Heriot-Watt University, Edinburgh.

HouseFW26.

ClockFriday 20 May 2016, 14:00-15:00

The Wheeler Lectures in Computer Science

A History of Virtualisation in Operating Systems.

[14:30 Minute madness; 16:00 Main lecture; 17:00 Drinks reception.]

UserDr Andrew Herbert OBE, FREng...

HouseLecture Theatre 1, Computer Laboratory.

ClockWednesday 25 May 2016, 14:30-18:00

women@CL Speaker Lunch Series

women@CL talklet -- NetOS, Security, and NLP group

UserDesislava Hristova, Sheharbano Khattak, Menglin Xia.

HouseComputer Laboratory, William Gates Building, Room FW26.

ClockThursday 26 May 2016, 13:00-14:00

NLIP Seminar Series

Incremental CCG parsing and its applications

UserBharat Ram Ambati, University of Edinburgh/Apple.

HouseFW26, Computer Laboratory.

ClockFriday 27 May 2016, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserJosef Urban, Radbound University, Nijmegen.

HouseFW26.

ClockFriday 03 June 2016, 14:00-15:00

NLIP Seminar Series

Title to be confirmed

UserTim Rocktäschel ( UCL).

HouseFW26, Computer Laboratory.

ClockFriday 10 June 2016, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserIlya Sergey, University College London.

HouseFW26.

ClockFriday 10 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserSandrine Blazy, University of Rennes 1.

HouseFW26.

ClockFriday 08 July 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserUgo Dal Lago, University of Bologna.

HouseFW26.

ClockFriday 21 October 2016, 14:00-15:00

Please see above for contact details for this list.

 

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