[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FACS 2010: Final call for papers (Submission deadlineextended)



Please accept our apologies if you receive multiple copies of this Call for Participation.

 

 

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

 

                           CALL FOR PAPERS

 

 

             Formal Aspects of Component Software (FACS 2010)

 

                                     Final Call for Papers

   7th International Workshop on Formal Aspects of Component Software

 

                                   October 14-16, 2010

                                Universidade do Minho

                                   Guimaraes, Portugal

 

 

      Extended deadlines: July, 28 (abstracts) - August, 2 (full paper)

 

                              www.di.uminho.pt/facs2010/

  

 

** Post-proceedings at Springer LNCS **

** Extended versions of selected papers at Science of Computer programming **

 

 

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

 

 

 

Invited speakers:

Sanjit Seshia, University of California, Berkeley

             (http://www.eecs.berkeley.edu/~sseshia/)

Luis Caires, New University of Lisbon

           (http://www-ctp.di.fct.unl.pt/~lcaires/)

 

 

Scope & Topics:

 

The component-based software development approach has emerged as a

promising paradigm to cope with an ever increasing complexity of

present-day software solutions by bringing sound production and

engineering principles into software engineering. However, many

conceptual and technological issues remain in component-based software

development theory and practice that pose challenging research

questions.

 

FACS 2010 is concerned with how formal methods can or should be used

to make component-based software development succeed. Formal methods

consist of mathematically-based techniques for the specification,

development, and verification of software and hardware systems. They

have shown their great utility for providing the formal foundations of

component-based software and working out challenging issues such as

mathematical models for components, composition and adaptation, or

rigorous approaches to verification, deployment, testing, and

certification.

 

The objective of FACS 2010 is to bring together researchers and

practitioners in the areas of component software and formal methods in

order to promote a deeper understanding of the component-based

software development paradigm and its applications. The workshop seeks

to address all common aspects of component software and formal

methods.  FACS aims at developing a community-based understanding of

relevant and emerging research problems through formal paper

presentations and lively discussions. Possible topics include, but are

not limited to:

 

- formal models for software components and component interaction

- design and verification methods for component software component

- composition and deployment: models, calculi, languages

- component testing, re-engineering and reuse

- specification of extra-functional properties in component software

- certification of components and software architectures

- component software vs. object orientation, multi-agent systems, and

aspect-oriented development

- components for real-time, safety-critical, secure and/or embedded systems

- standard models for software components (e.g. Fractal, GCM, etc.)

- industrial or experience reports, and case studies in component software

- partial behavior models for software components

- update and reconfiguration of component architectures

- component systems evolution and maintenance

- formal methods and modeling languages for components

- trust models for components

- cyber-physical component-based systems

- autonomic components and self-managed applications

- formal and rigorous approaches to software adaptation and self-adaptive systems

- formal aspects of Web services and business processes

- component-based Web services and service-oriented architectures

- QoS issues in Web services, multi-agent systems and component-based

systems

 

 

Context:

FACS'10 is the 7th event in a series of workshops, founded by the

International Institute for Software Technology of the United Nations

University (UNU-IIST). The first FACS workshop was co-located with

FM'03 (Pisa, Italy, September 2003). The following FACS workshops were

organized as standalone events, respectively at UNU-IIST in Macau

(October 2005), at Charles University in Prague (September 2006), at

INRIA in Sophia-Antipolis (September 2007), and at University of

Malaga in Spain (September 2008).  FACS'09 was part of the Formal

Methods Week in Eindhoven (October 2009).

 

 

Publication:

The post-proceedings of the workshop will be published as a volume in

Springer's Lecture Notes in Computer Science.  Authors of accepted

papers should provide all the electronic files of the final version of

their paper according to the instructions provided at the LNCS home

page (www.springer.com/lncs).

 

Extended versions of selected papers will appear as a special issue of

Science of Computer Programming, Elsevier.

 

Submission:

We solicit two categories of high-quality submissions on research

results and/or experience: research papers (LNCS format, not exceeding

18 pages including bibliography and figures) describing a technical

contribution in depth and doctoral abstracts (2 pages, LNCS format)

concisely capturing PhD-work-in-progress, referring theme, context,

research questions, envisaged contributions, and partial results.

Submissions to the workshop should present original research which is

unpublished and not submitted for publication elsewhere. Papers will

be judged on the basis of originality, relevance, technical soundness

and presentation quality.

 

Submission of papers will be in electronic form via Easychair,

accessible through the workshop website. The final version of the

paper must be prepared in LaTeX, adhering to the LNCS format.

 

Important dates:

 

  Research Paper abstract submission: July 28, 2010

  Research Paper submission: August 2, 2010

  Research Paper acceptance notification: September 10, 2010

 

  Doctoral Track submission: September 12, 2010

  Doctoral Track acceptance notification: September 20, 2010

 

  Camera ready: October 1, 2010

  Workshop: October 14-16, 2010

 

 

Venue:

Hosted by Minho University, FACS 2010 will take place at

CCVF - Centro Cultural Vila Flor, Guimar„es.

CCVF is a main cultural infra-structure, located right in the center of town,

in a  18th century building (http://www.ccvf.pt/index2.php).

 

Guimar„es is a small, historic town in North Portugal, which hosted

the country's first royal capital  in the 12th century. Its historic center is

classified as  UNESCO World Heritage. 

 

Program chairs: Markus Lumpe and Luis Barbosa

 

Program committee:

Farhad Arbab (CWI, The Netherlands)

Marco Autili (L'Aquila University, Italy)

Luis Barbosa (Universidade do Minho, Portugal)

Andreas Bauer (Australian National University, Australia)

Frank S. de Boer (CWI, The Netherlands)

Christiano Braga (Universidad Complutense de Madrid, Spain)

Carlos Canal (Universidad de Malaga, Spain)     

Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)

Einar Broch Johnsen (Universitetet i Oslo, Norway)

Zhiming Liu (IIST UNU, Macau, China)

Ying Liu (IBM China Research, China)

Markus Lumpe (Swinburne University of Technology, Australia)

Eric Madelaine (INRIA, Centre Sophia Antipolis, France)

Sun Meng (CWI, The Netherlands and Peking University, China)

Corina Pasareanu (NASA Ames, USA)

Patrizio Pelliccione (L'Aquila University, Italy)

Frantisek Plasil (Charles University, Czech Republic)

Anders Ravn (Aalborg University, Denmark)

Nuno Rodrigues (IPCA, Portugal)

Bernhard Schaetz (Technical University of Munich, Germany)

Marjan Sirjani (University of Tehran, Iran)

Volker Stolz (UNU-IIST, MACAU)

Carolyn Talcott (SRI International, USA)

Dang Van Hung (Vietnam National University, Vietnam)

Naijun Zhan (IOS, China)

 

Steering Committee:

Zhiming Liu (IIST UNU, Macau, China, coordinator)

Farhad Arbab (CWI, The Netherlands)

Luis Barbosa (Universidade do Minho, Portugal)

Carlos Canal (University of Malaga, Spain)

Markus Lumpe (Swinburne University of Technology, Australia)

Eric Madelaine (INRIA, Sophia-Antipolis, France)

Corina Pasareanu (NASA Ames Research Center, USA)

Sun Meng (CWI, the Netherlands and Peking University, China)

Bernhard Schaetz (Technical University of Munich, Germany)

 

Contact:

(web)   www.di.uminho.pt/facs2010/

(email) facs10chairs@di.uminho.pt

 

 

_____________________________________

Nuno F. Rodrigues

http://www.di.uminho.pt/~nfr

Phone: (+351) 253604430

Office: di-2.06

Departamento de InformŠtica

Universidade do Minho

4710-057 Braga

Portugal

 

             Formal Aspects of Component Software (FACS 2010)

                                     Final Call for Papers
   7th International Workshop on Formal Aspects of Component Software

                                   October 14-16, 2010
                                Universidade do Minho
                                   Guimaraes, Portugal


      Extended deadlines: July, 28 (abstracts) - August, 2 (full paper)

                              www.di.uminho.pt/facs2010/
   


** Post-proceedings at Springer LNCS **
** Extended versions of selected papers at Science of Computer programming **


Invited speakers:
Sanjit Seshia, University of California, Berkeley
             (http://www.eecs.berkeley.edu/~sseshia/)
Luis Caires, New University of Lisbon
           (http://www-ctp.di.fct.unl.pt/~lcaires/)


Scope & Topics:

The component-based software development approach has emerged as a
promising paradigm to cope with an ever increasing complexity of
present-day software solutions by bringing sound production and
engineering principles into software engineering. However, many
conceptual and technological issues remain in component-based software
development theory and practice that pose challenging research
questions.

FACS 2010 is concerned with how formal methods can or should be used
to make component-based software development succeed. Formal methods
consist of mathematically-based techniques for the specification,
development, and verification of software and hardware systems. They
have shown their great utility for providing the formal foundations of
component-based software and working out challenging issues such as
mathematical models for components, composition and adaptation, or
rigorous approaches to verification, deployment, testing, and
certification.

The objective of FACS 2010 is to bring together researchers and
practitioners in the areas of component software and formal methods in
order to promote a deeper understanding of the component-based
software development paradigm and its applications. The workshop seeks
to address all common aspects of component software and formal
methods.  FACS aims at developing a community-based understanding of
relevant and emerging research problems through formal paper
presentations and lively discussions. Possible topics include, but are
not limited to:

- formal models for software components and component interaction
- design and verification methods for component software component
- composition and deployment: models, calculi, languages
- component testing, re-engineering and reuse
- specification of extra-functional properties in component software
- certification of components and software architectures
- component software vs. object orientation, multi-agent systems, and
aspect-oriented development
- components for real-time, safety-critical, secure and/or embedded systems
- standard models for software components (e.g. Fractal, GCM, etc.)
- industrial or experience reports, and case studies in component software
- partial behavior models for software components
- update and reconfiguration of component architectures
- component systems evolution and maintenance
- formal methods and modeling languages for components
- trust models for components
- cyber-physical component-based systems
- autonomic components and self-managed applications
- formal and rigorous approaches to software adaptation and self-adaptive systems
- formal aspects of Web services and business processes
- component-based Web services and service-oriented architectures
- QoS issues in Web services, multi-agent systems and component-based
systems


Context:
FACS'10 is the 7th event in a series of workshops, founded by the
International Institute for Software Technology of the United Nations
University (UNU-IIST). The first FACS workshop was co-located with
FM'03 (Pisa, Italy, September 2003). The following FACS workshops were
organized as standalone events, respectively at UNU-IIST in Macau
(October 2005), at Charles University in Prague (September 2006), at
INRIA in Sophia-Antipolis (September 2007), and at University of
Malaga in Spain (September 2008).  FACS'09 was part of the Formal
Methods Week in Eindhoven (October 2009).


Publication:
The post-proceedings of the workshop will be published as a volume in
Springer's Lecture Notes in Computer Science.  Authors of accepted
papers should provide all the electronic files of the final version of
their paper according to the instructions provided at the LNCS home
page (www.springer.com/lncs).

Extended versions of selected papers will appear as a special issue of 
Science of Computer Programming, Elsevier.

Submission:
We solicit two categories of high-quality submissions on research
results and/or experience: research papers (LNCS format, not exceeding
18 pages including bibliography and figures) describing a technical
contribution in depth and doctoral abstracts (2 pages, LNCS format)
concisely capturing PhD-work-in-progress, referring theme, context,
research questions, envisaged contributions, and partial results.
Submissions to the workshop should present original research which is
unpublished and not submitted for publication elsewhere. Papers will
be judged on the basis of originality, relevance, technical soundness
and presentation quality.

Submission of papers will be in electronic form via Easychair,
accessible through the workshop website. The final version of the
paper must be prepared in LaTeX, adhering to the LNCS format. 

Important dates:

  Research Paper abstract submission: July 28, 2010
  Research Paper submission: August 2, 2010
  Research Paper acceptance notification: September 10, 2010

  Doctoral Track submission: September 12, 2010
  Doctoral Track acceptance notification: September 20, 2010

  Camera ready: October 1, 2010
  Workshop: October 14-16, 2010


Venue:
Hosted by Minho University, FACS 2010 will take place at 
CCVF - Centro Cultural Vila Flor, Guimar√£es.
CCVF is a main cultural infra-structure, located right in the center of town,
in a  18th century building (http://www.ccvf.pt/index2.php).

Guimar√£es is a small, historic town in North Portugal, which hosted 
the country's first royal capital  in the 12th century. Its historic center is
classified as  UNESCO World Heritage.  

Program chairs: Markus Lumpe and Luis Barbosa

Program committee:
Farhad Arbab (CWI, The Netherlands)
Marco Autili (L'Aquila University, Italy)
Luis Barbosa (Universidade do Minho, Portugal)
Andreas Bauer (Australian National University, Australia)
Frank S. de Boer (CWI, The Netherlands)
Christiano Braga (Universidad Complutense de Madrid, Spain)
Carlos Canal (Universidad de Malaga, Spain)   	
Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)
Einar Broch Johnsen (Universitetet i Oslo, Norway)
Zhiming Liu (IIST UNU, Macau, China)
Ying Liu (IBM China Research, China)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Centre Sophia Antipolis, France)
Sun Meng (CWI, The Netherlands and Peking University, China)
Corina Pasareanu (NASA Ames, USA)
Patrizio Pelliccione (L'Aquila University, Italy)
Frantisek Plasil (Charles University, Czech Republic)
Anders Ravn (Aalborg University, Denmark)
Nuno Rodrigues (IPCA, Portugal)
Bernhard Schaetz (Technical University of Munich, Germany)
Marjan Sirjani (University of Tehran, Iran)
Volker Stolz (UNU-IIST, MACAU)
Carolyn Talcott (SRI International, USA)
Dang Van Hung (Vietnam National University, Vietnam)
Naijun Zhan (IOS, China)

Steering Committee:
Zhiming Liu (IIST UNU, Macau, China, coordinator)
Farhad Arbab (CWI, The Netherlands)
Luis Barbosa (Universidade do Minho, Portugal)
Carlos Canal (University of Malaga, Spain)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Sophia-Antipolis, France)
Corina Pasareanu (NASA Ames Research Center, USA)
Sun Meng (CWI, the Netherlands and Peking University, China)
Bernhard Schaetz (Technical University of Munich, Germany)

Contact:
(web)   www.di.uminho.pt/facs2010/
(email) facs10chairs@di.uminho.pt