CC: Markus Lumpe <mlu...@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
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
