Call for Participation Dear Colleague, It is our pleasure to invite you to the 6. Symposium FORMS / FORMAT 2007 Formal Methods for Automation and Safety in Railway and Automotive Systems 25th and 26th January 2007 in Braunschweig (Germany) http://www.Forms-Format.net <http://www.forms-format.net/> Objective and Topics Complexity in automation- and safety systems as well in railway as in automotive applications will be dominated more and more by formal description means, methods and tools as well. Formal techniques provide next to the correctness and integrity checkups - especially in safety relevant systems - the possibility to prove the syntactic and semantic specification of the system as well as to simulate the system operation.
Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2007. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications (see below). Gained findings, experiences and also difficulties associated with the handling of the subject matter are to be shown (the conference's program can be found at http://www.Forms-Format.net <http://www.forms-format.net/> ). Formal Description Means and Methods - Concepts, Applications and Requirements in Traffic and Transportation Safety and Security, RAM, Simulation etc.; UML, Petrinets, AIS etc. Requirements and Applications in Railway Methods for Risk Analysis; Risk Acceptance, Risk Measures, Signalling Applications, Model Based Design and Analysis etc. Requirements and Applications in Automotive Control of Driving Dynamics Systems, Driver Assistance; UML in Automotive Systems; Model Based Development, Diagnosis etc. Methods and Tools for Modelling, Validation / Verification and Tests Evaluation of RAMS-Parameter, System Related and Functional Validation, Limits of Formal Methods, Problems Using Automated Tests etc. Legal Framework Directives, Laws, Regulations, Standards and Norms, Certification etc. Human Factors and Human Behaviour (Learning, Manipulation, FCR-Modelling etc.) The official language of the symposium in oral and written presentation will be English. Registration: Please make use of the registration-form - see: http://www.Forms-Format.net <http://www.forms-format.net/> - to register to FORMS / FORMAT 2007. Program Committee and Chairs G. Barbu UIC Paris (F) Prof. B. Ning University of Beijing (China) Prof. Dr. D. Björner TU of Kopenhagen (DK) K. Bosch TÜV Rail München (D) Prof. Dr. J. Braband Siemens AG Braunschweig (D) Dr. G. Boy Eurisco International Toulouse (F) Prof. Dr. W. Damm University of Oldenburg (D) Prof. Dr. H. Ehrig TU of Berlin (D) Prof. Dr. T. Giras Univ. Virginia Charlottesville (USA) A. Greff IAV Gifhorn (D) Dr. El-M. El-Koursi INRETS Lille (F) Dr. Y. Hirao RTRI - JR Tokyo (Japan) Prof. Dr. K. Lemmer DLR Braunschweig (D) Dr. L. Lochman CER Brussels (B) J. L. Maté Siemens VDO Toulouse (F) M. Maurer Audi AG Ingolstadt (D) Prof. Dr. J. Pachl TU of Braunschweig (D) Prof. Dr. M. Papageorgiou TU of Crete (GR) Dr. S. Parthasarathy Algologic Research & Solutions (IND) Dr. A. Pataricza University of Budapest (H) Dr. A. Pretschner ETH Zürich (CH) Prof. S. Ricci University of Rome (I) Prof. Dr. B. Rumpe TU of Braunschweig (D) Prof. Dr. U. Seiffert Witech Braunschweig (D) Dr. K.-A. Klinge DB AG Berlin (D) Prof. Dr. C. Stiller University of Karlsruhe (D) Dr. N. Stoytcheva University of Transport Sofia (BU) Prof. Dr. J. C. P. Woodcock University of York (UK) Prof. Dr. J. Zahradnik TU of Žilina (SK) Scientific Committee / Chairs: Prof. Dr. Dr. h.c. E. Schnieder Technical University of Braunschweig (D) Institute for Traffic Safety and Automation Engineering Prof. Dr. G. Tarnai Budapest University of Technology and Economics (H) Faculty of Transportation Engineering History The symposium FORMS- Formal techniques for railway management systems - took place for the first time as a cooperative symposium involving the Technical Universities of Braunschweig and Budapest in 1998 with a great success. Due to an increasing interest and to the transferability to automotive matters, the symposium has been extended by FORMAT - Formal techniques in automotive applications - in 2004. Contact information If there are any problems or questions, please do not hesitate to contact Andreas Redeker: Mr. Andreas Redeker GZVB e.V. - Gesamtzentrum für Verkehr Braunschweig Hermann-Blenk-Str. 22 D - 38108 Braunschweig, Germany Phone: +49 531 35406-73 Fax: +49 531 35406-74 E-mail: [EMAIL PROTECTED] <mailto:[EMAIL PROTECTED]> and click http://www.Forms-Format.net/ to get to the top of the conference's homepage. We apologise if you receive multiple copies of this announcement Please forward this message to any colleagues who might be interested - thank you very much!
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
