[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Tool Papers - Deadline Reminder: Workshop onInvariant Generation (WING 2010), Edinburgh, July 21, 2010



[Please post - apologies for multiple copies.]


Call for Tool Papers, Case Studies

--------------------------
W I N G 2010 - DEADLINE REMINDER

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/



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)