From: Jose Proenca <jose.proenca@di.uminho.pt>
To: <caml-list@inria.fr>
Subject: [Caml-list] FACS 2017 - Doctoral Track: Call for Contributions
Date: Wed, 30 Aug 2017 17:31:26 +0100 [thread overview]
Message-ID: <b735f8d6-a735-4b77-90a1-e423c546be9e@SRV-EXCH-CAS-01.uminho.pt> (raw)
CC: Markus Lumpe <mlumpe@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
reply other threads:[~2017-08-30 16:31 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=b735f8d6-a735-4b77-90a1-e423c546be9e@SRV-EXCH-CAS-01.uminho.pt \
--to=jose.proenca@di.uminho.pt \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox