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.

APS-7 is merged with the International Workshop on Algebraic Logic in Computer Science.
(Follow this link or this link for the programme.)

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

Presentations of corresponding work in progress or of results to be published elswhere are welcome, too.


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.



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.