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)
[Sillouette of then the Scott Monument] Second Workshop on Practical Aspects of Automated Reasoning (Edinburgh, UK, 2010)
[Foyer of Manchester Town Hall] Third Workshop on Practical Aspects of Automated Reasoning (Manchester, UK, 2012)
[Karlskirche in Vienna] Fourth Workshop on Practical Aspects of Automated Reasoning (Vienna, Austria, 2014)
[Coimbra University] Fifth Workshop on Practical Aspects of Automated Reasoning (Coimbra, Portugal, 2016)
[Oxford Bridge of Sighs] Sixth Workshop on Practical Aspects of Automated Reasoning (Oxford, UK, 2018)
[View of the Eiffel Tower over the Seine, Paris] Seventh Workshop on Practical Aspects of Automated Reasoning (Paris, France Online, Planet Earth, 2020)
[Bahai Shrine in Haifa, Israel] Eighth Workshop on Practical Aspects of Automated Reasoning (Haifa, Israel)
[Place Stanislas, Nancy, France] Ninth Workshop on Practical Aspects of Automated Reasoning (Nancy, France)
Creative Commons License.