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