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.