8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022)

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.

Further information available at https://paar2022.github.io/



  • Boris Konev (University of Liverpool), Claudia Schon (Universität Koblenz-Landau), Alexander Steen (Universität Greifswald)


  • Technion - Israel Institute of Technology, Haifa, Israel

Zurück zu allen Veranstaltungen