Monday, 4 July
|
|
| 9:15-10:00 |
Registration
|
10:00-10:05
|
Welcome
|
10:05-11:00
|
Invited speaker: Felix Klaedtke.
Monitoring First-order Temporal Properties
|
11:00-11:30
|
Coffee Break |
11:30-12:00
|
Thomas Raths and Jens Otten. Implementing
and Evaluating Theorem Provers for First-Order Modal
Logics
|
12:00-12:30
|
Vincent Aravantinos and Nicolas Peltier.
Generating
Schemata of Resolution Proofs
|
12:30-13:00
|
Christian Mahesh Hansen, Martin Giese, Arild
Waaler and Roger Antonsen.
Incremental Variable Splitting
|
13:00-14:30
|
Lunch
|
14:30-15:00
|
Christophe Ringeissen and Valerio Senni.
Modular
Termination and Combinability for Superposition Modulo
Counter Arithmetic
|
15:00-15:30
|
Xuanye An, Miyuki Koshimura, Hiroshi Fujita
and Ryuzo Hasegawa. QMaxSAT version 0.3 & 0.4
|
15:30-16:00
|
Serdar Erbatur, Christopher Lynch and Paliath
Narendran. Unification in a Theory of Blind Signatures
|
16:00-16:30
|
Coffee Break
|
16:30-17:30
|
FTP Business Meeting
|
20:00-
|
Workshop Dinner:
Restaurant Du Nord
(http://www.dunord-bern.ch)
|
Tuesday, 5 July
|
|
9:30-10:30
|
Invited speaker: Maria Paola Bonacina.
On interpolation in decision procedures (joint with
Tableaux 2011)
|
