Groups | Search | Server Info | Login | Register
Groups > comp.compilers > #217
| Path | csiph.com!x330-a1.tempe.blueboxinc.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!news.linkpendium.com!news.linkpendium.com!news.iecc.com!nerds-end |
|---|---|
| From | yahave <yahave@gmail.com> |
| Newsgroups | comp.compilers, comp.lang.misc, comp.software-eng |
| Subject | SAS 2011 early registration ends August 10, student travel grants available (Venice, Sep 11) |
| Date | Fri, 29 Jul 2011 22:22:42 -0700 (PDT) |
| Organization | Compilers Central |
| Lines | 53 |
| Sender | news@iecc.com |
| Approved | comp.compilers@iecc.com |
| Message-ID | <11-07-041@comp.compilers> (permalink) |
| NNTP-Posting-Host | news.iecc.com |
| X-Trace | gal.iecc.com 1312130263 52855 64.57.183.58 (31 Jul 2011 16:37:43 GMT) |
| X-Complaints-To | abuse@iecc.com |
| NNTP-Posting-Date | Sun, 31 Jul 2011 16:37:43 +0000 (UTC) |
| Keywords | CFP, analysis, conference |
| Posted-Date | 31 Jul 2011 12:37:43 EDT |
| X-submission-address | compilers@iecc.com |
| X-moderator-address | compilers-request@iecc.com |
| X-FAQ-and-archives | http://compilers.iecc.com |
| Xref | x330-a1.tempe.blueboxinc.net comp.compilers:217 comp.lang.misc:406 comp.software-eng:86 |
Cross-posted to 3 groups.
Show key headers only | View raw
The 18th International Static Analysis Symposium
September 14-16, Venice, Italy
http://sas2011.cs.technion.ac.il
Static Analysis is increasingly recognized as a fundamental tool for
program verification, bug detection, compiler optimization, program
understanding, and software maintenance. The series of Static Analysis
Symposia has served as the primary venue for presentation of
theoretical, practical, and application advances in the area. The
Eighteenth International Static Analysis Symposium (SAS 2011) will be
held in Venice, Italy.
* Invited Speakers
Jerome Feret, Ecole Normale Superieure, France
Daniel Kaestner, AbsInt, Germany
Ken McMillan, Microsoft Research
John Mitchell, Stanford
Sriram Rajamani, Microsoft Research India
* Co-located Workshops
The International Workshop on Numerical and Symbolic Abstract
Domains (NSAD 2011) - September 13th
The International Workshop on Static Analysis and Systems
Biology (SASB 2011) - September 13th
The International Workshop on Tools for Automatic Program AnalysiS
(TAPAS 2011) - September 17th
* Early Registration - Until August 10th
http://sas2011.cs.technion.ac.il/registration.html
* Student Travel Grants Available
Apply by sending email to yahave@cs.technion.ac.il
* Hotel Information
Being mid September very high season, participants must book the
lodging for their stay as soon as possible.
http://sas2011.cs.technion.ac.il/hotels.html
Back to comp.compilers | Previous | Next | Find similar
SAS 2011 early registration ends August 10, student travel grants available (Venice, Sep 11) yahave <yahave@gmail.com> - 2011-07-29 22:22 -0700
csiph-web