[Om-announce] FACS 2017 - Doctoral Track: Call for Contributions

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


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

---------------------------------------------------------------------
              Doctoral Track: Call for Contributions
                            FACS'17
14th International Conference on Formal Aspects of Component Software
                Braga, Portugal, October 10-13, 2017
                    http://facs2017.di.uminho.pt
---------------------------------------------------------------------


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

FOLLOW US
  All updates on twitter.com/facs2017.

INVITED SPEAKERS
  - 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
certification.

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:
  https://easychair.org/conferences/?conf=facs2017

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


More information about the Om-announce mailing list