posted by user: sadegh_rk || 1226 views || tracked by 2 users: [display]

PAAR 2022 : 8th Workshop on Practical Aspects of Automated Reasoning

FacebookTwitterLinkedInGoogle

Link: https://paar2022.github.io/index.html
 
When Aug 11, 2022 - Aug 12, 2022
Where Haifa, Israel,
Abstract Registration Due Apr 19, 2022
Submission Deadline Apr 26, 2022
Notification Due Jun 3, 2022
Final Version Due Jun 24, 2022
Categories    artificial intelligence   formal methods   logic   machine learning
 

Call For Papers

8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING

Co-located with FLoC/IJCAR 2022, August 11-12, 2022, Haifa, Isreal
General Information

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).

****************************************************************************************
Scope

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.

Topics include but are not limited to:

automated reasoning in propositional, first-order, higher-order and non-classical logics;
implementation of provers (SAT, SMT, resolution, tableau, instantiation-based, rewriting, logical frameworks, etc);
automated reasoning tools for all kinds of practical problems and applications;
pragmatics of automated reasoning within proof assistants;
practical experiences, usability aspects, feasibility studies;
evaluation of implementation techniques and automated reasoning tools;
performance aspects, benchmarking approaches;
non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications;
implementation techniques, optimisation techniques, machine learning, strategies and heuristics, fairness;
support tools for prover development;
system descriptions and demos.

We are particularly interested in contributions that help the community to understand how to build useful reasoning systems in practice, and how to apply existing systems to real problems.

Related Resources

PADL 2023   PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages
IEEE COINS 2023   IEEE COINS 2023 - Berlin, Germany - July 23-25 - Hybrid (In-Person & Virtual)
FMCAD 2023   2023 Formal Methods in Computer-Aided Design (FMCAD)
JCRAI 2023-Ei Compendex & Scopus 2023   2023 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2023)
KR 2023   Principles of Knowledge Representation and Reasoning
JCICE 2023   2023 International Joint Conference on Information and Communication Engineering(JCICE 2023)
ASE 2023   38th IEEE/ACM International Conference on Automated Software Engineering
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
VMCAI 2023   International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
AAMLASP 2023   Advanced Aspects of Machine Learning Algorithms for Scientific Programming