PAAR 2024

9th Workshop on Practical Aspects of Automated Reasoning

Home
Important Dates
Call for Papers
Accepted Papers
Proceedings
Program
Registration
Committees
Invited Speakers

Previous workshops

9TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING

Co-located with IJCAR 2024, July 2, 2024, Nancy, France

General Information

The Ninth Workshop on Practical Aspects of Automated Reasoning will take place on July 2 2024 in Nancy, France. PAAR 2024 is associated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024).

Accepted papers are available! See Accepted Papers.
Remember to register until June 4 (end of IJCAR early registration)!

Scope

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 workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications.

Topics include but are not limited to:

We are particularly interested in contributions that help the community to understand how to build useful reasoning systems in practice, and how to apply existing systems to real problems.