[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)

============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------