fm2011 / Doctoral Symposium

lero — Fri, 17 Jun 2011 09:31:14 GMT

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

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

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:
https://www.easychair.org/conferences/?conf=dsfm2011
(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 http://sites.lero.ie/fm2011 with a link to the Doctoral Symposium page.

Enquiries about the Doctoral Symposium should be addressed to Norah Power: mailto:norah.power@ul.ie

lero RSS Feed

fm2011 / Doctoral Symposium