Technische Universität München, Fakultät für Informatik
Lehrstuhl Informatik IV, Research Group Automated Reasoning

CADE Trustee Elections: Position Statement

I started working in the field of automated deduction as a student in 1993. From 1995 to early 2003 I was a member of the Automated Reasoning Group at TU Munich. I taught computer science at the University of Miami for one senester in 2002, and currently am a CALCULEMUS researcher, associated with RISC-Linz. In addition to academic work, I have also worked as a consultant on first-order reasoning for Safelogic A.B. in Gothenburg, Sweden. My main research interests are proof search and presentation, efficient and robust implementations, and machine learning. I'm probably best known as the author of the equational theorem prover E. Depending on your view, I've been a member of the CADE community since 1994, when my very first submission was rejected, or 1996, when I presented a paper at CADE-13 in New Brunswick. You can find out more about me and my work at my homepage.

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.

Stephan Schulz,, 2.9.2003