posted by user: sierrauy || 1270 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

IEEE Globecom 2024 NEXTG-WESEC 2024   WORKSHOP ON NEXTG (6G AND BEYOND) WIRELESS SECURITY (IEEE NEXTG-WESEC) with IEEE Globecom 2024, 8–12 December, 2024 - Cape Town, South Africa
CLSB 2024   5th International Conference on Cloud Computing, Security and Blockchain
IEEE Big Data - AIMG 2024   IEEE Big Data 2024 Workshop on AI Music Generation
CGO 2025   IEEE/ACM International Symposium on Code Generation and Optimization - R1
TCCN SI 2024   Generative AI for Next-Generation Networks and Communication: Challenges and Solutions
IJNGN 2024   International Journal of Next - Generation Networks
LATINCOM 2024   16th IEEE Latin-American Conference on Communications
JMICRO 2024   International Journal of Microwave Engineering
V-CYBERCULT 2024   Visuality and Cyberculture International Conference - AI Artistry Unleashed: Image Generation and Creative Synthesis in the Era of Advanced Neural Networks
INSPIRE 2024   The 2nd International Workshop on Intelligent Systems and Paradigms for Next Generation Computing Evolution