[TYPES/announce] Call for Abstracts: Doctoral Track at FACS 2018

[Kyungmin Bae]

--------------------------------------------------------------------
                      Call for Abstracts

                           FACS 2018

                     Doctoral Symposium at
15th International Conference on Formal Aspects of Component Software

              Pohang, Korea, October 10-12, 2018

              http://sevlab.postech.ac.kr/facs18
---------------------------------------------------------------------


IMPORTANT DATES

Submission deadline: August 31, 2018 (AoE)
Notification: September 5, 2018
Conference: Oct 10-12, 2018


We solicit submissions to the Doctoral Track of FACS 2018, in the form of
abstracts (3 pages max, LNCS format) describing PhD-work-in-progress,
related
theme, context, research questions, envisaged contributions, and partial
results related to the topics of FACS. All accepted abstracts will appear
in the Doctoral Track proceedings of FACS 2018.

Paper submission will be done electronically via
EasyChair at https://easychair.org/conferences/?conf=facs2018



OVERVIEW AND SCOPE

FACS 2018 is concerned with how formal methods can be applied to
component-based software and system development. Formal methods have
provided foundations for component-based software through research on
mathematical models for components, composition and adaptation, and
rigorous approaches to verification, deployment, testing, and
certification.

The conference seeks to address the application of
formal methods in all aspects of software components and
services. Specific topics include, but are not limited to:

* formal models for software components and their interaction;
* formal aspects of services, service-oriented architectures, business
  processes, cloud computing, cyber-physical systems, Internet of
  Things,  and similar artifacts;
* design and verification methods for software components and services;
* composition and deployment: models, calculi, languages;
* formal methods and modeling languages for components and services;
* models for QoS and other extra-functional properties (e.g., trust,
  compliance, security) of components and services;
* components for real-time, safety-critical, secure, and/or embedded
  systems;
* components for the Internet of things and cyber-physical systems;
* probabilistic techniques for modeling and verification of
  component-based systems;
* model-based testing of components and services;
* case studies and experience reports;
* tools supporting formal methods for components and services.



INVITED SPEAKERS

Edward A. Lee           (University of California, Berkeley)
Grigore Rosu            (University of Illinois, Urbana-Champaign)



DOCTORAL TRACK PROGRAM CHAIRS:

Kyungmin Bae       (Pohang University of Science and Technology, Korea) and
Peter Olveczky     (University of Oslo, Norway)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180807/b276eb9a/attachment-0001.html>