Stray announcements?

_announce/2024-11-07-stafsle_2025.txt

@@ -0,0 +1,116 @@
+---
+title: "STAF/SLE 2025: Call for Workshop Proposals"
+timestamp: "11/7/2024 17:32:59"
+deadline: "1/31/2025"
+---
+STAF/SLE 2025 – Call for Workshop Proposals
+
+10-13 June 2025
+Koblenz, Germany 
+
+https://conf.researchr.org/home/staf-2025
+
+------------------------------------------------------------------------
+
+Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies which runs annually; the conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, formal approaches to modelling and verification, transformation, model-driven engineering, aspect-oriented techniques, and tools.
+
+The Software Language Engineering Conference (SLE), in its 18th edition of the SLE conference, SLE 2025, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events.
+
+The workshops at STAF/SLE will provide a collaborative forum for groups of typically 15 to 35 participants to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. They are intended as a forum for lively discussion on innovative ideas, recent progress, or practical experience on specific aspects, specific problems, or domain-specific needs. Each workshop should provide a balanced distribution of its time for both presentation of papers and discussions. We encourage prospective workshop organisers to submit proposals for highly-interactive workshops. Both research-oriented and applied topics are welcome. The duration of each workshop is either a half or a full day.
+
+
+---------------------------
+Important Dates
+---------------------------
+
+* 15 December 2024: Workshop proposal submission deadline  
+* 03 January 2025: Notification of acceptance of workshop proposals  
+* 31 January 2025: Workshop websites incl. CFP up and running on researchr.org  
+* 9 May 2025: Workshop program online on researchr.org.  
+* 9 May 2025: Early-registration deadline
+
+Please note:
+
+* Early submissions are very much encouraged.  
+* Late submissions all the way into January will be considered.  
+* Accepted workshops are published on the STAF/SLE website, as they are confirmed.
+
+
+---------------------------
+Topics of Interest
+---------------------------
+
+Workshops that had successful editions at past STAF or SLE instances or friend conferences are particularly encouraged to meet again at STAF/SLE 2025 in Koblenz. All workshop proposals should relate in some ways to software technologies and languages. In the 2025 instance, we would like to emphasise specifically and thus attract new workshops related to:
+
+* The impact of AI on software technologies and languages in research and education  
+* Digital twins modelling and engineering  
+* The utility that software technologies and languages can bring to AI  
+* Demanding application domains of AI such healthcare, robotics, and CPS  
+* The impact of AI on security and privacy aspects of software systems  
+* New trends and technologies for data spaces and trusted data sharing  
+* Sustainable software engineering  
+* Model-based techniques and tools to assure software quality
+
+
+---------------------------
+Workshop Proposal Preparation Guidelines
+---------------------------
+
+Workshop proposals should contain the following information:
+
+* Workshop title
+* Organisers and primary contact (name/affiliation/email)  
+* Abstract (200 words), intended for the STAF/SLE 2025 website  
+* Desired length of the workshop (half day or full day)  
+* Brief blurb on motivation / objectives / intended audience
+* Brief hint at the relevance to the STAF/SLE community  
+* Previous events (if any) including the following information:   
+   * A link to the website
+   * The number of submitted and accepted papers
+   * The number of attendees
+* Brief indication of past experience of organisers  
+* Workshop Format – any sort of summary touching upon aspects as follows:  
+   * Paper formats (number of pages; types of papers)  
+   * Paper evaluation process and intended form of publication  
+   * Numbers of presentation; use of keynotes, panels et al.  
+   * Specific requirements (e.g., equipment, room capacity)
+
+
+---------------------------
+Workshop Support
+---------------------------
+
+* Workshops can host their content (call, program, etc.) via researchr.org.  
+* Workshops can leverage EasyChair for the submission and review process.  
+* Local organisation is taken care of.
+
+
+---------------------------
+Accepted Workshop Requirements
+---------------------------
+
+* See “Important Dates” for the workshop website (incl. CFP) and program.  
+* All participants, including all present 1+ workshop organisers, 0+ keynote speakers, and 0+ invited guests must register at least for the workshop day.  
+* 1+ workshop organiser must be present during the full duration of the workshop.  
+* The STAF/SLE organization committee will decide the actual dates of workshops.  
+* There will be a joint volume of proceedings for the STAF 2025 satellite and co-located events. Alternatively, organisers can choose to publish the proceedings independently.
+
+
+---------------------------
+Proposal Submission
+---------------------------
+
+Proposals and inquiries are to be submitted to the workshop chair; see “Contact”.
+
+---------------------------
+Contact
+---------------------------
+
+For further information, please contact:
+
+* the workshop chair Amir Shayan Ahmadian (ahmadian@uni-koblenz.de)
+   * for all concerns regarding workshop proposals and organization,  
+* the general chair Ralf Lämmel (laemmel@uni-koblenz.de)
+   * for general STAF/SLE 2025 concerns
+
+In particular, please, submit workshop proposals to the workshop chair.

_announce/2024-11-08-ictss_2025.txt

