International Workshop on Formal Methods 2008
Sarawak, Malaysia - Software engineering researchers throughout Malaysia as well as in the South East region will converge in Sarawak to share the latest formal methods.
Formal Method Workshop 2008 (FM ‘08) is one of the activities to bring together and to expose the lecturers/researchers to the current collaboration platforms for discourse trends in formal methods, its application, the tools and techniques used. This workshop will be organized by the Department of Computing and Software Engineering, Faculty of Computer Science and Information Technology (FCSIT), UNIMAS. A renowned researcher, Professor Dr. Peter Gorm Larsen from the Engineering College of Aarhus, Denmark will conduct the workshop. The workshop will be held from 15 to 16 May 2008 and the expected participants are from software engineering researchers throughout Malaysia as well as in the South East region.
The workshop contains lectures and hands-on tutorials covering the following areas which are:
Formal methods syntax and semantic
Formal methods support tools
Formal validation and verification on software models
The workshop will run for a duration of two-days and will be held at the Software Engineering Laboratory, Faculty of Computer Science and Information Technology. Furthermore, the goal of the workshop is to bring together lecturers or researchers from different areas of formal methods in order to offer lecturers and researchers a notion of the state of the art of research and its applications. Discussion on possible research collaboration may be conducted in between lectures and tutorials on the final day of the workshop.
:: Objectives ::
The objectives of the workshop are:
a. To review the formal methods tools and techniques, including the importance of formal modeling for safety critical systems;
b. To engage in selected case studies: formal validation and verification of software model;
c. To promote formal methods as a standard and as an approach to develop a reliable software.
This workshop includes lectures, tutorials and hands-on experience in using formal methods and tools. Furthermore, the goal of the workshop is to bring together lecturers/researchers from different areas of formal methods in order to offer lecturers and researchers a notion of the state of the art of research and its applications.
:: Who Should Attend? ::
Academicians, Software Engineer, System Administrator, Project Manager.
:: About the Speaker ::
Dr. Peter Gorm Larsen is a Professor in Computer Technology and Embedded Systems at the Engineering College, Aarhus, Denmark. He is also a visiting lecturer at University of Newcastle upon Tyne and works as an independent consultant. Peter is an authority on system modelling, and particularly the Vienna Development Method. Alongside research on VDM’s foundations, he has pioneered the development of industrial-strength tool support for model-oriented specification languages, latterly heading the group that developed the IFADVDMTools(R) products.
As the main VDM consultant, he worked with many large companies including Boeing, British Aerospace, Aerospatiale, Dassault, Matra, Alcatel and job. He has developed and delivered many courses in applicable formal methods, has published number of papers to several conferences and journals in the formal methods area, involved with organizing the VDM workshop. He was co-author with John Fitzgerald of "Modelling Systems: Practical Tools and Techniques in Software Development" and continues to collaborate closely, for example on object-oriented design using formal techniques.
Until recently, he was the Chief Business Solution Architect with Systematic Software Engineering A/S, a leading software development company based at Aarhus in Denmark, particularly involved in the defence sector where the main project was the joint Strike Fighter project.
Edwin Mit, [email protected]
Prof. Dr. Wang Yin Chai, [email protected]