19th International Symposium on Formal Methods

REGISTRATION

Please contact Dr. Yang LIU or Ms. Ling Shi regarding any issues related to registration and payment, and invitation letter.

  1. FM registration fee only includes the main conference. If attendees want to attend only workshops, they can pay the workshop-only registration fees. 1 week registration fee covers the main conference and all co-located workshops and tutorials. Email us if you are not sure how much to pay.
  2. Conference registration fees cover a copy of the proceedings, attendance to all sessions for three days (lunches, tea breaks, conference dinner all included). 1 day workshop registration fees cover attendance to all sessions, lunch and tea breaks of the selected workshop day.
  3. Each paper must have at least one author register for the conference, the deadeline for author registration is 31 March 2014.
  4. Participants must be full-time students to be registered as students, and must provide a valid evidence of their full-time student status (e.g. a scan of student card) by emailing Dr. Yang LIU or Ms. Ling SHI.
  5. Participants can ask for extra conference dinner tickets. Each ticket costs Singapore Dollar (SGD) 90.
  6. Online registration supports Credit Cards only. For other ways of payment (wire-transfer, cheque, on-line-transfer and so on), please contact Dr. Yang LIU or Ms. Ling SHI.
  7. All prices are in Singapore dollar (SGD). Currently, 1.00 USD = 1.26 SGD.
  8. If you require any (visa)invitation letter or attendance certificate, please do the registration first and then email Dr. Yang LIU or Ms. Ling SHI the details. VISA FAQs can be found here. Also, hotel information could be found here.
  9. Cancellations made in writing and emailed by March 31, 2014 will be accepted subject to a 100 SGD cancellation fee. Refunds will be made within four weeks of the end of the conference. Cancellations will not be accepted after March 31, 2014. "No shows" are not refundable and are liable for the full registration fee. Instead of canceling, your registration may be transferred by giving a colleague a written authorization.

FM Conference
Early registration BY 31 March 2014
FM Conference
Late registration AFTER 31 March 2014
Regular Main conference
Student Main Conference
Regular 1 week
Student 1 week
FME Board Member/FM14 PC Member:

SGD 750

Non FME Board Member/FM14 PC Member:

SGD 850



SGD 550
FME Board Member/FM14 PC Member:
SGD 900

Non FME Board Member/FM14 PC Member:
SGD 1000



SGD 700
Regular Main conference
Student Main conference
Regular 1 week
Student 1 week
FME Board Member/FM14 PC Member:

SGD 1050

Non FME Board Member/FM14 PC Member:
SGD 1050



SGD 650
FME Board Member/FM14 PC Member:
SGD 1200

Non FME Board Member/FM14 PC Member:
SGD 1200



SGD 750


Workshop/Tutorial
Early registration BY 31 March 2014
Workshop/Tutorial
Late registration AFTER 31 March 2014
SGD 150
SGD 200

NOTE: The workshop QFM has now been cancelled.


Tutorials
Date
Title
13 May 2014 (full day)
  Tutorial 1:Collaborative Modelling and Co-simulation: Tools and techniques for Designing Embedded Systems
12 May 2014 (full day)
  Tutorial 2:Unifying Theories of Programming in Isabelle/HOL
13 May 2014 (1/2 day, AM)
  Tutorial 3:Formal Model-Driven Engineering
13 May 2014 (1/2 day)
  Tutorial 4:BACH: From Bounded Reachability Analysis of Linear Hybrid Automata To Online Verification of Industrial Cyber-Physical System
12 May 2014 (full day)
  Tutorial 5:The Correctness-by-Construction Approach to Programming


Please enter the following information: (Your name and affiliation will be used in the name tag)

Status:*
First Name:*
Last Name:*
Organization:*
Paper ID:*
("NA" for non-authors)
Address:*
Postal code:*
City:*
Country:*
Phone No.:
Fax No.:
Email:*
Re-enter Email:*
Member Type:*
Attend Main Conference:*
   
Day 1 Tutorial/Workshop:*
Not Attend   FM-TV’14   UTP’14   FSFMA’14   Tutorial 2   Tutorial 5 
   
Day 2 Tutorial/Workshop:*
Not Attend   AI4FM’14   UTP’14   ESSS’14
FSFMA’14   Tutorial 1   Tutorial 3 (am)   Tutorial 4 (pm) 
   
Meal Type:*
Extra conference dinner ticket (SGD 90 each):*
Do you need Visa supporting letter:*
Hard copy of proceeding

Fields marked with an asterisk (*) are required.
 
I agree with the terms above.