[TYPES/announce] FACS 2010 - Doctoral Symposium: Call for Contributions

[Christiano Braga]

Please accept our apologies if you receive multiple copies of this  
Call for Participation.

*************************************************************************

       Formal Aspects of Component Software (FACS 2010)
    7th International Workshop on Formal Aspects of Component Software

                     October 14-16, 2010
         Centro Cultural Vila Flor ---  Guimaraes, Portugal

             Doctoral Symposium: Call for Contributions

                    www.di.uminho.pt/facs2010/


FACS'10 is the 7th event in a series of workshops, founded by the
International Institute for Software Technology of the United Nations
University (UNU-IIST) in order to promote a deeper understanding of the
component-based paradigm and working out challenging issues such as
mathematical models for components, composition and adaptation, or
rigorous approaches to verification, deployment, testing, and
certification.

The objective of FACS 2010 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 2010 Doctoral Track please prepare an extended
abstract of your talk (2 pages, Springer LNCS format)
concisely referring your thesis theme, context, research questions,
envisaged contributions, and partial results.

Submission is made via EasyChair from FACS website
(www.di.uminho.pt/facs2010/)

Important dates:
Doctoral Track submission: September 12, 2010
Doctoral Track acceptance notification: September 20, 2010



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100906/fc511071/attachment-0002.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: FACS10DS.TXT
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100906/fc511071/attachment-0001.ksh>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100906/fc511071/attachment-0003.html>