iFM 2014 – The 11th International Conference on Integrated Formal Methods
Bertinoro, 9-11 September
Link organizing site:

FACS 2014 – The 11th International Symposium on Formal Aspects of Component Software
Bertinoro, 10-12 September
Link organizing site:


iFM or FACS Conference registration (3 days). Early registration before 18/8/2014
• € 420 Regular / Presenter (500 after 18/8/2014)
• € 300 Student (350 after 18/8/2014)

Workshop registration (1 day). Early registration before 18/8/2014
• € 130 Regular (160 after 18/8/2014)
• € 100 Student (120 after 18/8/2014)

Conference+workshop registration (4 days). Early registration before 18/8/2014
• € 480 Regular / Presenter (550 after 18/8/2014)
• € 350 Student (400 after 18/8/2014)

For those who registered to a workshop please select, on the “book online” form, one among the following items:
– Harnessing Theories for Tool Support in Software (TTSS) (September 9)
– Formal Methods: Business Impact of Application to Security relevant Devices (FM-BIASED) (September 9)
– Logics and Model-checking for Self-* Systems (MOD*) (12 September)
– Workshop on Contracts for Efficient and Reliable Services (12 September)
– Tools and Methods for Cyber-Physical Systems of Systems (CPSoS) (12 September)

The 3 days and the 4 days registration fees cover:
– Coffee breaks
– Social event and banquet (Sept. 10) [not included for student]
– Visit of the Rocca+wine and cheese tasting
– Conference proceedings [not included for student]
– Delegate pack

The workshop only fee covers:
– Coffee breaks
– Delegate pack

• The fee does not include participants’ travel and room expenses.
• Additional social event tickets can be purchased on site.

Accomodation can be arranged either in the rooms of the Residential Center, or in hotels located in Bertinoro or in the vicinity.

– Half board Accommodation in single room with breakfast and lunch in the Former Seminary/Hotel: euro 45 per day

– Half board Accommodation in double room with breakfast and lunch in the Former Seminary/Hotel: euro 35 per day per person
NB: Please specify in the “note” if you want to share the room with another participant or accompanying person

– Additional tickets for Social event (10/9): euro 50 per person
(you could buy it only on site – please inform me on the “note” of the registration fee)

We plan to organize shuttles from the Bologna airport to Bertinoro and back. A shuttle for 20 persons has a cost of 255 euros (one way). Please indicate in the “note” part your interest in this additional service, by indicating your expected time of arrival. You could pay your part of freight at your arrival in Bertinoro.

For a longer period and/or different dates, please contact directly Monica

Coordinatore: Monica Michelacci
Responsabile CEUB: Monica Michelacci