[Haskell] Call for Participation (correction): International Conference on Automated Software Engineering 2005

[Yunwen Ye]

In the previous CfP(ASE05) I sent, I mixed the titles of 
keynotes by Dr. Swartout and Dr. Kemmerer. My deep apology 
to Dr. Swartout and Dr. Kemmerer, as well as to all of you 
who have to receive and (hopefully not) to delete this email 
twice. The correct CfP is as follows.

--Yunwen Ye, publicity chair of ASE05
-----------------------------------------------------------

        Call for Participation

20th IEEE/ACM International Conference on
     AUTOMATED SOFTWARE ENGINEERING 
            (ASE 2005)

         November 7-11, 2005
      Long Beach, California, USA
     http://www.ase-conference.org/

==========================================================
Early Registration Deadline: October 7, 2005

Regsitration website:
http://www.isr.uci.edu/ase2005/ConferenceRegistration.html
==========================================================

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 2005 features three keynotes, a technical program, four 
half-day tutorials, four workshops, and a doctoral sympoisum.

--------
Keynotes
--------
  The Power of Software
    Alfonso Fuggetta
    CEFRIEL - Politecnico di Milano

  Virtual Humans: Lessons Learned in Integrating a Large-Scale 
  AI Project
    William Swartout
    Institute for Creative Technologies, Univ. of Southern California
    
  Designing and Implementing a Family of Intrusion Detection Systems
    Richard A. Kemmerer
    University of California, Santa Barbara

-----------------
Technical Program
-----------------
The technical program includes 28 long papers, 34 short papers, 
and 4 tool demonstrations on topics such as Validation and 
Verification, Maintenance and Evolution, Program Understanding, 
Testing, Code Generation, Configuration Management & Security, 
Aspect-Oriented Programming, and Software Visualization.

---------
Tutorials 
---------
All four tutorilas are half-day.

  Bogor: An Extensible Software Model Checking Framework for
  Domain-Specific Model Checking
    Robby, Kansas State University, USA
    Matthew B. Dwyer, University of Nebraska-Lincoln, USA
    Matthew Hoosier, Kansas State University, USA

  Learning from Executions: Dynamic Analysis for Program
  Understanding and Software Engineering
    Michael Ernst, MIT, USA

  New Computational Methods for Complex System Construction
    Christopher Landauer, The Aerospace Corporation, USA
    Kirstie L. Bellman, The Aerospace Corporation, USA

  Software Component Models
    Kung-Kiu Lau, The University of Manchester, UK

---------
Workshops
---------
  Workshop on Specification and Automated Processing of Security
  Requirements (SAPS '05)
  http://www.lcc.uma.es/SAPS/

  Workshop on Software Security Assurance Tools, Techniques, and
  Metrics  (SSATTM)
  http://samate.nist.gov/index.php/SSATTM

  3rd International Workshop on Traceability in Emerging Forms of
  Software Engineering  (TEFSE 05)
  http://re.cs.depaul.edu/TEFSE05/

  Workshop on Software Certificate Management (SoftCeMent '05)
  http://ti.arc.nasa.gov/sc05/

------------------
Doctoral Symposium
------------------
The symposium is closed to public. Only invited students and sympoisum
committee will attend.

-----------------------
Conference Organization
-----------------------
General Chair
 David Redmiles, University of California, Irvine, USA

Program Co-Chairs
 Tom Ellman, Vassar College, USA
 Andrea Zisman, City University London, UK

Sponsored by
 IEEE CS, ACM SIGSOFT, ACM SIGART

Supported by
 Institute for Software Research, University of California, Irvine, USA
 School of Informatics, City University London, UK
 Donald Bren School of ICS, University of California, Irvine, USA