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 _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell