13th International Conference on integrated Formal Methods (iFM 2017)


Please register as soon as possible though the registration page.

Registration fees

All prices are in Euro.

Early registration deadline: Monday, July 24, 2017

  Early registration Student registration Late registration Late student registration
iFM Conference, FMICS-AVoCS, DIME Tutorial, and Workshops (18th-22nd Sept) € 920 € 790 € 1050 € 890
iFM Conference and Workshops (18th-22nd Sept) € 800 € 690 € 930 € 790
iFM Conference and Second Day of Workshops (19th-22nd Sept) € 710 € 610 € 840 € 710
iFM Conference (20th-22nd Sept) € 600 € 520 € 730 € 620
FMICS-AVoCS, DIME Tutorial, and Workshops (18th-20th Sept) € 380 € 330 € 510 € 430
First Day of Workshops [ALP4IoT, WAO] (18th Sept) € 130 € 110 € 260 € 210
Second Day of Workshops [FVAV, PrePost, PhD Symposium] (19th Sept) € 130 € 110 € 260 € 210
Workshops (18th-19th Sept) € 230 € 200 € 360 € 300

Optional wine tasting event

Wine tasting event - 19th September, start ca. 18:30, end ca. 20:30
(max 25 participants, see letter from the Wine Chair)
€ 40


  • remove iFM conference registration. The iFM conference registration fee covers attendance to all sessions on all three days of the iFM conference. Lunches, coffee breaks, one iFM conference reception ticket (20th Sept) and one iFM conference dinner ticket (21st Sept) are included.
  • remove FMICS-AVoCS, DIME Tutorial, and Workshops registration. The FMICS-AVoCS, DIME Tutorial, and Workshops registration fee covers attendance to all sessions on all three days of FMICS-AVoCS, of the DIME Tutorial, of the PhD Symposium and of the other Workshops. Lunches, coffee breaks, one FMICS-AVoCS reception ticket (18th Sept) and one FMICS-AVoCS dinner ticket (19th Sept) are included.
  • remove Workshop registration. The workshop registration fee covers attendance to all sessions, lunch and coffee breaks of the selected satellite day(s).
  • remove Author registration. Each (non PhD Symposium) paper must have at least one author register (which is a regular, i.e., non-student registration) with a type of registration that includes the event where the paper has been accepted.
    In order to register as an author the radio button "Speaker" in the registration form must be setted to "yes", and the events of the papers must be entered in the field that will show up.
    In particular, the deadlines for iFM conference and FMICS-AVoCS author registration are, respectively:
    • - iFM conference author registration: Friday, June 30, 2017
    • - FMICS-AVoCS author registration: Monday, July 10, 2017
  • remove Student registration. Participants must be full-time students to be registered as students, and must provide valid evidence of their full-time student status (e.g. a scan of student card) by emailing PCO Stilema srl (congress@stilema-to.it). Student registration fees cover attendance to all sessions (including lunches, coffee breaks, receptions and dinners) of the selected events.
  • remove VISA Invitation Letter. VISA Invitation Letter will only be issued to registrants whose registration fee has been paid in full. It is the registrant’s own responsibility to check with his/her local Italian Embassy or Consulate for all the required material to obtain a VISA to Italy for iFM.17. No refunds will be made after 31 July 2017 even if you cannot obtain a VISA to enter Italy. After your registration, please fill out the VISA invitation letter request form and send it to PCO Stilema srl (congress@stilema-to.it). Please make sure you include your registration confirmation number (or registration ID number). Please be sure to identify yourself in the VISA invitation letter request form if you have a designated role in the conference, such as keynote speaker, panelist, organizing committee member for a workshop or the main conference, session chair, etc. If a hardcopy version of the invitation letter is needed, this can be done at a small extra cost; make sure to select the corresponding option in the registration page.
    In order to request a VISA, please fill this form and email it to PCO Stilema srl (congress@stilema-to.it).
  • remove Cancellations. Please contact PCO Stilema srl (email: congress@stilema-to.it, phone: +39-011-5624259) in case you have to cancel your registration. Refunds will be made if cancellation request is received before 31st July 2017. A fee of €100 will be charged for processing the cancellation.
    Cancellations after August 1, 2017, and "no shows" are not refundable and are liable for the full registration fee. Instead of cancelling, your registration may be transferred to a collegue by contacting PCO Stilema srl.

Italian Chapter of EATCS sponsorship

The Italian Chapter of the European Association of Theoretical Computer Science (EATCS) offers a one year free subscription to the Chapter for those Italian participants to the conference which have never been subscripted before.