The Workshop on Practical Aspects of Automated Reasoning (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.
PAAR takes place in Haifa, Israel, at the Technion – Israel Institute of Technology.
Ansprechpartner an der Universität Greifswald
Prof. Dr. Alexander Steen
Institut für Mathematik und Informatik
Walther-Rathenau-Straße 47, 17489 Greifswald
Telefon +49 3834 420 4634