Conférences  >  Informatique  >  Génie logiciel  >  Chypre

University of Cyprus

TASE 2025 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies.

Tél.: [+357-22-892693];     Email.: george@ucy.ac.cy

Software engineering, including: ■ Software processes and workflows ■ Software architectures and design ■ Software product lines ■ Requirements engineering ■ Model-driven software engineering ■ Software testing and quality assurance ■ Software safety, security and reliability ■ Reverse engineering and software maintenance ■ Component-based software engineering ■ Feature-oriented programming ■ Program synthesis ■ Use of AI and large language models in software engineering Formal methods and theoretical computer science, including: ■ Deductive verification ■ Model checking ■ Theorem proving, decision procedures, SAT and SMT ■ Specification languages ■ Program logics and calculi ■ Formal languages and automata theory ■ Run-time verification and monitoring ■ Integration of formal methods ■ Formal methods for AI systems, and vice versa Programming language design and technology, including: ■ Formal semantics ■ Abstract interpretation and program analysis ■ Language paradigms, including object-oriented, functional, declarative, etc. ■ Type systems and behavioral typing ■ Compiler design ■ Domain-specific languages Tools and application areas, including: ■ Software tools putting theory into practice ■ Cyber-physical, embedded, and real-time systems ■ Distributed and concurrent systems ■ Semantic web and web services ■ Service-oriented programming and cloud computing ■ Quantum circuits and programs ■ Cryptographic algorithm

SEIT Lab, Department of Computer Science, University of Cyprus

The European Conference on Software Architecture (ECSA) is the premier European software

architecture conference, providing researchers, practitioners, and educators with a platform to

present and discuss the most recent, innovative, and significant findings and experiences in the

field of software architecture research and practice. The 19th European Conference on Software

Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as

an in-person conference taking place in the beautiful city of Limassol (Cyprus).

Tél.: [+357-22-892693];     Email.: george@ucy.ac.cy

