[ecoop-info] FACS 2016 (October 19-21, 2016, Besançon, France) - Call for Participation

Announcements of FME events events at fmeurope.org
Mon Sep 19 12:16:19 CEST 2016

Sorry for the multiple postings

                       Call for Participation - FACS 2016 


13th International Conference on Formal Aspects of Component Software (FACS) 
                   Besançon, France, October 19-21, 2016 

                   http://events.femto-st.fr/facs2016/en <http://events.femto-st.fr/facs2016/en> 

   ****     Early Registration Deadline: 27th September 2016     **** 
      **** Details of how to register are on the website **** 



- Keynote talks: http://events.femto-st.fr/facs2016/en/invited-speakers <http://events.femto-st.fr/facs2016/en/invited-speakers>
    - Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems by Prof. Holger Giese, University of Potsdam, GE 
    - From Formal Methods to Components: Back to the Future? by Prof. Kung-Kiu Lau, University of Manchester, UK
    - From devices to data: testing the IoT by Dr Frank Le Gall, Easy Global Market, FR
- 1st Workshop on Formal Approaches for Systems-of-Systems  
    http://events.femto-st.fr/facs2016/en/workshop <http://events.femto-st.fr/facs2016/en/workshop>


The conference seeks to address the applications of formal methods in all aspects of software components and services, with a particular focus on cyber-physical systems and the Internet of things. 
FACS is a friendly conference with a great sense of community that presents excellent opportunities for collaboration. 

List of accepted papers: http://events.femto-st.fr/facs2016/en/accepted-papers <http://events.femto-st.fr/facs2016/en/accepted-papers>



The event will be held at the FEMTO-ST Institute in Besançon, France.
Besançon is the capital and principal city of the Franche-Comté area in the east of France. Located close to the France-Swiss border, it is the capital of time mechanisms. The city has one of the most beautiful historical centres which presents a remarkable ensemble of classic stone buildings, some dating back to the Roman era. The old town is enclosed in a broad horse-shoe part of the river (Doubs), which is blocked off at the neck by Vauban's imposing Citadelle.

Besançon on video: http://events.femto-st.fr/facs2016/en/vesontio-besancon <http://events.femto-st.fr/facs2016/en/vesontio-besancon>



Registration is now available using the web-based registration form, with online payment on a secure website. Please use one form per attendee. All fees are VAT included. Early registration means on or before September 27, 2016. Late registration means after September 28, 2016.

Different possibilities of registration are available, for example: 

• Conference Registration: From Oct., Wednesday 19 to Friday 21, 2016. Fees per person include: admission to the conference sessions, provided lunches, breaks and social events (reception, excursion and banquet).
		• Regular: 430 EUR (early), 500 EUR (late)
		• Student(*): 300 EUR (early), 350 EUR (late)
Registration link: http://events.femto-st.fr/facs2016/en/registration-0 <http://events.femto-st.fr/facs2016/en/registration-0>



Program Committee Chairs
Olga Kouchnarenko <http://members.femto-st.fr/Olga-Kouchnarenko/en/research>, University of Burgundy-Franche-Comté, France
Ramtin Khosravi <http://ramtung.ir/>, University of Tehran, Iran
Local Organization  Committee
Pierre-Alain Masson <http://www.femto-st.fr/en/Directory//u-300043-Pierre-Alain-MASSON/L2VuL0RpcmVjdG9yeS8/ZGlkdGlkPSZmbmFtZT0mbG5hbWU9Z2lvcmdldHRpJnN0YXR1cz0wJmZ1PUVudm95ZXI=>, University of Burgundy-Franche-Comté, France
Samir Chouali <http://www.femto-st.fr/en/Directory//u-300016-Samir-CHOUALI/L2VuL0RpcmVjdG9yeS8=>, University of Burgundy-Franche-Comté, France
Jean-Michel Hufflen <http://www.femto-st.fr/en/Directory//u-300034-Jean-Michel-HUFFLEN/L2VuL0RpcmVjdG9yeS8/ZGlkdGlkPSZmbmFtZT0mbG5hbWU9aHVmZmxlbiZzdGF0dXM9MCZmdT1FbnZveWVy>, University of Burgundy-Franche-Comté, France
Pierre-Cyrille Héam <http://www.femto-st.fr/fr/Annuaire/u-300032-Pierre-Cyrille-HEAM/L>, University of Burgundy-Franche-Comté, France


More information on FACS 2016 can be found on the conference Website:

http://events.femto-st.fr/facs2016/en <http://events.femto-st.fr/facs2016/en>

-------------- next part --------------
events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list