[om-a] Extended submission deadline for AISC'2002 conference

belaid benhamou benhamou at ariane.univ-mrs.fr
Thu Feb 14 17:29:16 CET 2002


Please note that, following several requests, the deadline of the
submissions for the AISC'2002 conference has been extended
(see http://cmi.univ-mrs.fr/aisc2002). The new deadline is February 23, 2002.

(We apologize for multiple copies of this CFP)



****************************************************************************
*                              Call for Papers                             *
*                                 AISC'2002                                *
*                      Sixth International Conference on                   *
*             ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION             *
*                 Theory, Implementations and Applications                 *
*                                                                         
*                   (In conjunction with CALCULEMUS'2002)                  *
*
*                            France, Marseille                             *
*                           July 1th-5th, 2002                             *
****************************************************************************

Organized by:  Universite de Provence, Universite de Mideterrannee,
               Faculte des sciences de Saint-Jerome, and the LSIS laboratory.  
        

More informations are available on the web site  of
the conference: http://www.cmi.univ-mrs.fr/aisc2002.


-----------------------------------------------------------------------------


ABOUT THIS CONFERENCE SERIES
----------------------------

Conferences in this series are held every two years. The previous five
took place in Karlsruhe (Germany), Cambridge (United Kingdom), Steyr
(Austria), Plattsburgh (USA) and Madrid (Spain)-- the first three under the
name "Artificial Intelligence and Symbolic Mathematical Computing (AISMC)". 
For the year 2002, the conference AISC will be held in Marseille (France) in
conjunction with CALCULEMUS'2002 (The 10th Symposium on the Integration of
symbolic Computation  and Mechanized Reasoning).  
The aim of the conference is to make a forum for the exchange of ideas on
artificial intelligence and symbolic computation. The purpoose of such
discussion is to provide new tools and solutions by considering problem
solving methods from AI and symbolic (mathematical) computation. Another goal
is to make personal contacts among researchers from different fields related
to AI and Symbolic Computation. The conference is concerned with all aspects
of research (including theory, implementations and applications).


ORGANIZERS OF AISC'2002 / CALCULEMUS'2002
-----------------------------------------

Both AISC'2002 and CALCULEMUS'2002 are organized by the three Universities of
Marseille: L'universite de Provence (Aix-Marseille I), L'universite de la
Miditerrannée (Aix-Marseille II), la Faculté des sciences de Saint-Jerome
(Aix-Marseille III) and the LSIS laboratory. 

TOPICS
------

* AI and Symbolic Mathematical Computing
* Computer Algebra Systems and Automated Theorem Provers
* Integration of Logical Reasoning and Computer Algebra
* Engineering, Industrial and Operations Research Applications
* Foundations and Complexity of Symbolic Computation
* Mathematical Modeling of Multi-Agent Systems
* Programming Languages for Symbolic Computation
* Symbolic Computations for Expert Systems and Machine Learning
* Implementations of Symbolic Computation Systems
* Logic and Symbolic Computing
* Constraint Programming 
* Term Rewriting 
* Logic based Multi Agent Systems 
* Reasoning 

Papers on other topics with strong links to those descibed above will also be
welcomed for consideration. The second and the third topics of the previous
liste fit perfectly the scope of CALCULEMUS'2002.


STEERING COMMITTEE
------------------

Jacques Calmet                 (Univ. Karlsruhe, Germany)
John Campbell                  (University College London, England)
Eugenio Roanes-Lozano          (Univ. Complutense de Madrid, Spain)

CHAIRS
-------

Belaid Benhamou (Conference chair)
Universite de Provence
CMI, 39 rue F. Juliot-Curie
13453 Marseille Cedex 13, France
email:Belaid.Benhamou at cmi.univ-mrs.fr

Laurent Henocque (Program chair)
Universite de Mediterrannee
ESIL, 163 Avenue de Luminy
Marseille Cedex 09, France
email:henocque at esil.univ-mrs.fr


PROGRAM COMMITTEE
-----------------

Luigia C. Aiello               (Univ. La Sapienza, Roma, Italy)
Jose A. Alonso                 (Univ. de Sevilla, Spain)
Michael Beeson                 (San Jose State Univ., USA)
Belaid Benhamou                (Universite de Provence, France) 
Greg Butler                    (Univ. Concordia, Montreal, Canada)
Simon Colton                   (Univ of York, UK) 
Jim Cunningham                 (Imperial College London, UK)
James Davenport                (Univ. of Bath, England)
Carl van Geem                  (LAAS-CNRS, Tolouse, France)
Reiner Haehnle                 (Univ. of technology, Chalmers, Sweden)
Deepak Kapur                   (Univ. New Mexico, USA)
Luis M. Laita                  (Univ. Politecnica de Madrid, Spain) 
Luis de Ledesma                (Univ. Politecnica de Madrid, Spain) 
Eric Monfroy                   (Univ de Nantes, France) 
Jose Mira                      (UNED, Spain)
Ewa Orlowska                   (Inst. Telecomunications, Warsaw, Poland)
Jochen Pfalzgraf	       (Univ. Salzburg, Austria)
Jan Plaza		       (Univ. Plattsburgh, USA)
Zbigniew W. Ras                (Univ. North Carolina, Charlotte, USA)
Tomas Recio                    (Univ. de Santander, Spain)
Peder Thusgaard Ruhoff         (MDS, Proteomics, Denmark)
Pierre Siegel                  (Universite de Provence, France)
Andrzej Skowron                (Warsaw Univ., Poland)
John Slaney                    (ANU, Canberra, Australia)
Viorica Sofronie-Stokkermans   (Max Planck Institut, Germany)
Karel Stokkermans              (Univ. Salzburg, Austria) 
Carolyn Talcott                (Stanford Univ., USA)
Rich Thomason                  (Univ. of Pittsburgh, USA)
Dongming Wang                  (Univ. Paris VI, France) 



LOCAL COMMITTEE
---------------
Gilles Audemard             (Univ. Univ de Provence, Aix-Marseille I)
Belaid Benhamou 	    (Univ. Univ de Provence, Aix-Marseille I)
Philippe Jegou              (Univ. de Saint Jerome, Aix-Marseille III)
Laurent Henocques           (Univ. de la Mediterrannée, Aix-Marseille II) 
Pierre Siegel               (Univ. Univ de Provence,Aix-Marseille I) 
                


DEADLINES
---------

* Deadline for submission:                   February 23, 2002
* Notification of acceptance:     	     March 30, 2002
* Camera-ready papers due:                   April 19, 2002


PROCEEDINGS
-----------

Papers submitted to the conference undergo a standard review process.
Previous proceedings were printed by Springer-Verlag (in their volumes LNCS
737, 958, 1138, LNAI 1476 and LNAI 1930). This year's proceedings will also be
published by Springer-Verlag and will be available at the conference.


SUBMISSION REQUIREMENTS
-----------------------

Theoretical and applied research papers on all topics within the scope of
the conference are encouraged. Submitted papers (in English) must not exceed 12
pages in length. The title page should contain the title, author(s) with
affiliation(s), e-mail address(es), a listing of keywords and abstract PLUS the
topics from the list above to which the paper is related.
The program committee will subject all submitted papers to peer review.
Theoretical papers will be judged on their originality and contribution to
their field and applied papers on the importance and originality of the
application. Results must be unpublished. Electronic submission is strongly
encouraged. Please send a postscript file (.PS ) by e-mail to both
"aisc2002 at cmi.univ-mrs.fr" and "henocque at esil.univ-mrs.fr". If electronic
submission is not possible, please send four hard copies to the address given
at the end.


SUBMISSION REQUIREMENTS FOR THE FINAL VERSION OF ACCEPTED PAPERS
----------------------------------------------------------------

(Observe that this section does not apply when submitting the papers; it
REFERS only to the final version of ACCEPTED papers. Nevertheless papers can
be submitted in final format, although for submission only the .PS should be
sent)

   Accepted papers should be prepared in LaTeX and formatted in accordance
to the instructions given for Springer-Verlag's LNAI series (the correspon-
ding style files can be obtained from the web page

             http://www.springer.de/comp/lncs/authors.html

and are the same for the LNCS and LNAI).
Please remember to send, together with the .TEX, any non-standard files
that are necessary to compile the LaTeX source code too.


ADDRESSES (ORGANIZATION)
------------------------

e-mail: aisc2002 at cmi.univ-mrs.fr

web page: http://www.cmi.univ_mrs.fr/aisc2002

Surface mail: AISC 2002
              Dr. Belaid Benhamou 
              Universite de Provence,
              CMI, 39 rue F. Juliot-Curie
              13453 Cedex 13

Phone number: (+33) 4 91 11 36 22 
Fax number:   (+33) 4 91 11 36 02
--
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