12 November 2006, 2nd International Workshop on Analytic Proof Systems (Analytic Systems 2), Phnom Penh, Cambodia

Analyticity is a topic that connects foundational issues in logic with applications, mainly in automated deduction and analysis of proofs. The workshop, part of LPAR-13, is primarily intended to enhance awareness for this topic and to promote corresponding discussions and contacts between experienced experts and younger colleagues.

For more information, see http://www.logic.at/staff/chrisf/ws/AS-2.html