*** Call for Paper Submission and Workshop Proposals *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 (*** Proceedings to be published by Springer in LNCS ***) The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The 19th European Conference on Software Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as an in-person conference taking place in the beautiful city of Limassol (Cyprus). SCOPE The theme for ECSA 2025 is “impactful software architecture”. The software architecture discipline has had a critical role in shaping robust, scalable, and maintainable systems. We are interested in learning about software architecture principles and practices, emergence trends and case studies highlighting strategic architectural choices that can lead to enhanced performance, improved collaboration, and long-term sustainability. The overarching question is how these architectural principles and practices, both well-established and emerging, are making an impact in real-world systems, and how that impact is being felt across various domains, from enterprise systems to more novel areas like, e.g., AI-driven or autonomous applications? The Program Committee of the 19th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research; new methods, approaches, and processes; novel applications; education and training in software architecture; and experience reports on all topics related to software architecture. We particularly encourage papers that demonstrate that diversity in gender, culture, religion, country, etc. are key factors for success and innovation in software architecture. Topics of interest include, but are not limited to: • Foundational principles of software architecture • Relationship of requirements engineering and software architecture • Quality attributes and software architectures • Architecture practices for secure, explainable, and trustworthy software • Architecture design and analysis • Architecture description languages and meta-models • Architecture verification and validation • Management of architectural knowledge, decisions, and rationale • Architecture patterns, styles, and tactics; reference architectures • Architecture viewpoints and views • Architecture conformance • Software architecture virtualization and visualization • Architecture-centric process models and frameworks • Software architecture and agile, incremental, iterative, and continuous development • Component-based models and deployment; middleware • Software architecture and system architecture • Software tools and environments for architecture-centric software engineering • Ethics, cultural, economic, business, social, human, and managerial aspects of software architecture • Architecture and technical debt • Architecting for sustainable and environment friendly systems • Applying AI and LLMs in software architecture and architecting for AI and LLM intensive systems • Software architecture education • Cross-disciplinary approaches to software architecture • Architectures for reconfigurable and self-adaptive systems • Architectural concerns of autonomic systems • Software architecture applied to new and emerging areas, such as the cloud/edge, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems-of-systems, energy- aware software, quantum computing, AI-enabled systems • Empirical studies, systematic literature reviews, and mapping studies in software architecture • Diversity, equity, and inclusion in activities related to software architecture PAPER SUBMISSIONS ECSA 2025 seeks four types of papers for the research track: • Research papers (max. 16 pages in LNCS style) which describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated) • Education and training papers (max. 16 pages in LNCS style) that address methodologies, experiences and best practices for teaching and training software architecture • Experience reports (max. 16 pages in LNCS style) that cover innovative implementations, novel applications, insightful performance results and experience in applying software architecture research advances to practical situations and systems • Short papers (max. 8 pages in LNCS style) that present novel and preliminary work-in- progress or challenges in a topic of software architecture research, education, and training. Submissions must have a sound basis, but not necessarily be validated in full. All submitted papers will undergo a rigorous double-blind peer review process. Papers will be selected based on originality, quality, soundness, and relevance. All contributions must be original, not published, accepted, or submitted for publication elsewhere. Contravention of this concurrent submission policy will be deemed a serious breach of ethics, and appropriate action will be taken in all such cases. Plagiarism checking will be conducted and any paper reporting more than a 20% match with published work will be desk-rejected. To note is that research papers, education and training papers, and experience reports that are rejected in their categories may be re-evaluated as short papers only if the committee decides on rejection of the full paper on the basis that it presents preliminary work. The research track of ECSA 2025 supports an Open Science policy. We encourage all contributing authors to disclose (anonymized and curated) data/artifacts to increase reproducibility. Note that sharing research artifacts is not mandatory for submission or acceptance. Upon submission to the research track, authors are required: • To make their artifacts available to the program committee (via a link to an anonymous repository) and provide instructions on how to access this data in the paper; or • To include in the paper an explanation as to why this is not possible or desirable; and • To indicate why they do not intend to make their data or study materials publicly available upon acceptance, if that is the case While sharing research artifacts is not mandatory for submission or acceptance, authors are required to include a Data Availability statement after the Conclusions section in a section named "Data Availability". This statement should explain whether or not data and/or artifacts are available or how they could be accessed (or not). Upon acceptance, papers with Open Science artifacts (e.g., data, tools, etc.) will be invited to upload their artifacts into the ECSA Zenodo community (https://zenodo.org/communities/ecsa) to make them accessible and visible to the ECSA community. Sharing artifacts via the ECSA Zenodo community is required for authors to be eligible for the best Open Artifact award. All contributions must be formatted according to the Springer LNCS style http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Page limits include figures and references. Contributions need to be submitted in PDF format via EasyChair to the ECSA 2025 Research Track: https://easychair.org/conferences/?conf=ecsa2025. Please select the “Research Track” in EasyChair for your submission and click "Continue". The proceedings will be published by Springer as part of the LNCS series. We also plan to organize a Journal Special Issue on the theme of ECSA 2025 and to invite authors of selected papers to submit an extended version of their research. WORKSHOP PROPOSAL SUBMISSIONS Researchers and practitioners are invited to submit proposals for workshops and tutorials held in conjunction with ECSA 2025. Workshops and tutorials will be held on September 15-16, 2025 (right before the main conference on September 17-19, 2025). ECSA workshops allow researchers and practitioners to exchange and explore innovative software architecture (scientific or engineering) ideas and challenges at an early stage. Topics of interest are, but are not limited to: • Software Architecture challenges for AI- and ML-based Systems • Software Architecture challenges for Self-Adaptive Systems • Software Architecture challenges for Cyber-Physical Systems • Software Architecture challenges in Big Data and Cloud Computing • Software Architecture challenges in IoT-based Systems • Software Architecture challenges in DevOps and MLOps • Software Architecture challenges in Blockchain Engineering • Software Architecture challenges in Quantum Software • Quality-of-service (QoS) measurements of Software Architectures • Privacy and Security in Software Architectural Design • Context-aware, Autonomous, and Smart Architectures • Sustainability in Software Architectures • Software Architecture Erosion and Architectural Consistency • Technical Debt in Software Architecture Design • Architecting the Digital Twin • Continuous Architecting • Agile Software Architecting • Human Aspects of Software Architecting • Software Architecture Assessment • AI assisted Software Architecting • Agile Modeling All proposals must conform to a maximum of 8 pages following the LNCS format (see below), including references, appendices, and figures. The proposal must include the following information in the order specified: • Workshop title and acronym • Contact information for the workshop organizers (name, affiliation, email) and the main contact • Abstract (up to 200 words) for the ECSA 2025 website (if the workshop is accepted) • Motivation and Objectives ○ Relevance of the workshop to the field of software architecture ○ Anticipated goals and outcomes (e.g., open research problems to pursue, validation objectives, empirical studies) • Format ○ Workshop format (e.g., paper presentations, keynotes, breakout sessions, panel-like discussions) and plans for generating discussions ○ Duration - half day, one day or two days ○ Preliminary workshop schedule ○ Special services, logistic and/or equipment constraints • Participation ○ Target Audience and expected background ○ Plans regarding the mix of industry and research participation ○ Expected minimum and maximum number of workshop participants ○ Plans for participant solicitation and dissemination • Submission ○ Types of contributions (e.g., extended abstracts, position papers, research papers, etc.) and their estimated number. ○ Review and evaluation process deciding about the acceptance of submissions ○ Program committee, including tentative and already committed members ○ Strategy for the proceedings • Organizers ○ Brief description of each organizer’s background, including relevant past experience in organizing conferences and workshops ○ Brief organizers’ bios • Previous editions ○ Where and when the workshop has been offered previously, the past numbers of submitted and accepted papers, numbers of attendees ○ Number of registered attendees and websites of previous editions (if any) • Draft Call-for-Papers (1 page) Submissions must follow the LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). All proposals should be submitted before the submission deadline (see below) using the online submission site: EasyChair ECSA 2025 Workshop track (https://easychair.org/conferences/?conf=ecsa2025). ECSA 2025 will use a single review process for workshop proceedings. For accepted papers, the minimum number of pages for each workshop paper is 8 and the maximum is 16 pages in the LNCS format. The proceedings of the workshops will be published by Springer in the LNCS series. IMPORTANT DATES Main Conference • Abstract submission: March 14, 2025 • Paper submission: March 21, 2025 • Notification: May 9, 2025 • Camera-ready paper: June 23, 2025 Workshops • Workshop proposals: February 15, 2025 • Workshop proposals notification: March 7, 2025 • Workshop papers abstracts: May 12, 2025 • Workshop papers submission: May 19, 2025 • Workshop papers notification: June 20, 2025 • Workshop papers camera-ready: June 27, 2025 • Workshop dates: September 15-16, 2025 Early/Author registration for all accepted contributions: June 27, 2025 All dates are 23:59h AoE (Anywhere on Earth). ORGANISATION General Chairs • Cesare Pautasso, University of Lugano, Switzerland • Vasilios Andrikopoulos, University of Groeningen, The Netherlands Program Co-Chairs • Nour Ali, Brunel University London, UK • Jacopo Soldani, University of Pisa, Pisa Workshop Co-Chairs • Tommi Mikkonen, University of Jyvaskyla, Finland • Jennifer Perez, Universidad Politécnica de Madrid, Spain

SEIT Lab, Department of Computer Science, University of Cyprus

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.

Tél.: [+35722892693];     Email.: george@ucy.ac.cy

Aspects of testing, Testing new technologies, Diversity on testing, Theoretical approaches, Modelling languages (such as UML, MATLAB, Simulink, Modelica…) and associated tooling for model-based testing, Testing of quality aspects, Security Testing, Cross domains and combination of techniques, Application aspects and case studies.