Room Location: LRG032 (in old Lero Building behind Kemmy)

9.00 - 9.10Introductions 
9.10 - 09.50Mercy Njima, ItalyA Formal Approach to the Specification and Verification of Product Lines for Service Oriented Applications
09.50 - 10.30James R. Williams, UKModelling and Analysing the Behaviour of Software
10.30 - 11.00Break 
11.00 - 11.40Jayeeta Chanda, IndiaConsistent Evolution of Service Oriented Paradigm from Object Oriented Systems
11.40 - 12.20Elisabeth Jöbstl, AustriaSymbolic Model-Based Mutation Testing
12.20 - 13.00Asmiza A. Sani, UKDeveloping Model Transformation Specification for Automated Formal Analysis through a Template Based Approach
13.00- 14.10Lunch 
14.10 - 14.50Björn Bartels, GermanyVerification of Low-Level Real-Time Programs using Timed CSP
14.50 - 15.30Manamiary B.  Andriamiarina, FranceStepwise Development of Distributed Algorithms
15.30- 16.00Break 
16.00 -16.30Discussion 

Click here to download the schedule

A Doctoral Symposium will be held on June 20th in conjunction with the FME Symposium FM2011 which will take place in Limerick, Ireland, from June 20 to June 24, 2011. This aims to provide a helpful environment in which selected doctoral students can present and discuss their ongoing work, meet other students working on similar topics and receive helpful advice and feedback from a panel of researchers and academics.
If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant. Research Abstracts should be no more than 6 pages in LNCS format, though any recognised format is acceptable for the initial submission.

Your Research Abstract should:

  • Outline the problem being addressed, its relevance, the solution you are working on, your research approach (such as your research method) and your expected contribution.
  • Contain a very brief literature survey indicating the most important references related to (a)the problem being addressed and/or (b)existing solutions as appropriate.
  • Indicate your progress to date and the current stage of research.

The Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor.

How to Submit:
Please upload a pdf version of your Research Abstract, including your name, affiliation and email address to:
(Note that this is not the main FM2011 Easychair page.)

Important Dates:
Submission by Monday 21st February 2011
Notification on Wednesday 20th April 2011
Doctoral Symposium on Monday 20th June 2011

Further Information about the FM2011 Symposium is available at with a link to the Doctoral Symposium page.

Enquiries about the Doctoral Symposium should be addressed to Norah Power:


RSS icon
View a printer-friendly version of this page
Page last updated: 17/06/2011