posted by organizer: schouali || 2229 views || tracked by 1 users: [display]

FACS Workshops 2016 : Call for Workshop Proposals at FACS 2016 (13th International Conference on Formal Aspects of Component Software)

FacebookTwitterLinkedInGoogle

Link: http://events.femto-st.fr/facs2016/en
 
When Oct 18, 2016 - Oct 21, 2016
Where Besançon, France
Submission Deadline Jun 5, 2016
Notification Due Jun 19, 2016
Categories    formal models for components   component-based systems   formal aspects of services   software adaptation
 

Call For Papers

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

http://events.femto-st.fr/facs2016/

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


CALL FOR AFFILIATED WORKSHOPS


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 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 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 workshop.
* Providing a brief description of the workshop for the conference web page
(http://events.femto-st.fr/facs2016/).
* Scheduling workshop activities in collaboration with the FACS workshop chair.



IMPORTANT DATES
---------------
Submission of workshop proposals: June 05, 2016
Notification: June 19, 2016

CONTACT
-------
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

Related Resources

Call for Workshop Proposals - ECML PKDD 2026   Call for Workshop Proposals - ECML PKDD 2026 - ICORE Rank A
Flairs 40 - Call for Special Tracks 2027   Florida Artificial Intelligence Research Society: Flairs 40 - Call for Special Tracks
FMCAD 2026   Formal Methods in Computer-Aided Design
WALCOM 2027   The 21st International Conference and Workshops on Algorithms and Computation
Call for Book Chapters/Wiley-IEEE Press 2026   Edge AI: Principles, Technologies, and Applications
RV 2026   International Conference on Runtime Verification 2026
Healthcom (Workshop Proposals) 2026   IEEE International Conference on E-health Networking, Application & Services (Workshop Proposals)
Call for PhD Forum Contributions - ECML 2026   Call for PhD Forum Contributions - ECML PKDD 2026 - ICORE Rank A
Special Call for Neurosymbolic Benchmark 2026   Special Call for Neurosymbolic Benchmark Papers - Neurosymbolic Artificial Intelligence Journal
Call for Book Chapters 2026   Agentic AI in Smart Cities: Autonomous Systems for Sustainable and Intelligent Urban Futures / Taylor & Francis (CRC Press imprint) / No Publication Fees