ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

ARCADE 2017 - Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

Date2017-08-06 - 2017-08-11

Deadline2017-02-18

VenueGothenburg, Sweden Sweden

Keywords

Websitehttp://www.cade-26.info

Topics/Call fo Papers

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. The title of the workshop is indicative of the kind of discussions we would like to encourage:
Challenges: What are the next grand challenges for research on automated reasoning?
Applications: Is automated reasoning applicable in real-world (industrial) scenarios.
Directions: Based on the grand challenges and requirements from real-world applications, what are the research directions the community should promote?
Exemplary Achievements: What are the landmark achievements of automated reasoning whose influence reached far beyond the CADE community itself?

Last modified: 2017-02-21 23:52:17