HomeResearch TopicsApplication DriveProjectsPublicationsPeoplePhD StudiesNewsEvents & CfPInfo & Contacts
CiTechCiWorkCISTER DSSjoin us!Enjoy Porto!
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       
Login
HomeEvents - Conferences and Workshops        <>

FACS 2023

FACS 2023

19th International Conference on Formal Aspects of Component Software
19, Oct, 2023 to 20, Oct, 2023
Online
Homepage: https://facs-conference.github.io/2023/Outside Link
Call for Papers: https://facs-conference.github.io/2023/call-for-papers/

The Formal Aspects of Component Software (FACS) conference series targets research in formal approaches for distributed components and services. The conferences cover topics including models, languages, analysis and verification techniques for component-based systems such as service-oriented architecture, cloud and edge computing, safety-critical, hybrid and cyber physical systems, etc.

CISTER's participants:
,
José Proença




Short link for this page: www.cister-labs.pt/events/2121

PreviousNext