posted by user: sierrauy || 1122 views || tracked by 1 users: [display]

WING 2010 : 3nd International Workshop on INvariant Generation


When Jul 21, 2010 - Jul 21, 2010
Where Edinburgh
Submission Deadline Apr 23, 2010
Notification Due Apr 27, 2010
Final Version Due Apr 23, 2010
Categories    invariant generation   tools   case studies

Call For Papers

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

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


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:

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:

Keynote Speakers

Sumit Gulwani (Microsoft Research, US)
Helmut Seidl (Technical University of Munich, Germany)


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)


Extended versions of accepted contributions
may be submitted later to the
WING 2010 Special Issue of the Journal of Symbolic Computation.

Related Resources

CGO 2023   ACM/IEEE International Symposium on Code Generation and Optimization
ASAP 2023   34th IEEE International Conference on Application-specific Systems, Architectures and Processors
AISC 2023   IEEE International Conference on Artificial Intelligence and Smart Communication
VST 2023   6th Workshop on Validation, Analysis and Evolution of Software Tests
IEEE TNSE Special Issue 2022   IEEE TNSE Special Issue on Next-generation Traffic Measurement with Network-wide Perspective and Artificial Intelligence
CoCo4MT 2022   2nd CFP - The First Workshop on Corpus Generation and Corpus Augmentation for Machine Translation
NG-RES 2023   NG-RES 2023: Fourth Workshop on Next Generation Real-Time Embedded Systems
JMICRO 2022   International Journal of Microwave Engineering
IJNGN 2022   International Journal of Next - Generation Networks
CoCo4MT 2022   The First Workshop on Corpus Generation and Corpus Augmentation for Machine Translation