Logic List Mailing Archive

Analytic Systems 2, Phnom Penh, Cambodia, Nov 2006

Analytic Systems 2
      (2nd International Workshop on Analytic Proof Systems)
           12th November, LPAR-13, Phnom Penh, Cambodia
           http://www.logic.at/staff/chrisf/ws/AS-2.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, matrix systems, connection method, hypersequents
    * Cut elimination and Normalization: new methods, complexity,
      abstract approaches
    * Proof search: modelling 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

ORGANISATION:
There will be one or two invited talks, a number of contributed talks
(depending on the number of accepted abstracts) and (if time permits)
a Panel Discussion on applications of analytic systems in computer science
and mathematics.

The workshop will be co-sponsered by the International Kurt G?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?ller, University of Technology, Vienna
    * Michel Parigot, Universit? Paris VII

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

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

IMPORTANT DATES:
    * Submission deadline - 25th September
    * Notification of acceptance - 6h October
    * Camera ready versions due - 19th October
    * Workshop - 12th November