SAS 2011 early registration ends August 10, student travel grants available (Venice, Sep 11)

yahave <yahave@gmail.com>
Fri, 29 Jul 2011 22:22:42 -0700 (PDT)

          From comp.compilers

Related articles
SAS 2011 early registration ends August 10, student travel grants avai yahave@gmail.com (yahave) (2011-07-29)
| List of all articles for this month |

From: yahave <yahave@gmail.com>
Newsgroups: comp.compilers,comp.lang.misc,comp.software-eng
Date: Fri, 29 Jul 2011 22:22:42 -0700 (PDT)
Organization: Compilers Central
Keywords: CFP, analysis, conference
Posted-Date: 31 Jul 2011 12:37:43 EDT

  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


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.