Analytic Proof Systems 3
(3rd International Workshop on Analytic Proof Systems)

will be held October 15th, 2007, as part of the

The 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
October 15-19, 2007 Yerevan, Armenia

For the preliminary workshop program click here

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 its topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues. Topics of Interests include


Depending on the number of conributors Analytic Proof Systems 3 will be a half or full day workshop.
There will be two invited speakers - Richard Zach (U Calgary) and Norbert Preining (TU Wien) - a number of contributed talks, and (if time permits) a Panel Discussion on challenges in proof theory within computer science.

Program Committee and Organizers:

The workshop will be co-sponsered by the International Kurt Gödel Society and will (most probably) include a workshop dinner to which contributors are invited.


Please submit a 1-2 page abstract to

The selected abstracts will be made available electronically.

Important dates