@@ -0,0 +1,135 @@
+---
+title: "37th International Conference on Testing Software and Systems (ICTSS 2025): Call for Papers"
+timestamp: "11/8/2024 9:26:10"
+deadline: "5/19/2025"
+---
+*** Call for Papers ***
+
+37th International Conference on Testing Software and Systems (ICTSS 2025)
+
+September 17-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
+
+https://conf.researchr.org/home/ictss-2025
+
+(*** Proceedings to be published by Springer in LNCS ***)
+
+
+IFIP-ICTSS is a well-established conference where researchers, developers, testers, and users
+from industry get together to present and discuss the most recent innovations, experiences
+and open challenges related to testing software and systems and measuring software quality. 
+
+Topics of interest include, but are not limited to:
+
+■ Aspects of testing: test derivation, test selection, test generation, test coverage, test
+concretization, test implementation and execution, test result analysis, test oracle, verdict
+computation, test management, active testing and passive testing, monitoring and runtime
+verification.
+
+■ Testing new technologies: this year we encourage submissions focused on testing Large
+Language Models (LLMs), audit machine learning systems (especially for applications to Health) 
+and Quantum systems (programs, computers, and simulators).
+
+■ Diversity on testing: diverse generation, selecting diverse test suites, foundations of testing 
+and diversity, applications of entropy and Kolmogorov complexity on test suite diversity.
+
+■ Theoretical approaches: formalisms (such as automata, state machines, process algebra, 
+logics, Markov-chains…), testing frameworks, results for compositionality, refinement, 
+soundness and completeness, addressing complex systems, heterogeneous or hybrid systems.
+
+■ Modelling languages (such as UML, MATLAB, Simulink, Modelica…) and associated
+tooling for model-based testing: test generation from models, model-based oracles. 
+Scalability, traceability, quantification issues. Automated support of any parts of the testing 
+activities, testing processes, test-driven development, sound metrics and measurements.
+
+■ Testing of quality aspects: Functional, interoperability, unit, integration, performance, load, 
+conformance, non-regression, reliability, robustness.
+
+■ Security Testing: methodologies and techniques for continuous security assessment, security
+monitoring, security review, penetration testing, verification of certification compliance; 
+automation of security testing processes.
+
+■ Cross domains and combination of techniques: using other techniques such as proof,
+model-checking, symbolic execution, abstract interpretation, static analysis, simulation, model 
+learning, machine learning, expert systems, neural networks, genetic algorithms… to improve 
+quality and reduce the effort in testing processes.
+
+■ Application aspects and case studies: Communicating systems such as cyberphysical 
+systems, systems of systems, embedded systems, web services systems, smart grids, cloud 
+computing systems, business information systems, real-time systems, distributed and
+concurrent systems. Case studies and industrial applications involving qualified empirical 
+evaluations.
+
+
+IFIP-ICTSS Invites:
+
+Full papers (12 to 15 pages plus at most 2 extra pages for references in the one-column 
+Springer LNCS format) describing original research contributions with sufficient evidence for
+the interest of the proposed approach.
+
+Industry papers (12 to 15 pages plus at most 2 extra pages for references in the one-column
+Springer LNCS format) describing original research or experience report conducted within an
+industrial environment or in collaboration with an industry partner.
+
+Short papers or work-in-progress papers (up to 6 pages plus at most 1 extra page for
+references in the one-column Springer LNCS format) describing academic work in progress or 
+tool implementations, as well as testing processes, achievements and feedback on testing 
+methods for industrial case studies.
+
+Journal-First. The aim of the Journal-First (JF) submission category is to further enrich the
+program of ICTSS, as well as to provide an overall more flexible path to publication and 
+dissemination of original research that is within the scope of ICTSS. A submission in this 
+category must adhere to the following criteria:
+■ It should be clearly within the scope of the conference.
+■ It should be recent: it should have been accepted and made publicly available in a journal 
+(online or in print) by January 1, 2023 or more recently.
+■ It has not been presented at, and is not under consideration for, Journal- First tracks of other
+conferences or workshops.
+■ The submission has to be in the form of a 4-page extended abstract and has to provide a
+concise summary of the published journal paper.
+■ It must be marked as such in the submission’s, and must explicitly include full bibliographic
+details (including a DOI) of the journal publication they are based on. Since the referenced 
+journal papers have already been reviewed and accepted by the corresponding journals, 
+submissions in the JF category will not be reviewed again for technical content. Submissions will
+be judged on the basis of the above criteria, but also considering how well they would 
+complement the conference’s technical program. Accepted submissions in this category will be
+part of the proceedings of ICTSS 2025, with the title equal to the original title of the article with
+the prefix.
+
+The submission link is: https://easychair.org/my/conference?conf=ictss2025
+
+The papers will be published by Springer in the LNCS volume.
+
+Authors should consult Springer’s Instructions for Authors of Proceedings
+(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
+and use either the LaTeX or the Word templates provided on the authors’ page. Springer’s 
+proceedings LaTeX templates are available in Overleaf.
+
+Authors are encouraged to include their ORCIDs in their papers.
+
+
+Journal Special Issue
+
+Best papers of the conference will be invited to submit an extended version of their article at a
+special (topical) issue of the Springer Nature of Computer Science
+(https://link.springer.com/journal/42979). Deadline will be near the end of December 2025
+with a tentative publication date for the middle 2026.
+
+
+Collocation
+
+ICTSS 2025 will be collocated with the 19th European Conference on Software Architecture
+(https://conf.researchr.org/home/ecsa-2025).
+
+IMPORTANT DATES
+
+■ Paper Submission: May 19, 2025 (AoE)
+■ Author Notification: June 30, 2025 (AoE)
+■ Camera-ready Versions and Author Registration: July 14, 2025 (AoE)
+
+
+ORGANISATION
+
+Conference Chairs
+■ Silvia Bonfanti, University of Bergamo, Italy
+■ George A. Papadopoulos, University of Cyprus, Cyprus
+