7th International Workshop on Analytic Proof Systems

will be held December 14, 2013 in the context of

The 19th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning
December 15-19, Stellenbosch, South Africa.

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 7 will be a half or a full day workshop.

The schedule of talks will be made accessible here after notification of acceptance.


The workshop will be co-sponsered by the


Please submit a 1-2 page abstract to analytic@logic.at until October 14, 2013.

The submissions will be reviewed by the organizers with the help of additional external experts.
Notification of acceptance is planned for October 18, 2013.

The abstracts selected for presentation will be made available electronically.