Sorry for any multiple reception of this message, Send an email with REMOVE on the subject
Cheers, Pierfrancesco Bellini, Bernhard Steffen, Shawn Bohner _°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_°_° CALL FOR PAPERS IEEE International Conference on Engineering of Complex Computer Systems, IEEE ICECCS, Florence, Italy, 14-16 April, 2004 http://www.dsi.unifi.it/iceccs04 ICECCS-2004 Theme: Navigating Complexity in the e-Engineering Age As society increasingly depends on software, the size and complexity of software systems continues to grow making them more difficult to understand and evolve. Manifold dependencies between critical elements of software now drive software architectures and increasingly influence the system architecture Complexity of software systems has grown significantly, pervading several key application areas including Manufacturing, Communications, Transportation, Internet, Mobile, Healthcare, Aerospace, and Energy. These systems are frequently distributed over heterogeneous networks, recently involving Internet and Intranet technologies. Inundated by temporal constraints, boundless functionalities, complex algorithms, distributed and mobile architectures, security constraints, reliability, high performance, interoperability, and the like, these complexities are further weighing down development and evolution of today's software systems and ultimately the organizations they serve. To cope with complexity, software systems are modeled or specified using multi-paradigm approaches and require instruments and tools to visualize and understand. Whether traditional, formal models or more innovative approaches are employed; these solutions are at the frontier of the software engineering. The goal of this conference is to bring together industrial, academic and government experts, from a variety of user domain and software disciplines, to examine key complexity problems and effective solution techniques. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. The scope of the interest includes long-term research, near-term complex system requirements and promising tools, existing systems, and commercially available tools. Topic Areas: Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas includes, but are not limited to: * System and software architecture and system engineering * Tools, environments, and languages for complex systems * Formal methods and approaches to manage and control complex systems * Integration of heterogeneous technologies * Software and system development and control processes for complex systems * Human factors and collaborative aspects * Interoperability and standardization * Systems and software safety and security * Industrial automation, embedded and/or real time systems * Content production and distribution systems, mobile and multi-channel systems * Software complexity visualization * Virtual environments for managing complexity Research papers, case studies, lessons learned, status reports, and discussions of practical problems faced by industry and user domains are all welcome submissions. For review, submissions are divided into two categories: Technical Papers and Experience Reports. All submissions will be reviewed by program committee members on the basis of technical quality, relevance, significance, and clarity; and those accepted will be published in the conference proceedings. Technical papers should describe original research, and industrial experience should include practical projects or lessons learned emphasizing outcomes, insights gained, and lessons learned. ICECCS 2004 will also feature Panels and Special Sections. Proposals of 1 page length for their organization, should come with the list of involved people as well as their agreement of cooperation. SUBMISSION: Papers, panels and special sections should be submitted electronically via the Conference Service http://sttt.cs.uni-dortmund.de:80/iceccs04/servlet/Conference by November 1, 2003. Full submission details will be published on the conference web site. General Co-Chairs Paolo Nesi, Alessandro Fantechi Dep of Systems and Informatics University of Florence, Italy {nesi,[EMAIL PROTECTED] Program Co-Chairs Bernhard Steffen Dep. of Computer Science, University of Dortmund, Germany [EMAIL PROTECTED] Pierfrancesco Bellini Dep of Systems and Informatics University of Florence, Italy [EMAIL PROTECTED] Shawn Bohner Dep. of Computer Science, Virginia Tech, USA [EMAIL PROTECTED] Local Arrangement Chair Davide Cerrai, Boehringer Ingelheim, Italy Sponsored by: IEEE Computer Society IEEE Technical Committee on Complexity in Computing In Cooperation with: University of Florence Boehringer Ingelheim - Italy Important Dates Paper Submission: 1 November 2003 Notification of acceptance: 5 January 2004 Camera ready submission: 20 January 2004 Conference: 14-16 April 2004 WWW pages http://www.dsi.unifi.it/iceccs04 Secretariat: Simonetta Ceglia [EMAIL PROTECTED] _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell