CADE Trustee Elections: Position Statement

CADE is the core conference for the automated deduction community. In order to maintain this position and to serve as the focus of research in automated reasoning, it should strive to maintain a balance between theoretical, practical and applied research. In particular, I think CADE should try to attract more papers about implementing deduction systems in real-world settings, and bridging the gap between theoretical results and practical applicability. To achieve this, every CADE program comittee should be a representative sample of deduction researchers, with members from all major fields. In my opinion, the current rhythm of CADE, IJCAR, and FLoC/CADE works very well, on the one hand allowing the different deduction conferences to maintain their identities and different foci, while on the other hand supporting cross-fertilization and a single community.

I've also been nominated for the FTP steering committee, and have a similar statement for that election.