Please note that this newsitem has been archived, and may contain outdated information or links.
16 July 2021, The Third International ARCADE (Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements) Workshop, Virtual
The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning -such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving - to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. What are the current challenges, applications, directions, or exemplary achievements of Automated Reasoning?
The structure of the workshop will be informal. At the event, contributions will be grouped into similar themes and authors will be invited to make their case within discussion panels. After the workshop, they will be welcome to extend their abstracts for inclusion in post-proceedings (EPiC or similar), taking into account the discussion.
We invite extended abstracts (2-4 pages, using the EasyChair class style) in the form of non-technical position statements aimed at prompting lively discussion. The title of the workshop is indicative of the kind of discussions we would like to encourage.
Please note that this newsitem has been archived, and may contain outdated information or links.