[Om] CFP Calculemus'06, July 7-8, 2006 Genova (Italy) co-located with ISSAC 2006

Silvio.Ranise at loria.fr Silvio.Ranise at loria.fr
Mon Jan 16 12:18:32 CET 2006


			 Calculemus'06 Symposium


			  13th Symposium on the
       Integration of Symbolic Computation and Mechanized Reasoning 2006

                       Co-located with ISSAC 2006
                            July 7-8, 2006
                    Università degli Studi di Genova
                             Genova, Italy

      			  CALL FOR PAPERS


  The scientific and technological goal of the Calculemus network is
  to design a new generation of mathematical software systems and
  computer-aided verification tools based on the integration of
  Deduction and Computer Algebra Systems.

  Both Deduction Systems (DSs) and Computer Algebra Systems (CASs) are
  receiving growing attention from industry and academia. On the one
  hand, CASs have been commercially very successful in recent
  years. On the other hand, the use of formal methods in hardware and
  software development has made DSs indispensable not least because of
  the complexity and sheer size of the reasoning tasks involved. Such
  systems are now making the transition from academic applications
  into regular industrial practice.

  In spite of these successes there is still need for improvement as
  many application domains still fall outside the scope of existing
  DSs and CASs. For instance, the scope of CASs could be significantly
  enhanced by adding deductive reasoning power. In fact this lack of
  expressivity together with the unsolved problem of correctness
  prohibit large classes of applications. DSs, which - on the other
  hand - provide such an expressivity, as well as the guarantee of
  correctness, still lack computational power as they are not suited
  to directly carry out algebraic or numerical calculations. This
  severely restricts their scope of application in mathematics and -
  more importantly - in engineering applications.

  The main goal of the Calculemus symposiums serie is to stimulate
  significant research advancements in combining the reasoning
  capabilities of DSs and the computational power of CASs as well as
  to foster possible cross-fertilizations.

  The field of DSs has diversified into the areas of automated theorem
  proving and interactive proof-development, which have their own
  traditions, conferences and technical methods. The field of CAs has
  specialised on devising highly efficient methods for symbolic
  calculations.  The mission of the Calculemus symposiums serie is to
  bringing together such research communities so to create new
  generation of expressive, automatic, and easy-to-use systems capable
  of performing a wide range of mathematical tasks.

Goals & Topics
  Calculemus 2006, the 13th symposium in the series, will be held July
  7-8, 2006 at the Università degli Studi di Genova, Italy, in conjunction
  with the International Symposium on Symbolic and Algebraic Computation (ISSAC)

  The main theme of Calculemus 2006 will be the interactions between
  automated deduction and computer algebra with particular emphasis on
  the applications to verification, mathematical assistants, and web

  Calculemus 2006 welcomes research papers on all aspects of
  integrating symbolic computation and formal deduction including:

    * Combining computer algebra and computer deduction systems
    * Adding deductive capabilities to computer algebra systems
    * Adding computational capabilities to computer deduction systems
    * Combining methods of symbolic computation and formal deduction
    * Design and implementation issues in integrated systems
    * Design and implementation of computer algebra and deduction services for
the web
    * Formal method problems requiring mixed computing and proving
    * Applications of formal methods to the construction of integrated systems
    * Design and implementation of mathematical assistants requiring both
computer algebra and deduction
    * Case studies and applications

  The intended audience of the symposium is mainly researchers and
  practicioners in the fields of computer algebra and automated
  deduction.  More in general, anyone interested in the design of
  mathematical software systems and computer-aided verification tools
  based on the integration of the deduction and computation.

Call for papers
   Papers addressing the topics listed above and more in general
   involving techniques in both computer algebra and automated
   deduction are solicited. Submitted papers should not exceed 12
   pages and should be written in LaTeX with the following settings:
   11pt, one column, a4paper and standard margins.

   Submissions should be done electronically via the following web-page:


   Submissions will be peer-reviewed. The authors of accepted
   submissions are expected to give a 25' presentation at the
   symposium.  The proceedings of Calculemus'06 will be distributed at
   the workshop and later published possibly as a special volume of
   the Electronic Notes in Computer Science (ENTCS).

   IMPORTANT! In order to ease the (possible) publication in the ENTCS
   volume of the workshop proceedings, please, use the following LaTeX
   header in your submission:

\textwidth  14.63cm
\textheight 22cm
\oddsidemargin  0.65cm
\evensidemargin 0.65cm
\topmargin  0.55cm
\headheight 0.0pt
\headsep    0.0pt

Important Dates (tentative...)
* Submission of title and abstract:      April 8, 2006
* Submission of papers:                  April 15, 2006
* Notification of acceptance:            May 15, 2006
* Final version of papers:               June 4, 2006
* Symposium:                             July 7-8, 2006

Program Committee
* Anna Bigatti (Università degli Studi di Genova, Italy) [Co-chair]
* Christoph Benzmeuller (Saarland University, Saarbrücken, Germany)
* Olga Caprotti (University of Helsinki, Finland)
* Jacques Carette (McMaster University, Canada)
* Hoon Hong (North Carolina State University, USA)
* William M. Farmer, McMaster University, Canada
* Steve Linton (University of St. Andrews, UK)
* Madan Musuvathi (Microsoft Research, USA)
* Silvio Ranise (INRIA-Lorraine, France, and Università degli Studi di Milano,
Italy) [Co-chair]
* Christoph Ringeissen (INRIA-Lorraine, France)
* Renaud Rioboo (University of Paris 6, France)
* Pino Rosolini (Università degli Studi di Genova, Italy)
* Roberto Sebastiani (Università di Trento, Italy)
* Volker Sorge, University of Birmingham, UK
* Carlo Traverso (Università degli Studi di Pisa, Italy)
* Stephen Watt, (University of Western Ontario, Canada)

  Details will be avaiable soon.

More information about the Om mailing list