FTP 2011 - International Workshop on First-Order Theorem Proving
Bern, Switzerland, July 4, 2011

View from Gurten near Berne

The FTP Workshop Series


Call for Papers

Important Dates


Programme Committee

Accepted Contributions


Venue and Travel



Related Events

Accepted Contributions

  1. Xuanye An, Miyuki Koshimura, Hiroshi Fujita and Ryuzo Hasegawa.
    QMaxSAT version 0.3 & 0.4.
  2. Vincent Aravantinos and Nicolas Peltier.
    Generating Schemata of Resolution Proofs.
  3. Serdar Erbatur, Christopher Lynch and Paliath Narendran.
    Unification in a Theory of Blind Signatures.
  4. Christian Mahesh Hansen, Martin Giese, Arild Waaler and Roger Antonsen.
    Incremental Variable Splitting.
  5. Thomas Raths and Jens Otten.
    Implementing and Evaluating Theorem Provers for First-Order Modal Logics.
  6. Christophe Ringeissen and Valerio Senni.
    Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.