Call For Papers: Analytic Proof Systems 4

                     Analytic Proof Systems 4
         (4th International Workshop on Analytic Proof Systems)
                22nd November @ LPAR 2008 Doha, Quatar
           http://www.logic.at/staff/chrisf/ws/LPAR-AS-4.html

                          Call for Papers

Analyticity is a topic that connects foundational issues in logic with
applications, mainly in automated deduction and analysis of proofs.
The workshop is primarily intended to enhance awareness for this topic
and to promote corresponding discussions and contacts between experienced
experts and younger colleagues.

TOPICS OF INTEREST include:

     * Old and new types of analytic calculi: sequent calculi,
       tableaux, connection method, hypersequents, deep inference
     * Cut elimination and Normalization: new methods, complexity,
       abstract approaches
     * Proof search: modeling proof search, streamlining calculi,
       model extraction
     * Relation to other methods: analytic systems and resolution,
       dialogue games, programming languages
     * Extracting information from analytic proofs: extraction of
       algorithms, constructivity, model construction, Herbrand's theorem

The workshop will be co-sponsered by the International Kurt G<F6>del Society 
(KGS) and will include a workshop dinner to which contributors are invited.

PROGRAM COMMITTEE AND ORGANIZERS:
     * Matthias Baaz, University of Technology, Vienna
     * Christian Ferm<FC>ller, University of Technology, Vienna

INVITED SPEAKER:
     * Dale Miller, INRIA Saclay - <CE>le-de-France

SUBMISSION:
Please submit a 1-2 page abstract (PDF or PS) to analytic@...

The selected abstracts will be published electronically and as a KGS-report.

IMPORTANT DATES:
     * Submission deadline - October 18, 2008
     * Notification of acceptance - October 27, 2008
     * Final versions due - November 9, 2008
     * Workshop - November 22, 2008