[TYPES/announce] Call for Participation, FACS'2014

[Ivan]

CALL FOR PARTICIPATION

 

FACS 2014: 11th International Symposium on Formal Aspects of Component
Software

September 9 - September 12, 2014, Bertinoro, Italy

http://facs2014.cs.unibo.it/


Colocated with iFM 2014: the 11th Internatoinal Conference on Integrated
Formal Methods


******************************************************************

OVERVIEW

*****************

The FACS series seeks to address the development and application of formal
methods in all aspects of software components and services. Specific topics 
include:

  *  formal models for software components and their interaction
  *  formal aspects of services, service oriented architectures, business
     processes, cloud computing, ensembles, or similar programming artifacts
  *  design and verification methods for software components and services
  *  composition and deployment: models, calculi, languages
  *  formal methods and modeling languages for components and services
  *  model based and GUI based testing of components and services
  *  models for QoS and other extra-functional properties (e.g., trust,
     compliance, security) of components and services
  *  components for real-time, safety-critical, secure, and/or embedded
     systems
  *  stochastic techniques for modelling and verification
  *  simulation techniques for complex networks of interacting components
  *  industrial or experience reports, and case studies
  *  update and reconfiguration of component and service architectures
  *  component systems evolution and maintenance
  *  autonomic components and self-managed applications
  *  formal and rigorous approaches to software adaptation and self-adaptive
     systems
  *  tools supporting the formal methods for components and services


*****************

INVITED TALKS

*****************

  *

     Helmut Veith.  T.U. Wienn, Austria: "Shape and Content: A
     database-theoretic perspective on the analysis of data structures"

  *

     Rocco De Nicola. IMT Lucca, Italy: "A formal approach to autonomic
     systems programming: The SCEL Language"

  *

     Jean-Bernard Stefani. INRIA Rhônes-Alpes, France: "A process calculus
     framework for dynamic component structures with sharing"

*****************

Colocated Workshops  (http://facs2014.cs.unibo.it/workshops.html)

*****************

TTSS: Harnessing Theories for Tools and Software

MOD*: Logics and Model-checking for Self-* Systems

Tools and Methods for Cyber-Physical Systems of Systems

Workshop on Contracts for Efficient and Reliable Services

FM-BIASED: Formal Methods: Business Impact of Application to Security
relevant Devices



*****************

VENUE & REGISTRATION

*****************

University Residential Center, Via Frangipane, 6 in Bertinoro, Italy: 
http://facs2014.cs.unibo.it/venue.html


Registration on line (Early reg. until Aug. 18th.) through here :
http://facs2014.cs.unibo.it/registration.html