[Please post - apologies for multiple copies.]
Call for Tool Papers, Case Studies
--------------------------
W I N G 2010
3nd International Workshop on INvariant Generation
--------------------------
July 21, 2010
University of Edinburgh, UK
Satellite Workshop of FLoC 2010
http://research.microsoft.com/en-us/events/wing2010/
Call for Tool and Case Study Demonstrations
-------------------------------------------
We encourage ONE-PAGE ABSTRACT submissions of
tool descriptions and case studies for demonstration
at WING 2010.
Topics of interest include, but are not limited to:
- 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
Important Dates
---------------
April 23, 2010: Abstract submission deadline
April 27, 2010: Notification of acceptance
July 21, 2010: WING 2010 in Edinburgh, UK
Submission
----------
Submissions need not be original.
Extended versions of submissions may be submitted
concurrently with or after WING 2010 to another conference or a journal.
Submission is via EasyChair:
https://www.easychair.org/?conf=wing2010
by selecting the "Tools and Case studies" submission category.
Please submit a ONE-PAGE abstract 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
Keynote Speakers
----------------
Sumit Gulwani (Microsoft Research, US)
Helmut Seidl (Technical University of Munich, Germany)
Committee
-----------------
Program Chairs:
Nikolaj Bjorner (Microsoft Research, US)
Laura Kovacs (Vienna University of Technology, Austria)
Program Committee:
Enric RodrÃguez Carbonell (Technical University of Catalonia, Spain)
Martin Giese (University of Oslo, Norway)
Jens Knoop (Vienna University of Technology, Austria)
Francesco Logozzo (Microsoft Research, USA)
Wolfgang Schreiner (RISC-Linz, Austria)
Andrey Rybalchenko (Technical University of Munich, Germany)
Helmut Veith (Vienna University of Technology, Austria)
Thomas Wies (IST, Austria)
Publication
-----------
Extended versions of accepted contributions
may be submitted later to the
WING 2010 Special Issue of the Journal of Symbolic Computation.
------------------------------------------------------------------------------
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
