[Please post - apologies for multiple copies.]
-------------------------- W I N G 2010 - DEADLINE REMINDER 3nd International Workshop on INvariant Generation -------------------------- July 21, 2010 Satellite Workshop of FLoC 2010 http://research.microsoft.com/en-us/events/wing2010/ Important Dates --------------- March 19, 2010: Submission deadline April 23, 2010: Notification of acceptance May 7, 2010: Camera-ready copy deadline July 21, 2010: WING 2010 in Edinburgh, UK Keynote Speakers ---------------- Sumit Gulwani (Microsoft Research, US) Helmut Seidl (Technical University of Munich, Germany) Submission ---------- Relevant topics include (but are not limited to) the following: - Program analysis and verification - Inductive Assertion Generation - Inductive Proofs for Reasoning about Loops - Applications to Assertion Generation using the following tools: - Abstract Interpretation, - Static Analysis, - Model Checking, - Theorem Proving, - Algebraic Techniques - Tools for inductive assertion generation and verification - Alternative techniques for reasoning about loops We encourage submissions presenting work in progress, tools under development, as well as research of PhD students, such that the workshop can become a forum for active dialog between the groups involved in this new research area. Submission is via EasyChair: https://www.easychair.org/?conf=wing2010 Please submit research reports up to 15 pages in PDF, conforming to the format produced by LaTeX using the easychair.cls class file of EasyChair. The class style may be downloaded at: http://www.easychair.org/easychair.zip ------------------------------------------------------------------------------ Download Intel® Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
