Mon 15 AprDisplayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 30mTalk | SEAMS 2024 Opening Research Track | ||
09:30 60mKeynote | Keynote: Advances on Symbolic Machine Learning and Recent Applications to Software Engineering Research Track Alessandra Russo Imperial College London |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ICSE Catering |
11:00 - 12:30 | Session 2: UncertaintyResearch Track at Luis de Freitas Branco Chair(s): Ivana Dusparic Trinity College Dublin, Ireland | ||
11:00 25mTalk | Formal Synthesis of Uncertainty Reduction ControllersFULL Research Track Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York, Thomas Vogel Humboldt-Universtität zu Berlin, Genaína Nunes Rodrigues University of Brasília, Radu Calinescu University of York, UK, Lars Grunske Humboldt-Universität zu Berlin | ||
11:25 25mTalk | Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability ConstraintsFULL Research Track Raquel Sanchez University of Malaga, Javier Troya Universidad de Málaga, Spain, Javier Camara University of Málaga | ||
11:50 25mTalk | Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptationFULL Research Track Gianluca Filippone University of L'Aquila, Italy, Juan Antonio Piñera García Gran Sasso Science Institute, Marco Autili University of L'Aquila, Italy, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy | ||
12:15 15mTalk | Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive SystemsSHORT Research Track Javier Camara University of Málaga, Sebastian Hahner Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University, Antonio Vallecillo University of Málaga, Spain, Maribel Acosta Technical University of Munich, Nelly Bencomo Durham University, Radu Calinescu University of York, UK, Simos Gerasimou University of York |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ICSE Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break ICSE Catering |
Tue 16 AprDisplayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 60mKeynote | Keynote: Towards Always Law-Abiding Self-Driving Research Track Jun Sun Singapore Management University | ||
10:00 20mAwards | Most Influential Paper Award 2014 Research Track | ||
10:20 10mAwards | SEAMS Best Paper and Artifact Awards Research Track |
10:30 - 11:00 | |||
10:30 30mCoffee break | Break ICSE Catering |
11:00 - 12:30 | Session 6: Self-Recovery & Evaluation Research Track / Artifact Track at Luis de Freitas Branco Chair(s): Dalal Alrajeh Imperial College London | ||
11:00 25mTalk | Raft Protocol for Fault Tolerance and Self-Recovery in Federated LearningFULL Research Track | ||
11:25 25mTalk | Integrating Graceful Degradation and Recovery through Requirement-driven AdaptationFULL Research Track Simon Chu Carnegie Mellon University, Justin Koe The Cooper Union, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University | ||
11:50 25mTalk | Learning Recovery Strategies for Dynamic Self-healing in Reactive SystemsFULL Research Track Mateo Sanabria Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Nicolás Cardozo Universidad de los Andes Pre-print | ||
12:15 15mTalk | SWITCH: An Exemplar for Evaluating Self-Adaptive ML-Enabled SystemsARTIFACT Artifact Track Pre-print Media Attached |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch ICSE Catering |
15:30 - 16:00 | |||
15:30 30mCoffee break | Break ICSE Catering |
Unscheduled Events
Not scheduled Talk | Swarm intelligence-based bio-inspired algorithmsCOMMUNITY DEBATE Research Track Darko Bozhinoski Université Libre de Bruxelles | ||
Not scheduled Talk | Bio-inspired computing systems: handle with care, discard if need itCOMMUNITY DEBATE Research Track Rogério de Lemos University of Kent, UK |
Accepted Papers
Call for Papers
We invite submissions of technical research papers describing original and unpublished results of software engineering for self-adaptive and self-managing systems, with a broad spectrum of topics of interest listed below. Note that SEAMS 2024 will use two submission rounds for the Research Track, with deadlines in October 2023 and December 2023, and with the possibility of submitting a revised version from the first round to the second as detailed below. Accepted papers will be included in the ACM Digital Library, and the conference proceedings will be published by IEEE CPS. A few selected papers will be invited to submit an extended version for the ACM Transactions on Autonomous and Adaptive Systems.
Background
Today we are building an exciting future in which autonomous vehicles navigate complex environments, smart cities help solve public problems and achieve a higher quality of life, and service robots support social care workers or perform tasks that are too dangerous for humans. These software-intensive systems must continuously preserve and optimize their operation despite uncertain changes in their operating environment, resource variability, evolving user needs, attacks and faults. The complexity of these systems demands them to adapt and manage themselves autonomously, although, in certain situations, human intervention may be beneficial to improve these systems’ operation. Adaptation also pervades less traditional application domains, such as engineering AI-based systems, human-centred design and development decisions, and the design of human-machine interactions.
SEAMS is a CORE-A ranked conference that applies software engineering methods, techniques, processes, and tools to support the construction of self-adaptive and autonomous systems that provide self-* properties like self-configuration, self-healing, self-optimization, and self-protection. This year we also encourage submissions exploring unconventional topics on new engineering approaches, such as the adaptivity of large language models and generative AI-based techniques, human-centred software design and development, and human-machine interactions). SEAMS aims to bring together researchers and practitioners from academia, industry, and government to investigate, discuss, examine, and advance the fundamental principles, the state-of-the-art, and the solutions addressing critical challenges of engineering self-adaptive and self-managing systems.
Topics of Interest
We welcome research contributions to all topics related to engineering self-adaptive and self-managing systems, including:
- Foundational Concepts
- Self-* properties
- Uncertainty
- Runtime models and variability
- Mixed-initiative and human-in-the-loop/human-on-the-loop
- Ethical challenges
- Adaptation vs Evolution
- Engineering Strategies
- AI and machine learning
- Automatic synthesis techniques
- Control theory
- Search-based techniques
- Model checking
- Simulation and digital twins
- Human-centred software development
- Engineering Activities
- Domain/environment analysis
- Requirements elicitation
- Security and privacy
- Architecture and design
- Testing and assurances
- Automated maintenance
- Systematic reuse
- Processes and methodologies
- Self-adaptation for software engineering
- Languages
- Formal notations for self-* properties
- Domain-specific languages
- Programming language support
Application areas and domains include but are not limited to the industrial Internet of things, cyber-physical systems, cloud/fog/edge computing, bioengineering, robotics, smart environments, smart user interfaces, web applications, and automotive.
Types of Papers
We solicit three types of papers:
- Research papers
10 pages of content + 2 pages of references
: papers offering novel and mature research contributions and experiences gained from applying or evaluating research results in practice. - Short papers
6 pages of content + 1 page of references
: papers presenting ongoing research or new research ideas without a complete evaluation. - Community debate
2 pages, possibly with a supporting video
: Participants from industry and academia who would like to participate in the SEAMS 2024 community debate are strongly encouraged to submit a short position paper on the statement: “Should the adaptive software systems community re-visit bio-inspired algorithms given advances in ML and more general research attention on bio-diversity and sustainability?" A submission should clearly take a position in favor or against the statement and support this position with arguments.
For additional information on how to submit papers to SEAMS 2024, please see the Submission section. Besides research papers, the SEAMS organizers encourage the submission of artifacts. Artifacts can be associated with research papers, or they can be standalone contributions. For both options, artifacts should be submitted to the artifact track.
Review Criteria
Each paper submitted to the Research Track will be reviewed by at least three PC members. The evaluation will be based on the following criteria:
- Novelty and Originality
- Relevance and Impact
- Soundness and Verifiability
- Presentation and Readability
Submission
SUBMISSION LINK: Abstracts and papers must be submitted via HotCRP: https://seams24.hotcrp.com/.
Submission and Important Dates
SEAMS 2024 will use two submission rounds for the Research Track, with firm deadlines in October 2023 and January 2024, and with the possibility of submitting a revised version from the first round to the second as detailed below.
First Submission Round
- Abstract deadline: 29 September 2023
- Paper submission due: 6 October 2023
- Notification of decision (
Accept
/Revision
/Reject
) to authors: 10 November 2023- Submissions with
Accept
decisions: Final paper files (camera-ready copy) due: 28 January 2024 - Submissions with
Revision
decisions: Submit a revised version along with a response letter to the reviews by 15 December 2023 (see Second submission round). - Submissions with
Reject
decisions: Final decision, authors of the rejected papers from the first round may not submit the same paper again in the second round. Submitting a new paper in the second round is possible (see explanation below).
- Submissions with
Second submission round
- Abstract deadline for new submissions: 8 December 2023
- Paper, new and revised 1st papers submission due: 15 December 2023
- Notification of decision (
Accept
/Reject
): 12 January 2024 - Final paper for new and revised submissions (camera-ready copy) due: 28 January 2024
The round 2 submission of a new paper that tackles the same or a similar problem relevant to SEAMS in a way that shares commonalities with a rejected round 1 paper is not restricted. Such a submission would be handled as an independent paper, although you need to consider the fact that the PC members who reviewed your round 1 paper may also bid to review your round 2 submission.
Author Responses
Authors of papers that receive “Revision” decisions in the first round will have the opportunity to submit a revised version of their papers to the second round. The authors are required to provide a response letter that (1) explains how the comments have been tackled, (2) provides answers to the questions posed by reviewers.
Paper Submission
- The paper format of SEAMS 2024 must follow the ACM formatting guidelines, see also http://www.acm.org/publications/proceedings-template for both Latex and Word users. LaTEX users must use the provided acmart.cls and ACM-Reference-Format.bst without modification, enable the conference format in the preamble of the document (i.e.
\documentclass[sigconf,review]{acmart}
), and use the ACM reference format for the bibliography (i.e.,\bibliographystyle{ACM-Reference-Format}
). - The SEAMS 2024 Research Track will use a lightweight double-blind review process. No submission may reveal its authors’ identities. In particular:
- Authors’ names must be omitted from the submission.
- All references to the author’s prior work should be in the third person.
- While authors have the right to upload preprints on ArXiV or similar sites, they must avoid specifying that the manuscript was submitted to SEAMS 2024.
- During review, authors should not publicly use the submission title. They should thus use a different paper title for any pre-print in arxiv or similar websites.
- Additional material published online should be anonymized and should not provide references to the paper’s authors. *Accepted full research papers will be allowed one extra page for the main text of the camera-ready version. The purchase of additional pages in the proceedings is not allowed.
- By submitting to SEAMS, authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism and the IEEE Plagiarism FAQ. In particular, papers submitted to SEAMS 2024 must not have been published elsewhere and must not be under review or submitted for review elsewhere whilst under consideration for SEAMS 2024. Contravention of this concurrent submission policy will be deemed a serious breach of scientific ethics, and appropriate action will be taken in all such cases. To check for double submission and plagiarism issues, the chairs reserve the right to (1) share the list of submissions with the PC Chairs of other conferences with overlapping review periods and (2) use external plagiarism detection software, under contract to the ACM or IEEE, to detect violations of these policies.
Notification and Publication
Accepted papers will appear in the SEAMS 2024 proceedings that will be published in the IEEE and ACM digital libraries. The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of ICSE 2024. The official publication date affects the deadline for any patent filings related to published work. Authors of selected Research papers will be invited to submit revised and extended versions of their work to a dedicated Special Issue of ACM Transactions on Autonomous and Adaptive Systems (TAAS).
Awards
SEAMS delivers the following awards to Research papers:
- Best paper
- Best student paper