[om-a] CFP: IJCAR 2001 - International Joint Conference on Automated Reasoning

IJCAR Publicity Chair ijcar-publicity at dii.unisi.it
Tue Aug 22 19:55:52 CEST 2000

|                                                                  |
|                              IJCAR 2001                          |
|                                                                  |
|    The International Joint Conference on Automated Reasoning     |
|                                                                  |
|                   June 18-23, 2001, Siena, Italy                 |
|                                                                  |
|                  http://www.dii.uni-si.it/~ijcar/                |
|                                                                  |
|               CALL FOR PAPERS / TUTORIALS / WORKSHOPS            |
|                                                                  |


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.

LOGICS of interest include propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal,
temporal, many-valued, substructural, description, and meta-logics,
type theory and set theory.

TECHNIQUES of interest include model-elimination, tableaux, sequent
calculi, resolution, connection method, inverse method, term
rewriting, induction, unification, constraint solving, decision
procedures, model generation, model checking, semantic guidance,
interactive theorem proving, logical frameworks, and AI-related
methods for deductive systems such as proof planning and proof

APPLICATIONS of interest include hardware and software development,
systems analysis and verification, functional and logic programming,
proof carrying code, deductive databases, knowledge representation,
computer mathematics, natural language processing, linguistics,
planning and other AI areas.

Submissions - Research papers and system descriptions
Submitted research papers and system descriptions must be original and
not submitted for publication elsewhere. Research papers can be up to
15 proceedings pages long, and system descriptions can be up to 5
pages long. The proceedings of IJCAR 2001 will be published by
Springer-Verlag in the LNAI series.

All submissions must be received by January 14, 2001. Submissions that
are late or too long or require substantial revision will not be
considered. Authors of accepted papers will be requested to sign a
form transfering copyright of their contribution to Springer-Verlag.


Submissions - Short papers
Short papers are intended for quick dissemination of work in progress
or results not substantial enough for a full research paper. Their
length is limited to 10 pages. Submissions under this category will
not be formally refereed, but their content and relevance will be
reviewed. Those submissions accepted will be published in a technical
report, which will be available at the conference. Authors of accepted
papers are expected to present a brief outline of their work at the
conference and to prepare a poster for display at the conference

The submission deadline is April 2, 2001.

Submission details - All categories
Authors are strongly encouraged to use LATEX2e and the Springer llncs
class files. The primary means of submission is electronic. More
submission details can be found at the IJCAR 2001 web site.

Best Student Paper Award
A prize of 500 Euros will be given to the best paper, as judged by the
program committee, written solely by one or more students. A
submission is eligible if all authors are full-time students at the
time of submission. This should be indicated in the submission
letter. The program committee may decline to make the award or may
split it among several papers.

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 at dii.unisi.it

