Zum Hauptinhalt springen

PAAR 2022: Workshop on Practical Aspects of Automated Reasoning

The Eighth Workshop on Practical Aspects of Automated Reasoning will take place on August 11-12, 2022 in Haifa, Isreal. PAAR 2022 is associated with the 11th International Joint Conference on Automated Reasoning (IJCAR-2022).

Website der Veranstaltung

Datum und Uhrzeit

11.08.2022, 09:00 - 12.08.2022, 17:00
Im Kalender speichern


Technion - Israel Institute of Technology
Haifa, Israel


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/