[TYPES/announce] Joint iFM 2014 & FACS 2014: Last Call For Workshop Proposals

Elena Giachino elena.giachino at unibo.it
Fri Dec 20 04:47:22 EST 2013

11th International Conference on integrated Formal Methods, iFM 2014

11th International Symposium on Formal Aspects of Component Software, FACS 2014

September 9 - 12, 2014 - Bertinoro, Italy


Prospective workshop organizers are invited to submit proposals for
workshops to be affiliated to iFM 2014 and FACS 2014, on topics related
to the conferences main subjects.

iFM 2014 is concerned with how the application of formal methods may
involve modeling different aspects of a system which are best expressed
using different formalisms. Correspondingly, different analysis
techniques may be used to examine different system views, different
kinds of properties, or simply in order to cope with the sheer
complexity of the system. The iFM conference series seeks to
further research into hybrid approaches to formal modeling and
analysis; i.e., the combination of (formal and semi-formal) methods for
system development, regarding modeling and analysis, and covering all
aspects from language design through verification and analysis
techniques to tools and their integration into software engineering

FACS 2014 is concerned with how formal methods can be used to make
component-based development fit for the new architectures of today and
the systems that are now pervading the socio-economic world. Formal
methods have provided foundations for component-based software through
research on mathematical models for components, composition and
adaptation, and rigorous approaches to verification, deployment,
testing, and certification. Whilst those avenues still need to be
further explored, time is also ripe to bring new techniques to the
fore, such as those based on stochastic models and simulation.

The purpose of the workshops is to provide participants with a
friendly, interactive atmosphere for presenting novel ideas and
discussing their application.

The workshops take place on Tuesday, Sept 9th and Friday, Sept 12th, 2014.

Proposals should include:

* The name and the preferred date of the proposed workshop (Sept. 9th or 12th). FACS affiliated workshops are expected to be held on the 9th and iFM affiliated workshop on the 12th.
* A short description of the workshop.
* If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance.
* The expected number of participants.
* The name and short CV of the organizer(s).
* The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...).

The iFM+FACS organization will provide registration and organizational support for the workshops (including link from the conferences web sites, setup of meeting space, on-line and on-site registration). Registration fees will be used to cover lunches, coffee breaks and organizational expenses and must be paid by all workshop participants (one free registration can be offered for an invited speaker).

The scientific responsibility of organizing a workshop goes to the workshop organizers, including:
* Workshop publicity (possibly including call for papers, submission and review process).
* Scheduling workshop activities in collaboration with the iFM+FACS workshop chair.

Submission of workshop proposals: by January 10, 2014
Notification: by January 17, 2014

Elena Giachino (elena.giachino at unibo.it) - Workshop chair
Gianluigi Zavattaro (gianluigi.zavattaro at unibo.it) - General chair

More information about the Types-announce mailing list