[GAP] Call for education related papers on Developing Dependable Software

[John McCormick]

I just received this call for papers for the ICSE Education Track.  I 
thought that some GAP members might have some Ada or SPARK related 
experiences that they could share.  However, the deadline is very close.

John


>Call for Papers - Deadline approaching
>ICSE Education Track
>International Conference on Software Engineering, May 2007
>Menneapolis, USA
>http://web4.cs.ucl.ac.uk/icse07/index.php?id=46
>
>The theme of ICSE 2007 is "Developing Dependable Software", with which
>we
>acknowledge the increasingly crucial role the engineering of software
>plays in business, healthcare, government and society at large.
>Nothing
>is more important to this goal than the education and training of our
>world-wide cadre of software engineers.  To date, our community has not
>yet succeeded in creating an established educational portfolio of
>paradigms, methods, approaches, and tools that can effectively be used
>in
>the classroom and beyond.  As a premier forum for innovating our
>educational practices in software engineering, the ICSE Education Track
>aims to foster the intellectual discourse necessary to create such a
>portfolio.
>
>The ICSE Education Track invites top-quality papers related to software
>engineering education that describe original and unpublished results of
>theoretical, practical, empirical, conceptual, and experimental work in
>software engineering education.  The track welcomes papers covering all
>aspects of software engineering education, including policy, curricula,
>teaching technology, assessment, globalization, international
>education,
>ethics, etc.  This includes not only education at the university level,
>but also corporate training and pre-university education.
>
>The track invites two kinds of submissions: (1) long papers, up to 10
>pages, documenting well-articulated and well-established results, and
>(2)
>short papers, up to 4 pages, describing new results that may not have
>been
>fully evaluated yet, but are nonetheless important to share with the
>community.
>
>Topics of interest include, but are not limited to:
>
>      * Design of entire software engineering curricula
>      * "Fitting in" software engineering in CS curricula
>      * Design of courses / individual units
>      * Design of course projects
>      * Software engineering at the community college
>      * Software engineering in high school
>      * Corporate training
>      * International education & culture
>      * Global learning
>      * E-learning
>      * Teaching methods
>      * Teaching materials
>      * Teaching technology
>      * Integrating internships & practical experiences
>      * Integrating research and education
>      * Learning styles
>      * Studies of educational practices
>      * Assessment
>      * Certification
>      * Policy
>      * Ethics
>
>Papers must be submitted electronically Cyberchair at
>http://cyberchair.acm.org/icseeducation/submit/ The deadline for
>software
>engineering education paper submission is 6 October 2006 23:59 SST
>(Apia-Samoa).
>
>Education papers should describe original and unpublished results
>relevant
>to ICSE.
>
>Papers submitted for consideration should not have been published
>elsewhere and should not be under review or submitted for review
>elsewhere
>during the duration of consideration.
>
>Education papers must conform, at time of submission, to the ICSE 2007
>Format and Submission Guidelines, and must not exceed 10 pages (for
>long
>papers) or 4 pages (for short papers), including all text, references,
>appendices, and figures. All submissions must be in English.
>Submissions
>must be in PDF format.
>
>Submissions that do not comply with the foregoing instructions will be
>desk rejected without review.
>
>Note: camera-ready copy will utilize the same format and length limits
>required of submissions, and thus, your submission should reflect the
>form
>that you anticipate your camera-ready copy will take.
>Review and Evaluation Criteria
>
>Each submission will be reviewed by at least three members of the
>Program
>Committee. The program committee as a whole will make final decisions
>about which submissions to accept for presentation at the conference.
>Standard review criteria will be used, including the innovative nature
>of
>the ideas and/or useful data that improves our knowledge of software
>engineering education, focus and writing style, and the use of proper
>evaluatory methods. As applicable, papers should be based on sound
>analysis, justify their claims using empirical data, build upon the
>work
>of others through appropriate references, present details of experiment
>design, discuss threats to validity, etc.
>Acceptance
>
>Upon notification of acceptance, all authors of accepted papers will be
>asked to complete an IEEE Copyright form and will receive further
>instructions for preparing their camera ready versions. At least one
>author of the paper is expected to present the results at the ICSE 2007
>conference.
>
>-----------
>
>Timothy C. Lethbridge, I.S.P., C.S.D.P.
>Professor / Professeur Titulaire
>Facult?e genie / Faculty of Engineering
>Tel: 613-562-5800x6685   Fax: 613-562-5664    Mobile: 613-859-9944
>http://www.site.uottawa.ca/~tcl
>
>Universit?'Ottawa / University of Ottawa
>L'Universit?anadienne / Canada's university





John W. McCormick                mccormick at cs.uni.edu
Computer Science Department
University of Northern Iowa        voice (319) 273-6056
Cedar Falls, IA 50614-0507       fax (319) 273-7123
http://www.cs.uni.edu/~mccormic/