[TYPES/announce] 1st Call for Abstracts: Doctoral Track at FACS 2011

Peter Csaba Ölveczky peterol at ifi.uio.no
Mon Jul 4 19:24:42 EDT 2011

                           Call for Abstracts

                             FACS-DT 2011           

                        Doctoral Track at the 
 8th International Symposium on Formal Aspects of Component Software

                 Oslo, Norway, September 14-16, 2011                



   *** Submission deadline: August 12 ***

We solicit submissions to the Doctoral Track of FACS 2011, in the form
of abstracts (2 pages, LNCS format) describing PhD-work-in-progress, 
related theme, context, research questions, envisaged contributions, 
and partial results related to the topics of FACS. All accepted abstracts 
will appear in the pre-proceedings of FACS 2011.

Paper submission will be done electronically via 
EasyChair at https://www.easychair.org/conferences/?conf=facsdt2011

FACS Aims and Scope:

FACS 2011 is concerned with how formal methods can be used to make
component-based and service-oriented software development succeed.
Formal methods have provided a foundation for component-based software
by successfully addressing challenging issues such as mathematical 
models for components, composition and adaptation, or rigorous 
approaches to verification, deployment, testing, and certification.

The symposium seeks to address the applications of formal methods in
all aspects of software components and services. Specific topics include,
but are not limited to:

- formal models for software components and their interaction
- formal aspects of services, service oriented architectures, 
    and business processes
- 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
- component/service re-engineering and reuse
- 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
- 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 

Past Events:

FACS'11 is the eighth event in a series of events founded by the
International Institute for Software Technology of the United Nations
University (UNU-IIST). The previous workshops in the FACS series were
held in Pisa (September 2003, co-located with FM'03), Macau
(October 2005), Prague (September 2006), Sophia-Antipolis (September 2007),
Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal
Methods Week), and Guimaraes (October 2010).

FACS invited speakers:

Jose Meseguer   (University of Illinois at Urbana-Champaign)
John Rushby     (SRI International)

Important dates:

Doctoral Track submission: August 12, 2011
Doctoral Track acceptance notification: August 20, 2011
Symposium: September 14-16, 2011


FACS 2011 is hosted by the Department of Informatics at the University of Oslo.
The symposium will take place in the new modern computer science building
on the main campus of the university.

Oslo is the capital city of Norway, and is mentioned as one
of the "31 places to go to in 2010" by The New York Times.

Doctoral Track program chairs:

Farhad Arbab       (Leiden University and CWI, The Netherlands) and
Peter Olveczky     (University of Oslo, Norway)


(web)    http://facs2011.ifi.uio.no
(email)  facs-2011 at ifi.uio.no

More information about the Types-announce mailing list