8th Workshop on Practical Aspects of Automated Reasoning

Israel, Haifa, Bahai-Gardens, © EdoM
Israel, Haifa, Bahai-Gardens, © EdoM

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.

Further information available

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
alexander.steenuni-greifswaldde

 

Organisator

  • Alexander Steen (University of Greifswald), Claudia Schon (University of Koblenz-Landau), Boris Konev (University of Manchester)

Zurück zu allen Veranstaltungen