The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of
automated reasoning
In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer progr ...
,
automated deduction
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a maj ...
, 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 the organizers of the
Conference on Automated Deduction
A conference is a meeting, often lasting a few days, which is organized on a particular subject, or to bring together people who have a common interest. Conferences can be used as a form of group decision-making, although discussion, not always ...
(CADE), and CADE has always been one of the conferences partaking in IJCAR.
* The first IJCAR was held in
Siena
Siena ( , ; traditionally spelled Sienna in English; ) is a city in Tuscany, in central Italy, and the capital of the province of Siena. It is the twelfth most populated city in the region by number of inhabitants, with a population of 52,991 ...
, Italy on 18–22 June 2001,
as a merger of CADE,
FTP
The File Transfer Protocol (FTP) is a standard communication protocol used for the transfer of computer files from a server to a client on a computer network. FTP is built on a client–server model architecture using separate control and dat ...
, and
TABLEAUX, and which included the ''IJCAR ATP System Competition'' (CASC-JC) on 21 June 2001.
* The second IJCAR was held in
Cork
"Cork" or "CORK" may refer to:
Materials
* Cork (material), an impermeable buoyant plant product
** Stopper (plug), or "cork", a cylindrical or conical object used to seal a container
*** Wine cork an item to seal or reseal wine
Places Ireland
* ...
, Ireland 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 Conference in
Seattle
Seattle ( ) is the most populous city in the U.S. state of Washington and in the Pacific Northwest region of North America. With a population of 780,995 in 2024, it is the 18th-most populous city in the United States. The city is the cou ...
, United States, and merged CADE, FTP, TABLEAUX, FroCoS and
TPHOLs.
* The fourth IJCAR was held in
Sydney
Sydney is the capital city of the States and territories of Australia, state of New South Wales and the List of cities in Australia by population, most populous city in Australia. Located on Australia's east coast, the metropolis surrounds Syd ...
, Australia in 2008, and merged CADE, FroCoS, FTP and TABLEAUX.
* The fifth IJCAR was held in 2010 as an independent subconference of the fifth Federated Logic Conference in
Edinburgh
Edinburgh is the capital city of Scotland and one of its 32 Council areas of Scotland, council areas. The city is located in southeast Scotland and is bounded to the north by the Firth of Forth and to the south by the Pentland Hills. Edinburgh ...
, UK, and merged CADE, FTP, TABLEAUX, and FroCoS.
* The sixth IJCAR was held in
Manchester
Manchester () is a city and the metropolitan borough of Greater Manchester, England. It had an estimated population of in . Greater Manchester is the third-most populous metropolitan area in the United Kingdom, with a population of 2.92&nbs ...
, UK, as part of the ''Alan Turing Year 2012'', and was collocated with the
Alan Turing Centenary Conference. It again merged CADE, FTP, TABLEAUX, and FroCoS.
* The seventh IJCAR was held in
Vienna
Vienna ( ; ; ) is the capital city, capital, List of largest cities in Austria, most populous city, and one of Federal states of Austria, nine federal states of Austria. It is Austria's primate city, with just over two million inhabitants. ...
, Austria, as part of the
Vienna Summer of Logic in 2014, and merged CADE, TABLEAUX, and FroCoS.
* The eighth IJCAR was held in
Coimbra
Coimbra (, also , , or ), officially the City of Coimbra (), is a city and a concelho, municipality in Portugal. The population of the municipality at the 2021 census was 140,796, in an area of .
The fourth-largest agglomerated urban area in Po ...
, Portugal, in 2016, and merged CADE, TABLEAUX, and FroCoS.
References
External links
IJCAR Home PageIJCAR-2006 Home Page
IJCAR-2008 Home Page
IJCAR 2016 Home Page
Theoretical computer science conferences
Logic conferences
{{comp-sci-stub