3rd International Workshop on the Implementation of Logics

                   October 18, 2002, Tbilisi, Georgia

               http://www.lsi.upc.es/~roberto/wil2002

                             Program


There will be two invited talks and 
8 contributed papers (selected out of 13 submissions):

9:30 - 10:30 Invited talk 
    Tanel Tammet: 
    Title TBA

10:30 - 10:55. Ullrich Hustadt and Boris Konev:
    TRP++: A Temporal Resolution Prover

Coffee Break

11:15 - 11:40. Zlexei Lisitsa and James Brotherston: 
    Implementing invariant search via temporal resolution

11:40 - 12:05. Zainutdin Aselderov et al:
    Linguistic tools and deductive technique of a system
    for automated deduction

12:05 - 12:30 Dmitri Chubarov and Andrei Voronkov
    Implementing infinite-state model checking in CLP.

Lunch


14:00 - 15:00 Invited talk 
    Alexandre Riazanov and Andrei Voronkov:
    Towards efficient backward demodulation.

15:00 - 15:25 Carlos Areces and Juan Heguiabehere:
    Direct Resolution for Modal-like Logics

Coffee break

15:45 - 16:10 Anna Zalewska:
    About an implementation of Prover for Algorithmic Logic

16:10 - 16:35 Maria Alpuente, Santiago Escobar and Salvador Lucas: 
    A transformation for implementing on-demand strategy annotations

16:35 - 17:00 Alessandro Avellone, Guido Fiorino and Ugo Moscato:
    An implementation of a $O(n\log n)$-SPACE Decision Procedure for
    Propositional Intuitionistic Logic