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

View from Gurten near Berne

The FTP Workshop Series

Background

Call for Papers

Important Dates

Submission

Programme Committee

Accepted Contributions

Programme

Venue and Travel

Accommodation

Registration

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.