[ecoop-info] FACS 2017 - Doctoral Track: Call for Contributions

Jose Proenca jose.proenca at di.uminho.pt
Wed Aug 30 18:32:13 CEST 2017

CC: Markus Lumpe <mlumpe at swin.edu.au>

              Doctoral Track: Call for Contributions
14th International Conference on Formal Aspects of Component Software
                Braga, Portugal, October 10-13, 2017

  Doctoral Track submission deadline: September 3, 2017
  Doctoral Track notification: September 10, 2017

  All updates on twitter.com/facs2017.

  - Catuscia Palamidessi
  INRIA Saclay, Ile-de-France, France
  - David Costa
  NewMotion & CWI, Amsterdam, the Netherlands

FACS 2017 is concerned with how formal methods can or should be used
to make component-based software development succeed. Formal methods
consist of mathematics-based techniques for the specification,
development, and verification of software and hardware systems. They
have been shown to provide a strong foundation for component-based
software by successfully addressing challenging issues such as
mathematical models for components, composition and adaptation, and
rigorous approaches to verification, deployment, testing, and

The objective of FACS 2017 Doctoral Track is to give the opportunity
to PhD students and young researchers to share their work-in-progress
and innovative ideas in a supportive yet questioning setting. Students
will be able to discuss their goals, methods, and results at  an early
stage in their research, receiving useful feedback from established
researchers and the other student attendees.

To submit to FACS 2017 Doctoral Track please prepare an extended
abstract of your talk (3 pages, Springer LNCS format) concisely
capturing work in progress, related topic, context, research
questions, envisaged contributions, and partial results. All
submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere, and will be made available in
a companion technical report.

Please use the easychair link below to submit your extended abstract:

More information: http://facs2017.di.uminho.pt

More information about the ecoop-info mailing list