The University of Sheffield
Verification and Testing

Special Interest Groups

Theory SIG
Theory SIG Wiki The Theory SIG is the home of all things theoretical within the Department of Computer Science at Sheffield University. We have no formal membership list - anyone who wants to be involved is very welcome to attend.