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

WING 2010 : 3nd International Workshop on INvariant Generation

FacebookTwitterLinkedInGoogle

Link: http://research.microsoft.com/en-us/events/wing2010/
 
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

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.

Related Resources

IJNGN 2024   International Journal of Next - Generation Networks
TCCN SI 2024   Generative AI for Next-Generation Networks and Communication: Challenges and Solutions
ENG_IoT 2024   The Evolution of Next Generation Internet of Things: Applications & Future Directions
LATINCOM 2024   16th IEEE Latin-American Conference on Communications
GEM shared task 2024   GEM 2024 multilingual data-to-text and summarization shared task
VST 2024   7th Workshop on Validation, Analysis and Evolution of Software Tests
IS2024   INTERSPEECH 2024
NEXTCOMP 2024   Next Generation Computing Applications Conference
MetroXRAINE 2024   Special Session: Responsible Innovation for Next-Generation XR-BCI-AI Systems and Architectures
JMICRO 2024   International Journal of Microwave Engineering