From sauer at uni-paderborn.de Wed Apr 1 12:23:04 2026 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Wed, 1 Apr 2026 12:23:04 +0200 Subject: [fg-arc] Call for Papers - IEEE VL/HCC 2026 - Paderborn, Germany (Sep 29 - Oct 2) Message-ID: <440bbf40-0dd7-46d4-bcdd-50d1e13c3d61@uni-paderborn.de> We apologize if you receive multiple copies of this Call for Papers. ========== Call for Papers: *IEEE Symposium on Visual Languages and Human-Centric Computing 2026 (VL/HCC)* 29 September - 2 October 2026 Paderborn, Germany https://conf.researchr.org/home/vlhcc-2026 ---------- The IEEE Symposium on Visual Languages and Human-Centric Computing is the premier international forum for research on this topic. Established in 1984, the mission of the conference is to support the design, theory, application, and evaluation of computing technologies and languages for programming, modeling, and communicating, which are easier to learn, use, and understand by people. The 2026 symposium is scheduled to take place in October 2026 in Paderborn, Germany. VL/HCC 2026 is sponsored by IEEE Computer Society Technical Committee on Multimedia Computing (TCMC). IEEE VL/HCC 2026 will be co-located with the *IFIP 11th International Working Conference on Human-Centered Software Engineering (HCSE 2026)*. Visit https://conf.researchr.org/home/hcse-2026 for details. *Important Dates:* - Abstracts only: Friday, April 24, 2026 - Submission deadline: Friday, May 1, 2026 - Reviews sent to authors: Monday, June 15, 2026 - Rebuttal phase: Monday, June 15 - Sunday, June 21, 2026 - Notification: Friday, July 3, 2026 - Camera-ready: Friday, July 24, 2026 - Conference: Tuesday, September 29 - Friday, October 2, 2026 All deadlines are AoE. ========== *Scope and Topics* We solicit original, unpublished research papers on computing technologies and languages for modeling, programming, and reasoning, which are somehow “better” (e.g., easier, faster, more effective, …) to learn, use or understand by humans than the current state-of-the-art. Papers should focus on efforts to design, formalize, implement, or evaluate those technologies and languages. This includes technologies and languages intended for wide audience groups (e.g., professional or novice programmers, or the public) or domain-specific audiences (e.g., people working in business administration, production environments, healthcare, urban design or scientific domains). Empirical papers that validate current proposed solutions or expand our understanding of users via rigorous scientific means (i.e., empirical studies, controlled experiments, rigorous case studies, etc.) are also welcome. Areas of interest include, but are not limited to: - Visual languages: Novel visual languages; design, evaluation, and theory of visual languages and application; development of systems for manipulating and interacting with diagrammatic representations - Human aspects and psychology of software development and language design, such as supporting inclusion and diversity in programming - End-user development, adaptation and programming; Creation and evaluation of technologies and infrastructures for end-user development - Representations: Novel representations and user interfaces for expressing computation; Software, algorithm and data visualization - Modeling: Model-driven development; Domain-specific languages, including modeling languages; Visual modeling of human behavior and socio-technical systems - Thinking more deeply about code: Debugging, program comprehension, code review (including AI-generated code) - Programming for AI/ML: Novel languages and tools for programming AI models; Debugging, comprehending, reviewing and maintaining AI model code - Human-AI Collaboration: Human-centric AI-based tools, modeling end-user interactions with AI powered tools; Explainable AI - Low-Code/No-Code paradigm: Approaches for creation and deployment of fully functional applications using visual abstractions and interfaces - Education and Computational thinking: Using or teaching human-centric languages & systems in education, educator and student perspectives If you are not sure if your paper is a good fit for VL/HCC, feel free to email the PC Co-chairs (see “Contact” below). We welcome those new to the VL/HCC community to submit! *Special Emphasis for 2026: Human-centricity in the Era of Generative AI* Generative AI has lowered the barrier to new skills and capabilities, fundamentally altering how people interact and work with technology. In this special theme, we encourage submissions about how human-centric computing adapts to the new technological landscape. This comprises changes to notions of programming, interactivity, creativity, labor, motivation, including for populations traditionally underincluded in human-centric research in VL/HCC topics (e.g., non-Western, people with disabilities). *Paper Submissions* We invite two kinds of papers: - full-length papers, up to 10 pages - plus unlimited additional pages containing only references and/or acknowledgements - short papers, up to 5 pages - plus unlimited additional pages containing only references and/or acknowledgements All accepted papers, whether full or short, should be complete, self-contained, archival contributions. Contributions from full papers are more extensive than those from short papers. Papers do not have to reach the maximum page limit, but they should be of an appropriate length for the content. Note that some full paper submissions may be accepted as short papers if reviewers deem contributions to be comparable in size to a short paper. Papers could be research findings, industry experience reports, replication studies, or well-researched vision papers. Please select the appropriate page length for the content of your paper. Papers must be submitted using the IEEE two-column conference paper format. Be sure to use the current IEEE conference paper format (which was updated in 2019), and to select the “US letter” template (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Papers should be submitted via the EasyChair system: https://easychair.org/conferences/?conf=vlhcc2026. To facilitate the assigning of papers to reviewers, authors should submit paper abstracts via EasyChair at least 1 week prior to the paper submission deadline (see Important Dates below). The abstract must be no longer than 250 words. All submissions will be reviewed by members of the Program Committee in a double-anonymous review process. Authors will then receive the reviews for their submissions and will be able to answer them in a rebuttal phase. Only after this step will the PC make a final decision about the acceptance of the submissions. Submissions and reviews for the technical program are managed with EasyChair. At least one author of each accepted paper is required to register for VL/HCC 2026 and present the paper at the conference. IEEE reserves the right to exclude a paper from distribution after the conference, including IEEE Xplore Digital Library, if the paper is not presented by the author at the conference. The proceedings of IEEE VL/HCC are published in digital form by the IEEE Computer Science Society and archived in the IEEE Digital Library with an official ISBN number. Accepted papers will be available to conference attendees via the IEEE Open Preview program in the IEEE Xplore Digital Library (http://ieeexplore.ieee.org/). *Double-Anonymous Reviewing* We follow a double-anonymous reviewing process. Both authors and reviewers are expected to make every effort to honor the double-anonymous reviewing process. In case of questions, please contact the Program Chairs. Authors should ensure that the submission can be evaluated without it being obvious who wrote the paper. This means leaving author names off the paper and using terms like “previous research” rather than “our previous research” when describing background. However, do not hide previous work – papers must still reference all relevant research using full (non-anonymized) citations, including the author’s own prior work, so that reviewers can evaluate novelty. Please reference your own prior work in the third-person just like you would do for any other related work (e.g., avoid “As described in our previous work [10], … ” and instead write something like “As described by [10], …”). It is also important that authors specify all conflicts of interest with potential reviewers during the submission phase. Reviewers should not undertake any investigation that might lead to the revealing of authors’ identity. If identities are inadvertently revealed, please contact the Program Chairs. The Program Chairs will check all submissions for obvious signs of lack of anonymity and may ask authors to make changes and resubmit the paper within three days of the submission deadline. Only changes to resolve anonymity issues will be permitted. *Evaluation and Justification* Papers are expected to support their claims with appropriate evidence. For example, a paper that claims to improve programmer productivity is expected to demonstrate improved productivity; a paper that claims to be easier to use should demonstrate increased ease of use. However, not all claims necessarily need to be supported with empirical evidence or studies with people. For example, a paper that claims to make something feasible that was clearly infeasible might substantiate its claim through the existence of a functioning prototype. Moreover, there are many alternatives to empirical evidence that may be appropriate for justifying claims, including analytical methods, formal arguments or case studies. Given this criterion, we encourage potential authors to think carefully about what claims their submission makes and what evidence would adequately support these claims. Replication papers will be evaluated on their own merit in terms of methods used, findings discussed and comparison to original studies in terms of different context or use of different methods. Vision papers should make a case for future needs and research directions in VL and/or HCC community interest areas within a timeline of the next 5 to 10 years. Industrial experience reports with VL and/or HCC topics should describe context, lessons learned (positive or negative), and recommendations for research and practice as appropriate. We expect short papers to have less comprehensive evaluation than full-length papers, and may have less technical detail, but sufficient to make the case for the contribution. New ideas and early research results would be expected to use a short paper format. *Adhering to IEEE Guidelines* Please be sure that your submission follows the IEEE requirements (https://conferences.ieeeauthorcenter.ieee.org/author-ethics/guidelines-and-policies/submission-policies/). Especially around Human Subject approvals and use of Generative AI: *Research on Human and Animal Subjects* Excerpted from the IEEE Publication Services and Products Board (PSPB) Operations Manual, sections 8.1.1.E. Also see section 8.2.1.B.6. Authors of articles reporting on research involving human subjects or animals, including but extending beyond medical research, shall include a statement in the article that the research was performed under the oversight of an institutional review board or equivalent local/regional body, including the official name of the IRB/ethics committee, or include an explanation as to why such a review was not conducted. For research involving human subjects, authors shall also report that consent from the human subjects in the research was obtained or explain why consent was not obtained. *Guidelines for Artificial Intelligence (AI)-Generated Text* The use of content generated by artificial intelligence (AI) in a paper (including but not limited to text, figures, images, and code) shall be disclosed in the acknowledgments section of any paper submitted to an IEEE publication. The AI system used shall be identified, and specific sections of the paper that use AI-generated content shall be identified and accompanied by a brief explanation regarding the level at which the AI system was used to generate the content. The use of AI systems for editing and grammar enhancement is common practice and, as such, is generally outside the intent of the above policy. In this case, disclosure as noted above is recommended. *Adhering to Other VL/HCC Policies* The organizers of VL/HCC 2026 commit that reviews shall be free of bias based on nationality, religious or political beliefs, gender or other demographic characteristics, or conflicts of interest. Instead, reviewers must provide a fair and honest review and publication decision based on the submitted work’s quality, relevance, importance, and/or other appropriate criteria as listed in the call-for-submissions. *Important Dates (AoE)* - Abstracts only: Friday, April 24, 2026 - Submission deadline: Friday, May 1, 2026 - Reviews sent to authors: Monday, June 15, 2026 - Rebuttal phase: Monday, June 15 - Sunday, June 21, 2026 - Notification: Friday, July 3, 2026 - Camera-ready: Friday, July 24, 2026 - Conference: Tuesday, September 29 - Friday, October 2, 2026 *Contact* - David Piorkowski (Alinia, USA, david at alinia.ai) - Sruti Srinivasa Ragavan (IIT Kanpur, India, srutis at iitk.ac.in) From sauer at uni-paderborn.de Thu Apr 2 17:55:54 2026 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Thu, 2 Apr 2026 17:55:54 +0200 Subject: [fg-arc] Call for Papers - HCSE 2026 - Paderborn, Germany (Sep 29 - Oct 2) Message-ID: <452b1f2a-4c2e-439f-bba4-727fca73b536@uni-paderborn.de> *(Apologies if you receive multiple e-mails on this subject via different channels!)* *HCSE 2026* *11th International Working Conference on Human-Centered Software Engineering* *Call for Papers* *September 29th to October 2nd, 2026 – Paderborn, Germany* *http://www.hcse-conference.org ** * *HCSE 2026 will be co-located with the 2026 IEEE Symposium on Visual Languages and Human-Centric Computing  (VL/HCC) .* * Submission Dates: Technical Full Papers and Late Breaking Results: Friday, May 8th, 2026 Demos, Posters, and Discussion Forum: Friday, July 3rd, 2026 *About HCSE:* HCSEis a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design . We aim at bringing together researchers and practitionersinterested in strengthening the scientific foundations of interactive system and user interface design, examining the relationship between software engineering, artificial intelligence, and human–computer interaction and on how to strengthen human-centered design as an essential part of software engineering processes. Topics of interest include: * contributions to the theory and best practices of user-centered design * involvement of end-users, clients and stakeholders in the design and development process of interactive systems * socio-technical aspects of interactive software development * innovative methods for identifying end-user requirements for interactive systems * rational design, design patterns, and traceability of design choices * models and model-based approaches for building interactive systems * methods and tools for low-code and no-code development paradigms * end-user development, end-user programming, and end-user software engineering * integration of multiple properties (e.g. usability, (cyber)security, reliability, user experience, privacy, accessibility, etc.) in software development and making them more accessible to developers and users * design and integration of novel interaction techniques such as augmented, virtual, and mixed reality * context-aware and adaptive interactive systems (e.g. in areas such as digital collaboration, digital and worker assistance) * software architectures and architectural patterns for interactive systems * support for new kinds of human–machine interaction (HMI) for increasingly autonomous systems and systems that use or provide artificial intelligence (e.g. autonomous driving or human–robot collaboration) * artificial intelligence and machine learning to support the development of interactive systems * human-centered artificial intelligence * human–AI collaboration and development of hybrid intelligence systems Traditionally, HCSE as a working conference invites research papers, late-breaking results, tool demos, and posters. In addition, the Discussion Forum for PhD Students, introduced at HCSE 2024, is an interactive format that allows PhD studentsto present and intensively discuss with established researchers their research ideas and get feedback and/or guidance for the continuation of their work in a friendly and constructive atmosphere. Altogether, HCSE 2026 welcomes the following types of contributions: * Technical Full Papers(up to 20 pages + references) should describe substantial research contributions of novel work that has produced advanced and mature results including proper validation. Submitted contributions have to be anonymized and will be reviewed double-blind. * Late-Breaking Results Papers(up to 12 pages + references) should present work in progress, new practice and experience reports containing good (and bad) practices and/or recent practical evaluations of methods, techniques and tools. Submitted contributions have to be anonymized and will be reviewed double-blind. * Demonstration Papers (5–8 pages + references) should present descriptions of tools including user tasks and evidence of usefulness to end users. Demo submissions should summarize the system’s significance and its performance and should either include screenshots or link to an online-accessible resource. Industry contributions to demos are particularly welcome and highly encouraged. Posters can be displayed with demos at the conference, but are not requested for the submission process. Submitted contributions are not anonymous and will be reviewed single-blind. * Poster Papers(5–8 pages + references, and poster design draft) should present concepts and initial ideas, ongoing work and/or early results. The poster design draft should show the planned design and content of the poster that will be presented at the conference. Industry contributions to posters are particularly welcome and highly encouraged. Submitted contributions are not anonymous and will be reviewed single-blind. * Discussion Forum Papers(5–8 pages + references, and poster design draft) are single-author short papers submitted by PhD students who want to attend the Discussion Forum, describing the suggested topic, accompanied by a poster design draft.  The paper will be discussed at the conference, with the aim of providing helpful and constructive guidance to the PhD students on how to move forward with their research. Submitted contributions are not anonymous and will be reviewed single-blind. Further information on this format can be obtained from the conference website . All accepted papers will appear in the conference proceedings published by Springer in the LNCSseries. Discussion Forum for PhD Students Different from a usual Doctoral Consortium format, the Discussion Forum (DF) is intended to give the possibility to students to receive advice on how to address critical points in their research work, and not on their overall PhD program. The DF will be an open forum during the conference where PhD students, supported by a poster, present shortly their research work and the topic of discussion. The presentation will be followed by timeboxed discussions with a group of attendees. Each poster will be discussed with different discussion groups for up to 90 minutes. PhD students who want to attend have to submit a short paper, describing the suggested topic (5–8 pages + references, and poster design draft). The short paper must include: * The title of the work * The student’s name, university, address, and e-mail address * Name and e-mail address of the dissertation advisor/supervisor * The research area or sub-area of the work * A brief description of their overall PhD research program * A longer description of the specific discussion topic and its relation to HCSE, its criticalities, why it is important, and what the PhD student wants to discuss with the attendees at the DF. Submissions and Reviewing Process All contributions should be submitted via the EasyChairsystem (https://easychair.org/conferences/?conf=hcse2026 ). All submissions will be peer-reviewed for their relevance, originality, technical contribution, and presentation quality by the members of the international program committee. Technical Full Papers and Late Breaking Results Papers will be reviewed double-blind. Demonstrations, Posters, and PhD Student Discussion Forum submissions will be reviewed single-blind. Authors must prepare their submission files accordingly. For Poster and PhD Student Discussion Forum submissions, both paper and poster design draft will be reviewed. It will be possible for the program committee to suggest accepting submissions in other than their original submission categories. Proceedings All accepted papers will appear in the conference proceedings published by Springer. They must be formatted according to the guidelines of the Lecture Notes in Computer Science (LNCS) series of Springer. Authors are requested to prepare submissions as close as possible to final camera-ready versions. Presentations All accepted submissions will be presented at the conference in technical sessions. It will be possible for authors of accepted Technical Full Papers and Late-Breaking Results Papers to give tool demos as well, without submitting additional Demonstration Papers. Important Dates Technical Full and Late-Breaking Results Papers * Submission: Friday, May 8th, 2026 * Notification to authors: Friday, June 26th, 2026 * Camera-ready due: Friday, July 17th, 2026 Demos, Posters and Discussion Forum Papers * Submission: Friday, July 3rd, 2026 * Notification to authors: Friday, July 17th, 2026 * Camera-ready due: Friday, July 24th, 2026 Conference Dates: September 29th – October 2nd, 2026 Organizers General Conference Chair: Stefan Sauer, Paderborn University, Germany Technical Paper Chairs: Carmelo Ardito, Polytechnic University of Bari, Italy Regina Bernhaupt, Eindhoven University of Technology, The Netherlands Thiago Rocha Silva, University of Southern Denmark, Denmark Local Organizers: Stefan Sauer, Paderborn University, Germany Enes Yigitbas, Paderborn University, Germany * -------------- next part -------------- An HTML attachment was scrubbed... URL: From kyrozier at iastate.edu Fri Apr 3 00:53:49 2026 From: kyrozier at iastate.edu (Rozier, Kristin-Yvonne [AER E]) Date: Thu, 2 Apr 2026 22:53:49 +0000 Subject: [fg-arc] FMICS 2026: Last Call for Papers! Message-ID: <42e887b7-0882-4d64-af49-bf8492f1f760@iastate.edu> **********************************************************   Formal Methods for Industrial Critical Systems (FMICS)   31st International Conference, co-located with CONFEST https://confest-2026.github.io/fmics/                  2 - 4 September 2026         University of Liverpool, Liverpool, UK ********************************************************** Theme of the Conference: ----------------------- The aim of the FMICS conference series is to provide a forum for researchers an practitioners who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. FMICS is the ERCIM Working Group conference on Formal Methods for Industrial Critical Systems, and it is the key conference in the intersection of industrial applications and Formal Methods. Topics of Interest: ------------------- We encourage submissions on cross-cutting approaches that bring together formal methods and industrial applications.     * Formal specification, including specification elicitation, validation, debugging, sanity checking, revision, coverage, and explainability.     * Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions.     * Methods, techniques, and tools to support automated analysis, certification, debugging, learning, optimization, and transformation of complex, distributed, real-time, embedded, mobile, and autonomous systems.     * Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues, tool qualification, and certification).     * Transfer to industry and impact of adoption of formal methods on the development process and associated costs in industry. Application of formal methods in standardization and industrial forums. Important Dates: ---------------- Abstract Submission: 10 Apr 2026 Paper Submission:    17 Apr 2026 Paper Notifications:  1 Jun 2026 Camera-ready Papers: 15 Jun 2026 Conference:         2-4 Sep 2026 Submission Details: ------------------- Papers must describe original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial applications. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods), and provide specific motivation for further research and development. Papers should not exceed 15 pages (excluding references) formatted according to the Springer author guidelines LNCS style. Any appendices (beyond the above page limit) might not be considered in the review process. All submissions will be reviewed by at least three members of the Programme Committee, which will make a selection among the submissions based on the novelty, soundness, and applicability of the presented ideas and results. Papers must be written in English and submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences?conf=fmics2026 For all papers with experimental results, we strongly recommend providing reviewers with an artifact that they can use to reproduce results, e.g., via a paper website. ERCIM Award: ------------ As in best FMICS tradition, the paper with the best contributions to Software Science and Technology will be honoured with the EASST ERCIM award. Keynote Speakers: ----------------- Julia Badger, NASA Johnson Space Center, USA Colin O’Halloran, D-RisQ, UK Ezio Bartocci, TU Wien, Austria (Shared CONFEST Keynote) Ichiro Hasuo, National Institute of Informatics, Japan (Shared CONFEST Keynote) Organizers: ----------- Peter Gorm Larsen (Aarhus University, Denmark) Kristin Yvonne Rozier (Iowa State University, USA) Programme Committee: -------------------- Jefferson Andrade, Instituto Federal do Espírito Santo Ramesh Bharadwaj, U.S. Navy John Fitzgerald, Newcastle University John Hatcliff, Kansas State University Joseph Kiniry, Galois, Inc. Tsutomu Kobayashi, Japan Aerospace Exploration Agency (JAXA) Tiziana Margaria, University of Limerick Mieke Massink, CNR-ISTI, Pisa, Italy Stephan Merz, INRIA Nancy Stefan Mitsch, DePaul University Rosemary Monahan, Maynooth University Tomohiro Oda, Software Research Associates, Inc. Claudio Pinello, Collins Aerospace Anne Remke, WWU Münster Cristina Seceleanu, Mälardalen University Martina Seidl, Johannes Kepler University Linz Giulia Sindoni, University of Leeds Bernhard Steffen, University of Dortmund Laura Titolo, Code Metal Christoph Torens, German Aerospace Center, Institute of Flight Systems Jaco van de Pol, Aarhus University and University of Twente Marcel Verhoef, European Space Agency Virginie Wiels, ONERA / DTIS Anton Wijs, Eindhoven University of Technology Naijun Zhan, Institute of Software, Chinese Academy of Sciences -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Associate Professor, Iowa State Univ / USA | ~||~ |NASA \ Departments of Aerospace Engineering, |______| ~~ |______| Computer Science, Mathematics, and (__||__) Electrical and Computer Engineering /_\ /_\ !!! !!!https://laboratory.temporallogic.org From mattukat at swc.rwth-aachen.de Sat Apr 4 12:38:44 2026 From: mattukat at swc.rwth-aachen.de (Mattukat, Alex) Date: Sat, 4 Apr 2026 10:38:44 +0000 Subject: [fg-arc] Study on the Evaluation of a novel Approach to security architecture modeling Message-ID: <6d5d1db6254a4fd8821a4564036fd0c7@swc.rwth-aachen.de> --- English version below --- Liebe KollegInnen der Fachgruppe Architekturen, wir von der Lehr- und Forschungsgruppe Softwarekonstruktion an der RWTH Aachen führen derzeit eine Umfrage durch, um erste Erkenntnisse zu einem neuartigen Ansatz zur Modellierung von Sicherheitsarchitekturen (SCAM – Security-Centric Architecture Modeling) zu gewinnen. Das Ziel des SCAM-Ansatzes ist es, Sicherheitsarchitekturbeschreibungen als integralen Bestandteil allgemeiner Softwarearchitekturbeschreibungen zu erhalten und die kognitive Komplexität der resultierenden Architekturmodelle durch unterstützende Visualisierungsansätze gering zu halten. Damit wollen wir die Sicherheit auf der Architekturebene verständlicher – und damit wartbarer – machen, insbesondere für Nicht-SicherheitsexpertInnen. Unsere Vision dazu haben wir auf der International Conference on Software Architecture (ICSA) im Jahr 2024 veröffentlicht. Diese Studie baut auf dieser Vision auf. Mit dieser Studie möchten wir frühzeitig im Entwicklungsprozess wichtige Erkenntnisse über die Stärken und Schwächen dieses Ansatzes gewinnen, damit wir diese in die Entwicklung eines Proof of Concept einfließen lassen können. Der Fragebogen ist bis zum 1. Mai unter folgendem Link auf Deutsch und Englisch verfügbar: https://www.soscisurvey.de/bt-gawdi2026/ Die Teilnahme dauert etwa 15 Minuten und ist anonym. Um die Qualität der erhobenen Daten zu gewährleisten, empfehlen wir, den Fragebogen in einer ruhigen Umgebung auf einem PC oder Tablet auszufüllen und dabei keine anderen Tätigkeiten auszuüben. Für die Teilnahme sind Grundkenntnisse im Lesen von UML-Modellen erforderlich. Sicherheitskenntnisse sind nicht notwendig und werden im Fragebogen berücksichtigt. Jede Teilnahme ist eine große Unterstützung für unsere Studie! Bitte leiten Sie den Link zur Umfrage auch an Software- und Architektur-ExpertInnen in Ihrem Netzwerk weiter! Vielen Dank für Ihre Unterstützung! Mit freundlichen Grüßen, Alex R. Mattukat --- English version --- Dear colleagues in the Architecture expert group, We, from the Research Group Software Construction at RWTH Aachen University, are currently conducting a survey to gather initial insights into a novel security architecture modeling approach (SCAM – Security-Centric Architecture Modeling). The goal of the SCAM approach is to maintain security architecture descriptions as an integral part of general software architecture descriptions and to keep the cognitive complexity of the resulting architecture models low through supportive visualization approaches. In doing so, we aim to make security at the architectural level more understandable—and thus more maintainable—especially for non-security experts. We published our vision for this at the International Conference on Software Architecture (ICSA) in 2024. This study builds upon that vision. With this study, we hope to identify key insights into the strengths and weaknesses of this approach early in the development process so that we can incorporate them into the development of a proof of concept. The questionnaire is available in German and English until May 1 at the following link: https://www.soscisurvey.de/bt-gawdi2026/ Participation takes about 15 minutes and is anonymous. To ensure the quality of the collected data, we recommend filling out the questionnaire in a quiet environment on a PC or tablet and not engaging in any other activities while doing so. Basic knowledge of reading UML models is required to participate. Security knowledge is not necessary and will be taken into account in the questionnaire. Every participation greatly supports our study! Please also share the survey link software and architecture experts in your network! Thank you for your support! Best regards, Alex R. Mattukat -- Alex Mattukat né Sabau Research Assistant Faculty of Mathematics, Computer Science and Natural Sciences SWC - Computer Science 3 Research Group Software Construction RWTH Aachen University Ahornstraße 55 D-52074 Aachen, Germany phone: +49 241 80-21366 fax: +49 241 80-621331 mattukat at swc.rwth-aachen.de http://www.swc.rwth-aachen.de room: 4105a (building E1, 1st floor) -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 6110 bytes Desc: not available URL: From laura.carnevali at unifi.it Sun Apr 5 08:07:40 2026 From: laura.carnevali at unifi.it (Laura Carnevali) Date: Sun, 5 Apr 2026 08:07:40 +0200 Subject: [fg-arc] CfP PEVA Special issue on "Artificial Intelligence for Performance and Reliability Evaluation of Software Systems" Message-ID: <1835b230-fc77-4016-b89f-d90e9a6d8b2e@unifi.it> Dear Colleagues, We invite submissions to the special issue of the Performance Evaluation Journal by Elsevier, on the theme: *"Artificial Intelligence for Performance and Reliability Evaluation of Software Systems" * The deadline for paper submission is May 15th, 2026. Details can be found below and at the following link: https://www.sciencedirect.com/special-issue/329639/artificial-intelligence-for-performance-and-reliability-evaluation-of-software-systems Kind regards, Laura Carnevali Pengfei Chen Evgenia Smirni --------------------- *CALL FOR PAPERS* Nowadays software systems have become deeply pervasive, with a wide variety of applications (e.g., enterprise architectures, web services, artificial intelligence, mobile app) in several domains (e.g., IoT systems, cyber-physical systems, cloud systems, automotive driving systems). By leveraging technological advancements in hardware and communication, software systems have grown in scale, complexity, and inter-dependence, thus introducing new challenges in performance and reliability evaluation. In fact, in distributed and heterogeneous environments, performance and reliability may be affected by many different factors (e.g., software architecture, hardware infrastructure, network communication, runtime environment). Although lots of effort has been contributed to performance and reliability evaluation of software systems,  challenges still exist. Recently, Artificial Intelligence (AI) and Machine Learning (ML) methods provide powerful tools to develop descriptive, predictive, and prescriptive analytics, being able to learn the system behavior from observed data, detect anomalies at run time, and then trigger proactive remediation. At the same time, notable challenges are introduced as well, e.g., concerned with availability and quality of data, cost of re-training, and interpretability of results. This special issue solicits unpublished works on novel solutions that leverage AI, and in particular ML, to assess and improve performance and reliability of software systems. It is intended for researchers, engineers, and practitioners who study and work on AI/ML methods for software engineering as well as those interested in performance and reliability engineering in general. Works solely focused on improving classification or regression performance of AI/ML models (e.g., in terms of metrics such as accuracy, recall, F1 score) are outside the scope of this special issue. Papers are expected to demonstrate advances to performance and/or reliability evaluation methods. This special issue seeks submissions of full-length original research articles. Short communications and surveys are not in the scope of this special issue. Topics of interest for this special issue include, but are not limited to, the following: *AI/ML for performance evaluation of software systems* * Deep learning for performance anomaly detection * Explainable AI for performance diagnosis and prediction * Forecasting approaches for workload characterization and prediction * Data-driven performance profiling, benchmarking, and testing *AI/ML for reliability evaluation of software systems* * Neuro-symbolic approaches for reliability engineering * LLMs for fault localization and root-cause analysis * Generative AI for fault injection * Clustering techniques for alert grouping and attribution * Time-series analysis for predictive maintenance *Applications in cutting-edge software domains* * Edge-to-cloud computing systems * Microservices architectures * Cyber-physical systems and real-time systems * Software-defined networks * LLM systems * * *MANUSCRIPT SUBMISSION INFORMATION* General information for submitting papers to PEVA can be found at Guide for Authors - Performance Evaluation . Authors should submit their manuscripts to the Performance Evaluation Editorial System (EM) at Submission site for Performance Evaluation , and *select "VSI:AI for PRE of SW" when they reach the “Article Type” step in the submission process.* *EXPECTED TIMELINE* * Manuscript submission deadline: May 15th, 2026 * First review round completed: September 15th, 2026 * Revised manuscripts due: December 15th, 2026 * Final notification: February 15th, 2027 * Publication: June 1st, 2027 -- *Laura Carnevali* *Associate Professor* 055 2758519 UNIVERSITÀ DEGLI STUDI DI FIRENZE *Dipartimento di Ingegneria dell'Informazione (DINFO)* -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From georgeangelos60 at gmail.com Mon Apr 6 13:39:24 2026 From: georgeangelos60 at gmail.com (Announce Announcements) Date: Mon, 6 Apr 2026 14:39:24 +0300 Subject: [fg-arc] International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Mile for Research Papers Submission Message-ID: *** Last Mile for Research Papers Submission *** International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026) 29 September - 2 October 2026, 5* St. Raphael Resort and Marina Limassol, Cyprus https://conf.researchr.org/home/variability-2026 (*** Submission Deadline: 10 April 2026, AoE ***) The International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026) invites high-quality contributions from researchers and practitioners in software engineering, systems engineering, and related disciplines focussing on a broad spectrum of methods, concepts, and tools for variability. VARIABILITY aims to be the premier forum for the exchange of ideas, experiences, and results in all aspects of software and systems variability management, reuse, software configuration, and customization. As software and systems become increasingly configurable, reusable, and adaptable, managing their variability across all lifecycle phases is more critical—and more challenging —than ever. VARIABILITY 2026 seeks to bring together the diverse communities that address these challenges from theoretical, technical, and practical perspectives. VARIABILITY results from a merge of three prominent conferences focussing on software and systems variability, configuration and reuse: SPLC (the International Systems and Software Product Line Conference, 29 successful editions), VaMoS (the International Working Conference on Variability Modelling of Software-Intensive Systems, 19 successful editions), and ICSR (the International Conference on Systems and Software Reuse, 22 successful editions). VARIABILITY is by design open as a conference. It welcomes new fields of variability- intensive research, such as artificial intelligence, hybrid software-hardware systems, etc. For this first edition of VARIABILITY, we strive to continue the success of the predecessor conferences ICSR, SPLC, and VaMoS by welcoming high-quality submissions for the research track in numerous closely related areas, such as systems and software product lines, systems and software reuse, configurable systems and software, product configuration, and systems and software variability. We will award the best research paper and the best artifact paper. Topics of Interest We invite contributions on variability management, reuse, and configuration across all phases of the software and systems lifecycle. The topics of interest include, but are not limited to: Requirements & Domain Engineering • Domain analysis and variability modeling • Decision modeling and support • Customization and personalization specification • Requirements variability and traceability Architecture & Design • Variability-aware software architectures • Architecture-centric product line engineering • Model-driven engineering (MDE) • Multi-product lines, program families, product lines of product lines, software ecosystems Implementation & Code Generation • Generative programming and code synthesis • Modularization techniques for reusable code • Programming languages and frameworks for variability • Open-source strategies for software reuse Testing, Verification & Quality Assurance • Testing and analysis of configurable systems • Safety and security in variable systems • Formal Methods for Software Product Lines • Non-functional properties: quality-aware analysis, quality-driven configuration • Reuse in testing, verification, and quality assurance Evolution, Maintenance & Operation • Refactoring and restructuring of configurable systems • Reverse engineering, variability mining, and refactoring • Runtime variability and dynamic (software) product lines • Maintenance strategies for large-scale reused systems • Variability in DevOps and CI/CD pipelines AI and Data-Driven Methods • Machine learning for variability management • AI-assisted product configuration • Data and repository mining from product lines and configuration histories • Recommendation systems for reuse and customization Publication of Proceedings Accepted papers will be published in the VARIABILITY 2026 proceedings by Springer in the LNCS series. Submission Guidelines Paper Types We invite the following types of submissions: • Full Papers (up to 18 pages excluding references): Research papers must present original, unpublished work with validated results through empirical evaluation, formal analysis, or implementation-based experiments. Submissions must clearly articulate the problem, its relevance, the proposed contribution, and validation results. • Short Papers (6 - 8 pages excluding references): Short papers present early-stage research, novel ideas, or conceptual proposals that are not yet fully developed or validated but offer promising directions. These papers should articulate the vision, motivation, and potential impact. Formatting Papers must use the Springer LNCS template according to: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Springer provides author guidelines that should be consulted for further details: https://resource-preview-cms.springernature.com/springer-cms/rest/v1/content/19242230/data/v17 Submission Link Submissions should be made via Easy Chair, selecting the research track: https://easychair.org/conferences?conf=variability2026 Paper Originality, Double-Anonymous Policy, Reviewing All papers must be original and not under review elsewhere. Submissions will be double- anonymous and reviewed by at least three experts. Submissions will be evaluated based on their novelty, relevance, rigor, transparency, and presentation. Authors of submissions to the first deadline might be invited to submit a revision of their papers to the second deadline, which will be reviewed as a revision. Revisions Research-track papers can be submitted to the first or second cycle. In the first cycle, papers can receive the following decisions: accept, revision, or reject. Revision means that the reviewers believe that the paper has potential, but that its quality or contribution is not yet ready for publication. Such papers are offered lightweight shepherding by a community member, who is not necessarily a PC member or reviewer. Revised papers should be submitted to the second cycle together with a response letter, explaining how the reviewer comments were addressed. They are then reviewed by the same PC members. Papers rejected in the first cycle can be resubmitted in the second cycle, but need to contain an appendix “Changes to First-Cycle Submission” at the end of the PDF (after references, regardless of the page limit) that lists the major changes in bullet-point format. Best Paper Awards Springer will sponsor the awards for bet papers with an overall amount of €1000. Journal Special Issue Selected accepted papers will be invited to submit extended versions with at least 30% additional and original material, to be published in a special issue in a reputable Software Engineering journal (currently under negotiation). Important Dates (AoE) • Paper Submission Deadline: 10 April 2026 (extended) • Notification of Acceptance: 1 June 2026 • Camera-Ready Deadline: 15 July 2025 • Author Registration: 15 July 2025 Organisation General Chairs • George A. Papadopoulos, University of Cyprus, Cyprus • Gilles Perrouin, FNRS & University of Namur, Belgium Research Track Chairs • Thorsten Berger, Ruhr University Bochum, Germany • Ina Schaefer, KIT, Germany Industry Track Chairs • Shaukat Ali, Simula Research Lab and Oslo Metropolitan University, Norway • Martin Becker, Fraunhofer IESE, Germany Journal First Track Chairs • Mathieu Acher, University Rennes, Inria, CNRS, IRISA, France • Xhevahire Tërnava, LTCI, Télécom Paris, Institut Polytechnique de Paris, France Doctoral Symposium Track Chairs • Rick Rabiser, LIT CPS, Johannes Kepler University Linz, Austria • Iris Reinhartz-Berger, University of Haifa, Israel Demos and Tools Track Chairs • Sandra Greiner, University of Southern Denmark, Denmark • Leopoldo Teixeira, Federal University of Pernambuco Projects Showcase Chairs • Daniel Struber, Chalmers, University of Gothenburg, Radbound University, Sweden • Dalila Tamzalit, Nantes Université, France Hall of Fame Chairs • Martin Becker, Fraunhofer IESE, Germany • Goetz Botterweck, Lero - The Irish Software Research Centre and University of Limerick, Ireland • Natsuko Noda, Shibaura Institute of Technology, Japan Workshops Chairs • Lidia Fuentes, Universidad de Malaga, Spain • Malte Lochau, University of Siegen, Germany Tutorials Chairs • Loek Cleophas, Eindhoven University of Technology and Stellenbosch University, The Netherlands • Mahsa Varshosaz, IT University of Copenhagen, Denmark Proceedings Chair • Sophie Fortz, King's College London, UK Publicity Chairs • Wesley Assunção, North Carolina State University, USA • Kentaro Yoshimura, Hitachi Ltd, Japan Local Organiser and Finance Chair • George A. Papadopoulos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From steffen.becker at informatik.uni-stuttgart.de Tue Apr 7 13:24:22 2026 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Tue, 7 Apr 2026 13:24:22 +0200 Subject: [fg-arc] Professorship (W3) in Programming Languages -- Deadline: May 24 In-Reply-To: References: Message-ID: <6edf0673-cc0c-4482-9286-1e76faebb768@informatik.uni-stuttgart.de> --- Please excuse any cross-postings --- The following open position might be of interest for soem of you. Feel free to distribute or contact us in case of any questions. --- Dear colleagues, the University of Stuttgart is inviting applications for a Full Professor (W3) in "Programming Languages". The deadline is May 24. Please see here for the official opening: https://www.f05.uni-stuttgart.de/en/faculty/news/news/Professorship-W3-in-Programming-Languages/ Best, Steffen --- From georgeangelos60 at gmail.com Tue Apr 7 13:27:49 2026 From: georgeangelos60 at gmail.com (Announce Announcements) Date: Tue, 7 Apr 2026 14:27:49 +0300 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Call for Papers (Research Track) Message-ID: *** Last Call for Papers (Research Track) *** 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026) October 20-23, 2026, 5* St. Raphael Resort and Marina Limassol, Cyprus https://cyprusconferences.org/issre2026/ The International Symposium on Software Reliability Engineering (ISSRE) is the leading conference on software reliability research and practice. ISSRE focuses on techniques and tools for assessing, predicting, and improving the reliability, safety, security, and resilience of software systems. As modern software increasingly integrates AI/ML components, operates autonomously, and spans cloud-to-edge environments, ensuring reliable system behavior is more critical than ever. Topics of Interest ISSRE 2026 invites high-quality contributions that advance the theory and practice of software reliability across contemporary software-intensive systems, including systems that incorporate AI/ML components. Topics of interest include, but are not limited to: Foundations of Reliability and Dependability • Principles, models, metrics, empirical methods, and theories of software reliability, resilience, robustness, and safety • Systematic approaches to fault prevention, fault removal, fault tolerance, and fault forecasting in modern software systems • Testing and debugging, formal methods, model checking, static/dynamic analysis, verification, and runtime assurance Reliability in AI-Driven and Autonomic Systems • Reliability engineering for AI-enabled, autonomous, self-adaptive, and cyber-physical systems • Assurance, testing, verification, and certification of AI/ML components, including foundation and generative models • Reliability of AI-generated code: validation, verification, explainability, defect analysis, and trustworthy automation of development tasks • Impact of AI on software lifecycle processes (design, testing, evolution, operations, and quality management) AI Techniques for Reliability Engineering • Machine learning for defect prediction, anomaly detection, debugging assistance, fault localization, and test automation • Learning-based approaches to self-healing, resilience management, predictive maintenance, and reliability optimization • Reliability governance in AI-driven DevOps pipelines, including transparency, interpretability, and auditability Software Reliability in Emerging System Domains • Reliability assurance for cloud, edge, IoT, 5G/6G, cyber-physical, high-performance, and network softwarization environments • Dependability of open-source ecosystems, data-driven pipelines, model hubs, and AI-assisted contributions • Benchmarking, stress testing, workload modeling, and measurement frameworks for large-scale and AI-based systems Trustworthiness, Security, and Responsible Software Engineering • Intersections of reliability with security, privacy, fairness, transparency, and regulatory compliance • Societal, ethical, and human impacts of pervasive AI-enabled software systems • Responsible governance of AI-based systems, including lifecycle assurance, auditability, and risk analysis Human-Centered, Empirical, and Reproducible Reliability Research • Field studies, experience reports, user studies, and human factors in reliability engineering • Public datasets, benchmark suites, reproducibility packages, and replication/negative- result studies • Tooling, automation, continuous reliability monitoring, observability, and operational feedback loops Research Track Paper Categories The research track at ISSRE 2026 invites high-quality submissions of technical research papers that describe original, unpublished results exploring new scientific ideas, contribute new evidence to established research directions, or reflect on practical experience. Specifically, ISSRE solicits submissions in three categories: • Research (RES) papers • Practical experience reports (PER) • Tools and artefacts (TAR) papers Papers will be assessed with criteria appropriate to each category. All the papers of the three categories are regular and full papers, and will be published in the same ISSRE proceedings. RES Papers RES papers (12 pages, including references) should describe a novel contribution to the reliability of software systems. Novelty should be argued via concrete evidence and appropriate positioning within the state of the art. RES papers are also expected to explain the validation process and its limitations clearly. PER Papers PER papers (12 pages, including references) should provide an in-depth exposition of practical experiences ideally performed by a collaboration of researchers and industry practitioners. The key contribution of these papers should be lessons learned from applying established research tools and methods to ISSRE topics, or new knowledge acquired through empirical studies conducted using various research methodologies. Negative results are welcome, e.g., discussing where or why current research cannot be applied in an industrially relevant context. TAR Papers TAR papers (6 – 10 pages, including references) should describe a new tool or artefact. Tool-focused TAR papers must present either a new tool or a novel and substantial extension of an existing tool. They should include a description of (i) the theoretical foundations, (ii) the design and implementation aspects, and (iii) experiments with realistic case studies. Making the tool publicly available is strongly encouraged. Artefact-focused TAR papers should cover (i) a working copy of the software and (ii) experimental data sets. Dataset papers should introduce a new dataset that supports experimentation, benchmarking, evaluation, or training in AI-driven software engineering. Submissions should describe: (i) dataset motivation and scope, (ii) data collection and processing methodology, (iii) dataset structure and statistics, and (iv) potential use cases. Benchmark papers should present a new benchmark suite for evaluating tools, LLMs, or algorithms. Submissions should include: (i) benchmark design principles, (ii) task definitions and evaluation metrics, (iii) baseline results, and (iv) reproducibility package. The ISSRE conference encourages authors of all three categories of research track papers to follow the principles of transparency, reproducibility, and replicability. Authors are encouraged to disclose data to increase reproducibility and replicability. Should the paper be accepted, the authors will have the opportunity (and are encouraged to) submit artifacts to the Artifact Evaluation (AE) track, to enhance the reproducibility and quality of the research. By submitting your artifacts, you not only contribute to the progress of our field but also stand a chance to earn badges that will be displayed on your papers in the conference proceedings, showcasing the credibility and rigor of your work. At least one author of each accepted paper must register as an author and present the paper in person at the conference. Best Research Paper Award ISSRE is pleased to announce the IEEE Best Research Paper Award, awarded every year to the best paper in the Research Track. Special Journal Issue Authors of accepted papers will be invited to submit an extended version of their work to a special issue of the Empirical Software Engineering (EMSE) journal (under negotiation as in previous editions of the conference). The Call for Papers will be available soon. Review Process & Quality Assurance in ISSRE 2026 (New) Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Major Revision Guidelines Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Rapid Response Reviewers (RRRs) Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Anonymizing Rules Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Formatting Rules Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Paper Submission Papers are submitted via Easy Chair https://easychair.org/conferences?conf=issre2026 . Submissions will be reviewed by the Program Committee through a double-blind reviewing process, with a limited use of outside referees. Papers will be held in complete confidence during the reviewing process, but papers accompanied by nondisclosure agreement forms are not acceptable and will be rejected without review. Changes in the number and order of authors will not be allowed after the paper acceptance. Authors must anonymize their submissions in accordance with the guidelines above. Submissions violating the formatting and anonymization rules will be desk-rejected without review. There will be no extensions for reformatting. Conference Proceedings The authors of accepted papers must omit the paper’s type from the title to keep consistency among all the camera-ready versions in the proceedings. The conference proceedings will be published by IEEE Computer Society Conference Publishing Services (CPS). Papers presented at the conference will be submitted for inclusion into IEEE Xplore and to all of the A&I (abstracting and indexing) partners (such as the EI Compendex). Important Dates (AoE) • Abstract Submission Deadline: April 10, 2026 • Paper Submission Deadline: April 17, 2026 • Author Rebuttal Period: June 5 – June 8, 2026 • Decisions and Early Notification: June 15, 2026 • Author Revision Period: June 16 – July 3, 2026 • Notification to Authors: July 8, 2026 • Camera Ready Papers: August 19, 2026 • Author Registration Deadline (Research Track): August 19, 2026 Organisation General Chairs • Leonardo Mariani, University of Milano - Bicocca, Italy • George A. Papadopoulos, University of Cyprus, Cyprus Program Coordinator • Roberto Natella, GSSI, Italy Research Program Committee Chairs • Domenico Cotroneo, UNC Charlotte, USA • Jie M. Zhang, King's College London, UK Industry Program Chairs • Jinyang Liu, Bytedance, USA • Sigrid Eldh, Ericsson AB, Sweden Workshop Chairs • Georgia Kapitsaki, University of Cyprus, Cyprus • August Shi, The University of Texas at Austin, USA Doctoral Symposium Chairs • Stefan Winter, LMU Munich, Germany • Lili Wei, McGill University, Canada Fast Abstract Chairs • Luigi Lavazza, University of Insubria, Italy • Yintong Huo, SMU, Singapore JIC2 Chair • Helene Waeselynck, LAAS-CNRS, France Publicity Chairs • Allison K. Sulivan, The University of Texas at Arlington, USA • Jose D'Abruzzo Pereira, University of Coimbra, Portugal Publication Chairs • Sherlock Licorish, Otago Business School, New Zealand • Maria Teresa Rossi, GSSI, Italy Artifact Evaluation Chairs • Naghmeh Ivaki, University of Coimbra, Portugal • Fumio Machida, University of Tsukuba, Japan Diversity and Inclusion Chair • Eleni Constantinou, University of Cyprus, Cyprus Financial Chair • Costas Pattichis, University of Cyprus, Cyprus Web Chairs • Michalis Ioannides, Easy Conferences LTD • Elena Masserini, University of Milano - Bicocca, Italy Registration Chair • Easy Conferences LTD -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Thu Apr 9 18:00:25 2026 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Thu, 9 Apr 2026 18:00:25 +0200 Subject: [fg-arc] Aufruf zur Teilnahme: Architekturen 2026 - 6.-8. Mai, Bad Honnef Message-ID: *Die Jahrestagung Architekturen 2026 findet vom 6. Mai bis 8. Mai gemeinsam mit dem*Workshop Software-Reengineering & -Evolution (WSRE 2026)* der Schwester-Fachgruppe*Software-Reengineering (SRE)* im*Physikzentrum Bad Honnef (PBH)* statt!* /*Das Programm der Fachgruppentagung steht nun fest! Wir freuen uns auf Ihre Teilnahme!*/ *Alle Details und Aktualisierungen finden Sie auf der Webseite der Architekturen 2026 .* *Eine Anmeldung ist bis zum 22. April erforderlich; sie erfolgt über die Webseite des WSRE 2026: ***Anmeldeseite* * -------------------------------------------------------------------------------- Programm *Mittwoch (06.05.2026)* /*Nachmittags:*/AK-Treffen des Arbeitskreises Artificial Intelligence for Software Architecture  (AI4SA) /[13:30 – 17:00 Vorträge WSRE]/ *Donnerstag (07.05.2026)* /[09:00 – 10:30 Vorträge WSRE]/ 11:00 – 12:00 Gemeinsame Keynote WSRE + Architekturen *Valentina Lenarduzzi  (University of South Denmark) * 12:00 – 13:30 Mittagessen 13:30 – 15:00 Vorträge Architekturen *Jun.-Prof. Dr. Mohamed Soliman (Universität Paderborn), Dr. Jan Keim (KIT – Karlsruher Institut für Technologie**)* A Christmas Carol for Software Architecture: LLMs Past, Present, and (Agentic) Future *Dr. Vladimir Yussupov (ABB Research, Mannheim; R&D Scientist)* GenAI for Software Architects: an Empirical Study *Thorsten Weßling (ista SE, Essen; Chapter Lead Platform Engineering)* Developer Platform als Brücke zwischen Architektur und Entwicklung 15:00 – 15:30 Erfrischungspause 15:30 – 17:00 Vorträge Architekturen *Prof. Dr. Andreas Both (HTWK Leipzig)* Towards Architecture-centric and Code-agnostic Software Architectures *Dr. Christopher Gerking (KIT – Karlsruher Institut für Technologie)* The Underestimated Role of Architecture as Security Anchor in Software Security Engineering *Prof. Dr. Ralf Reusssner (KIT – Karlsruher Institut für Technologie)* tba 17:00 – 17:45 **/Fachgruppensitzung Architekturen mit Wahl der FG-Leitung/** 18:00 –  ???  Social Dinner und Gemütlicher Abend im PBH *Freitag (08.05.2026)* 09:00 – 10:30 Gemeinsame Vorträge (Architekturen + WSRE) tba. 10:30 – 11:00 Kaffeepause 11:00 – 12:30 Gemeinsame Vorträge (Architekturen + WSRE) *Andreas Linneweber (KERNBLICK, Paderborn; Solution Architect & Geschäftsführer)* LLMs im Software-Reengineering: Zwischen Produktivität, Kontrolle und Verantwortung *Robertino Solanas (ITZBund, Nürnberg; Referent hD)* Digitale Architektur im Bund: Status quo, Best Practices und Governance im föderalen Spannungsfeld u.a. 12:30 – 13:30 Mittagessen */Nachmittags:/* * AK-Treffen des Arbeitskreises Microservices und DevOps  (MSDO) * AK-Treffen des Arbeitskreises Meta-Research and Knowledge Transfer in Software Engineering  (ak-se-meretra) -------------------------------------------------------------------------------- Liebe Mitglieder und Freund*innen der GI-Fachgruppe "Architekturen", die*Jahrestagung der GI-Fachgruppe "Architekturen"*im GI-Fachbereich Softwaretechnik bringt*Praktiker*innen*und*Forscher*innen*zum Thema (Software-)Architekturen zusammen. Wir laden Sie herzlich zu der Veranstaltung ein. Folgen Sie spannenden Vorträgen zu aktuellen Architekturthemen und diskutieren Sie mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich in diesen Bereichen abzeichnen und was diese für praktizierende Softwarearchitekt*innen bedeuten. Wir freuen uns, dass die Architekturen in diesem Jahr gemeinsam mit dem jährlichen stattfindendenWorkshop Software-Reengineering & -Evolution (WSRE 2026)  ausgerichtet wird. Wir begrüßen Sie hierzu vom Mittwoch, den 6. Mai bis zum Freitag, den 8. Mai 2026 im Physikzentrum Bad Honnef (PBH) . Es gibt gemeinsame Sessions und eine gemeinsame Keynote, aber auch individuelle Programmteile. Das Programm der Architekturen 2026 besteht aus*eingeladenen Vorträgen*aus Wissenschaft und Praxis zu aktuellen Themen im Bereich (Software-)Architekturen sowie*Treffen der Arbeitskreise*der GI-Fachgruppe.Valentina Lenarduzzi  (University of Southern Denmark) hält den gemeinsamen *Keynote-Vortrag *von Architekturen und WSRE 2026! Darüber hinaus haben wir Zeit für Aktionen der FG, AK-Initiativen, etc. vorgesehen, um beispielsweise neue Aktivitäten anzustoßen, Themen zu diskutieren oder Arbeitskreise zu initiieren. Falls Sie etwas anstoßen, planen und durchführen möchten, melden Sie sich bitte bei den General Co-ChairsProf. Dr. Andreas Both  (Mitglied der FG-Leitung) und Prof. Dr. Stefan Sauer  (Sprecher der FG-Leitung). Falls Sie einen*schriftlichen Beitrag*einreichen wollen, der sich im Schnittbereich von Software-Architektur und  -Reengineering bewegt, so laden wir Sie herzlich ein, diesen beim*WSRE*einzureichen. Die Einreichungsfrist endet am 10. März 2026. Informationen zur Einreichung gibt es hier:Call for Papers . Einreichung bitte über EasyChair: https://easychair.org/conferences/?conf=wsre2026 Im Programm der Architekturen 2026 findet auch eine ordentliche*Fachgruppensitzung*mit*Neuwal der Fachgruppenleitung*statt. Registrierung Zur Teilnahme an der Fachgruppentagung "Architekturen 2026" ist eine*verbindliche Registrierung*erforderlich. Die Anmeldung erfolgt über die Webseite des WSRE 2026: Anmeldeseite . Bitte registrieren Sie sich bis zum 22. April 2026. Die Abrechnung der*Tagungsgebühr*(Tagungspauschale, Übernachtungskosten bei Übernachtung im PBH) erfolgt individuell durch das PBH. Wir freuen uns auf Sie! Programmstruktur *Mittwoch (06.05.2026)* Nachmittags:*Arbeitskreis-Treffen*der FG Architekturen | WSRE: Vorträge *Donnerstag (07.05.2026)* Vormittags:*gemeinsame Keynote*von Valentina Lenarduzzi  (University of Southern Denmark) | Vorträge Nachmittags: *Architekturen: Vorträge | Fachgruppensitzung ARC | *WSRE: Social Event Abends: *gemeinsames Social Dinner* *Freitag (08.05.2026)* Vormittags:*gemeinsame Vorträge*Architekturen & WSRE Nachmittags:*Architekturen: Vorträge | Arbeitskreis-Treffen* * * /*Das detaillierte Programm folgt in Kürze!*/ Für Treffen der GI gilt deren Compliance-Leitlinie . Freundliche Grüße /Stefan Sauer/ Sprecher der GI-Fachgruppe Architekturen -- "Software.Innovation.Zukunft" -- Prof. Dr. Stefan Sauer Diplom-Informatiker Forschungsgruppe "Human-Centered Software Engineering" Geschäftsführer Senior Researcher Universität Paderborn | SICP - Software Innovation Campus Paderborn Software Innovation Lab Zukunftsmeile 2 33102 Paderborn Fon +49 5251 60-6820 E-Mailsauer at uni-paderborn.de Web go.uni-paderborn.de/sauer www.sicp.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sauer.vcf Type: text/vcard Size: 464 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4834 bytes Desc: Kryptografische S/MIME-Signatur URL: From sauer at uni-paderborn.de Thu Apr 9 18:00:43 2026 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Thu, 9 Apr 2026 18:00:43 +0200 Subject: [fg-arc] Aufruf zur Wahl des Leitungsgremiums & Einladung zur Fachgruppensitzung der GI-Fachgruppe Architekturen am 07.05.2026 Message-ID: Liebe Mitglieder der Fachgruppe Architekturen im Fachbereich Softwaretechnik der Gesellschaft für Informatik, ich lade Sie herzlich zur Fachgruppensitzung am Donnerstag, den 7. Mai 2026 um 17:00 Uhr in das Physikzentrum Bad Honnef ein. Traditionell findet die Fachgruppensitzung im Rahmen der jährlichen Fachgruppentagung "Architekturen 2026" statt. Folgende *Tagesordnung *ist vorgesehen: 1. Begrüßung 2. Berichte aus FG-Leitung und Arbeitskreisen 3. Wahl der Fachgruppenleitung 4. Verschiedenes Wie Sie der Tagesordnung entnehmen können, steht als TOP 3 die turnusgemäße *Neuwahl der Fachgruppenleitung* auf der Agenda. Die FG-Leitung wird für eine Amtszeit von 3 Jahren gewählt. Wenn Sie Interesse an einer Mitarbeit in der Fachgruppenleitung haben und kandidieren möchten oder wenn Sie eine andere Person nominieren möchten, so antworten Sie mir bitte unter dem Betreff dieser E-Mail. *Kandidaturen und Nominierungen* sind bis zum Aufruf des Tagesordnungspunkts möglich. Kandidierende und Nominierte, die selbst nicht an der FG-Sitzung teilnehmen, müssen zuvor ihre Bereitschaft zur Kandidatur bestätigen. Sollte dies beispielsweise aus zeitlichen Gründen nicht möglich sein, so kann die Kandidatur in der Wahl nicht berücksichtigt werden. Voraussetzung für die Wahl ist die *Mitgliedschaft *in der Gesellschaft für Informatik e.V. und in der untergliederten Fachgruppe Architekturen. Wir freuen uns, Sie dort zu sehen! Freundliche Grüße - im Namen der Fachgruppenleitung - /Stefan Sauer/ Sprecher -- "Software.Innovation.Zukunft" -- Prof. Dr. Stefan Sauer Diplom-Informatiker Forschungsgruppe "Human-Centered Software Engineering" Geschäftsführer Senior Researcher Universität Paderborn | SICP - Software Innovation Campus Paderborn Software Innovation Lab Zukunftsmeile 2 33102 Paderborn Fon +49 5251 60-6820 E-Mailsauer at uni-paderborn.de Web go.uni-paderborn.de/sauer www.sicp.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sauer.vcf Type: text/vcard Size: 464 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4834 bytes Desc: Kryptografische S/MIME-Signatur URL: From georgeangelos60 at gmail.com Wed Apr 15 10:50:31 2026 From: georgeangelos60 at gmail.com (Announce Announcements) Date: Wed, 15 Apr 2026 11:50:31 +0300 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Mile for Paper Submission (Research Track) Message-ID: *** Last Mile for Paper Submission (Research Track) *** 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026) October 20-23, 2026, 5* St. Raphael Resort and Marina Limassol, Cyprus https://cyprusconferences.org/issre2026/ (*** Submission Deadline for Abstract/Paper: April 24, AoE ***) The International Symposium on Software Reliability Engineering (ISSRE) is the leading conference on software reliability research and practice. ISSRE focuses on techniques and tools for assessing, predicting, and improving the reliability, safety, security, and resilience of software systems. As modern software increasingly integrates AI/ML components, operates autonomously, and spans cloud-to-edge environments, ensuring reliable system behavior is more critical than ever. The call for papers for the Research Track attracted already an unprecedented number of 264 abstracts, the highest ever in the history of the conference. Due to numerous requests for an extension to the submission deadline, the organisers are granting a single extension for both abstract and paper submission; the new and firm deadline is now April 24, AoE. Topics of Interest ISSRE 2026 invites high-quality contributions that advance the theory and practice of software reliability across contemporary software-intensive systems, including systems that incorporate AI/ML components. Topics of interest include, but are not limited to: Foundations of Reliability and Dependability • Principles, models, metrics, empirical methods, and theories of software reliability, resilience, robustness, and safety • Systematic approaches to fault prevention, fault removal, fault tolerance, and fault forecasting in modern software systems • Testing and debugging, formal methods, model checking, static/dynamic analysis, verification, and runtime assurance Reliability in AI-Driven and Autonomic Systems • Reliability engineering for AI-enabled, autonomous, self-adaptive, and cyber-physical systems • Assurance, testing, verification, and certification of AI/ML components, including foundation and generative models • Reliability of AI-generated code: validation, verification, explainability, defect analysis, and trustworthy automation of development tasks • Impact of AI on software lifecycle processes (design, testing, evolution, operations, and quality management) AI Techniques for Reliability Engineering • Machine learning for defect prediction, anomaly detection, debugging assistance, fault localization, and test automation • Learning-based approaches to self-healing, resilience management, predictive maintenance, and reliability optimization • Reliability governance in AI-driven DevOps pipelines, including transparency, interpretability, and auditability Software Reliability in Emerging System Domains • Reliability assurance for cloud, edge, IoT, 5G/6G, cyber-physical, high-performance, and network softwarization environments • Dependability of open-source ecosystems, data-driven pipelines, model hubs, and AI-assisted contributions • Benchmarking, stress testing, workload modeling, and measurement frameworks for large-scale and AI-based systems Trustworthiness, Security, and Responsible Software Engineering • Intersections of reliability with security, privacy, fairness, transparency, and regulatory compliance • Societal, ethical, and human impacts of pervasive AI-enabled software systems • Responsible governance of AI-based systems, including lifecycle assurance, auditability, and risk analysis Human-Centered, Empirical, and Reproducible Reliability Research • Field studies, experience reports, user studies, and human factors in reliability engineering • Public datasets, benchmark suites, reproducibility packages, and replication/negative- result studies • Tooling, automation, continuous reliability monitoring, observability, and operational feedback loops Research Track Paper Categories The research track at ISSRE 2026 invites high-quality submissions of technical research papers that describe original, unpublished results exploring new scientific ideas, contribute new evidence to established research directions, or reflect on practical experience. Specifically, ISSRE solicits submissions in three categories: • Research (RES) papers • Practical experience reports (PER) • Tools and artefacts (TAR) papers Papers will be assessed with criteria appropriate to each category. All the papers of the three categories are regular and full papers, and will be published in the same ISSRE proceedings. RES Papers RES papers (12 pages, including references) should describe a novel contribution to the reliability of software systems. Novelty should be argued via concrete evidence and appropriate positioning within the state of the art. RES papers are also expected to explain the validation process and its limitations clearly. PER Papers PER papers (12 pages, including references) should provide an in-depth exposition of practical experiences ideally performed by a collaboration of researchers and industry practitioners. The key contribution of these papers should be lessons learned from applying established research tools and methods to ISSRE topics, or new knowledge acquired through empirical studies conducted using various research methodologies. Negative results are welcome, e.g., discussing where or why current research cannot be applied in an industrially relevant context. TAR Papers TAR papers (6 – 10 pages, including references) should describe a new tool or artefact. Tool-focused TAR papers must present either a new tool or a novel and substantial extension of an existing tool. They should include a description of (i) the theoretical foundations, (ii) the design and implementation aspects, and (iii) experiments with realistic case studies. Making the tool publicly available is strongly encouraged. Artefact-focused TAR papers should cover (i) a working copy of the software and (ii) experimental data sets. Dataset papers should introduce a new dataset that supports experimentation, benchmarking, evaluation, or training in AI-driven software engineering. Submissions should describe: (i) dataset motivation and scope, (ii) data collection and processing methodology, (iii) dataset structure and statistics, and (iv) potential use cases. Benchmark papers should present a new benchmark suite for evaluating tools, LLMs, or algorithms. Submissions should include: (i) benchmark design principles, (ii) task definitions and evaluation metrics, (iii) baseline results, and (iv) reproducibility package. The ISSRE conference encourages authors of all three categories of research track papers to follow the principles of transparency, reproducibility, and replicability. Authors are encouraged to disclose data to increase reproducibility and replicability. Should the paper be accepted, the authors will have the opportunity (and are encouraged to) submit artifacts to the Artifact Evaluation (AE) track, to enhance the reproducibility and quality of the research. By submitting your artifacts, you not only contribute to the progress of our field but also stand a chance to earn badges that will be displayed on your papers in the conference proceedings, showcasing the credibility and rigor of your work. At least one author of each accepted paper must register as an author and present the paper in person at the conference. Best Research Paper Award ISSRE is pleased to announce the IEEE Best Research Paper Award, awarded every year to the best paper in the Research Track. Special Journal Issue Authors of accepted papers will be invited to submit an extended version of their work to a special issue of the Empirical Software Engineering (EMSE) journal (under negotiation as in previous editions of the conference). The Call for Papers will be available soon. Review Process & Quality Assurance in ISSRE 2026 (New) Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Major Revision Guidelines Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Rapid Response Reviewers (RRRs) Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Anonymizing Rules Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Formatting Rules Please refer to the information on the conference web site: https://cyprusconferences.org/issre2026/cfp-research/ Paper Submission Papers are submitted via Easy Chair https://easychair.org/conferences?conf=issre2026 . Submissions will be reviewed by the Program Committee through a double-blind reviewing process, with a limited use of outside referees. Papers will be held in complete confidence during the reviewing process, but papers accompanied by nondisclosure agreement forms are not acceptable and will be rejected without review. Changes in the number and order of authors will not be allowed after the paper acceptance. Authors must anonymize their submissions in accordance with the guidelines above. Submissions violating the formatting and anonymization rules will be desk-rejected without review. There will be no extensions for reformatting. Conference Proceedings The authors of accepted papers must omit the paper’s type from the title to keep consistency among all the camera-ready versions in the proceedings. The conference proceedings will be published by IEEE Computer Society Conference Publishing Services (CPS). Papers presented at the conference will be submitted for inclusion into IEEE Xplore and to all of the A&I (abstracting and indexing) partners (such as the EI Compendex). Important Dates (AoE) • Abstract Submission Deadline: April 24, 2026 (extended and final!) • Paper Submission Deadline: April 24, 2026 (extended and final!) • Author Rebuttal Period: June 5 – June 9, 2026 • Decisions and Early Notification: June 15, 2026 • Author Revision Period: June 16 – July 3, 2026 • Notification to Authors: July 8, 2026 • Camera Ready Papers: August 19, 2026 • Author Registration Deadline (Research Track): August 19, 2026 Organisation General Chairs • Leonardo Mariani, University of Milano - Bicocca, Italy • George A. Papadopoulos, University of Cyprus, Cyprus Program Coordinator • Roberto Natella, GSSI, Italy Research Program Committee Chairs • Domenico Cotroneo, UNC Charlotte, USA • Jie M. Zhang, King's College London, UK Industry Program Chairs • Jinyang Liu, Bytedance, USA • Sigrid Eldh, Ericsson AB, Sweden Workshop Chairs • Georgia Kapitsaki, University of Cyprus, Cyprus • August Shi, The University of Texas at Austin, USA Doctoral Symposium Chairs • Stefan Winter, LMU Munich, Germany • Lili Wei, McGill University, Canada Fast Abstract Chairs • Luigi Lavazza, University of Insubria, Italy • Yintong Huo, SMU, Singapore JIC2 Chair • Helene Waeselynck, LAAS-CNRS, France Publicity Chairs • Allison K. Sulivan, The University of Texas at Arlington, USA • Jose D'Abruzzo Pereira, University of Coimbra, Portugal Publication Chairs • Sherlock Licorish, Otago Business School, New Zealand • Maria Teresa Rossi, GSSI, Italy Artifact Evaluation Chairs • Naghmeh Ivaki, University of Coimbra, Portugal • Fumio Machida, University of Tsukuba, Japan Diversity and Inclusion Chair • Eleni Constantinou, University of Cyprus, Cyprus Financial Chair • Costas Pattichis, University of Cyprus, Cyprus Web Chairs • Michalis Ioannides, Easy Conferences LTD • Elena Masserini, University of Milano - Bicocca, Italy Registration Chair • Easy Conferences LTD -------------- next part -------------- An HTML attachment was scrubbed... URL: From madeira at ua.pt Mon Apr 13 19:56:11 2026 From: madeira at ua.pt (Alexandre Madeira) Date: Mon, 13 Apr 2026 17:56:11 +0000 Subject: [fg-arc] LSFA 2026 -- Last call for papers Message-ID: <330F2A84-5EFC-4A54-9776-144CA86BA61D@ua.pt> ---------------------------------------------------------------------------------------- LSFA 2026 - Last Call for Papers 21st International Symposium on Logical and Semantic Frameworks with Applications - LSFA 2026 - 18 - 19 July 2026 Lisbon, Portugal https://lsfa-workshop.github.io/2026/ ---------------------------------------------------------------------------------------- Logical and semantic frameworks are formal languages used to represent logics, languages, and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. We are inviting formal submissions on the following topics, but not limited to: Automated deduction Applications of logical and/or semantic frameworks Computational and logical properties of semantic frameworks Formal semantics of languages and systems Implementation of logical and/or semantic frameworks Lambda and combinatory calculi Logical aspects of computational complexity Logical frameworks Process calculi Proof theory Semantic frameworks Specification languages and meta-languages Type theory The program committee is chaired by Valeria de Paiva, Topos Institute, Berkeley,and Thaynara de Lima, Federal University of Goiás, Goiânia. *** Formal Paper Submissions *** Contributions should be written in English and submitted in the form of: - full papers (with a maximum of 16 pages excluding references) or ; - short papers (with a maximum of 6 pages excluding references). They must be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in latex using EPTCS style. https://style.eptcs.org/ The submission should be in the form of a PDF file uploaded to HotCRP. https://submissions.floc26.org/lsfa/ If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. Following LSFA traditions, besides Proceedings, we are considering publishing a Special Issue LSFA 25+26 (more details regarding past publications at https://lsfa-workshop.github.io/). *** Important Dates *** - Abstract deadline: April 17, 2026 - Full paper deadline: April 24, 2026 - Notification of acceptance: May 25, 2026 - Conference: July 18-19, 2026 ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From christian.berger at gu.se Mon Apr 13 23:02:17 2026 From: christian.berger at gu.se (Christian Berger) Date: Mon, 13 Apr 2026 21:02:17 +0000 Subject: [fg-arc] 52nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2026) Message-ID: 52nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2026) September 02-04, 2026, Krakow, Poland https://dsd-seaa.com/seaa2026/ ---------------------------------------- The Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) is a long-standing international forum for researchers, practitioners, and students to present and discuss the latest innovations, trends, experiences, and concerns in the field of Software Engineering and Advanced Applications in information technology for software-intensive systems. ---------------------------------------- Tracks and Organizers ---------------------------------------- - CPS: Cyber-Physical Systems S. Mubeen (Mälardalen University, Sweden) and V. Klös (Carl von Ossietzky University of Oldenburg, Germany) - DAIDE: Data and AI Driven Engineering H. Holmström Olsson (Malmö University, Sweden) and J. Bosch (Chalmers & Gothenburg University, Sweden, and Eindhoven University of Technology, The Netherlands) - ECT: Emerging Computing Technologies P. Diniz (University of Porto, Portugal) and V. Lenarduzzi (University of Oulu, Finland) - EXTRA: Explainable and Trustworthy Applications K. Tuma (Eindhoven University of Technology, The Netherlands), G. Giordano (University of Salerno, Italy), and F. Palomba (University of Salerno, Italy) - KKIO: Practical Aspects of Software Engineering M. Bubak (Sano Centre for Computational Medicine, ACC Cyfronet AGH, Krakow, Poland, & PTI/PIPS), M. Szpyrka (AGH University of Krakow, Poland), A. Roman (Jagiellonian University, Krakow, Poland), and M. Staron (University of Gothenburg, Sweden) - MDEML: Model-Driven Engineering and Modeling Languages A. Bucaioni (Mälardalen University, Sweden), B. Wiesmayr (Johannes Kepler University, Austria), and F. Ciccozzi (Mälardalen University, Sweden) - SM: Software Management: Measurement, Peopleware, and Innovation O. Demirors (Izmir Institute of Technology, Turkey), C. Gravino (University of Salerno, Italy), and V. Pontillo (Gran Sasso Science Institute, Italy) - SMSE: Systematic Literature Reviews and Mapping Studies in Software Engineering S. Swift (Brunel University, United Kingdom) and M. Arzoky (Brunel University, United Kingdom) - SPPI: Software Process and Product Improvement S. Biffl (Technische Universität Wien, Austria), D. Winkler (Center for Digital Production (CDP) and Technische Universität Wien, Austria), and R. Rabiser (Johannes Kepler University Linz, Austria) - STREAM: Software Analytics: Mining Software Open Datasets and Repositories E. M. Arvanitou (International Hellenic University, Greece) and S. Bibi (University of Western Macedonia, Greece) ---------------------------------------- Submission Guidelines ---------------------------------------- SEAA 2026 encourages the submission of full research papers (maximum 16 pages), short papers (maximum 8 pages), and tool demo papers (maximum 8 pages). Papers follow a single-blinded reviewing process and must contain original unpublished work, describe significant novel contributions, and provide evidence about the validation of the results. Reports on industrial applications are also welcome. All submissions to SEAA 2026 must be formatted according to the Springer Lecture Notes in Computer Science (LNCS) conference proceedings guidelines. Please carefully review the submission instructions for proceedings authors from Springer, particularly regarding the required format and mandatory sections in the manuscript. Papers must strictly adhere to the single-column Springer conference proceedings format, for which authors can find both LaTeX and Word templates following the aforementioned link. All submissions of all the tracks and special sessions at SEAA 2026 must be prepared as PDF and submitted online by the deadline via the EasyChair conference management system at https://easychair.org/conferences?conf=seaa2026 Papers submitted to SEAA 2026 must not be under review or submitted for review elsewhere whilst under consideration for SEAA 2026. 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. Submissions that do not adhere to the required format or fall outside the scope of the conference will be desk-rejected without review. Those that comply with the submission guidelines and align with the conference’s scope will undergo peer review by three program committee members. Each submission will be evaluated based on its significance, originality, clarity of presentation, technical soundness, evaluation (when applicable), and the relevance and quality of comparisons to related work. Accepted papers will be published by Springer in their LNCS series, which will be hosted on SpringerLink and indexed in all major indexing services. The program co-chairs reserve the right to exclude papers from publication if the paper is not presented at the conference. Best papers of SEAA 2026 will be invited to submit extended versions for a theme issue at Elsevier Journal of Systems and Software. Selected papers will be expected to comply with the standard guidelines of the journal when publishing an extended version of a paper, including adding about 30% new, original material. For further information, please contact the PC-Co-Chairs via seaa2026 at easychair.org. ---------------------------------------- Important Dates ---------------------------------------- - Deadline for paper submission: April 29th, 2026 - Notification of acceptance: May 22nd, 2026 - Camera-ready papers: June 8th, 2026 ---------------------------------------- Organizers ---------------------------------------- General Chair -------------------- Tomasz Kryjak (AGH University Krakow, Poland) Marek Gorgon (AGH University Krakow, Poland) Program Chair -------------------- Christian Berger (University of Gothenburg, Sweden) Verena Klös (Carl von Ossietzky University of Oldenburg, Germany) Proceedings Chair -------------------- Julian Frattini (Chalmers, Sweden) Krishna Ronanki (University of Gothenburg, Sweden) Publicity Chair -------------------- Beatriz Cabrero-Daniel (University of Gothenburg, Sweden) Mersedeh Sadeghi (University of Cologne, Germany) Steering Committee -------------------- Stefan Biffl – (Technische Universität Wien, Austria) Michel Chaudron (Eindhoven University of Technology, Netherlands) Onur Demirors (IzTech, Turkey) Carmine Gravino (University of Salerno, Italy) Helena Holmström Olsson (Malmö University, Sweden) Andreas Wortmann (Stuttgart University, Germany) ---------------------------------------- More Information ---------------------------------------- Website: https://dsd-seaa.com/seaa2026/ LinkedIn: https://www.linkedin.com/company/dsd-seaa-conference -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4303 bytes Desc: not available URL: From sauer at uni-paderborn.de Wed Apr 22 11:41:31 2026 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Wed, 22 Apr 2026 11:41:31 +0200 Subject: [fg-arc] HEUTE noch anmelden! > Architekturen + WSRE 2026 > Programm Message-ID: <91dcfc5f-6424-4646-a70c-13ca346d013d@uni-paderborn.de> *Zur Teilnahme an der Fachgruppentagung "Architekturen 2026" ist ein Anmeldung bis zum 22. April erforderlich; sie erfolgt über die Webseite des WSRE 2026: ***Anmeldeseite* * ** Liebe Mitglieder und Befreundete der GI-Fachgruppe "Architekturen", die*Jahrestagung der GI-Fachgruppe "Architekturen"*im GI-Fachbereich Softwaretechnik bringt*Praktiker*innen*und*Forscher*innen*zum Thema (Software-)Architekturen zusammen. Wir laden Sie herzlich zu der Veranstaltung ein. Die Jahrestagung *Architekturen 2026* findet vom *6. Mai bis 8. Mai* gemeinsam mit dem*Workshop Software-Reengineering & -Evolution (WSRE 2026) *der Schwester-FachgruppeSoftware-Reengineering (SRE) imPhysikzentrum Bad Honnef (PBH) statt! Folgen Sie spannenden Vorträgen zu aktuellen Architekturthemen und diskutieren Sie mit einem interessierten Publikum aus Wirtschaft und Wissenschaft, welche Entwicklungen sich in diesen Bereichen abzeichnen und was diese für praktizierende Softwarearchitekt*innen bedeuten. Sowohl das Programm der Architekturen 2026 als auch das Programm des WSRE 2026 stehen nun fest! Es gibt gemeinsame Sessions (am Freitag) und eine gemeinsame Keynote (am Donnerstag), aber auch individuelle Programmteile. Das Programm der Architekturen 2026 besteht aus*eingeladenen Vorträgen*aus Wissenschaft und Praxis zu aktuellen Themen im Bereich (Software-)Architekturen.Valentina Lenarduzzi  (University of Southern Denmark) hält den gemeinsamen *Keynote-Vortrag *von Architekturen und WSRE 2026! Außerdem finden *Treffen der Arbeitskreise*der GI-Fachgruppe statt: * AK-Treffen des Arbeitskreises *Artificial Intelligence for Software Architecture  (AI4SA) ***- Mittwochnachmittag * AK-Treffen des Arbeitskreises *Microservices und DevOps  (MSDO) *- Freitagnachmittag * AK-Treffen des Arbeitskreises *Meta-Research and Knowledge Transfer in Software Engineering  (ak-se-meretra) *- Freitagnachmittag Im Programm der Architekturen 2026 findet auch eine ordentliche*Fachgruppensitzung*mit*Neuwal der Fachgruppenleitung*statt. Zur Teilnahme an der Fachgruppentagung "Architekturen 2026" ist eine *verbindliche Registrierung* erforderlich. Die Anmeldung erfolgt über die Webseite des WSRE 2026: ****Anmeldeseite* *. Bitte registrieren Sie sich bis zum 22. April 2026. Die Abrechnung der *Tagungsgebühr* (Tagungspauschale inkl. Verpflegung, Übernachtungskosten bei Übernachtung im PBH) erfolgt individuell (d.h. gemäß der individuell in Anspruch genommenen Leistung) durch das PBH. Wir freuen uns auf Ihre Teilnahme! Freundliche Grüße /Stefan Sauer/ Sprecher der GI-Fachgruppe Architekturen -- "Software.Innovation.Zukunft" -- Prof. Dr. Stefan Sauer Diplom-Informatiker Forschungsgruppe "Human-Centered Software Engineering" Geschäftsführer Senior Researcher Universität Paderborn | SICP - Software Innovation Campus Paderborn Software Innovation Lab Zukunftsmeile 2 33102 Paderborn Fon +49 5251 60-6820 E-Mailsauer at uni-paderborn.de Web go.uni-paderborn.de/sauer www.sicp.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4834 bytes Desc: Kryptografische S/MIME-Signatur URL: