University of Cambridge > Talks.cam > Room GC22, Computer Laboratory, William Gates Building

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Room GC22, Computer Laboratory, William Gates Building

Further detail
Subscribe using ical/vcal (Help)

If you have a question about this list, please contact: (no managers). If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 2 talks in the archive.

Computer Laboratory Programming Research Group Seminar

Automated functional program verification using fixpoint fusion

UserWill Sonnex, Université de Cambridge.

HouseRoom GC22, Computer Laboratory, William Gates Building.

ClockFriday 18 October 2013, 15:15-16:15

Logic and Semantics Seminar (Computer Laboratory)

Preservation under Substructures modulo Bounded Cores

Note special date and location (GC22)

UserAbhisekh Sankaran, IIT Bombay.

HouseRoom GC22, Computer Laboratory, William Gates Building.

ClockThursday 30 August 2012, 14:00-15:00

Please see above for contact details for this list.

Other lists

The Bradfield Centre, 184 Cambridge Science Park Road, Cambridge, CB4 0GA Zoom: https://cl-cam-ac-uk.zoom.us/j/96901178502?pwd=ODJOZ0pDQnVaeGNleHpIUDRNTUF6QT09 Webinar & FW11, Computer Laboratory, William Gates Building.

Other talks

Zooming in on the assembly of galaxies in the early Universe How Much Does Homology Really Know? Group Work Coming soon Title to be confirmed Caribbean Trip and Cacti
 

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