SAFECOMP 2003 - Call For Participation
Massimo Felici
SAFECOMP 2003
The 22nd International Conference on
Computer Safety, Reliability and Security
23-26 September 2003
Edinburgh, Scotland, United Kingdom
------------- Call For Participation -------------
&
------------- Programme -------------
-- ABOUT THE CONFERENCE --
Since it was established in 1979, by The European Workshop on
Industrial Computer Systems, TC 7 on Reliability, Safety and
Security, EWICS TC7, SAFECOMP has contributed to the progress of
the state-of-the-art in dependable applications of computer systems.
SAFECOMP is an annual event covering the state-of-the-art,
experience and new trends in the areas of computer safety,
reliability and security regarding dependable applications of
computer systems. SAFECOMP provides ample opportunity to exchange
insights and experience on emerging methods and practical
applications across the borders of different disciplines.
-- SCOPE OF THE CONFERENCE --
SAFECOMP focuses on safety-critical computer applications and is
a platform for knowledge and technology transfer between academia,
industry and research institutions.
The cross-fertilisation between different scientific communities
and industry supports the achievement of long-term results
contributing to the integration of multidisciplinary experiences
in order to improve the design and deployment of dependable
computer-based systems. Over the years the industry participation
in SAFECOMP has grown steadily. This emphasises the importance of
technology transfer between academia and industry. SAFECOMP 2003
further sustains the healthy interchange of research results and
practical experiences.
The SAFECOMP 2003 programme consists of 30 papers selected from 96
submissions from all over the world. SAFECOMP 2003 acknowledges the
invited Keynote Talks enhancing the technical and scientific merit
of the conference. We would like to thank the International
Programme Committee, the External Reviewers, the Keynote Speakers
and the Authors for their work in support of SAFECOMP 2003.
We would also like to thank the Conference Staff at the National
e-Science Centre for their valuable collaboration in organising
and hosting SAFECOMP 2003.
We really enjoyed the entire work and we hope you appreciate the
care that we have put in order to deliver an enjoyable and
fruitful event. Finally, we would like to invite you to attend
SAFECOMP 2003.
-- KEYNOTE SPEAKERS --
"Issues in Safety Assurance"
Martyn Thomas
Visiting Professor in Software Engineering,
Oxford University Computing Laboratory, GB
"Developing High Assurance Systems: On the Role of Software Tools"
Constance Heitmeyer
Naval Research Laboratory, Washington, DC 20375, US
title to be announced
Ross Anderson
Computer Laboratory, University of Cambridge, GB
-- SAFECOMP 2003 TUTORIALS --
Tutorial 1: Critical Systems Development with UML and Model-based Testing
Jan Juerjens (Munich University of Technology, DE)
[Tuesday, 23 September 2003 - full day: 09:00-18:00]
Tutorial 2: The CORAS Methodology for Model-based Risk Assessment
Bjorn Axel Gran (Institutt for energiteknikk, OECD Halden Reactor
Project, NO)
[Tuesday, 23 September 2003 - half day: 09:00-13:00]
Tutorial 3: Self-Stabilization - Fault Tolerance in Distributed Systems
Pradip K Srimani (Clemson University, South Carolina, US)
[Tuesday, 23 September 2003 - half day: 13:00-18:00]
-- REGISTRATION --
Please register on the SAFECOMP 2003 web site. Notice that you may
also request (by the online registration form) an Accommodation.
The Conference Staff at the National e-Science Centre (NeSC) will
book an accommodation according to your requirements (i.e., arrival
and departure dates, type of accommodation, and accommodation
budget). Once the Conference Staff booked an accommodation, you
will then need to arrange for the accommodation payment directly
with the hotel. All the hotels have been selected by the NeSc and
they are conveniently located nearby the NeSC and the Edinburgh
City Centre. The following table shows the different Registration
Rates - Conference Fees in British Pounds £.
Registration Type Early Late/On site
(by 31 August) (After 31 August)
Speaker 250 (by 7 July2) 350
EWICS Member 250 300
Non-member 300 350
Student 170 200
Exhibitor
(includes 1
delegate registration) 400 450
Tutorial 1 150 150
Tutorial 2 150 150
Tutorial 3 150 150
Companion
Dinner Ticket 30 30
-- EXHIBITION AND TOOL FAIR --
Companies / Organisations will also have the opportunity to exhibit
their products and services through the Exhibition that will be
organised at the Conference. In that case, you have to register as
Exhibitor at SAFECOMP 2003 - please refer to the SAFECOMP 2003
Registration Page.
-- SPONSORS PROGRAMME --
To become a sponsor of SAFECOMP 2003, please refer to the information
about the Sponsors Program in the conference web page.
-- CONFERENCE VENUE --
National e-Science Centre: http://www.nesc.ac.uk/
-- FURTHER INFORMATION AND ENQUIRIES --
-- THE HOST CITY --
One of the greenest and most beautiful cities in Europe, Edinburgh
annually attracts over 2 million visitors, not just for its
architecture, but as a city rich in social, cultural, learning and
sporting facilities. Each year it hosts internationally-renowned
events such as the Edinburgh International Arts, Fringe, Film, TV
and Science festivals. Yet it is more than just a tourist attraction.
Edinburgh is a thriving commercial and financial centre, the site
of the new Scottish Parliament and a gateway to the coastline, hills
and open country of the Scottish Highlands. Edinburgh is a beautiful,
dynamic, prosperous European city that benefits from a unique
architectural heritage and a magnificent natural setting.
Edinburgh is also home to a thriving software industry supporting the
major financial institutions in the city and creating new products.
Over the past years Edinburgh has seen a huge increase in start-ups
in the software area. Close to Edinburgh, the Silicon Glen houses
major microelectronics, communications and software design companies.
Scottish Enterprise, the development agency for Scotland, places a
strong emphasis on developing industries providing key infrastructure
for the knowledge economy. This is based on the firm foundation of
a strong supply of appropriately-qualified graduates from the ten
universities in central Scotland.
--
----------------------------------------------------------
Massimo Felici
LFCS, School of Informatics
The University of Edinburgh
JCMB - KB, Mayfield Road
Edinburgh EH9 3JZ - UK
Tel: +44-131-650 5899 Fax: +44-131-6677 209
E-mail: massimo...@ed.ac.uk
URL: http://www.dcs.ed.ac.uk/home/mas/
----------------------------------------------------------