FACS'09: deadline extended to June 26

FACS'09: deadline extended to June 26

[Sun Meng]

            Formal Aspects of Component Software (FACS 2009)

                                         Call for Papers

 6th International Workshop on Formal Aspects of Component Software

                                 November 2-3, 2009
                          Eindhoven, the Netherlands

                      http://www.iist.unu.edu/facs09/

                    Submission deadline June 26, 2009

Scope & Topics:

   Component-based software has emerged as a promising paradigm to deal
   with the ever increasing need for mastering systems' complexity,
   for enabling evolution and reuse, and for bringing sound production
   and engineering standards into software engineering. However, many
   issues in component-based software development remain open and
   pose challenging research questions.

   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 setting up the formal foundations of component software and working
   out challenging issues such as mathematical models for components,
   their composition and adaptation, or rigorous approaches to
   verification, deployment, testing and certification.

   The objective of FACS'09 is to bring together researchers in the
   areas of component software and formal methods to promote a deep
   understanding of this paradigm and its applications. The workshop
   will also be interested in defining the common aspects of
   components and component-based development. It is expected that
   formal paper presentations will be followed by 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
   - autonomic components and self-managed applications
   - formal / 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

   FACS'09 is the 6th 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 organised 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 Málaga in
   Spain (September 2008). FACS'09 is planned to be co-located with
   a number of events together under the heading of Formal Methods Week
   (Eindhoven, the Netherlands, October 2009).

Submission & proceedings:

   Submissions to the workshop must present original research
   that is unpublished and not submitted for publication
   elsewhere. Papers will be judged on the basis of originality,
   relevance, technical soundness and presentation quality.  Papers
   must be written in English and not exceed 15 pages in the ENTCS
   format. Note that to encourage submission of work still in
   progress, we may also accept promising papers to be presented at
   the workshop. The presenters of these papers will be entitled to
   submit a revised version for full review for inclusion in the formal
   (post-)proceedings to be published in ENTCS. Extended versions of all
   accepted papers will be eligible for selection for a journal special
   issue.  The final version of the papers must be prepared in LaTeX,
   adhering to the ENTCS format (see http://www.entcs.org/final.html).

   Papers/abstracts can be submitted via the following link:
        http://www.easychair.org/conferences/?conf=facs09

   A special issue consisting of extended versions of selected papers from
   FACS 2009 will be published in Science of Computer Programming. Selected
   participants will be invited to submit an extended version of their 
papers
   after the workshop. These extended versions will be reviewed by the
   international program committee of FACS'09, which will decide on their
   suitability for final publication in the special issue.

Important dates:

   Abstract submission: June 12, 2009
   Paper submission (extended): June 26, 2009
   Acceptance notification: July 31, 2009
   Camera ready: August 28, 2009
   Workshop: November 2-3, 2009

Keynote speakers:

   Jan Rutten (CWI, The Netherlands)
   Gert Doehmen (AIRBUS Deutschland GmbH, Germany)

Program chairs: Bernhard Schätz and Sun Meng

Program committee:

   Farhad Arbab (CWI, The Netherlands)
   Luis Barbosa (Universidade do Minho, Portugal)
   Frank S. de Boer (CWI, The Netherlands)
   Christiano Braga (Univesidade Federal Fliminense, Brazil)
   Carlos Canal (Universidad de Malaga, Spain)                     
   Paolo Ciancarini (Universita di Bologna, Italy)
   Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)
   Atsushi Igarashi (Kyoto University, Japan)
   Einar Broch Johnsen (Universitetet i Oslo, Norway)
   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)
   Corina Pasareanu (NASA Ames, USA)
   Frantisek Plasil (Charles University, Czech Republic)
   Anders Ravn (Aalborg University, Denmark)
   Ralf Reussner (Universitaet Karlsruhe, Germany)
   Bernhard Schaetz (Technical University of Munich, Germany)
   Heinrich Schmidt (RMIT University, Australia)
   Marjan Sirjani (Reykjavik University, Iceland, 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 Málaga, Spain)
   Markus Lumpe (Swinburne University of Technology, Australia)
   Eric Madelaine (INRIA, Sophia-Antipolis, France)
   Vladimir Mencl (Charles University, Prague, Czech Republic, and 
University of Canterbury, New Zealand)
   Corina Pasareanu (NASA Ames Research Center, USA)
   Sun Meng (CWI, the Netherlands)
   Bernhard Schaetz (Technical University of Munich, Germany)

Co-location:

   FACS'09 is part of  the first Formal Methods Week (FMweek), which 
will bring together
   a choice of events in the area, including TESTCOM/FATES (Conference 
on Testing of
   Communicating Systems and Workshop on Formal Approaches to Testing of 
Software),
   FMICS (Formal Methods for Industrial Critical Systems), PDMC 
(Parallel and Distributed
   Methods of verifiCation), FM2009 (Symposium of Formal Methods 
Europe), CPA (Communicating
   Process Architectures), FAST (Formal Aspects in Security and Trust), 
FMCO (Formal Methods
   for Components and Objects), and the REFINE Workshop. For the latest 
