Conference Information
FACS 2018: International Conference on Formal Aspects of Component Software
http://sevlab.postech.ac.kr/facs18/
Submission Date:
2018-06-15 Extended
Notification Date:
2018-08-08
Conference Date:
2018-10-10
Location:
Pohang, Korea
Years:
15
Viewed: 2548   Tracked: 0   Attend: 0

Conference Location
Advertisment
Call For Papers
Scope

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.

Submission

We solicit submissions, related to the topics mentioned above, in the following categories:

    A) original research contributions (18 pages max);
    B) applications and experiences (18 pages max);
    C) surveys, comparisons, and state-of-the-art reports (18 pages max);
    D) tool papers (6 pages max).

All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2018.

Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs).

In addition, we solicit submissions to the Doctoral Track of FACS 2018, in the form of abstracts (3 pages max) concisely capturing work in progress, research questions, envisaged contributions, and/or partial results.

Publication

All accepted papers in categories A-D will appear in the proceedings of the conference that will be published as a volume in Springer’s Lecture Notes in Computer Science(LNCS) series.

The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal.
Last updated by Dou Sun in 2018-06-10
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2019-04-262019-06-162019-10-28
bb1ISITInternational Symposium on Information Theory2019-01-202019-03-312019-07-07
cb2ISPDCInternational Symposium on Parallel and Distributed Computing2019-04-012019-04-152019-06-03
CSCIInternational Conference on Computational Science and Computational Intelligence2018-10-242018-11-012018-12-13
SENSORSIEEE Sensors2018-06-182018-08-102018-10-28
SysIntInternational Conference on System-Integrated Intelligence2013-12-062013-12-202014-07-02
cNordSecNordic Conference on Secure IT Systems2016-06-232016-08-152016-11-02
ARCInternational Symposium on Applied Reconfigurable Computing2017-12-012017-12-192018-05-02
ICAST'International Conference on Adaptive Science & Technology  2015-10-29
Related Journals
CCFFull NameImpact FactorPublisherISSN
Problems of Information Transmission0.298Springer0032-9460
Advances in Engineering Software3.198ELSEVIER0965-9978
bInformation and Software Technology2.627ELSEVIER0950-5849
Environmental Modelling & Software4.177ELSEVIER1364-8152
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bIEEE Transactions on VLSI Systems1.698IEEE1063-8210
Swarm Intelligence and Numerical MethodsRational Publication0000-0000
Computational Science and Engineering SoftwareRational Publication0000-0000
bJournal of Systems and Software2.278ELSEVIER0164-1212
International Journal of Information Technology Convergence and Services AIRCC2231-1939
Recommendation