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.
- The first IJCAR was held in Siena, Italy in 2001 as a merger of CADE, FTP, and TABLEAUX.
- The second IJCAR was held in Cork, 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, USA, and merged CADE, FTP, TABLEAUX, FroCoS and TPHOLs.
- The fourth IJCAR was held in Sydney, Australia in 2008, and merged CADE, FroCoS, FTP and TABLEAUX.
Famous quotes containing the words joint, conference, automated and/or reasoning:
“What’s a joint of mutton or two in a whole Lent?”
—William Shakespeare (1564–1616)
“Politics is still the man’s game. The women are allowed to do the chores, the dirty work, and now and then—but only occasionally—one is present at some secret conference or other. But it’s not the rule. They can go out and get the vote, if they can and will; they can collect money, they can be grateful for being permitted to work. But that is all.”
—Mary Roberts Rinehart (1876–1958)
“Nature is a self-made machine, more perfectly automated than any automated machine. To create something in the image of nature is to create a machine, and it was by learning the inner working of nature that man became a builder of machines.”
—Eric Hoffer (1902–1983)
“Our intellect is not the most subtle, the most powerful, the most appropriate, instrument for revealing the truth. It is life that, little by little, example by example, permits us to see that what is most important to our heart, or to our mind, is learned not by reasoning but through other agencies. Then it is that the intellect, observing their superiority, abdicates its control to them upon reasoned grounds and agrees to become their collaborator and lackey.”
—Marcel Proust (1871–1922)