information on FMweek,
   see http://www.win.tue.nl/fmweek.

PhD and postdoc positions on multi-core model checking, Eindhoven, Netherlands

[Dragan Bosnacki]

[-- Attachment #1: Type: text/plain, Size: 11061 bytes --]




The Eindhoven University of Technology (TU/e) has the 
following vacancy: 
 
One PhD position on the project
"Efficient Multi-Core Model Checking" (V50.122) 
 
Project description 
  
Model checking is one of the most successful formal 
techniques for automated analysis and finding errors in 
software and hardware. Nowadays, model checking is used by 
major companies, like Microsoft and Intel, to improve the 
quality of their products. 
   
The aim of this project is to develop algorithms for model 
checking (including probabilistic model checking) that can 
fully exploit the parallelism of the new generations of 
multi- and many-core processors. The main bottleneck in 
practical applications of model checking is the state 
space explosion that has impact on the required memory and 
run-time. Therefore, we will strive towards designing 
efficient algorithms that are compatible with the major
techniques for state space reduction, like partial-order or 
symmetry reduction. 
 
We intend to develop prototype implementations of the new 
algorithms In model checkers, like Spin and its 
extensions, as well as the probabilistic model checker 
MRMC. The prototype implementations will be validated on 
case studies including models of biological systems. 
   
As PhD Student, you will: 
  
     * perform scientific research; 
     * work on the implementation of (prototype) tools; 
     * present results at international conferences; 
     * publish results in conference proceedings and 
scientific journals; 
     * write a Ph.D. thesis; 
     * participate in activities of the group and of the 
department. 
  
  
Requirements 
  
We are looking for a candidate who meets the following 
requirements: 
  
     * a MSc degree in Computer Science or equivalent; 
     * a solid theoretical background (preferably in model 
checking or 
       other formal methods); 
     * interest and experience in programming (especially 
experience in parallel and/or distributed computing will 
be considered an advantage); 
     * good communication- and writing skills in English. 
  
  
Working Environment, Appointment and Salary 
 
The project will be implemented as cooperation of several 
departments and groups. The Software Engineering and 
Technology group, headed by prof. dr. Mark van den Brand 
at the M&CS department of TU/e, focuses on maintaining 
consistency between models and code. Also, part of the 
work within the project will be done in the group of prof. 
dr. Joost-Pieter Katoen at RWTH Aachen University. Prof. 
Katoen has internationally recognized competence in the 
field of formal specification and verification of 
probabilistic systems. Biologically inspired case 
studies will be provided by the Biomodeling and 
Bioinformatics group of prof. dr. Peter Hilbers, who is 
also an expert on parallel algorithms and has an 
outstanding record in applications of parallel computing 
in biology. Most of the tool implementations will be done 
in close collaboration with the Laboratory for Quality 
Software at the M&CS at TU/e. 
 
We offer: 
  
     * a full-time employment for 4 years with an 
intermediate evaluation 
       after 1 year; 
     * a stimulating scientific environment with 
international cooperation 
 
     * access to modern equipment (multi- and many-core 
systems, computer clusters) 
     * a salary of Euro 2,042 per month (gross) in the 
first year, 
       increasing to Euro 2,612 per month (gross) in the 
fourth year. 
       Moreover 8% holiday allowance and 8.3 % End-of-year 
bonus is 
       provided annually; 
     * Support with your personal development and career 
planning; 
     * Attractive secondary labour conditions (including 
excellent work facilities, child care, sports facilities). 
  
Information 
  
     * Information about the position: 
       dr. Dragan Bosnacki 
      (dragan@win.tue.nl), 
       or 
       prof. dr. Mark van den Brand 
      (M.G.J.v.d.Brand@tue.nl), 
       prof. dr. Joost-Pieter Katoen 
      (katoen@cs.rwth-aachen.de), 
       prof. dr. Peter Hilbers (P.A.J.Hilbers@tue.nl).
 
     * Information about the job conditions: 
Mrs. Y.Bloemers-Kluijtmans, HR advisor (pzbmt@tue.nl)  
  
   * More information about the groups:*  
  
 Software Engineering and Technology group at TU/e: 
  
 
http://w3.win.tue.nl/nl/onderzoek/onderzoek_informatica/set/ 
  
 Software Modeling and Verification group at RWTH Aachen 
University: 
  
 http://www-i2.informatik.rwth-aachen.de/ 
  
 Biomodeling and Bioinformatics group at TU/e: 
  
 
http://w3.bmt.tue.nl/nl/onderzoek/divisies/biomedical_imaging_modeling/biomodeling_and_bioinformatics/ 
  
 
Application 
  
Interested candidates are requested to send their 
application to: 
Eindhoven University of Technology, Dept. of Biomedical 
Engineering. You can send your application by e-mail to 
pzbmt@tue.nl. 
   
The application should consist of the following parts: 
  
     * a detailed curriculum vitae; 
     * an explanation of your interest in the proposed 
research field; 
     * a complete list of the courses you have attended 
and corresponding grades, name of at least two references, 
and all other information that might be relevant to your 
application; 
     * proof of English language skills (if applicable). 
  
(Please mention the vacancy number V50.122 in the 
subject.)  
   
The application deadline for this position is 31-08-2009.
 
 
----------------------------------------------------------------------
 
The Eindhoven University of Technology (TU/e) has the 
following vacancy: 
 
One postdoc position on the project
"Efficient Multi-Core Model Checking" (V50.123) 
  
Project description 
  
Model checking is one of the most successful formal 
techniques for automated analysis and finding errors in 
software and hardware. Nowadays, model checking is used by 
major companies, like Microsoft and Intel, to improve the 
quality of their products. 
   
The aim of this project is to develop algorithms for model 
checking (including probabilistic model checking) that can 
fully exploit the parallelism of the new generations of 
multi- and many-core processors. The main bottleneck in 
practical applications of model checking is the state 
space explosion that has impact on the required memory and 
run-time. Therefore, we will strive towards designing 
efficient algorithms that are compatible with the major 
techniques for state space reduction, like partial-order 
or symmetry reduction. 
 
We intend to develop prototype implementations of the new 
algorithms in model checkers, like Spin and its 
extensions, as well as the probabilistic model checker 
MRMC. The prototype implementations will be validated on 
case studies including models of biological systems. 
  
As postdoc, you will: 
  
     * perform scientific research; 
     * work on the implementation of (prototype) tools; 
     * present results at international conferences; 
     * publish results in conference proceedings and 
scientific journals; 
     * help supervise Ph.D. students; 
     * participate in activities of the group and of the 
department. 
  
  
Requirements 
  
We are looking for a candidate who meets the following 
requirements: 
  
     * a Ph.D. degree in Computer Science or equivalent; 
     * expertise in model checking or other formal 
methods; 
     * interest and experience in programming (especially 
experience in parallel and/or distributed computing will 
be considered an advantage); 
     * good communication- and writing skills in English. 
  
  
Working Environment, Appointment and Salary 
 
The project will be implemented as cooperation of several 
departments and groups. The Software Engineering and 
Technology group, headed by prof. dr. Mark van den Brand 
at the M&CS department of TU/e, focuses on maintaining 
consistency between models and code. Also, part of the 
work within the project will be done in the group of prof. 
dr. Joost-Pieter Katoen at RWTH Aachen University. Prof. 
Katoen has internationally recognized competence in the 
field of formal specification and verification of 
probabilistic systems. Biologically inspired case 
studies will be provided by the Biomodeling and 
Bioinformatics group of prof. dr. Peter Hilbers, who is 
also an expert on parallel algorithms and has an 
outstanding record in applications of parallel computing 
in biology. Most of the tool implementations will be done 
in close collaboration with the Laboratory for Quality 
Software at the M&CS at TU/e. 
 
We offer: 
  
     * a full-time employment for 3 years; 
     * a stimulating scientific environment with 
international cooperation 
     * access to modern equipment (multi- and many-core 
systems, computer clusters) 
     * a salary of at least Euro 2,861 per month (gross) 
based on knowledge and experience. Moreover 8% holiday 
allowance and 8.3 % End-of-year bonus is provided 
annually; 
     * Support with your personal development and career 
planning; 
     * Attractive secondary labour conditions (including 
excellent work facilities, child care, sports facilities). 

Information 
  
     * Information about the position: 
       dr. Dragan Bosnacki
       (dragan@win.tue.nl), 
       or 
       prof. dr. Mark van den Brand
      (M.G.J.v.d.Brand@tue.nl), 
       prof. dr. Joost-Pieter Katoen 
      (katoen@cs.rwth-aachen.de), 
       prof. dr. Peter Hilbers (P.A.J.Hilbers@tue.nl).
 
     * Information about the job conditions, Mrs. Y. 
Bloemers-Kluijtmans, HR advisor, (pzbmt@tue.nl)  

     * More information about the groups: 
  
Software Engineering and Technology group at TU/e: 
  
http://w3.win.tue.nl/nl/onderzoek/onderzoek_informatica/set/ 
  
Software Modeling and Verification group at RWTH Aachen 
University: 
  
http://www-i2.informatik.rwth-aachen.de/ 
  
Biomodeling and Bioinformatics group at TU/e: 
  
http://w3.bmt.tue.nl/nl/onderzoek/divisies/biomedical_imaging_modeling/biomodeling_and_bioinformatics/ 
  
Application 
  
Interested candidates are requested to send their 
application to: 
Eindhoven University of Technology, Dept. of Biomedical 
Engineering. You can send your application by e-mail to 
pzbmt@tue.nl. 
   
The application should consist of the following parts: 
  
     * a detailed curriculum vitae; 
     * an explanation of your interest in the proposed 
research field; 
     * a complete list of the courses you have attended 
and corresponding grades, name of at least three 
references, and all other information that might be 
relevant to your application; 
     * proof of English language skills (if applicable). 
  
(Please mention the vacancy number V50.123 in the 
subject.)  
   
The application deadline for this position is 31-08-2009.


 


      

[-- Attachment #2: Type: text/html, Size: 15399 bytes --]