Affiliated Events

The following events are affiliated to FLoC. These are independent events and have their own arrangements for registration and, where necessary, payment. Please follow the links for more details.

Automatheo 2010 Workshop on Automated Mathematical Theory Exploration
CASC-J5 The CADE ATP System Competition
SMT-COMP Satisfiability Modulo Theories Competition
Termination 2010 International Termination competition
The Milner lecture The Milner lecture 2010