From announce at ucy.ac.cy Tue Mar 3 09:33:52 2026 From: announce at ucy.ac.cy (Announce) Date: Tue, 3 Mar 2026 08:33:52 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Second Call for Papers (Industry Track) Message-ID: *** Second Call for Papers (Industry 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 ISSRE Industry Track gathers industry representatives as well as researchers from, within or in collaboration with industry to discuss software reliability, quality assurance as well as experiences and lessons learned. This year we will bring experiences from self- made tools, usage of AI, generative AI and machine learning in relation to software reliability. Industry track papers are expected to be of interest to software development professionals, as well as to anyone researching or working in the area of software reliability, software quality, and process improvement groups, with concrete relevance to industrial problems and practical applications. All presenters of accepted papers will be required to attend the conference in person. Participating in the conference would give a chance to meet and discuss with a wide selection of researchers and other industry experts in the area. Topics of Interest Topics of interest include development, analysis methods and models throughout the software development lifecycle, from an industrial and practitioner-oriented perspective. Ask yourself this: Is the work grounded in real-world systems, operational experience, or industrial practice, and does it address reliability or dependability concerns? If it is, you have found the right conference track. For a more detailed list check out the detailed topics list for the research track on this site. • Use cases, practical experiences, lessons learned, improvement programs in reliability or dependability. • Foundations of reliability and dependability, including process, technology, methods, metrics and lessons learned. • Design for reliability or dependability, failure and incident case studies, including experiences in security, testing, verification, and related practices in the field. • Reliability in AI-driven and autonomic systems or AI techniques used for Reliability Engineering. • Software reliability in any system domain. • Trustworthiness, security, and Responsible Software Engineering. • Human-centric focus on reliability and dependability. • Adoption of reliability standards, measurements and similar experiences. We look for papers with good evaluation, honest data, new insights and practical experiences that can be used to help others. We also encourage submissions reporting negative results, unexpected outcomes, and lessons learned from real-world practice. Submission Guidelines and Instructions We invite three kinds of submissions to the Industry Track: • Enlightening Talk or Tool Demo: 1-2 page abstract (OR a Power Point presentation OR a video for a tool demo). • Short paper: 4-pages (including references). • Full paper: 6-pages (including references). All the submissions will be reviewed by members of the Industry Track Program Committee. Accepted papers (with an abstract) will be included in the ISSRE Supplemental Proceedings and submitted for publication to IEEE Xplore. Papers are submitted via Easy Chair https://easychair.org/conferences?conf=issre2026 . Submissions must adhere to the IEEE Computer Society Format Guidelines (for more Information, please refer to the relevant part on the conference website: https://cyprusconferences.org/issre2026/industry-track/). Note that: • A paper must include the title, the name and affiliation of each author, an abstract of up to 150 words, and up to 4 keywords. Thus, submissions are not anonymous. • Reviewers will use the abstract during the bidding process for peer-review. Thus, the abstract should state the paper goals clearly, along with the means used to achieve them. • The first page is not a separate page, but is a part of the paper (i.e., it has technical material in it). Thus, this page counts toward the total page budget for the paper. • Symbols and labels used in the graphs should be readable as printed, without requiring on-screen magnification. • Limit the file size to less than 15 MB (for Video’s – provide a live link). Papers that exceed the page limits specified, on topics not in the scope of ISSRE, or that do not follow the formatting guidelines will be rejected without review. Authors of accepted papers will have the chance to present their work at ISSRE 2026. Submission implies the willingness of at least one of the authors to register for the conference and to give the talk, if the paper is accepted. Best Paper Awards The Industry Program Chair will select three candidates among top-ranked papers presenting and motivating novel and disruptive ideas that address problems relevant for industry. Selection will be based on the reviewers’ feedback, novelty and potential impact of the results. The final selection of the best paper will be done by the audience attending the presentation of the candidate papers. Eligible papers must be (1) full papers accepted to the industry track, and (2) co-authored by at least one author whose primary affiliation is in Industry. Important Dates (AoE) • Abstract Submission Deadline: June 28, 2026 & July 3, 2026 • Paper Submission Deadline: July 5, 2026 & July 12, 2026 • Notification to Authors: August 12, 2026 • Camera Ready Papers: August 19, 2026 • Enlightening Talks or Tool Demos (without abstract; not to appear in the proceedings): August 15, 2026 • Author Registration Deadline (Industry 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 laura.carnevali at unifi.it Wed Mar 4 08:59:10 2026 From: laura.carnevali at unifi.it (Laura Carnevali) Date: Wed, 4 Mar 2026 08:59:10 +0100 Subject: [fg-arc] CfP PEVA Special issue on "Artificial Intelligence for Performance and Reliability Evaluation of Software Systems" Message-ID: 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 announce at ucy.ac.cy Fri Mar 6 08:38:41 2026 From: announce at ucy.ac.cy (Announce) Date: Fri, 6 Mar 2026 07:38:41 +0000 Subject: [fg-arc] International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Third Call for Research Papers Message-ID: *** Third Call for Research Papers *** 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 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: 2 April 2026 • 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 stefania.dumbrava at ensiie.fr Thu Mar 5 20:35:50 2026 From: stefania.dumbrava at ensiie.fr (Stefania Dumbrava) Date: Thu, 5 Mar 2026 20:35:50 +0100 Subject: [fg-arc] [CFP] 17th Graph Computation Models Workshop - STAF 2026 - Deadline: 19 April Message-ID: <6f87dcb2-a299-46d9-b59b-caf3cbca9c8b@ensiie.fr> /Please distribute as wide as possible, apologies for cross //posting!/ ============================================================= CALL FOR PAPERS ============================================================= *17th International Workshop on Graph Computation Models  (GCM 2026)* June 30, 2026, Rennes, France https://conf.researchr.org/home/staf-2026/gcm-2026 Part of STAF 2026 https://conf.researchr.org/home/staf-2026 ============================================================= Important Dates ============================================================= *Paper Submission :   19 April 2026* Notification :                 20 May 2026 Final version due:         03 June 2026 Workshop :                   30 June 2026 Should you have any problem meeting the deadlines, please send an email to the organizers: * Nicolas Behr (nicolas.behr at irif.fr) * Stefania Dumbrava (stefania.dumbrava at ensiie.fr) ============================================================= Aims ============================================================= Graph computation models offer mathematically rigorous frameworks for specifying and analyzing rule-based and structural transformations of complex systems. They underpin research in areas including model-driven engineering, distributed systems, knowledge graphs, biological modeling, and quantum computation. The International Graph Computation Models Workshop (GCM 2026) provides a focused forum for foundational advances and emerging applications of graph-based computation, bringing together researchers interested in all aspects of computation models based on graphs and graph transformation. It fosters cross-fertilization of ideas and experience among senior and early-career researchers from different communities, spanning foundations, applications, and implementations of graph computation models and related areas. Since 2006, GCM has been organized regularly as part of STAF and related events across Europe and beyond. Previous editions of the GCM series were held in Natal, Brazil (2006); Leicester, UK (2008); Enschede, The Netherlands (2010); Bremen, Germany (2012); York, UK (2014); L'Aquila, Italy (2015); Wien, Austria (2016); Marburg, Germany (2017); Toulouse, France (2018); Eindhoven, The Netherlands (2019); online (2020 and 2021); Nantes, France (2022); Leicester, UK (2023); Twente, The Netherlands (2024); and Koblenz, Germany (2025). ============================================================= Topics of Interest ============================================================= GCM 2026 welcomes high-quality contributions on all aspects of graph computation models and graph transformation. Topics include, but are not limited to: Foundations * Models, semantics, and calculi of graph transformation * Algebraic, categorical, and logical foundations * Analysis and verification of graph transformation systems * Confluence, termination, and complexity * Expressiveness and equivalence of graph computation models * Parallel, concurrent, and distributed graph transformation * Term graph rewriting and formal graph languages Methods and Tool Support * Implementation techniques and optimization * Tool support and engineering of graph-based systems * Static analysis, model checking, and testing * Benchmarking and evaluation frameworks Emerging Directions * Graph computation in AI and machine learning * Neuro-symbolic and rule-based learning approaches * Graph databases and property graph models * Graph computation in distributed and local-first systems * Explainability and reliability of graph-based systems Applications * Graph-based and visual programming languages * Model-driven engineering and model management * Software architecture, evolution, and refactoring * Databases, knowledge graphs, and data management * Security, access control, and policy modeling * Workflow systems and business processes * Social, biological, and chemical network analysis * Quantum computing models and applications * Industrial applications and case studies ============================================================= Invited Speakers ============================================================= We are very happy to confirm the following invited speakers: * *Jade Alglave*, ARM & University College London, UK * *Nicolas Keriven*, CNRS & IRISA, France ============================================================= Submissions and Publication ============================================================= Authors are invited to submit papers in three possible categories: (1) Regular papers of at most 16 pages describing innovative contributions., (2) Position papers, system descriptions or work in progress of 6 to 12 pages. (3) Abstracts limited to 2 pages, introducing recently published papers in a peer-reviewed venue different from the ICGT conference (these will not be included in the workshop proceedings). Papers in PDF format should be submitted electronically via the EasyChair system site: https://easychair.org/conferences/?conf=staf2026 For further information, please see: https://conf.researchr.org/home/staf-2026/gcm-2026#Call-for-Papers All papers must follow the CEUR single-column workshop proceedings format: https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw Simultaneous submission to other conferences with proceedings, as well as submission of material that has already been published elsewhere is not allowed for regular and short papers. The page limits include references. An optional appendix may be included for review purposes. Reviewers are not required to read the appendix, and only the main paper will appear in the proceedings. If a short announcement extensively draws on previously published work, a copy of that work must be attached to the submission. All submissions will be reviewed by the program committee; short announcements will undergo a lightweight review and mainly be assessed for their potential to stir discussion on future research of the community. Electronic proceedings will be available at the time of the workshop. ============================================================= Program Committee =============================================================* * * *Nicolas Behr* (co-chair), CNRS, & Université Paris Cité & IRIF * *Clara Bertolissi*, INSA Centre-Val-de-Loire * *Andrea Corradini*, University of Pisa * *Frank Drewes*, Umeå University * *Stefania Dumbrava* (co-chair), ENSIIE & INRIA Paris & IRIF & Télécom SudParis * *Fabio Gadducci*, University of Pisa * *Dominik Grzelak*, TU Dresden * *Reiko Heckel*, University of Leicester * *Jen Kosiol*, Philipps-Universität Marburg * *Marino Miculan*, DMIF & University of Udine * *Mark Minas*, Universität der Bundeswehr München * *Detlef Plump*, University of York * *Michele Sevegnani*, University of Glasgow * *Vadim Zaytsev*, Universiteit Twente ============================================================= -------------- next part -------------- An HTML attachment was scrubbed... URL: From madeira at ua.pt Sun Mar 8 11:01:13 2026 From: madeira at ua.pt (Alexandre Madeira) Date: Sun, 8 Mar 2026 10:01:13 +0000 Subject: [fg-arc] LSFA 2026 Second Call for Papers Message-ID: ---------------------------------------------------------------------------------------- LSFA 2026 Second 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: March 30, 2026 - Full paper deadline: April 4, 2026 - Notification of acceptance: May 4, 2026 - Conference: July 18-19, 2026 ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sat Mar 21 15:06:30 2026 From: announce at ucy.ac.cy (Announce) Date: Sat, 21 Mar 2026 14:06:30 +0000 Subject: [fg-arc] International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Call for Journal First Papers Message-ID: *** Last Call for Journal First Papers *** 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 The VARIABILITY conference series brings together the communities previously served by ICSR, SPLC, and VaMoS, forming a unified venue for research on variability, configuration, customization, and related disciplines in software and systems engineering. VARIABILITY 2026 invites Journal-First presentations of papers recently published in leading software engineering journals, including TSE, TOSEM, IST, EMSE, JSS, ASEJ, SoSyM, and reputable open-access journals. This initiative provides authors with the opportunity to engage directly with the VARIABILITY community, while offering attendees a richer and more diverse program. The Journal-First papers remain published in their respective journals, and a one-page summary will be included in the VARIABILITY 2026 proceedings with a pointer to the original publication. Scope To qualify for a Journal-First presentation at VARIABILITY 2026, a paper must meet these criteria: • It was published on the publisher’s website between May 2024 and March 2026. • It fits within the scope of VARIABILITY 2026, as described in the research track call (https://conf.researchr.org/track/variability-2026/variability-2026-papers#Call-for-Papers), and can bring new insights or directions to the community. • It presents new research results or significant extensions of prior work that have not been presented at SPLC, VaMoS, or ICSR before. • It has not been presented at, and is not under review for, Journal-First Tracks of other related conferences. How to Submit Authors of papers that meet the above criteria are invited to submit a short proposal for presentation. The proposal should be one page and include the following: • Paper title, authors, extended abstract, and a link or DOI to the original journal paper. • If the journal paper builds on or is related to previously published work (such as a poster or tool demo), the proposal must clearly explain why it should be considered a Journal- First paper. • All proposals must be submitted as a PDF via EasyChair: https://easychair.org/my/conference?conf=variability2026 (Journal-First Track). • Please upload both the proposal PDF and a ZIP file containing the original journal paper. Accepted papers will be published in the VARIABILITY 2026 Companion Proceedings published by Springer in the LNCS series. A Journal-First proposal must be at most one page long and it must follow the Springer guidelines: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . By submitting your paper for inclusion in these proceedings, you acknowledge that you and your co-authors must comply with Springer’s publications policies (https://www.springer.com/gp/editorial-policies) including requirements related to research integrity, copyright, and ethical standards. Any alleged violations of these policies may be investigated by Springer and could result in corrective actions, including withdrawal of the paper. Evaluation and Selection Proposals will be selected based on the quality of the publication and the journal, after confirming that the paper fits the scope of the conference. Since the papers have already been peer-reviewed and accepted by their journals, they will not undergo another technical review. The goal is to include as many papers as possible in the Journal-First Track. However, if an unusually high number of papers are received, some might not be accepted. If needed, priority will be given to papers that best align with the conference topics of interests and the structure of the sessions. Conference Attendance For each paper accepted into the Journal-First Track, at least one author must register for the conference and attend to give the oral presentation. Important Dates (AoE) • Submission of Papers: 2 April 2026 • Notification of Acceptance: 1 June 2026 • Camera-Ready Submission: 15 July 2026 • Author Registration: 15 July 2026 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 announce at ucy.ac.cy Thu Mar 26 11:16:15 2026 From: announce at ucy.ac.cy (Announce) Date: Thu, 26 Mar 2026 10:16:15 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Second Call for Workshop Proposals Message-ID: *** Second Call for Workshop Proposals *** 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/ Objectives ISSRE strives to be the conference that appeals to both researchers and practitioners. To that end, we invite proposals for workshops to co-locate with the Symposium and provide additional opportunities for collaborating and exchanging information. The workshops aim at discussing research developments and challenges at an early stage. ISSRE welcomes workshops that explore new ways to provide and assess software reliability, safety, and security. We also seek workshops that deal with the provision of reliable, safe, and secure software and systems in fast-growing, transformative application domains. Appropriately defined workshop proposals have the following characteristics: • They offer researchers a forum to exchange and discuss scientific and engineering ideas at an early stage before maturation that would warrant conference or journal publication. • They attract practitioners and researchers to working sessions to discuss and make progress toward solutions to current and future problems in engineering high assurance software and systems. • They focus on collaborative discussions and information sharing between researchers and industry practitioners. Recurring Workshops Workshops affiliated with ISSRE in previous years with good organization and numbers of participants are pre-approved. Their organizers do not need to submit a new workshop proposal. Their organizers are kindly asked to inform the workshop chairs about returning the workshop to ISSRE in 2026. Topics of Interest Topics of interest include development, analysis methods and models throughout the software development lifecycle, and are not limited to: • Primary dependability attributes (i.e., security, safety, maintainability) impacting software reliability • Secondary dependability attributes (i.e., survivability, resilience, robustness) impacting software reliability • Reliability threats, i.e. faults (defects, bugs, etc.), errors, failures • Reliability means (fault prevention, fault removal, fault tolerance, fault forecasting) • Machine Learning and AI-based approaches for enhancing reliability of systems • Reliability, threads and biases of AI-based software systems, in particular Large Language Models • Data-related reliability and vulnerability issues and risks • Learning-based models of software systems, threads, and reliability estimates • Automated debugging and program repair • Metrics, measurements and threat estimation for reliability prediction and the interplay with safety/security • Reliability of software services • Reliability of open source software • Reliability in networks softwarization • Reliability of Software as a Service (SaaS) • Reliability of software dealing with Big Data • Reliability of model-based and auto-generated software • Reliability of software in artificial intelligence based software systems • Reliability of software within specific types of systems (e.g., autonomous and adaptive, green and sustainable, mobile systems) • Reliability of software within specific technological spaces (e.g., Internet of Things, Cloud, 5G/6G, edge-to-cloud computing, Semantic Web/Web 3.0, Virtualization, Blockchain) • Normative/regulatory/ethical spaces pertaining to software reliability • Societal aspects of software reliability Proposal Submissions Workshop proposals should include information about the proposed organizing committee and address the following questions: • Workshop length: Half day or one full day • Workshop style: papers, panels, posters, workgroups • Outline of themes and goals of the workshop • How will you solicit participation (call for workshop papers, invitation only, etc.) • Desired/estimated number of participants • Organizing committee members and their past experience Submissions need to be performed via Easy Chair, selecting the appropriate track for workshop proposals. The submission link is: https://easychair.org/conferences?conf=issre2026 . Proposal Evaluation Workshop proposals will be evaluated by the ISSRE 2026 Organizing Committee. The criteria include the alignment with the ISSRE charter, relevance to the larger ISSRE community, and the strength and experience of the organizing team. Logistics The conference will be “in presence” with all presenters of accepted papers expected to attend the conference physically in Limassol, Cyprus. Important Dates (AoE) • Workshop proposal deadline: May 14, 2026 • Workshop proposal notification: May 21, 2026 • Workshop paper submission deadline: July 20, 2026 (NOTE: This date is only indicative – please refer to individual workshop webpages for information about deadlines) • Workshop paper notification to authors: August 10, 2026 • Camera ready papers: August 17, 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 Wed Mar 25 13:53:48 2026 From: madeira at ua.pt (Alexandre Madeira) Date: Wed, 25 Mar 2026 12:53:48 +0000 Subject: [fg-arc] LSFA 2026, deadline extension Message-ID: <83571861-0AED-415F-AEF8-5AB63D1E4FC2@ua.pt> ---------------------------------------------------------------------------------------- LSFA 2026 - Call for Papers [Extended deadline!!!] 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 announce at ucy.ac.cy Fri Mar 27 14:22:30 2026 From: announce at ucy.ac.cy (Announce) Date: Fri, 27 Mar 2026 13:22:30 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Third Call for Papers (Research Track) Message-ID: *** Third 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 matteo.dellabartola at di.unipi.it Fri Mar 27 15:04:52 2026 From: matteo.dellabartola at di.unipi.it (Matteo Della Bartola) Date: Fri, 27 Mar 2026 14:04:52 +0000 Subject: [fg-arc] [CFP] GECON 2026: 21st International Conference on the Economics of Grids, Clouds, Systems and Services Message-ID: ======================================================================== GECON 2026: 21st International Conference on the Economics of Grids, Clouds, Systems and Services September 9-11, 2026, Pisa, Italy Conference site: https://gecon2026.di.unipi.it/ Submission site: https://easychair.org/conferences/?conf=gecon2026 Contact: gecon2026 at easychair.org ======================================================================== IMPORTANT DATES --------------- - May 01, 2026: Special topic session proposals - May 01, 2026: Tutorial proposals - May 08, 2026: Paper abstract submission - May 08, 2026: Notification for special sessions and tutorials - May 15, 2026: Full and short paper submission - June 12, 2026: Poster submission (abstract + poster) - June 12, 2026: Notification of acceptance - June 26, 2026: Camera-ready papers - June 26, 2026: Poster submission for accepted papers OVERVIEW -------- The International Conference on the Economics of Grids, Clouds, Systems and Services (GECON) builds upon a successful series of conferences since 2003. The conference focuses on interdisciplinary research combining economic and business perspectives with engineering and computer science aspects of distributed computing infrastructures and digital service ecosystems. As global markets for infrastructures, platforms and software services continue to expand, understanding their economic implications and technological challenges becomes increasingly important. GECON provides a forum for researchers and practitioners working at the intersection of distributed systems, cloud computing, edge infrastructures and digital markets. TOPICS ------ Submissions combining economic or legal aspects with technological perspectives are particularly encouraged. Topics include, but are not limited to: Economics - Trustworthiness of services - Ecosystem economics - Switching costs - Incentive design and strategic behaviour - Market mechanisms and auction models - Pricing schemes and revenue models - Metering, accounting and billing - Cost-benefit analysis - Trust, reputation and risk management - Performance monitoring and prediction - Economics of open data - Sustainability and energy efficiency - Business models and strategies - Decision support and network effects Law and Legal Aspects - Standardisation and interoperability - Service Level Agreements (SLAs) - Negotiation, monitoring and enforcement - Governance of ecosystems - Privacy - Data sovereignty Clouds, Grids, Systems and Services - IaaS, PaaS, SaaS and federation of resources - Resource allocation, sharing and scheduling - Capacity planning - Virtualization and containers - Service science, management and engineering - Software engineering - Security Applications and Technologies Transforming the Economy - Generative AI and its economic impact - AI-enabled cloud-to-edge computing continuum - AI and power demand - Smart grids, smart cities and smart buildings - Energy-aware infrastructures and services - Edge, fog and cloud computing - Microservices and serverless computing - Internet of Things - Blockchain technologies - Community networks and social computing - Big data and data stream processing - Open source ecosystems - Modelling and simulation of distributed systems - Interoperability and portability SUBMISSION ---------- LINK: https://easychair.org/conferences/?conf=gecon2026 Original full papers and short papers (work-in-progress) are invited. Submissions must be original and not under consideration elsewhere. Full papers: maximum 12 pages Short papers: maximum 8 pages All submissions must follow the Springer LNCS format. Papers will be reviewed based on technical merit, originality and relevance. Accepted papers will be published in the Springer LNCS proceedings. SPECIAL TOPIC SESSION PROPOSALS ------------------------------- GECON invites proposals for special topic sessions aimed at fostering focused discussions on emerging or specialised research areas related to the economics of distributed systems. Special sessions provide an opportunity for researchers to discuss new ideas, present intermediate results of projects, and build research communities around specific themes. Proposals should briefly describe the objectives and relevance of the topic, and outline strategies to encourage participation and discussion. Participants may submit either individual papers or a joint paper for the conference proceedings. TUTORIAL PROPOSALS ------------------ GECON welcomes tutorial proposals on topics relevant to the conference. Tutorials are particularly intended to provide PhD students and early career researchers with an overview of key concepts, challenges and future research directions. Tutorial proposals should include a title, an abstract, and a table of contents outlining the tutorial structure. POSTERS ------- Poster presentations provide an opportunity for PhD students and young researchers to present ongoing work and receive feedback from the community. Authors of accepted papers are also welcome to present a poster to increase the visibility of their work. SPECIAL ISSUES -------------- Extended versions of selected papers will be invited for submission to special issues of international journals, including: - Elsevier Journal of Future Generation Computer Systems - Elsevier Electronic Commerce Research and Applications - Springer Electronic Markets - Springer Electronic Commerce Research ======================================================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Mar 30 14:05:03 2026 From: announce at ucy.ac.cy (Announce) Date: Mon, 30 Mar 2026 12:05:03 +0000 Subject: [fg-arc] International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Call for Research Papers Message-ID: *** Last Call for Research Papers *** 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 extended to 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: