Pages: pp. 85-87
IEEE Annals of the History of Computing is planning a January-March 2007 special issue on the computer communications services and technologies that existed before the development of the Internet. Annals seeks papers on bulletin boards, dial-up servers, and communications packages on time-share systems; store and forward networks, pre-OSI communications protocols, Bitnet, Csnet, Telenet, Prodigy, Fidonet, CompuServe, and other networks; early use of Listserv and similar protocols; and any technology providing a service that has since been replaced by software running on the Internet.
Interested authors should contact Annals Editor in Chief David Alan Grier, at firstname.lastname@example.org. Abstracts are due by 1 September. To view the complete call for papers, visit www.computer.org/portal/pages/annals/content/cfp07.html.
IEEE Software magazine plans a July/August 2006 special issue on software verification and validation techniques. Software seeks papers on topics that include the automation of software testing, experiences in testing process improvement, testing metrics, and best practices for testing in specific domains.
Software focuses on providing its readers with practical and proven solutions to real-life challenges.
Complete author instructions are available at www.computer.org/software/author.htm#Submission. Submissions are due by 1 November. View the complete call for papers at www.computer.org/software/edcal.htm.
The Call and Calendar section lists conferences, symposia, and workshops that the IEEE Computer Society sponsors or cooperates in presenting. Complete instructions for submitting conference or call listings are available at www.computer.org/conferences/submission.htm.
A more complete listing of upcoming computer-related conferences is available at www.computer.org/conferences/.
The annual IEEE High-Assurance Systems Engineering Symposium brings together experts from academia and industry to discuss current issues in service-critical, high-assurance systems. These types of applications include complex vehicular systems, military command and control centers, nuclear reactors, telecommunications networks, and critical e-commerce applications.
HASE 2005 will take place from 12-14 October in Heidelburg, Germany. Conference papers are expected to address topics that include high-assurance system and software designs, real-time systems and services, and model-based assurance evaluations. Highlighted events at HASE 2005 include panel discussions, demonstrations, focused workgroups, and case study presentations.
For further information on HASE 2005, including venue and program details, visit http://hase.informatik.tu-darmstadt.de/.