The Coq mailing list

["Marc Daumas" <Marc.Daumas AT ENS-Lyon.Fr>]

Please accept my apologies for multiple reception of this message. Deadline
for the abstracts is now Nov 15th through email and Nov 5th through the
conference web site.


                       CALL FOR PAPERS
 
            Formal Methods in Applied Mathematics
                        Paris, France 
                    July 11th-15th,  2005

                       CALL FOR PAPERS

TOPICS

Formal   proof assistants are  used  to  guarantee the correctness  of
simple   algorithms and programs in  computer   arithmetic and soon in
numerical analysis.    This  session  is intended  to   bring together
researchers interested  in mechanically proving properties of floating
point  operators and numerical  algorithms.  It  will also foster  the
development of floating point  and other arithmetic packages for proof
assistants.  It  will finally    present applications  and   introduce
challenging problems and perspectives for the future.

Topics of interest include, but are not limited to: 

       Certifications of floating point operators 
       Ensuring properties of numerical algorithms 
       Formalizations of IEEE 754/854 and IEC 559 standards
       Identification of future key applications

HISTORY

A first meeting  was held in Lyon, France,  in 2000, funded by INRIA's
ARC AOC.   The  workshop was a   success bringing together specialists
that usually present their results to separate communities.

From now on, we propose to organize this meeting as a session of IMACS
World Congress.  This  will help  us  bridge the gap between  maturing
applications in   computer arithmetic and  the   first applications in
numerical analysis.

SUBMISSION

Researchers interested in presenting  their work are invited to submit
a 1-4 page abstract by sending their file directly to Marc Daumas.

mailto:Marc.Daumas AT ENS-Lyon.Fr

For abstracts  that are available  before Nov 5th,  the authors should
preferably use the following  web site indicating the "Formal methods"
session in "Applied mathematics".

http://imacs2005.ec-lille.fr/

Abstracts  will be peer-reviewed   to  assess their relevance to   the
session. Accepted  authors  will send a   full paper to appear  in the
proceedings of the conference.

IMPORTANT DATES
        Abstract submission       :  Nov 15,    2004
        Notification of acceptance:  Mar 15,    2005
        Revised Papers required by:  Apr  1,    2005
        Conference:                  Jul 11-15, 2005

ORGANIZATION 

Marc Daumas (CNRS) and Laurent Théry (INRIA)
Marc.Daumas AT ENS-Lyon.Fr
Laurent.Thery AT INRIA.Fr

--
Marc Daumas (CNRS-LIP) - http://perso.ens-lyon.fr/marc.daumas
mailto:Marc.Daumas AT ENS-Lyon.Fr
 (suspect emails are not viewed)
PGP Key FP : 86C8 3DB3 7118 517A AA13  5707 D617 13D6 7510 D750
ENS de Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE
Phone: (+33) 4 72 72 85 83 - Fax: (+33) 4 72 72 80 80