posted by user: sierrauy || 934 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 2020   Symposium on Code Generation and Optimization
LCTES 2020   The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
FGCS-ETDNS 2020   Future Generation Computer Systems SI on Emerging Topics in Defending Networked Systems
WTXRM 2020   First International Workshop on Tools for Creating XR Media Experiences
Recommender Systems 2020   Data Science for Next-Generation Recommender Systems
CE-MDPISensors 2020   Cloud and Edge Computing for the Next Generation of Internet of Things Applications
JDSA SI 2020   Springer Journal Special Issue on Data Science for Next-Generation Recommender Systems
MLNGSN 2020   The 2nd International Workshop on Machine Learning for Next Generation Systems and Networks
CASM_SI_5GIoT 2020   CASM Special Issue on Emerging Technologies in 5G-Based IoT
VST 2020   3rd International Workshop on Validation, Analysis and Evolution of Software Tests