All conferences / TiCSA / 2023
TiCSA 2023
First Workshop on Trends in Configurable Systems Analysis
Submission timeline
-
3 Mar 2023
Abstract registration
16 Feb 2023→ 3 Mar 2023 +15 days -
3 Mar 2023
Full paper
16 Feb 2023→ 3 Mar 2023 +15 days -
10 Mar 2023
Notification
23 Feb 2023→ 10 Mar 2023 +15 days
- 23 Apr 2023 Conference opens
What to submit
- Format
- 2 pages (+ references)
- Proceedings
- informal — Free access, copyright transferred
- Co-located with
- ETAPS 2023 satellite.
After workshop, submission of 12-page papers. To be published in EPTCS workshop series.
Call for papers
- As first published TiCSA-2023.txt · TXT · shown below
The call, as published
Reproduced verbatim from the organisers’ announcement. The conference’s own page is at ticsa.edgecloud.de/.
Call for Presentations and Papers TiCSA 2023 First Workshop on Trends in Configurable Systems Analysis 23 April 2023 @ ETAPS 2023, Paris, France https://ticsa.edgecloud.de =============== Important Dates Abstract submission: 16 February 2023 Notification: 23 February 2023 Workshop: 23 April 2023 Paper submission: 23 June 2023 Paper notification: 23 July 2023 Camera version: 23 August 2023 =============== Scope and Format System variants often arise by configuring parameters that have a direct impact on the system’s behavior. Since the configuration space usually suffers from an exponential blowup in the number of configuration parameters, such configurable systems require specialized methods for their design, implementation, and analysis. While there have been significant advances for the analysis of configurable systems in the last decade, most prominently family-based or feature-based analysis, there are still manifold opportunities that have not yet been considered exhaustively. These cover specialized algorithms concerning quantitative aspects, required to model and analyze modern cyber-physical systems, as well as reconfigurations that allow for system adaptations in context-aware system design. The main goal of this workshop is to bring researchers together, presenting ideas and challenges, develop new ideas, and foster collaborations within the field of configurable systems analysis. =============== Submission Details The workshop follows a post-proceedings approach: (1) Abstracts submitted should not exceed 2 pages and may include already published material, unpublished work, and even challenges. They will be reviewed for suitability. At least one of the authors has to provide a presentation at TiCSA'23, issuing the abstract. (2) After the presentation and discussion, full papers can be submitted to describe original research, provide surveys, or report on the findings during the workshop. The should not exceed 12 pages excluding references. Such papers will undergo a full reviewing process by at least three members of the program committee. Final versions of accepted papers will be published in the EPTCS workshop series. Submissions are done via EasyChair (https://easychair.org/conferences/?conf=ticsa2023). All submissions must be written in English and follow the EPTCS guidlines (see http://info.eptcs.org). =============== Further Details Invited Speaker - Étienne André (Sorbonne Paris Nord, France) Organizers - Maurice H. ter Beek (ISTI-CNR, Pisa, Italy) - Clemens Dubslaff (Eindhoven University of Technology, The Netherlands)