|
FORMS/FORMAT 2008
Symposium on Formal Methods for Automation and Safety in Railway 9-10. October 2008, Budapest, Hungary |
|
|
FORMS/FORMAT 2008
Symposium on Formal Methods for Automation and Safety in Railway 9-10. October 2008, Budapest, Hungary |
|
|
|
|||
|
|
The organizing committee has the pleasure to invite
you to participate in the FORMS/FORMAT 2008 Symposium on Formal Methods
for Automation and Safety in Railway and Automotive Systems. After
several successful events, organized commonly by the Institute for
Traffic Safety and Automation Engineering, TU Braunschweig and the
Department of Control and Transport Automation, Budapest University of
Technology and Economics the subsequent event of series FORMS/FORMAT
symposium will be held in Budapest, Hungary, on 9-10th of
October 2008.
AIMS AND SCOPE Complexity in automation- and safety systems as well in railway as in automotive applications are 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 up to its development to implementations. 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 2008. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter are to be shown. Thus, the scope of the symposium includes, but is not limited to
The symposium FORMS/FORMAT 2008 offers an accepted platform for the exchange of scientific experience and the transfer of practical description means, methods and tools for complex automation systems to scientists facing formal techniques, specialists and managers, developers and consultants of automotive and railway industries as well as traffic system operators with interest in formal methods . The official language of the symposium is English. Prospective authors are invited to submit original and unpublished contributions for regular and poster sessions electronically (.pdf or .ps file). All submitted contributions must be full draft papers, written in English and are limited to 8 pages (style sheets can be obtained from the symposium web site). When submitting your draft paper, please, include a cover page with a short abstract, indicate the desired type of session (regular or poster) and intended scope as well as the authors’ name, title, affiliation and the address, phone and fax numbers and e-mail address of the contact author. The submission deadline for all contributions is 30th April, 2008. Please, mail your submission to the following address: submission@forms2008.hu. The contributions will be reviewed and the final version of all accepted papers (invited, regular and poster) will be published in the symposium proceedings series.
REGISTRATION FEE The symposium registration fee amounts to 400 EUR, for university members 350 EUR, which includes the symposium proceeding, lunches, coffee & refreshments and the evening reception. Student registration (only graduate, no PhD) is also available for 50 EUR, which excludes the proceedings and the evening reception.
Young Researcher Award The contributions and the oral presentations are considered to be awarded a Young Researcher Award by the Programme Committee. The award is granted by the Förderverein IfRA-Netz e. V., a sponsoring association of the Institute of Traffic Safety and Automation Engineering.
VENUE The Symposium will take place in the wonderful city of Budapest, the Queen of the river Danube. Budapest has almost two million inhabitants and is a regional centre for cultural, societal and scientific life of Central Eastern Europe. If you visit to Budapest, you will have the chance to discover the old Budavár Castle, the Gellért hill, the world-famous spas and several more attractions of the city. The Symposium will take place at the Budapest University of Technology and Economics. The University can trace its evolution through several academic institutions, dating back to 1782. The present flourishing activity is based not only on the responsiveness to the needs of a continuously changing world, but also on more than 200 years of experience and tradition that provides a guaranteed basis for high-quality engineering studies and research. The conference will be held at Building "A" of the University. To get more information about the exact location of the Symposium, please use the "Venue" menu item.
COMPANY APPEARENCE We would like to offer the possibility for companies to appear on the Symposium. For this purpose a separate publication is planned in which companies can introduce themselves. This publication will be delivered to each symposium participant. Should you be interested in this opportunity, please visit the symposium web site and contact Dr. Balázs Sághi (saghi@forms2008.hu) . DEADLINES April 30, 2008 Submission of draft papers May 31, 2008 Notification of acceptance June 30, 2008 Submission of Final papers October 9-10, 2008 FORMS/FORMAT 2008 Symposium
Symposium Web Site For any up-to-date information on the symposium, please, visit our web site: http://www.forms2008.org
INTERNATIONAL PROGRAMME COMMITTEE Prof. Dr. G. Tarnai, Budapest University of Technology and Economics, Hungary (Chair) Prof. Dr. E. Schnieder, TU of Braunschweig, Germany (Chair)
If you have further questions or suggestions, please, do not hesitate to contact the organizers: Mrs. Dóra Meyer, Dr. Balázs Sághi or Mr. Géza Szabó Department of Control and Transport Automation, Budapest University of Technology and Economics Bertalan L. u. 2., H-1111 Budapest, Hungary, Tel.: +36 1 463 1044, Fax: +36 1 463 3087 E-mail: info@forms2008.hu
|
||
| |
Modified by G. Szabó |
