CFV'06: Call for Papers
"Miroslav Velev" <[email protected]> Mon, 29 May 2006 01:00:16 -0500
| Newsgroups | gmane.comp.lang.clean,gmane.comp.lang.caml.inria,gmane.comp.science.concurrency,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.discrete,gmane.comp.lang.erlang.general,gmane.comp.lang.haskell.general,gmane.comp.lang.lambda-prolog,gmane.comp.lang.mercury.advertisments,gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
--===============1766037678== Content-Type: multipart/alternative; boundary="----=_Part_37356_9734467.1148882416989" ------=_Part_37356_9734467.1148882416989 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Call for Papers: CFV'06 Fourth International Workshop on Constraints in Formal Verification (CVF'06), http://www.easychair.org/FLoC-06/CFV.html Paper submission deadline: June 5 CFV'06 will be held on August 22, and will be part of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), http://ijcar06.uni-koblenz.de/ a conference at the Federated Logic Conference (FLoC) http://research.microsoft.com/floc06/ in Seattle, Washington, August 2006 Overview Formal verification is of crucial significance in the development of hardware and software systems. In the last few years, tremendous progress was made in both the speed and capacity of constraint technology. Most notably, SAT solvers have become orders of magnitude faster and capable of handling problems that are orders of magnitude bigger, thus enabling the formal verification of more complex computer systems. As a result, the formal verification of hardware and software has become a promising area fo= r research and industrial applications. The main goals of the Constraints in Formal Verification workshop are to bring together researchers from the CSP/SAT and the formal verification communities, to describe new applications of constraint technology to forma= l verification, to disseminate new challenging problem instances, and to propose new dedicated algorithms for hard formal verification problems. This workshop will be of interest to researchers from academia and industry= , working in constraints or in formal verification and interested in the application of constraints in formal verification. Scope The scope of the workshop includes topics related with the application of constraint technology in formal verification, namely: application of constraint solvers to hardware verification; application of constraint solvers to software verification; dedicated solvers for formal verification problems; challenging formal verification problems. Delivery The workshop will be scheduled for one full day. We expect to structure the workshop to allow ample time for discussion and demonstration of new tools and new problem instances. Submissions Submissions can include one of the following: -A workshop paper of up to 15 pages in LNCS format. -A short paper of up to 4 pages, in LNCS format, describing an industrial experience. Workshop Chairs Joao Marques-Silva, University of Southampton, UK Miroslav Velev, Consultant, U.S.A. Program Committee Armin Biere, Johannes Kepler University, Austria Louise Dennis, University of Nottingham, U.K. Wolfgang Kunz, Technical University of Kaiserslautern, Germany Ines Lynce, Technical University of Lisbon, Portugal Darko Marinov, University of Illinois at Urbana-Champaign, U.S.A. John Moondanos, Intel, U.S.A. Chao Wang, NEC Research Labs, U.S.A. Li-C. Wang, University of Santa Barbara, U.S.A. ------=_Part_37356_9734467.1148882416989 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Call for Papers: CFV'06</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Fourth International Workshop on Constraints in Formal Verificatio= n (CVF'06),</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><a href=3D"http://www.= easychair.org/FLoC-06/CFV.html"><font face=3D"Times New Roman">http://www.e= asychair.org/FLoC-06/CFV.html</font></a></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><span style=3D"mso-spa= cerun: yes"><font face=3D"Times New Roman"> </font></span></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Paper submission deadline: June 5</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">CFV'06 will be held on August 22, and will be part of</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">the 3rd<span style=3D"mso-spacerun: yes"> </span>Internation= al Joint Conference on Automated Reasoning (IJCAR'06), </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"><a href=3D"http://ijcar06.uni-koblenz.de/">http://ijcar06.uni-kobl= enz.de/</a></font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">a conference at the Federated Logic Conference (FLoC)</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"><a href=3D"http://research.microsoft.com/floc06/">http://research.= microsoft.com/floc06/</a></font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">in Seattle, Washington, August 2006</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Overview</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Formal verification is of crucial significance in the development = of hardware and software systems. In the last few years, tremendous progres= s was made in both the speed and capacity of constraint technology. Most no= tably, SAT solvers have become orders of magnitude faster and capable of ha= ndling problems that are orders of magnitude bigger, thus enabling the form= al verification of more complex computer systems. As a result, the formal v= erification of hardware and software has become a promising area for resear= ch and industrial applications.=20 </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">The main goals of the Constraints in Formal Verification workshop = are to bring together researchers from the CSP/SAT and the formal verificat= ion communities, to describe new applications of constraint technology to f= ormal verification, to disseminate new challenging problem instances, and t= o propose new dedicated algorithms for hard formal verification problems.= =20 </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">This workshop will be of interest to researchers from academia and= industry, working in constraints or in formal verification and interested = in the application of constraints in formal verification.=20 </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Scope</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">The scope of the workshop includes topics related with the applica= tion of constraint technology in formal verification, namely: </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">application of constraint solvers to hardware verification; </font= ></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">application of constraint solvers to software verification; </font= ></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">dedicated solvers for formal verification problems; </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">challenging formal verification problems. </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Delivery</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">The workshop will be scheduled for one full day. We expect to stru= cture the workshop to allow ample time for discussion and demonstration of = new tools and new problem instances.=20 </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Submissions</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Submissions can include one of the following: </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">-A workshop paper of up to 15 pages in LNCS format. </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">-A short paper of up to 4 pages, in LNCS format, describing an ind= ustrial experience.</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Workshop Chairs</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Joao Marques-Silva, University of Southampton, UK</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Miroslav Velev, Consultant, U.S.A.</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Program Committee</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Armin Biere, Johannes Kepler University, Austria</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Louise Dennis, University of Nottingham, U.K. </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Wolfgang Kunz, Technical University of Kaiserslautern, Germany</fo= nt></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Ines Lynce, Technical University of Lisbon, Portugal </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Darko Marinov, University of Illinois at Urbana-Champaign, U.S.A.<= /font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">John Moondanos, Intel, U.S.A. </font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Chao Wang, NEC Research Labs, U.S.A.</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman">Li-C. Wang, University of Santa Barbara, U.S.A.</font></p> <p class=3D"MsoNormal" style=3D"MARGIN: 0in 0in 0pt"><font face=3D"Times Ne= w Roman"> </font></p> ------=_Part_37356_9734467.1148882416989-- --===============1766037678== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list --===============1766037678==--