Practical Aspects of Automated Reasoning

[IJCAR logo] Practical Aspects of Automated Reasoning is a series of workshops associated with the International Joint Conference on Automated Reasoning and held since 2008. PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshops bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools.

Each PAAR is organised by the program chairs. Since 2014, long term evolution of PAAR is controlled by the PAAR steering committee, which consists of all past program chairs. Currently, the steering committee has the following members:

PAAR Workshops

[Sydney skyline] First Workshop on Practical Aspects of Automated Reasoning (Sydney, Australia, 2008)