Serge Autexier

Position Statement

I'm especially concerned about
how types/sorts could be supported by TPTP or by ATPs (checking
sort/type copmpliance of returned proofs). Furthermore, I'm
concerned with standards of results of ATPs and model generators,
model checkers in order to be able to process the results
automatically (not only proofs, but also counter examples, etc.).