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|