Quantitative Formal Methods

QFM'09

• Home
• Accepted papers
• Keynote speakers
• Program and schedule
• Organizers
• Programme Committee
• Registration
• Venue
• Contact

Workshop on

Quantitative Formal Methods:

Theory and Applications

- workshop of FM 2009 -

Eindhoven, The Netherlands

November 3rd, 2009

Registration

REGISTRATION FOR THE WORKSHOP IS OPEN AND TAKES PLACE VIA https://www.win.tue.nl/fm2009/ (follow the link "Registration").
Regular registration before October 19, late and on-site registration after that date. 

Limited financial support in the form of registration fee waiver is provided to a number of young researchers (PhD students and first year postdocs) on a competitive basis. Priorities will be given to participants who will present contributed talks.  Application for the financial support should be send as soon as possible to s.andova@tue.nl, but not later than 25th of October. Please do not wait to register, in case you have been awarded the amount will be reimbursed during the workshop.  *NEW*
 

back