[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FACS 2023 - Call for Papers
https://urldefense.com/v3/__https://facs-conference.github.io__;!!IBzWLUs!U9i8TgAMTi_g4yB9qqnv0d7BunHN38VbHT5Xbs5qfTjN-wbYDotq4tBa7tNHs-QGP7pnfFGq5dsRWGYldXnqIWCbLhFpdJapgL5VWvtLCA$
19th International Conference on
Formal Aspects of Component Software
19-20 October 2023 (online)
________________
Highlights
________________
* EXTENDED DEADLINE: July 17th, 2023
* Fully virtual conference (80+ participants last year)
* Proceedings in LNCS + special issue in Science of Computer Programming
* Special track: “Formal Methods at Large”
Important Dates
________________
* Abstract submission deadline: July 17th, 2023 **EXTENDED**
* Paper submission deadline: July 17th, 2023 **EXTENDED**
* Notification: September 8th, 2023
* Final version due: October 2nd, 2023
* Symposium: October 19th-20th, 2023
Follow Us
________________
All updates on twitter.com/facs_conf
Invited Speakers
________________
* Marsha Chechik, University of Toronto
* Rajeev Alur, University of Pennsylvania
Free Registration
________________
Registration for FACS 2023 will be free but mandatory. Information on how to
register will be presented later.
Scope
________________
FACS 2023 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. Furthermore, we embrace a
trend in recent FACS editions by introducing a new special track of “Formal
Methods at Large”: it will accept submissions about advances based on formal
methods across all kinds of software-intensive systems, possibly unrelated to
components or composition.
Topics
________________
The conference seeks to address the applications of formal methods in all
aspects of software components and services. FACS aims at developing a
community-based understanding of relevant and emerging research problems
through formal paper presentations and lively discussions. FACS 2023 welcomes
contributions including but not limited to:
- Formal methods, models, and languages for software-intensive systems,
components and services, including
* verification techniques (e.g., model checking, type systems, testing, runtime
analysis),
* probabilistic techniques,
* (co-)simulation techniques,
* composition and deployment,
* component interaction,
* software variability,
* QoS and other non-functional properties (e.g., trust, compliance, security,
privacy);
- Formal aspects of concrete software-intensive systems, including
* service-oriented architectures,
* business processes,
* cloud or edge computing,
* real-time/safety-critical systems,
* hybrid and cyber physical systems,
* quantum systems,
* components that use artificial intelligence;
- Tools supporting formal methods for components and services;
- Case studies and experience reports over the above topics;
- Special track: Formal Methods at Large.
To celebrate the 20th anniversary of FACS, we also invite submissions on the
topic of “component-based systems through the years” that describe important
results and successful stories that originated in the context of
component-based software engineering. All the accepted papers will be presented
in a special session.
Submissions
________________
We solicit high-quality submissions reporting on:
* A - full papers: original research, applications and experiences, surveys, or
anniversary papers (16 pages);
* B - short papers: tools and demonstrations (6 pages);
* C - journal-first papers (4 pages).
Accepted papers from all categories will be published by Springer, in the
Lecture Notes for Computer Science series. The page limit excludes references
and appendices. Papers should be prepared in LaTeX, adhering to the Springer
LNCS format and Guidelines. For further information please visit the LNCS page
athttps://www.springer.com/lncs.
Please use the easychair link below to submit your paper:
*
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=facs2023__;!!IBzWLUs!U9i8TgAMTi_g4yB9qqnv0d7BunHN38VbHT5Xbs5qfTjN-wbYDotq4tBa7tNHs-QGP7pnfFGq5dsRWGYldXnqIWCbLhFpdJapgL77W3TRrA$
The authors of a selected subset of accepted papers will be invited to submit
an extended version of their papers to a special issue of Science of Computer
Programming.
Full and tool/short publications (A, B)
________________
All submissions in categories A and B must be original, unpublished, and not
submitted concurrently for publication elsewhere. A special journal issue is
planned for extended versions of selected papers from categories A and B from
FACS 2023.
Journal-first publications (C)
________________
Submissions in category C must be 4-page abstracts of journal papers published
after January 1st, 2023. Authors of published papers in high-quality journals
can submit a proposal to present their journal paper at FACS. The journal paper
must adhere to the following criteria:
* It is clearly in the scope of FACS.
* It is recent: only journal papers available after January 1st, 2023 (online
or printed) can be presented.
* It reports new research results that significantly extend prior work. As
such, the journal paper does not simply extend prior work with material
presented for completeness only (such as omitted proofs, algorithms, minor
enhancements, or empirical results).
* It has not been presented at, and is not under consideration for,
journal-first programs of other similar conferences or workshops.
Journal-first submissions must be marked as such in EasyChair, and they must
explicitly include pointers to the journal publication (such as a DOI).
Program Chairs
--------------
Javier Cámara, University of Málaga, Spain / University of York, UK
Sung-Shik Jongmans, Open University and CWI, Netherlands
Steering Committee
------------------
Farhad Arbab, CWI and Leiden University, Netherlands
Kyungmin Bae, Pohang University of Science and Technology, Korea
Peter Csaba Ölveczky, University of Oslo, Norway
Sung-Shik Jongmans, Open University and CWI, Netherlands
Zhiming Liu, Southwest University, China
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, INRIA Sophia Antipolis, France
Corina Pasareanu, CMU, USA
José Proença, Polytechnic Institute of Porto, Portugal
Gwen Salaün, Université Grenoble Alpes, France
Luís Soares Barbosa (Chair), University of Minho, Portugal
Anton Wijs, Eindhoven University of Technology, Netherlands
