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=2.8 required=5.0 tests=DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,DNS_FROM_RFC_WHOIS,HTML_MESSAGE autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id CC988BC0B for ; Sat, 25 Nov 2006 11:46:04 +0100 (CET) Received: from web32402.mail.mud.yahoo.com (web32402.mail.mud.yahoo.com [68.142.207.195]) by discorde.inria.fr (8.13.6/8.13.6) with SMTP id kAPAk3P7018839 for ; Sat, 25 Nov 2006 11:46:03 +0100 Received: (qmail 23914 invoked by uid 60001); 25 Nov 2006 10:46:02 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID; b=cAlTrl3402wWsf2O94LFgEpXmPw3mhjBFmMLqXaRrPdWJez6t757p0bB5CizRYbKqWp6AeYKlwDWUh77pGcPxCr4VKhe0qvnWQCzQ4l8UmdCdMceN4nR7y2dhJyHyAA1inrxRwtoaK96lfoqfE9oPW/N4kwTsJNPa/BRXxl7AHI=; X-YMail-OSG: hCXgKtsVM1kDJKc0.EyXAV2LhfLTRSLS0y5AThr.zwSHsNwCNZ_3j5BAI4q3UZ5GQvt4QAg0zTHytC2c400I0UCMxlasPo8mtTIXB2bwOd1.PRq4jtzOKrk74737CTXvGf77kimrDzataT8- Received: from [24.148.26.172] by web32402.mail.mud.yahoo.com via HTTP; Sat, 25 Nov 2006 02:46:02 PST Date: Sat, 25 Nov 2006 02:46:02 -0800 (PST) From: Miroslav Velev Subject: Invitation to submit a paper to a special issue of JSAT on CFV To: concurrency@cwi.nl, categories@mta.ca, moca-announce@list.it.uu.se, eacsl@dimi.uniud.it, fmics@inrialpes.fr, pvs@csl.sri.com, ipa@win.tue.nl, petrinet@informatik.uni-hamburg.de, logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI, nvti-list@cwi.nl, prog-lang@diku.dk, theory-logic@CS.CMU.EDU, theorynt@listserv.nodak.edu, seworld@cs.colorado.edu, acl2@cs.utexas.edu, action-semantics@brics.dk, AG-list@uni-mb.si, agents@cs.umbc.edu, asci@twi.tudelft.nl, caml-list@inria.fr, clp@comp.nus.edu.sg, coq-club@pauillac.inria.fr, DMANET@zpr.uni-koeln.de, formal-methods@cs.uidaho.edu, grin@di.unipi.it, ifmsig@cs.tcd.ie, isabelle-users@cl.cam.ac.uk, jml@cs.iastate.edu, lfcs-interest@dcs.ed.ac.uk, lpnmr@cs.engr.uky.edu, nwpt-info@sool.ioc.ee, om-announce@lars.math.fsu.edu, papm@informatics.ed.ac.uk, prog-lang@daimi.au.dk, puml-list@cs.york.ac.uk, stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu, zero-defaut@cert.fr, zeves@ora.on.ca, forum@prg.ox.ac.uk, csl@dbai.tuwien.ac.at, eapls@jiscmail.ac.uk, cipher-cfp@ieee-security.org, ecoop-info@ecoop.org, coalgebras@iti.cs.tu-bs.de, ccp@sics.se, lprolog@cs.umn.edu, list@prooftheory.org, appsem@tcs.informatik.uni-muenchen.de, rewriting@ens-lyon.fr, sensoria@lists.tcs.ifi.lmu.de MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="0-1152815976-1164451562=:23699" Content-Transfer-Encoding: 8bit Message-ID: <863827.23699.qm@web32402.mail.mud.yahoo.com> X-j-chkmail-Score: MSGID : 45681EEB.001 on discorde : j-chkmail score : X : 0/20 1 X-Miltered: at discorde with ID 45681EEB.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; solvers:01 solvers:01 joao:01 joao:01 43257:98 computation:01 computation:01 constraint:01 constraint:01 boolean:02 boolean:02 constraints:03 constraints:03 submissions:04 submissions:04 --0-1152815976-1164451562=:23699 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Dear Colleague, We would like to invite you to submit a paper to the special issue of the Journal on Satisfiability, Boolean Modeling and Computation (JSAT) on the topic of application of constraints to formal verification (CFV). The submission deadline is January 10, 2007. Topics include, but are not limited to, the following: - application of constraint solvers to hardware verification; - application of constraint solvers to software verification; - dedicated solvers for formal verification problems; - tuning SAT for formal verification and testing; - challenging formal verification problems. The submissions have to be in the JSAT format: http://www.isa.ewi.tudelft.nl/Jsat/ and have to be e-mailed to: mvelev@gmail.com If possible, please confirm your intent to submit a paper. We look forward to your submission, Miroslav Velev and Joao Marques-Silva Editors of the special issue of JSAT on CFV --------------------------------- Check out the all-new Yahoo! Mail beta - Fire up a more powerful email and get things done faster. --0-1152815976-1164451562=:23699 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: 8bit
Dear Colleague,
 
We would like to invite you to submit a paper to the special issue of the
Journal on Satisfiability, Boolean Modeling and Computation (JSAT) on
the topic of  application of constraints to formal verification (CFV).
 
The submission deadline is January 10, 2007.
 
Topics include, but are not limited to, the following:
- application of constraint solvers to hardware verification;
- application of constraint solvers to software verification;
- dedicated solvers for formal verification problems;
- tuning SAT for formal verification and testing;
- challenging formal verification problems.
 
The submissions have to be in the JSAT format:
http://www.isa.ewi.tudelft.nl/Jsat/
and have to be e-mailed to: mvelev@gmail.com
 
If possible, please confirm your intent to submit a paper.
 
We look forward to your submission,
 
Miroslav Velev and Joao Marques-Silva
Editors of the special issue of JSAT on CFV

Check out the all-new Yahoo! Mail beta - Fire up a more powerful email and get things done faster. --0-1152815976-1164451562=:23699--