Logic List Mailing Archive

FOM: conference on weak arithmetic and discrete geometry (fwd)

********************************************
       *                                          *
       *  DENIS RICHARD 60th BIRTHDAY CONFERENCE  *
       *                                          * 
       ********************************************
       *                                          *
       *            May 16-17, 2002               *
       *       Clermont-Ferrand, France           *
       *                                          *
       ********************************************
       *                                          *
       *   First Announcement - Call for Papers   *
       *                                          *
       ********************************************


 ********************************************************
 **************** Please distribute widely **************
 ********************************************************


 This conference is held to honour Denis Richard 
 on occasion of his 60th birthday

 The aim of the meeting is to give rise to exchanges between 
 researchers working in his favourite scientific domains
 such as WEAK ARITHMETICS and DISCRETE GEOMETRY
 among other topics


     *****************
     *     SCOPE     *
     *****************

 Papers are sollicited in all research areas related to 
 weak arithmetics and discrete geometry
 including but not limited to :

 * Proofs in arithmetic with restricted system of axioms 
   Non-standard models of such systems
   Decidability, undecidability, complexity of arithmetical theories
   Definability in arithmetic structures
   Machines, automata and words, related to arithmetic
   Finite model theory, words structures

 * Digital topology
   Discrete geometrical models
   Surfaces and volumes
   Arithmetical structures, graph structures in computer imagery 
   Combinatorial problems in discrete Euclidian spaces
   Complexity theory and geometry


     *********************
     *     COMMITTEE     *
     *********************

 Patrick Cegielski (Creteil)
 Christine Charretton (Lyon)
 Remy Malgouyres (Clermont-Ferrand)
 Malika More (Clermont-Ferrand)
 Jean-Pierre Ressayre (Paris)


     *******************************
     *      PAPER SUBMISSION       *
     *******************************

 Authors are invited to send an abstract 
 not exceeding three pages to the contact address

 Electronic submission in the form of 
 postscript file is  encouraged

 Submissions are to be received before JANUARY 15, 2002
 Acceptance will be notified before MARCH 15, 2002


     ***************************
     *     CONTACT ADDRESS     *
     ***************************

 Malika More
 LLAIC
 IUT Informatique
 Campus des Cezeaux 
 B.P. 86
 F-63172 Aubiere Cedex
 France

 E-mail: Malika.More@llaic.u-clermont1.fr

 Phone: +33 (0)4 73 17 71 18
 Fax: +33 (0)4 73 17 71 25