Workshop Chair:

    D. Hutter (Saarbr"ucken)
    ijcar-workshop at dii.unisi.it

    Tutorial Chair:
    T. Walsh (York)
    ijcar-tutorial at 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 at dii.unisi.it

Publicity Chair:
    P. Baumgartner (Koblenz)

    E. Giunchiglia (Genova)

Invited speakers                      
    N. Jones (DIKU, DK)                 
    L. Paulson (Cambridge, UK)              
    H. Schwichtenberg (M"unchen, D)         
    A. Voronkov (Manchester, UK)            
    D. Zeilberger (Temple Univ., USA)       

Program committee
    R. Alur (Philadelphia)
    F. Baader (Aachen)
    M. Baaz (Wien)
    B. Beckert (Karlsruhe)
    R. Caferra (Grenoble)
    R. Dyckhoff (St. Andrews)
    U. Furbach (Koblenz)
    D. Galmiche (Nancy)
    H. Ganzinger (MPI Saarbr"ucken)
    J. Goubault-Larrecq (INRIA Rocq.)
    R. H"ahnle (Chalmers)
    J. Harrison (Intel, Hillsboro)
    D. Kapur (New Mexico)
    H. Kautz (ATT, Florham Park)
    M. Kohlhase (Saarbr"ucken)
    Z. Manna (Stanford)
    P. Patel-Schneider (Bell Labs)
    F. Pfenning (Pittsburgh)
    A. Podelski (MPI Saarbr"ucken)
    W. Reif (Augsburg)
    G. Salzer (Wien)
    M. Vardi (Houston)

Important dates
(all dates in 2001)

January 14   Submission deadline - 
             Research papers and system descriptions
  March 19   Notification of acceptance - 
             Research papers and system descriptions
  April  2   Submission deadline - 
             Short papers
  April 12   Camera-ready copy due - 
             Research papers and system descriptions
  April 30   Notification of acceptance - 
             Short papers 
    May 14   Camera-ready copy due - Short papers

   June 18 -
   June 23   IJCAR 2001


It is planned to hold a number of tutorials within the technical
programme of the confer ence. We invite proposals for these tutorials
(as well as suggestions for topics that might be covered). The topics
of the tutorials can cover any area related to automated reasoning and
any related cross-disciplinary areas that might be of interest
(constraints, formal methods, ...). At present, the tutorials are
scheduled to take place on Monday 18th and Tuesday 19th June.

How to Propose a Tutorial 
Proposals should be in English and between one and two pages in
length. They should contain:

       * The title of the tutorial.                           
       * The names, and affiliations of the person or persons who will
         present the tutorial.
       * A brief technical description of the topics covered by the tutorial.
       * Contact details (email, web page, phone, fax, etc).
       * A list of tutorials previously given in this or related areas.

Proposals should be submitted electronically (in ASCII, Ghostscript
compatible Postscript or LaTeX) at the follwing address:

     Toby Walsh, IJCAR Tutorial Chair
     Artificial Intelligence Group
     Department of Computer Science
     University of York
     York YO10 5DD, U.K. 

     Email: ijcar-tutorial at dii.unisi.it
       Tel: +44 1904 432745
       Fax: +44 1904 432767

Important dates
Tutorial proposal deadline: January 15, 2001 
Notification of acceptance: January 29, 2001 
                 Tutorials: June 18+19, 2001 


Researchers and practitioners are invited to submit proposals for
workshops on IJCAR related topics as mentioned in the "Call for
Papers". Proposals that promise to bring new topics into IJCAR, of
either practical or theoretical importance, or provide a forum for
more detailed discussion on central topics of continuing importance
are also welcomed. Workshops that close the gap between automated
reasoning and related areas, like for instance formal methods or
software engineering, are especially encouraged.

Recent workshops of participating conferences have included, for
instance, automated model building, automation of proofs by induction,
empirical studies in logic algorithms, mechanization of partial
functions, proof search in type-theoretic languages, strategies in
automated deduction, automated theorem proving in software engineering
and in mathematics, and integration of symbolic computation and

Submission Details
Anyone wishing to organize a workshop in conjunction with IJCAR should
send in postscript format (e-mail preferred) a proposal no longer than
two pages to the workshop chair (ijcar-workshop at dii.unisi.it) by
January 1, 2001.

Proposals should consist of two parts. First, a short scientific
justification of the proposed topic, its significance and the
particular benefits of the workshop. A second part should include the
proposed format and agenda, the procedures for selecting papers and
participants, and contact information for the organizers. In
particular it should also include estimated dates for paper
submissions, acceptance of notification (before May 1, 2001) and
camera ready copy.

Proposals will be evaluated, and decisions will be communicated by
January 15, 2001. Further information about the arrangements for
workshops can be obtained from the IJCAR 2001 Web site.

Important dates
Workshop proposal deadline: January 1, 2001
Notification of acceptance: January 15, 2001
                 Workshops: June 18+19, 2001

Workshop chair
   Dieter Hutter (Saarbr"ucken, D)
   ijcar-workshop at dii.unisi.it

   Università degli Studi di Siena, the University of Siena
   AI*IA, l'Associazione Italiana per l'Intelligenza Artificiale 
   CADE Inc., The Conference on Automated Deduction. 
   EATCS, The European Association for Theoretical Computer Sciences. 
   ECCAI, The European Coordinating Committee on Artificial Intelligence. 
   ERCIM, The European Research Consortium for Informatics and Mathematics. 
   IJCAI Inc., The International Joint Conferences on Artificial Intelligence.
   MPS, Monte dei Paschi di Siena 

Peter Baumgartner                         
phone: +49 261  287 2777    mail: peter at uni-koblenz.de
fax:   +49 261  287 2731    WWW:  http://www.uni-koblenz.de/~peter/

om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems

More information about the Om-announce mailing list