From: Miroslav Velev <miroslav_velev@yahoo.com>
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
Subject: Invitation to submit a paper to a special issue of JSAT on CFV
Date: Sat, 25 Nov 2006 02:46:02 -0800 (PST) [thread overview]
Message-ID: <863827.23699.qm@web32402.mail.mud.yahoo.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1108 bytes --]
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.
[-- Attachment #2: Type: text/html, Size: 4057 bytes --]
reply other threads:[~2006-11-25 10:46 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=863827.23699.qm@web32402.mail.mud.yahoo.com \
--to=miroslav_velev@yahoo.com \
--cc=AG-list@uni-mb.si \
--cc=DMANET@zpr.uni-koeln.de \
--cc=acl2@cs.utexas.edu \
--cc=action-semantics@brics.dk \
--cc=agents@cs.umbc.edu \
--cc=appsem@tcs.informatik.uni-muenchen.de \
--cc=asci@twi.tudelft.nl \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=ccp@sics.se \
--cc=cipher-cfp@ieee-security.org \
--cc=clp@comp.nus.edu.sg \
--cc=coalgebras@iti.cs.tu-bs.de \
--cc=concurrency@cwi.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=csl@dbai.tuwien.ac.at \
--cc=eacsl@dimi.uniud.it \
--cc=eapls@jiscmail.ac.uk \
--cc=ecoop-info@ecoop.org \
--cc=fmics@inrialpes.fr \
--cc=formal-methods@cs.uidaho.edu \
--cc=forum@prg.ox.ac.uk \
--cc=grin@di.unipi.it \
--cc=ifmsig@cs.tcd.ie \
--cc=ipa@win.tue.nl \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=jml@cs.iastate.edu \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=list@prooftheory.org \
--cc=logic-announce@uclink4.berkeley.edu \
--cc=logic-list@Helsinki.FI \
--cc=lpnmr@cs.engr.uky.edu \
--cc=lprolog@cs.umn.edu \
--cc=moca-announce@list.it.uu.se \
--cc=nvti-list@cwi.nl \
--cc=nwpt-info@sool.ioc.ee \
--cc=om-announce@lars.math.fsu.edu \
--cc=papm@informatics.ed.ac.uk \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=prog-lang@daimi.au.dk \
--cc=prog-lang@diku.dk \
--cc=puml-list@cs.york.ac.uk \
--cc=pvs@csl.sri.com \
--cc=rewriting@ens-lyon.fr \
--cc=sensoria@lists.tcs.ifi.lmu.de \
--cc=seworld@cs.colorado.edu \
--cc=stochver@cs.bham.ac.uk \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@CS.CMU.EDU \
--cc=theorynt@listserv.nodak.edu \
--cc=zero-defaut@cert.fr \
--cc=zeves@ora.on.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox