IJCAR'08 Workshop on Practical Aspects of Automated ReasoningtFirst Call for Papers
2008-08-10
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
