This is the former site of the ConCert Reading Group; it has moved here (you should be redirected shortly). The old site is still available here.