International Joint Conference on Automated Reasoning
Encyclopedia
International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning
, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place. The conference is organized by CADE Inc.
, and CADE has always been one of the conferences partaking in IJCAR.
Automated reasoning
Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically...
, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place. The conference is organized by CADE Inc.
Conference on Automated Deduction
The Conference on Automated Deduction is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Europe and the USA. However, conferences have been held all...
, and CADE has always been one of the conferences partaking in IJCAR.
- The first IJCAR was held in SienaSienaSiena is a city in Tuscany, Italy. It is the capital of the province of Siena.The historic centre of Siena has been declared by UNESCO a World Heritage Site. It is one of the nation's most visited tourist attractions, with over 163,000 international arrivals in 2008...
, ItalyItalyItaly , officially the Italian Republic languages]] under the European Charter for Regional or Minority Languages. In each of these, Italy's official name is as follows:;;;;;;;;), is a unitary parliamentary republic in South-Central Europe. To the north it borders France, Switzerland, Austria and...
in 2001 as a merger of CADE, FTPInternational Workshop on First-Order Theorem ProvingThe International Workshop on First-Order Theorem Proving is a scientific meeting of researchers interested in automated theorem proving for first-order logic and related fields. FTP workshops are less formal than many conferences, but more formal than most workshops...
, and TABLEAUX. - The second IJCAR was held in CorkCork (city)Cork is the second largest city in the Republic of Ireland and the island of Ireland's third most populous city. It is the principal city and administrative centre of County Cork and the largest city in the province of Munster. Cork has a population of 119,418, while the addition of the suburban...
, IrelandIrelandIreland is an island to the northwest of continental Europe. It is the third-largest island in Europe and the twentieth-largest island on Earth...
in 2004 as a merger of CADE, FTP, TABLEAUX, FroCoS and CALCULEMUS. - The third IJCAR was held as an independent subconference of the fourth Federated Logic ConferenceFederated Logic ConferenceThe Federated Logic Conference is an international conglomeration of several mathematical logic and computer science related academic conferences that deal with the intersection of the two fields...
in Seattle, USA, and merged CADE, FTP, TABLEAUX, FroCoS and TPHOLs. - The fourth IJCAR was held in SydneySydneySydney is the most populous city in Australia and the state capital of New South Wales. Sydney is located on Australia's south-east coast of the Tasman Sea. As of June 2010, the greater metropolitan area had an approximate population of 4.6 million people...
, AustraliaAustraliaAustralia , officially the Commonwealth of Australia, is a country in the Southern Hemisphere comprising the mainland of the Australian continent, the island of Tasmania, and numerous smaller islands in the Indian and Pacific Oceans. It is the world's sixth-largest country by total area...
in 2008, and merged CADE, FroCoS, FTP and TABLEAUX.