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

[Announcements of FME events]

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

------------------------------------------------------------------------ 

HIGHLIGHTS 

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

CONFERENCE 

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>

------------------------------------------------------------------------ 

VENUE

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

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>

----------------------------------------------------------------------------------------

CHAIRS AND ORGANIZERS

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

FUTHER INFORMATION

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
http://fmeurope.hosting.west.nl/mailman/listinfo/events