Leave a comment

           Call for Participation

22nd IEEE/ACM International Conference on
        AUTOMATED SOFTWARE ENGINEERING
               (ASE 2007)

            November 5-9, 2007
           Atlanta, Georgia, USA
        http://www.ase-conference.org/

Early Registration Deadline: October 7, 2007

Regsitration website:
http://www.ase-conference.org/
Click the Registration Now! button

The conference hotel is Crowne Plaza Hotel Atlanta-Buckhead.
To receive the conference discount rate, you must book your
reservation by October 5, 2007.

The IEEE/ACM International Conference on Automated Software
Engineering brings together researchers and practitioners to
share ideas on the foundations, techniques, tools, and
applications of automated software engineering technology.

ASE 2007 features three keynotes, a technical program, two
full-day tutorials and two half-day tutorials, five workshops,
and a doctoral sympoisum.

--------
Keynotes
--------
Toward Automated Software Development
       Doug Smith, Kestrel Institute, USA

Specifying and Verifying Software
       K. Rustan M. Leino, Microsoft Research, Redmond, USA

The Embarrassing Truth About Software and Automation and
What Should be Done About It
       Bran Selic, IBM, USA

---------
Tutorials
---------
Software Reuse and Evolution with Generative Techniques (full day)
       Krzysztof Czarnecki, University of Waterloo, Canada
       Stan Jarzabek, National University of Singapore, Singapore

Empirical Research Methods for Software Engineering (full day)
       Steve Easterbrook, University of Toronto, Canada

Rosetta: Language Support for System Level Design (half day)
       Perry Alexander, University of Kansas, USA

Meta Tools for Implementing Domain Specific Visual Languages (half day)
       John Grundy, University of Auckland, New Zealand
       John Hosking, University of Auckland, New Zealand

---------
Workshops
---------
Workshop on Living with Uncertainties (IWLU)
http://godzilla.cs.toronto.edu/IWLU/

Workshop on Automating Service Quality (WRASQ)
http://www.cs.ua.edu/wrasq/Default.htm

Workshop on Automated Formal Methods with PVS, SAL and Yices (AFM)
http://fm.csl.sri.com/AFM07/

Workshop on Random Testing (RT)
http://www.mathematik.uni-ulm.de/sai/mayer/rt07/

Workshop on Empirical Assessment of Automated Software Engineering
Technologies (WEASELTech)
http://ase-conference.org/workshops/WEASELTech07/

For further information, please visit the conference website at
http://www.ase-conference.org/