[TYPES/announce] FACS 2015 - Call for workshops

[Christiano Braga]

12th International Conference on Formal Aspects of Component Software,
FACS 2015
http://facs2015.ic.uff.br

October 14 - 16, 2015 - Rio de Janeiro, Brazil

CALL FOR AFFILIATED WORKSHOPS

Prospective workshop organizers are invited to submit proposals for workshops
to be affiliated with FACS 2015, on topics related to the conference
main subjects.

FACS 2015 is concerned with how formal methods can be used to make
component-based development fit for the new architectures and
the systems that now pervade the 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.

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

The workshops will take place on Tuesday, October 13 2015.

Proposals should include:

* The name of the proposed workshop.
* 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 FACS organization will provide registration and organizational support
for the workshops (including link from the conference web site, setup of
meeting space, on-line and on-site registration). Registration fees will be
used to cover 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 FACS workshop
chair.

IMPORTANT DATES
Submission of workshop proposals: by March 13, 2015
Notification: by March 20, 2015

SUBMISSION VIA E-MAIL TO:
Bruno Lopes (bvieira at inf.puc-rio.br) - Workshop chair
Christiano Braga (cbraga at ic.uff.br) - General chair