paar2022.github.io - 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING | PAAR 2022

home > domains > paar2022.github.io

Description: 8th Workshop on Practical Aspects of Automated Reasoning

Example domain paragraphs

8th Workshop on Practical Aspects of Automated Reasoning

Home Important Dates Paper Submission Accepted Papers Proceedings Program Registration Committees Invited Speakers

Previous workshops

Links to paar2022.github.io (3)

• jens-otten.de Jens Otten | University of Oslo
• alexandersteen.de Alexander Steen
• nalon.org Cláudia Nalon