International Joint Conference on Automated Reasoning (IJCAR)
Search Open Yearbook
This information is part of the Open Yearbook, a free service of UIA's subscription-based Yearbook of International Organizations (YBIO). It includes profiles of non-profit organizations working worldwide in all fields of activity. The information contained in the profiles and search functionality of this free service are limited.
The full-featured Yearbook of International Organizations (YBIO) includes over 72,500 organization profiles, additional information in the profiles, sophisticated search functionality and data export. For more information about YBIO, please click here or contact us.
The UIA is a leading provider of information about international non-profit organizations. The aim of the Open Yearbook is to promote the activities of international non-governmental organizations (INGOs) and intergovernmental organizations (IGOs).
2001 Siena Italy
Organized every 2 years as the merger of Conference on Automated Deduction (CADE), S-AA0310 - International Symposium on Frontiers of Combining Systems (FroCos), International Conference on Interactive Theorem Proving (ITP) and Conference on Analytic Tableaux and Related Methods (TABLEAUX).
Events2 past events available with paid subscription only.
ActivitiesAvailable with paid subscription only.
Type I ClassificationAvailable with paid subscription only.
Type II ClassificationAvailable with paid subscription only.
Subjects *Available with paid subscription only.
UIA Org ID
** UN SDGs are linked to the subject classification.
← return to your search page to find additional profiles.
UIA allows users to access and make use of the information contained in its Databases for the user’s internal use and evaluation purposes only. A user may not re-package, compile, re-distribute or re-use any or all of the UIA Databases or the data* contained therein without prior permission from the UIA.
Data from database resources may not be extracted or downloaded in bulk using automated scripts or other external software tools not provided within the database resources themselves. If your research project or use of a database resource will involve the extraction of large amounts of text or data from a database resource, please contact us for a customized solution.
UIA reserves the right to block access for abusive use of the Database.
* Data shall mean any data and information available in the Database including but not limited to: raw data, numbers, images, names and contact information, logos, text, keywords, and links.