From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 16D86BC6C for ; Wed, 19 Sep 2007 15:38:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CANvC8EaCiAFn/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.20,273,1186351200"; d="scan'208";a="1034110" Received: from lec.cs.unibo.it ([130.136.1.103]) by mail1-smtp-roc.national.inria.fr with ESMTP; 19 Sep 2007 15:39:22 +0200 Received: from marcello.cs.unibo.it (marcello.cs.unibo.it [130.136.5.29]) by lec.cs.unibo.it (Postfix) with ESMTP id 3499517E8A; Wed, 19 Sep 2007 15:39:22 +0200 (CEST) Received: by marcello.cs.unibo.it (Postfix, from userid 400) id 02DFD37C81; Wed, 19 Sep 2007 15:39:21 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by marcello.cs.unibo.it (Postfix) with ESMTP id E6F9A9F60C; Wed, 19 Sep 2007 15:39:21 +0200 (CEST) Date: Wed, 19 Sep 2007 15:39:21 +0200 (CEST) From: Andrea Asperti To: types@lists.chalmers.se, map@fourier.ujf-grenoble.fr, mizar-forum@mizar.uwb.edu.pl, projects-mkm-ig@iu-bremen.de, calculemus-ig@ags.uni-sb.de, coq-club@pauillac.inria.fr, caml-list@yquem.inria.fr, grin@di.unipi.it, aila@unicam.it Subject: new journal announcement Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Spam: no; 0.00; unibo:01 formalized:01 unibo:01 coquand:01 saclay:01 paris-sud:01 natarajan:01 andrzej:01 formalized:01 1972:98 simpson:98 experimental:01 thierry:02 gonthier:02 purely:02 N E W J O U R N A L A N N O U N C E M E N T +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ JOURNAL OF FORMALIZED REASONING http://jfr.cib.unibo.it/ ISSN: 1972-5787 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Charter and Scope: The journal encourages submission of papers describing significant formalization efforts in any area, including classical math, constructive math, formal algorithms, and program verification. The emphasis of the journal is on proof techniques and methodologies and their impact on the formalization process. In particular, the journal provides a forum for comparing alternative approaches, enhancing reusability of solutions and offering a clear view of the current state of the field. ------------------------------------------------------------------ Editorial Board: Andrea Asperti, University of Bologna Jeremy Avigad, Carnegie Mellon University Michael Beeson, San Jose State University Thierry Coquand, Chalmers University Herman Geuvers, Radboud University Georges Gonthier, Microsoft reasearch John Harrison, Intel Corporation Xavier Leroy, INRIA Paris Cesar Munoz, NASA LaRC Christine Paulin-Morhing, INRIA Saclay and Universite Paris-Sud Natarajan Shankar, SRI International Peter Sewell, University of Cambridge Carlos Simpson, Nice University Andrzej Trybulec, University of Bialystok Freek Wiedijk, Radboud University -------------------------------------------------------------------- Editorial Policy: The Journal of Formalized Reasoning is a purely electronic publication. The Journal provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge. The Journal encourages the submission of interesting, insightful, and informative papers, preferably accompanied by formal scripts. Although the journal is not meant to become a repository for proof scripts, an effort will be made to ensure that the "experimental data" backing formalisation papers will remain accessible. Each new contribution must be original, and not submitted before different journals for consideration. Detailed instructions can be found at the journal home page http://jfr.cib.unibo.it/.