News and Events: Conferences

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

10-11 August 2008, IJCAR'08 Workshop on Practical Aspects of Automated Reasoning First Call for Papers

Date: 10-11 August 2008
Deadline: 27 May 2008

The first Workshop on Practical Aspects of Automated Reasoning will be held in August 2008, in Sydney, Australia. PAAR will be associated with the 4th International Joint Conference on Automated Reasoning (IJCAR-2008).

Deadline for submission of abstracts: May 27th, 2008. For more information, see http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html

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