International Conference on Automated Reasoning (IJCAR 2001)

Venue: Siena

Location: Siena, Italy

Event Date/Time: Jun 18, 2001 End Date/Time: Jun 23, 2001
Report as Spam

Description

Title: IJCAR 2001 - International Conference on Automated Reasoning
StartDate: 06/18/2001
EndDate: 06/23/2001
Location siena italy europe
URL: http://www.dii.unisi.it/~ijcar


The International Joint Conference on Automated Reasoning (IJCAR) is
the fusion of three major conferences in Automated Reasoning: CADE
(The International Conference on Automated Deduction), TABLEAUX (The
International Conference on Automated Reasoning with Analytic Tableaux
and Related Methods) and FTP (The International Workshop on
First-Order Theorem Proving). These three events will join for the
first time at the IJCAR conference in Siena in June 2001.

IJCAR 2001 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.

Keywords: Artificial Intelligence, Logic, Automated Reasoning, Tableaux

Conference Chair:

Fabio Massacci
University of Siena
Dipartimento di Ingegneria dell'Informazione
via Roma 56
53100 Siena, Italy

Phone: +39 0577 234607
FAX: +39 0577 233602
Email: ijcar-cch@dii.unisi.it

Program Co-Chairs:

Rajeev Gor'e (ARP-ANU, Australia)
Alexander Leitsch (TU-Wien, Austria)
Tobias Nipkow (TU-M"unchen, Germany)

collective Email address: ijcar-pch@dii.unisi.it

Venue

Siena
Siena
Italy
MORE INFO ON THIS VENUE