Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: Sunday 12 November 2006
Location: Phnom Penh, Cambodia
Deadline: 25 September 2006

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

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 25 September 2006.

Please note that this newsitem has been archived, and may contain outdated information or links.