School of Computing

Upcoming events

Oct 2
15:00 - 16:00
PLAS Group Seminar
The C Bounded Model Checker (and how to succeed at SV-COMP)
Oct 24
16:00 - 17:00
School of Computing Seminars
Professor Richard Harvey (University of East Anglia)

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 14/08/2015