[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) ------------------------------------------------------------------------------ Download Intel® Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
