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

FTP Steering Committee: Election 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 semester 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 (first-order) theorem prover E. My web page is available.

FTP should be a focused conference, that concentrates on techniques for, and implementations and applications of, first order reasoning systems. This focus differentiates FTP from CADE, which covers a very large field, and attracts papers from many very diverse subdisciplines. I think FTP should be a conference where any member of the program committee can competently review any submitted paper, and where the majority of participants can understand the majority of accepted papers, at least on a superficial level, at first reading. In my opinion, a mix of stand-alone FTP conferences, IJCAR, and FTP co-located with other conferences (whether in the frame of FLoC or, as in 2003, RDP) 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 as a CADE Trustee, and have a similar position statement for that election.

Stephan Schulz,, 2.9.2003