University of Cambridge > > Computer Lab, SS03

Computer Lab, SS03

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

Tell a friend about this venue:

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

0 upcoming talks and 1 talk in the archive.

Logic and Semantics Seminar (Computer Laboratory)

Tests and Proofs in Isabelle

UserYakoub Nemouchi, University of York.

HouseComputer Lab, SS03.

ClockTuesday 10 March 2020, 14:30-14:50

Please see above for contact details for this list.


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