RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
FTP'03
4th International Workshop on First order Theorem Proving
Valencia, Spain, June 12-14, 2003


PRELIMINARY PROGRAM

Sunday Monday Tuesday Wednesday Thursday Friday Saturday
8 9 10 11 12 13 14
09:00 - 11:00 Session 1 Session 4 Session 8
11:00 - 11:30 Coffee break Coffee break Coffee break
11:30 - 13:00 Session 2 Session 5 Session 9
13:00 - 15:00 Lunch Lunch Lunch
15:00 - 16:30 Session 3 Session 6
16:30 - 17:00 Coffee break
17:00 - 18:30 Session 7
18:30 - 19:00

Please, check the exact starting time for that session.

    Workshop Room:
    First Floor - ´Aula 1.4´

    Equipped with:
    1. a blackboard (or similar),
    2. an overhead projector,
    3. a video projector (for laptops),
    4. a PC running under Windows with
      • Adobe Acrobat Reader 5.0, and
      • MS PowerPoint 2000 installed.

 

Thursday, June 12


09:30 - 11:00 Session 1
Workshop room: First Floor - ´Aula 1.4´
09:30 - 11:00 Deduction as an Engineering Science (INVITED TALK)
Dieter Hutter
11:00 - 11:30Coffee break
11:30 - 13:00Session 2
Workshop room: First Floor - ´Aula 1.4´
11:30 - 12:00 Quantifier Elimination and Provers Integration
S. Ghilardi
12:00 - 12:30 Combining Non-Stably Infinite Theories
C. Tinelli and C.G. Zarba
12:30 - 13:00 Can Decision Procedures be Learnt Automatically?
M. Jamnik and P. Janicic
13:00 - 15:00Lunch
15:00 - 16:30 Session 3
Workshop room: First Floor - ´Aula 1.4´
15:00 - 15:30 A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions
D. Cantone, J.T. Schwartz, and C.G. Zarba
15:30 - 16:00 On Leaf Permutative Theories and Occurrence Permutation Groups
T. Boy de la Tour and M. Echenim
16:00 - 16:30 Manipulating Tree Tuple Languages by Transforming Logic Programs
S. Limet and G. Salzer

Friday, June 13


09:30 - 11:00 Session 4
Workshop room: First Floor - ´Aula 1.4´
09:30 - 11:00 Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER (INVITED TALK)
Thomas Hillenbrand
11:00 - 11:30Coffee break
11:30 - 13:00 Session 5
Workshop room: First Floor - ´Aula 1.4´
11:30 - 12:00 Canonicity
N. Dershowitz
12:00 - 12:30 Transforming equality logic to propositional logic
H. Zantema and J.F. Groote
12:30 - 13:00 Automatic Theorem Proving in Calculi with Cut
E. Eder
13:00 - 15:00Lunch
15:00 - 16:30 Session 6
Workshop room: First Floor - ´Aula 1.4´
15:00 - 15:30 Light-Weight Theorem Proving for Debugging and Verifying Pointer Manipulating Programs
S. Ranise and D. Déharbe
15:30 - 16:00 MPTP 0.1 - System Description
J. Urban
16:00 - 16:30 VOTE: Group Editors Analyzing Tool
A. Imine, P. Molli, G. Oster and P. Urso
16:30 - 17:00Coffee break
17:00 - 18:30Session 7 - System Demonstrations
Workshop room: First Floor - ´Aula 1.3´

Saturday, June 14


09:00 - 11:00 Session 8
Workshop room: First Floor - ´Aula 1.4´
09:00 - 10:30 SAT and Beyond SAT (INVITED TALK)
Enrico Giunchiglia
10:30 - 11:00 Exact Algorithms for MAX-SAT
H. Zhang, H. Shen, and F. Manyà
11:00 - 11:30Coffee break
11:30 - 13:00Session 9
Workshop room: First Floor - ´Aula 1.4´
11:30 - 12:00 A Resolution-based Model Building Algorithm for a Fragment of OCC1N
N. Peltier
12:00 - 12:30 Reachability in Conditional Term Rewriting Systems
G. Feuillade and T. Genet
12:30 - 13:00 Dialogue Games for Modelling Proof Search in Nonclassical Logics
C. Fermüller
13:00 - 15:00Lunch

End of FTP'03                                                                                                                                                                                                                


Last update May 2003 #
sescobar@dsic.upv.es