5th International Workshop on Analytic Proof Systems

will be held in the afternoon of October 10, 2010 in the context of

The 17th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning
October 10-15, 2010, Yogyakarta, Indonesia

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


Online now (with abstracts): click here


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