Call for Participation: Formal Methods for Timing Verification (FMTV'14)

Call for Participation: Formal Methods for Timing Verification (FMTV'14)

May 12th, 2014, Singapore

www.merge-project.eu/fmtv14-workshop

We invite you to participate to the first Workshop on Formal Methods for Timing Verification to be held in Singapore in conjunction with the 19th International Symposium on Formal Methods (FM 2014).

Online registration is available through the FM website:

http://www.comp.nus.edu.sg/~pat/FM2014/registration.html.

Early registration deadline: March 31st, 2014.

We are glad to announce the following invited speakers:

• Samarjit Chakraborty, TU Munich, Germany
• Wang Yi, Uppsala University, Sweden

In addition, the workshop will present a challenge proposed by Thales Research & Technology and a panel discussion on the topic:

Timing Verification: How can Formal Methods help Industry?"

We look forward to a nice and productive workshop with your participation!

FMTV'14 organizers:
Rafik Henia, Sophie Quinton, Julio Medina, Laurent Rioux