|
|
Wednesday, June 11 |
Thursday, June 12 |
Friday, June 13 |
Saturday, June 14 |
|
9h |
|
|
|
ftp20 |
|
9h30 |
|
ftp22 |
ftp21 |
|
|
10h |
|
|
|
|
|
10h30 |
|
|
|
ftp14 |
|
11h |
|
break |
break |
break |
|
11h30 |
|
ftp01 |
ftp04 |
ftp16 |
|
12h |
|
ftp13 |
ftp05 |
ftp15 |
|
12h30 |
|
ftp10 |
ftp06 |
ftp02 |
|
|
|
lunch |
lunch |
lunch |
|
15h |
Excursion |
ftp03 |
ftp09 |
|
|
15h30 |
|
ftp08 |
ftp07 |
|
|
16h |
|
ftp12 |
ftp17 |
|
|
16h30 |
|
break |
break |
|
|
17h |
|
|
Demos |
|
|
17h30 |
|
|
|
|
|
18h |
|
|
|
|
|
21h |
|
|
|
|
|
22h |
Conference dinner |
|
|
|
|
# |
Title |
Author |
|
ftp20 |
SAT and Beyond SAT |
Enrico Giunchiglia |
|
ftp21 |
Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER |
Thomas Hillenbrand |
|
ftp22 |
Deduction as an Engineering Science |
Dieter Hutter |
|
# |
Title |
Authors |
|
ftp01 |
Quantifier Elimination and Provers Integration |
Silvio Ghilardi |
|
ftp03 |
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions |
Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba |
|
ftp04 |
Canonicity |
Nachum Dershowitz |
|
ftp05 |
Transforming equality logic to propositional logic |
Hans Zantema, Jan Friso Groote |
|
ftp08 |
On Leaf Permutative Theories and Occurrence Permutation Groups |
Thierry Boy de la Tour, Mnacho Echenim |
|
ftp09 |
Light-Weight Theorem Proving for Debugging and Verifying Pointer Manipulating Programs |
Silvio Ranise, David Déharbe |
|
ftp10 |
Can Decision Procedures be Learnt Automatically? |
Mateja Jamnik, Predrag Janicic |
|
ftp12 |
Manipulating Tree Tuple Languages by Transforming Logic Programs |
Sébastien Limet, Gernot Salzer |
|
ftp13 |
Combining Non-Stably Infinite Theories |
Cesare Tinelli, Calogero G. Zarba |
|
ftp14 |
Exact Algorithms for MAX-SAT |
Hantao Zhang, Haiou Shen, Felip Manyà |
|
ftp15 |
Reachability in Conditional Term Rewriting Systems |
Guillaume Feuillade, Thomas Genet |
|
ftp16 |
A Resolution-based Model Building Algorithm for a Fragment of OCC1N= |
Nicolas Peltier |
|
# |
Title |
Authors |
|
ftp07 |
MPTP 0.1 - System Description |
Josef Urban |
|
ftp17 |
VOTE: Group Editors Analyzing Tool |
Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso |
|
# |
Title |
Authors |
|
ftp02 |
Dialogue Games for Modelling Proof Search in Nonclassical Logics |
Christian G. Fermüller |
|
ftp06 |
Automatic Theorem Proving in Calculi with Cut |
Elmar Eder |