* Invitation to submit a paper to a special issue of JSAT on CFV
@ 2006-11-25 10:46 Miroslav Velev
0 siblings, 0 replies; only message in thread
From: Miroslav Velev @ 2006-11-25 10:46 UTC (permalink / raw)
To: concurrency, categories, moca-announce, eacsl, fmics, pvs, ipa,
petrinet, logic-announce, logic-list, nvti-list, prog-lang,
theory-logic, theorynt, seworld, acl2, action-semantics, AG-list,
agents, asci, caml-list, clp, coq-club, DMANET, formal-methods,
grin, ifmsig, isabelle-users, jml, lfcs-interest, lpnmr,
nwpt-info, om-announce, papm, prog-lang, puml-list, stochver,
theorem-provers, zero-defaut, zeves, forum, csl, eapls,
cipher-cfp, ecoop-info, coalgebras, ccp, lprolog, list, appsem,
rewriting, sensoria
[-- 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 --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-11-25 10:46 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-11-25 10:46 Invitation to submit a paper to a special issue of JSAT on CFV Miroslav Velev
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox