[TYPES/announce] Call for Worshop Proposals at FACS 2016 (13th International Symposium on Formal Aspects of Component Software)

Samir Chouali schouali at femto-st.fr
Thu Apr 14 03:51:42 EDT 2016

The 13th International Conference on Formal Aspects of Component 
Software, FACS 2016


October 19-21, 2016 - Besançon, France


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

About FACS

FACS 2016 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 opportunities for 
participants to present novel research ideas, and to discuss their 
application,  in a friendly and interactive atmosphere.

The workshops will take place on*Tuesday, October 18 th, 2016.*

Proposal and Submission Guidelines

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 
* 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 lunches, coffee breaks,  and 
organizational expenses,  and must be paid by all workshop participants. 
One free registration can be offered for an invited speaker.

Organizer Responsibilities

The scientific responsibility of organizing a workshop goes to the workshop
organizers, including:

* Producing a web page and a "Call for Papers/Participation" for their 
* Providing a brief description of the workshop for the conference web page
* Scheduling workshop activities in collaboration with the FACS workshop 

Submission of workshop proposals: *June 05, 2016*
Notification: ***June 19, 2016 *

Please send your proposals and/or any inquiries by email to:

Samir Chouali  (schouali at femto-st.fr) - Workshop chair
Olga Kouchnarenko (okouchna at femto-st.fr) - General chair and PC Co-chair
  Ramtin Khosravi (r.khosravi at ut.ac.ir)- PC Co-chair

Samir Chouali
Associate Professor/Maître de Conférences
University Franche-Comté
DISC Department, FEMTO-ST Institute, UMR CNRS 6174
phone: +33(0)381994776

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160414/fa33b65b/attachment-0001.html>

More information about the Types-announce mailing list