News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

10-15 August 2008, International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia

Date: 10-15 August 2008
Location: Sydney, Australia
Deadline: 17 December 2007

IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.

For more information, see http://2008.IJCAR.org/

IJCAR 2008 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited (deadline for paper registration: 22nd February 2008), as well as workshop and tutorial proposals (deadline for proposal submissions: 17th December 2007).

Please note that this newsitem has been archived, and may contain outdated information or links.