<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><span class="Apple-style-span" style="font-size: medium;"><br></span></div><div><span class="Apple-style-span" style="font-size: medium;">---------------------------------------------------------------------------</span></div><div><span class="Apple-style-span" style="font-size: medium;"><br></span></div><div><span class="Apple-style-span" style="font-size: medium;"> *** CALL FOR PAPERS ***<br> [ Please redistribute. Apologies for multiple copies.]<br><br> INFINITY 2010<br><br> The Twelfth International Workshop on Verification </span></div><div><span class="Apple-style-span" style="font-size: medium;"> of Infinite-State Systems</span></div><div><span class="Apple-style-span" style="font-size: medium;"> <a href="http://www.it.uu.se/workshop/infinity2010/">http://www.it.uu.se/workshop/infinity2010/</a><br><br><div> Singapore, September 21, 2010<br></div><div> Co-located with ATVA 2010 </div><div> <a href="http://atva10.comp.nus.edu.sg/">http://atva10.comp.nus.edu.sg/</a></div><div><br></div><div>---------------------------------------------------------------------------</div><div> Please note: submission deadline June 15, 2010<br>---------------------------------------------------------------------------</div></span></div><div><span class="Apple-style-span" style="font-size: medium; "><div><br></div><div>The aim of the INFINITY workshop is to provide a forum for researchers<br></div><div>interested in the development of formal methods and algorithmic techniques for<br></div><div>the analysis of systems with infinitely many states, and their application in<br></div><div>automated verification of complex software and hardware systems.<br></div><br><div>Program Committee:<br></div><br><div>* Parosh Abdulla, Uppsala University, Sweden<br></div><div>* Yu-Fang Chen (co-chair), Academia Sinica, Taiwan<br></div><div>* Peter Habermehl, LIAFA, Universite Denis Diderot---Paris 7, CNRS, France<br></div><div>* Radu Iosif, VERIMAG, Universite Joseph Fourier/INPG/CNRS, France<br></div><div>* Barbara Koenig, Universitat Duisburg-Essen, Germany<br></div><div>* Akash Lal, Microsoft Research, Bangalore, India<br></div><div>* Richard Mayr, University of Edinburgh, United Kingdom<br></div><div>* Kedar Namjoshi, Bell Labs, Alcatel-Lucent, USA<br></div><div>* Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium<br></div><div>* Ahmed Rezine (co-chair), Uppsala University, Sweden<br></div><div>* Arnaud Sangnier, Universita di Genova, Italy<br></div><div>* Yih-Kuen Tsay, National Taiwan University, Taiwan<br></div><div>* Tomas Vojnar, Brno University of Technology, Czech Republic<br></div><br><div>Topics of interest include (but are not limited to):<br></div><br><div>* Infinite-state models of software/hardware systems<br></div><div>* Abstraction techniques for infinite-state systems<br></div><div>* Symbolic analysis techniques and data structures for representing<br></div><div>infinite state spaces<br></div><div>* Model-checking, static analysis, abstract interpretation,<br></div><div>preorder/equivalence-checking, and control synthesis for<br></div><div>infinite-state systems<br></div><div>* Parameterized networks of parallel processes, dynamic networks, mobile systems<br></div><div>* Systems with unbounded dynamic data and control structures<br></div><div>* Probabilistic and timed systems<br></div><div>* Games in modeling and verification of infinite-state systems<br></div><div>* Verification techniques for security properties, cryptographic protocols<br></div><div>* Verification techniques for systems biology<br></div><br><div>Paper Submission:<br></div><br><div>There are two types of submissions.<br></div><br><div>* Regular papers will be thoroughly evaluated by the programme<br></div><div>committee and accepted submissions will be published in the<br></div><div>proceedings. Authors are invited to submit an original contribution<br></div><div>presenting unpublished work in the relevant areas. By submitting you<br></div><div>agree that, in case of acceptance, at least one (co-)author will<br></div><div>register and present the paper at the workshop. Contributions should<br></div><div>be typeset in the EPTCS format and should not exceed 15 pages.<br></div><br><div>* Presentations are reports on recent (or ongoing) work. It is<br></div><div>possible to submit a paper which recently appeared (or which is going<br></div><div>to appear) in proceedings of another conference, or which has not yet<br></div><div>been submitted. Neither the paper nor the abstract will be published<br></div><div>in the proceedings. These contributions will be judged solely on the<br></div><div>basis of their attractiveness to the workshop. Authors are invited to<br></div><div>submit a one-page abstract.<br></div><br><div>Both kind of papers should be submitted through EasyChair by following<br></div><div>the link: <a href="http://www.easychair.org/conferences/?conf=infinity2010">http://www.easychair.org/conferences/?conf=infinity2010</a>.<br></div><br><div>Proceedings:<br></div><br><div>Pre-proceedings of INFINITY 2010 will be available at the workshop in a printed<br></div><div>form. Final versions of the papers will appear in a volume of<br></div><div>Electronic Proceedings in Theoretical Computer Science.<br></div><br><div>Important Dates:<br></div><br><div>Regular Papers<br></div><br><div>* Submission: June 15, 2010<br></div><div>* Notification: July 15, 2010<br></div><div>* Final version: August 10, 2010<br></div><br><div>Presentation<br></div><br><div>* Submission: August 15, 2010<br></div><div>* Notification: August 30, 2010<br></div><br><div>------------------------------</div><div><br></div><div></div></span></div></div></span></div></span></span></div></div></body></html>