Analytic Proof Systems 4
4th International Workshop on Analytic Proof Systems

will be held 22 November, 2008, in the context of

LPAR 2008,
The 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

November 23-27, 2008, Doha, Quatar

For the 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 contributors Analytic Proof Systems 4 will be a half or a full day workshop.
Invited speaker(s) are to be announced.

Invited Speakers:

Program Committee and Organizers:

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.


Please submit a 1-2 page abstract to

The selected abstracts will be made available electronically.


All contributers will be invited to join a special (KGS sponsored) workshop dinner!

Important dates