From announce at ucy.ac.cy Mon Jun 1 14:31:18 2026 From: announce at ucy.ac.cy (Announce) Date: Mon, 1 Jun 2026 12:31:18 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Call for Papers (Industry Track) Message-ID: *** Last 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 matteo.dellabartola at di.unipi.it Wed Jun 3 14:49:33 2026 From: matteo.dellabartola at di.unipi.it (Matteo Della Bartola) Date: Wed, 3 Jun 2026 12:49:33 +0000 Subject: [fg-arc] [CFP] GECON 2026: 21st International Conference on the Economics of Grids, Clouds, Systems and Services Message-ID: --Apologies for multiple postings. Share this CFP with anyone you believe may be interested.— ======================================================================== 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 (EXTENDED) --------------- - (ext) June 16, 2026: Special topic session proposals - (ext) June 16, 2026: Tutorial proposals - (ext) June 28, 2026: Notification for special sessions and tutorials - (ext) June 16, 2026: Paper abstract submission - (ext) June 16, 2026: Full and short paper submission - (ext) June 28, 2026: Poster submission (abstract + poster) - (ext) June 28, 2026: Notification of acceptance - (ext) July 10, 2026: Camera-ready papers - (ext) July 10, 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 madeira at ua.pt Wed Jun 3 16:33:13 2026 From: madeira at ua.pt (Alexandre Madeira) Date: Wed, 3 Jun 2026 14:33:13 +0000 Subject: [fg-arc] LSFA'26 call for participation Message-ID: <3C36741E-40A1-49A2-A378-5185498794AF@ua.pt> 21st International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2026) 18 -19, July 2026 https://lsfa-workshop.github.io/2026/ ________________________________ The LSFA series is a platform that fosters collaboration, bringing together theoreticians and practitioners. LSFA aims to promote techniques and results from the theoretical side, ranging from well-established ones such as lambda calculus and type theory to state-of-the-art ones such as machine learning, and provide feedback on integrating, implementing, and using such methods and results from the practical side. See https://lsfa-workshop.github.io/ for further information. ________________________________ The workshop will have sixteen contributed presentations and four invited talks by * Diana Costa, Universidade de Lisboa; * Haniel Barbosa, Universidade Federal de Minas Gerais; * Sandra Alves, Universidade do Porto; * Santiago Escobar, Universidad Politécnica de Valencia. Titles and abstracts of invited talks are available on the webpage, in the "Program" section. We are looking forward to seeing you there! ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri Jun 5 10:28:55 2026 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 5 Jun 2026 08:28:55 +0000 Subject: [fg-arc] =?utf-8?q?FME_Teaching_Tutorial_on_June_12=2C_2026_=40_3_?= =?utf-8?q?pm_CEST=3A_Prof_Jan_Kofro=C5=88=2C_Charles_University=2C_Czech_Re?= =?utf-8?q?public=2C_on_=22Teaching_Formal_Methods_at_Charles_University=22?= Message-ID: <0f4b85da337744098a4c70886f10a037@abo.fi> Dear all, Our Formal Methods Teaching tutorials series continues on Friday, June 12, at 3 pm CEST! Our speaker is Jan Kofroň - Associate Professor at Charles University, Prague, where he has been involved in teaching Formal Methods, for instance within their Dependable Systems MSc program. His educational approach, presented early on at the International Conference on Teaching Formal Methods (TFM 2009), combines behavioural modelling, model checking, program analysis, and code verification. In that presentation, two major challenges for Formal Methods education are identified: the declining mathematical preparedness of students and the shortage of accessible master's-level teaching materials for program verification. In addition to his direct teaching activities, Prof. Kofroň has been actively involved in organising and leading communities and events in the field, for instance the Formal Engineering Approaches to Software Components and Architectures (FESCA) workshop, a long-standing workshop associated with ETAPS. This contributed to promoting the use of formal techniques in software engineering and to supporting the education and development of early-career researchers. In his tutorial talk, he will present to us the current Formal Methods teaching approach at his university as well as several learnt lessons. Here comes the abstract of the tutorial: "In my talk, I will describe some courses related to verification taught as a part of the CS curriculum at Charles University. In particular, I will describe two of them in more detail – a relatively new bachelor-level course “Program Semantics” focused on contract-based verification using PiVC and Dafny, and a master-level course on model checking and related topics called “System Behaviour Models and Verification”, which I have been teaching for almost twenty years. I will also discuss the grading, students' feedback, and my experience with both courses. Last, but not least, I will try to extract some takeaways for the community." The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sat Jun 6 09:13:33 2026 From: announce at ucy.ac.cy (Announce) Date: Sat, 6 Jun 2026 07:13:33 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): First Combo Call for Workshop Papers Message-ID: *** First Combo Call for Workshop Papers *** 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/ Workshops at ISSRE provide additional opportunities for collaborating and exchanging information, for both practitioners from industry and academic researchers. The workshops aim at discussing recent developments and open challenges in engineering high-assurance software and systems, and they are open to exchange of ideas at an early stage before maturation. All accepted workshop papers will be published by IEEE in the ISSRE 2026 accompanying proceedings volume. The following workshops are confirmed and will be organized co-located with ISSRE 2026. 3rd International Workshop on Advanced Intelligent Software Quality (AISQ 2026) https://sites.google.com/view/aisq-2026/home In the era of Industry 4.0, advanced intelligent software systems, such as cyber-physical systems (CPS), machine learning-based systems, manufacturing systems, digital twin systems, quantum software applications, multi-agent systems, real-time systems, and LLM-based systems, are playing an increasingly important role in both the industrial world and our daily lives. Failures or requirement violations in these systems may lead to disruptive consequences or even catastrophic outcomes. Nowadays, extensive research, spanning both formal methods and engineering practices, has been conducted to improve the quality of advanced intelligent software from various aspects, such as usability, correctness, reliability, scalability, and robustness. New research topics and directions, such as prompt engineering and harness engineering, are constantly emerging. Our AISQ aims to bridge the gap between the increasing complexity of modern systems and the scalability of quality assurance approaches and fundamental theories. Specifically, AISQ seeks to collect promising and high-quality research achievements and provide an international venue to discuss advanced discoveries and emerging trends related to the quality of Advanced Intelligent Software in both academia and industry. 3rd International Workshop on Human Factors for Software Dependability (HFSD 2026) https://hfsdworkshop.github.io/ Software is created by humans and widely used by humans, with the ultimate goal of benefiting society. HFSD is a specialized workshop that brings together researchers from multiple disciplines to address the human factors that shape the reliability, safety, security, and availability of software systems. Topics of interest include, but are not limited to, human error, human–AI collaborative programming, social factors in security risks, and human-in-the-loop approaches for trustworthy autonomous systems. 1st International Workshop on Quality Assurance of Conversational Agentic Systems (QA4AGENTS) https://qa4agents.github.io/ The QA4Agents workshop focuses on quality assurance techniques, methodologies, and tools for conversational agentic systems, namely systems capable of interacting with users and external services through natural language. As these systems become increasingly autonomous and deeply integrated into complex software ecosystems, ensuring their reliability, robustness, safety, and correctness represents a critical challenge. The workshop aims to bring together researchers and practitioners from the fields of software engineering, software testing, artificial intelligence, and runtime verification to discuss emerging approaches for the evaluation, testing, monitoring, benchmarking, and validation of conversational agentic systems. 4th IEEE International Workshop on Reliable and Secure AI for Software Engineering (ReSAISE 2026) https://resaise.github.io/2026/ Artificial Intelligence is now deeply embedded in software engineering workflows, from code generation and program repair to vulnerability detection, test generation, maintenance, and developer support. Large Language Models and agentic AI systems make these workflows more powerful, but they also introduce dependability questions that software engineering research cannot treat as an afterthought. ReSAISE’26 brings together researchers and practitioners from the AI and Software Engineering communities to discuss how AI-based solutions for software engineering can be made reliable, secure, trustworthy, and useful in real development settings. The workshop continues the ReSAISE focus on reliability and security while reflecting the growing role of LLMs, AI coding assistants, and multi-agent software engineering systems. We welcome contributions that study the development, deployment, evaluation, and operation of reliable and secure AI for software engineering, including methods, empirical studies, tools, benchmarks, experience reports, and lessons learned from negative or unexpected results. 18th International Workshop on Software Aging and Rejuvenation (WoSAR 2026) https://www.wosar.net/ WoSAR is the premier international venue for discussing the recent advances and discoveries in theoretical and practical aspects of software aging and rejuvenation research. Software aging is the progressive degradation of performance and dependability in computer programs, especially those executing for a long period of time. This phenomenon has been extensively studied for more than 20 years, as it affects many systems, from embedded devices to server software to critical systems. Software rejuvenation, i.e., proactive restart of application (components/threads/tasks), reboot of VMs or machines, and failover to a replica are the most prominent approaches to combat software aging. A variety of rejuvenation techniques, scheduling plans, scope and granularity, have been proposed for different application types and platforms. Important Dates (AoE) • Submission deadline: July 20, 2026 (indicative, refer to the workshops' websites) • Notification of acceptance: August 10, 2026 • Camera-ready copy submission: August 17, 2026 • Author registration deadline: 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 announce at ucy.ac.cy Thu Jun 11 10:27:01 2026 From: announce at ucy.ac.cy (Announce) Date: Thu, 11 Jun 2026 08:27:01 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): First Call for Journal First, Conference Second Proposals Message-ID: *** First Call for Journal First, Conference Second Papers *** 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/ ISSRE 2026 will continue running the “Journal First Conference Second” track that seeks to include journal papers in the ISSRE 2026 program. The authors of papers published recently in prestigious software reliability engineering journals are invited to send a proposal to present their work at ISSRE 2026. Note that the submitted J1C2 paper shall not be a former workshop or conference paper. Via this scheme authors have the possibility to present their work to a wider audience in person, discuss, network with peers, and drive renewed interest to their work. The journal-first manuscripts are published through the journals and will not be part of the ISSRE proceedings. The journal-first papers will be listed in the conference program. At least one author of each presentation accepted for the journal-first program must register and attend the conference to present the paper at the time identified in the program. Scope A journal-first presentation submitted to ISSRE 2026 must adhere to the following criteria: • The paper was accepted for publication not earlier than January 1st 2025. • The paper is in the scope of the conference, as defined in the call for ISSRE 2026 research papers. • The paper reports completely new research results or presents novel contributions that significantly extend and were not reported in prior work. • The paper has not been presented at, and is not under consideration for, journal-first programs of other conferences. Submission of Proposals Authors of manuscripts that respect these criteria are invited to send a one-page presentation proposal (in IEEE 2-column format) via this submission link on EasyChair: https://easychair.org/conferences/?conf=issre2026, consisting of the paper's title, the paper's authors, the paper's abstract, a description of how the paper fits into the conference theme, and a pointer to the original journal paper at the journal's Web site. If the paper is not online yet, then specify so. Authors will also have to upload a copy of the paper. Please make sure to select the J1C2 track at the beginning of the submission process. Authors will be invited to present their paper at ISSRE 2026 after a check that the paper is in scope for the conference and it adheres to the criteria above. The papers will not be reviewed again for technical content. In case an exceptionally high number of proposals is received, presentation proposals will be prioritized according to their fit to the conference theme and structure of sessions. The J1C2 Track Chairs will notify the authors about their decision. Important Dates (AoE) • J1C2 proposal submission deadline: July 20, 2026 • J1C2 notification deadline: August 10, 2026 • Author registration deadline: 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 announce at ucy.ac.cy Fri Jun 12 09:58:19 2026 From: announce at ucy.ac.cy (Announce) Date: Fri, 12 Jun 2026 07:58:19 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): First Call for Doctoral Consortium Papers Message-ID: *** First Call for Doctoral Consortium Papers *** 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 2026 Doctoral Symposium is intended to bring together PhD students working on innovative research for improving, monitoring, and assessing the reliability, dependability, and security of software systems, and give them the opportunity to present and discuss their research in a constructive, friendly, and international atmosphere. The goals of the Doctoral Symposium are: • Providing a setting for constructive feedback on participants' current research and guidance on future research directions; • Developing a supportive community of scholars and a spirit of collaborative research; • Providing an opportunity for PhD students to interact with established researchers and practitioners in the software reliability engineering community. The authors of the selected papers will present their work and receive feedback both from a panel of experts from academia and industry and from other Doctoral Symposium students. The students will also have the opportunity to seek advice on various aspects of completing a PhD, such as how to perform research, how to design and execute empirical research, etc. The papers accepted and presented at the Doctoral Symposium will be published in the supplementary conference proceedings of ISSRE 2026 and participants in the Doctoral Symposium will be given the opportunity to present a poster about their dissertation research at the conference. Who should participate Students at all stages (at the beginning, at the middle, or near the end of their PhD) who are working on a thesis topic relevant to ISSRE are encouraged to participate in the Doctoral Symposium. Submissions Each submission consists of two elements: • Research proposal: a 4-page paper describing your dissertation research to be authored by the student only. Your advisor should be included in the acknowledgments. • Letter of recommendation: ask your advisor to submit a letter of recommendation in support of your application. This letter should include your name and a candid assessment of the current status of your dissertation research. The letter should be emailed to both Doctoral Symposium Co-Chairs (issre2026-ds AT stefan-winter.net) with the subject "ISSRE 2026 Doctoral Symposium Recommendation". Your research proposal should contain at least the following items: 1) a title for your work; 2) an abstract (maximum 200 words); 3) a description of the technical problem to be solved and the research questions to be answered; 4) the proposed approach; 5) a brief description of the work accomplished to date; 6) the tentative date of your thesis defense. All submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Formatting guidelines Papers must be written in English, and be formatted according to the IEEE Computer Society Format Guidelines (https://www.ieee.org/conferences/publishing/templates). Submissions must comply with IEEE’s author guidelines for AI-generated texts (https://open.ieee.org/author-guidelines-for-artificial-intelligence-ai-generated-text/). Process All papers must be submitted electronically at the following link: https://easychair.org/conferences/?conf=issre2026 . Please make sure to select the track on Doctoral Symposium at the beginning of the submission process. Submissions will be reviewed by the Doctoral Symposium co-chairs. Authors of submissions selected for acceptance will present their work during the Doctoral Symposium and have the camera-ready version of their paper published in the ISSRE 2026 Supplementary Proceedings and the IEEE Xplore Digital Library. In addition, authors of accepted submissions will be given the opportunity to present a poster about their dissertation research at the conference. Important Dates (AoE) • Submission deadline: July 22, 2026 • Notification of acceptance: July 29, 2026 • Camera-ready copy submission: July 29, 2026 • Author registration deadline: 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 announce at ucy.ac.cy Tue Jun 16 09:34:41 2026 From: announce at ucy.ac.cy (Announce) Date: Tue, 16 Jun 2026 07:34:41 +0000 Subject: [fg-arc] International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026): Last Call for Workshop Papers Message-ID: *** Last Call for Workshop 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 VARIABILITY is a new conference that has been formed by the merger 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, ranked as a top conference), 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). This is the last call for papers for the two workshops to be collocated with VARIABILITY 2026. VARIABILITY workshop papers will be published in a volume of the conference proceedings published by Springer in LNCS. Tenth International Workshop on Languages for Modelling Variability (MODEVAR 2026) https://modevar.github.io/ Feature models were invented in 1990 and have been recognized as one of the main contributions to the Software Product Line community. Although several attempts have been made to establish and study a sort of standard variability modeling language (e.g., OVM, CVL, TVL, .) there is still no consensus on a simple feature modeling language. There can be many motivations to have one but among others, there is one that is very important: information sharing among researchers, tools, or developers. Following the spirit of the previous MODEVAR workshops, this meeting plans to be a full-day, interactive event where all participants shall share knowledge about how to build up a simple feature model language that the community can agree on. First International Workshop on Generative AI and Variability (GAIV 2026) https://sites.google.com/view/gaiv-2026 The Workshop on Generative AI and Variability (GAIV 2026) invites high-quality contributions from researchers and practitioners in software engineering, artificial intelligence, and related disciplines, focusing on the intersection of generative AI (GenAI) and variability-intensive systems. As configurable systems and GenAI technologies rapidly evolve, their interaction raises new opportunities and challenges: GenAI can automate variability engineering tasks, while variability introduces complexity in AI pipelines, prompts, and generated artifacts. GAIV provides a dedicated forum to explore this emerging research space and foster collaboration between the variability and AI-in-SE communities. Important Dates (AoE) • Workshop Papers Submission: 30 June 2026 • Workshop Papers Notification: 15 July, 2026 • Camera-Ready Version Submission: 31 July, 2026 • Author Registration: 31 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 zi.ya at northeastern.edu Fri Jun 12 18:42:29 2026 From: zi.ya at northeastern.edu (Yangtian Zi) Date: Fri, 12 Jun 2026 16:42:29 +0000 Subject: [fg-arc] Request to distribute: Deadline Extended: 1st International Workshop on Specification-Driven Development Lifecycle (SpecOps 2026) @ SPLASH/ISSTA 2026 Message-ID: Dear mailing list maintainers, We would be grateful if you could distribute the following message. Please let me know if any changes are needed to meet the posting guidelines. Thank you for your time. Best regards, Yangtian Zi Northeastern University SpecOps 2026 Web Chair ---------------------------------------------------------------------------------------------------------------------------------- Hi everyone, We are delighted to announce that the submission deadline for SpecOps 2026 has been extended to June 30, 2026 (AOE). If you've been considering a submission, this is a great window to bring your ideas together. We'd love to see your contribution. You can find the full Call for Papers here: https://conf.researchr.org/home/splash-issta-2026/specops-2026#Call-for-Papers We look forward to your work! Best regards, SpecOps 2026 Program Committee -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Wed Jun 17 08:50:55 2026 From: announce at ucy.ac.cy (Announce) Date: Wed, 17 Jun 2026 06:50:55 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Mile for Fast Abstracts and Project Highlights Submissions Message-ID: *** Last Mile for Fast Abstracts and Project Highlights Submissions *** 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: June 25, 2026 AoE (extended and final!) ***) (*** Proceedings to be published by IEEE ***) A Fast Abstract (FA) or Project Highlights (PH) paper is a two-page, lightly reviewed technical article. The FA/PH track at ISSRE 2026 aims to bring together researchers and practitioners working in Software Reliability Engineering (SRE) to: • Introduce early original ideas. • Discuss relevant work-in-progress and ongoing experiences. • Challenge the SRE status quo on key topics. • Present critical analyses of prior work. • Share lessons learned from real-world SRE applications. • Propose new problems from industrial or academic experience. • Describe approaches to problems of significance that may not yet have complete results. In addition to traditional Fast Abstracts, the track welcomes Project Highlights (PH) papers. PH papers are expected to disseminate results, visions, methodologies, tools, and ongoing activities from national and international research projects (e.g., European, or multi- institutional initiatives). Project Highlights may include, but are not limited to: • Overviews of funded research projects and their objectives. • Project methodologies, architectures, and experimental frameworks. • Early or intermediate results, including lessons learned and preliminary insights. • Datasets, benchmarks, tools, platforms, and other project outcomes released or in progress. • Collaboration experiences, challenges, and emerging research directions from national or international projects. Project Highlights that can stimulate discussion and collaboration within the ISSRE community are welcome. Ongoing projects and projects completed not earlier than October 2025 are eligible. Accepted contributions will be published in the Supplemental Proceedings of ISSRE 2026 and made available via IEEE Xplore. Topics of Interest Topics of interest include, but are not limited to: • Reliability, safety, maintainability, security, survivability, resilience, robustness, and other dependability attributes. • Faults (defects, bugs, etc.), errors, failures, and other dependability threats. • Reliability of all systems, applications, networks, and software, including problems, solutions, and discussions. • Metrics, measurement, assessment, monitoring, modeling, estimation, and prediction regarding reliability. • Reliability of AI-powered software systems, including large language models (LLMs), autonomous agents, and AI-enabled applications. • Other contents about software reliability, such as normative/regulatory/ethical spaces, societal aspects, etc. Presentations The presentation might be in the form of a short talk in a Fast Abstracts/Project Highlights session or a poster. Further details about presentations and posters will be shared with authors upon notification. Submission Guidelines Manuscripts must be: • submitted via EasyChair as a single Portable Document Format (PDF) file with all fonts embedded; • written in English and be formatted according to the IEEE Computer Society Format Guidelines. Papers are submitted via Easy Chair https://easychair.org/conferences?conf=issre2026 . Manuscripts must adhere to IEEE Conference Publishing Policies. Particularly, they should NOT have been previously published or be under submission elsewhere. All submissions will be screened for plagiarized material through the IEEE Cross Check portal. Contacts Please contact the Fast Abstract/Project Highlights Co-chairs (issre2026-fast- abstracts at easychair.org) for any questions or further clarifications. Important Dates (AoE) • Submission deadline: June 25, 2026 (extended) • Notification to authors: August 5, 2026 • Camera ready papers: 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 announce at ucy.ac.cy Sun Jun 21 11:59:34 2026 From: announce at ucy.ac.cy (Announce) Date: Sun, 21 Jun 2026 09:59:34 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Call for Replications and Negative Results Message-ID: *** Last Call for Replication and Negative Results *** 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 Replications and Negative Results (RENE) Track has been introduced in the software engineering community for a while and received overwhelmingly positive feedback. This year, we establish this track at ISSRE and invite researchers to (1) replicate results from previous papers and (2) publish studies with important and relevant negative or null results (results that fail to show an effect, yet demonstrate the research paths that did not pay off). We also encourage the publication of the negative results or replicable aspects of previously published work. For example, authors of a published paper reporting a working solution for a given problem can document in a “negative results paper” other (failed) attempts they made before defining the working solution they published. • Replication studies. The papers in this category must go beyond simply re- implementing an algorithm and/or re-running the artifacts provided by the original paper. Such submissions should at least apply the approach to new data sets (open-source or proprietary). A replication study should clearly report on results that the authors were able to replicate, as well as on the aspects of the work that were not replicable. • Negative results papers. We seek papers that report on negative results. We seek negative results for all types of program comprehension research in any empirical area (qualitative, quantitative, case study, experiment, etc.). For example, did your controlled experiment not show an improvement over the baseline? Even if negative, results obtained are still valuable when they are either not obvious or disprove widely accepted wisdom. Evaluation Criteria Both Replication Studies and Negative Results submissions will be evaluated according to the following standards: • Depth and breadth of the empirical studies • Clarity of writing • Appropriateness of conclusions • Amount of useful, actionable insights • Availability of artifacts • Underlying methodological rigor. A negative result due primarily to misaligned expectations or due to lack of statistical power (small samples) is not a good submission. The negative result should be a result of a lack of effect, not a lack of methodological rigor. Most importantly, we expect replication studies to clearly point out the artifacts upon which the study is built, and to provide the links to all the artifacts in the submission (the only exception will be given to those papers that replicate the results on proprietary datasets that can not be publicly released). Submission Instructions Submissions must be original, in the sense that the findings and writing have not been previously published or under consideration elsewhere. However, as either replication studies or negative results, some overlap with previous work is expected. Please make clear in the paper the overlap with and difference from previous work. All submissions must be in PDF format and conform, at time of submission, to the IEEE Computer Society Format Guidelines: (https://www.ieee.org/conferences/publishing/templates). Authors are strongly encouraged to print the PDF and review it for integrity (fonts, symbols, equations, etc.) before submission, as defective printing can undermine a paper’s chance of success. By submitting to the ISSRE RENE Track, authors acknowledge that they are aware of and agree to be bound by the IEEE Plagiarism FAQ. In particular, papers submitted to the RENE track must not have been published elsewhere and must not be under review or submitted for review elsewhere whilst under consideration for ISSRE 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. To check for double submission and plagiarism issues, the chairs reserve the right to (1) share the list of submissions with the PC Chairs of other conferences with overlapping review periods and (2) use external plagiarism detection software, under contract to the IEEE, to detect violations of these policies. Submissions to the RENE Track can be made via the ISSRE RENE track submission site： https://easychair.org/conferences?conf=issre2026 . Submission Length: The ISSRE RENE Track accepts submissions of two lengths: (1) New replication studies and new descriptions of negative results should have a length of up to 10 pages, plus 2 pages which may only contain references. (2) Negative results documented during the preparation of previously published work by the authors should be described in up to 5 pages, plus 1 page, which may only contain references (e.g., as previously mentioned, authors of a published paper can document negative results they obtained while working on it, such as methodologically sound solutions that did not work). Important note 1: Both types of papers (replication and negative results) will be included as part of the main conference proceedings. Important note 2: The RENE track does not follow a double-anonymous review process. Publication and Presentation Upon notification of acceptance, all authors of accepted papers will receive further instructions for preparing the camera-ready versions of their submissions. If a submission is accepted, at least one author of the paper is required to have a full registration for ISSRE 2026, attend the conference, and present the paper in person. All accepted papers will be published in the conference electronic proceedings. The presentation is expected to be delivered in person, unless this is impossible due to travel limitations (e.g., related to health or visa). Details about the presentations will follow the notifications. The official publication date is the date the proceedings are made available in the IEEE Digital Libraries. The official publication date affects the deadline for any patent filings related to published work. Purchases of additional pages in the proceedings are not allowed. Important Dates (AoE) • Submission deadline: July 5, 2026 • Notification of acceptance: August 12, 2026 • Camera-ready copy submission: August 19, 2026 • Author registration deadline: 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 Sat Jun 20 08:45:06 2026 From: laura.carnevali at unifi.it (Laura Carnevali) Date: Sat, 20 Jun 2026 08:45:06 +0200 Subject: [fg-arc] [Submission deadline approaching] CfP PEVA Special issue on "Artificial Intelligence for Performance and Reliability Evaluation of Software Systems" Message-ID: <8ed0e5f8-4982-4e82-8662-4b17f5e2f173@unifi.it> Dear Colleagues, this is a friendly reminder that the submission deadline for the special issue of the Performance Evaluation Journal (by Elsevier) on the theme: *"Artificial Intelligence for Performance and Reliability Evaluation of Software Systems" * is approaching: *July 1st, 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 Wed Jun 24 11:08:41 2026 From: announce at ucy.ac.cy (Announce) Date: Wed, 24 Jun 2026 09:08:41 +0000 Subject: [fg-arc] 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026): Last Mile for Industry Track Submissions Message-ID: *** Last Mile for Industry Track Submissions *** 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 announce at ucy.ac.cy Wed Jun 24 12:30:30 2026 From: announce at ucy.ac.cy (Announce) Date: Wed, 24 Jun 2026 10:30:30 +0000 Subject: [fg-arc] KGCSW-SETN 2026: Knowledge Graph Construction Workshop: Call for Papers Message-ID: <3BPYVK6V-R0PT-IPCX-YFC6-LR0XZY6G850U@ucy.ac.cy> CALL FOR PAPERS: SETN 2026 WORKSHOP KGCSW-SETN 2026: Knowledge Graph Construction Workshop OVERVIEW -------- The workshop on Knowledge Graph Construction is an essential step towards harnessing the transformative power of Artificial Intelligence (AI) in understanding complex data landscapes. Knowledge graphs stand out as pivotal tools for structuring data, making it interpretable and actionable by AI systems. They enable the representation of data in a form that mirrors human understanding, facilitating more natural interaction between humans and machines. The construction of knowledge graphs embodies the synthesis of various AI disciplines, including natural language processing, machine learning, and semantic web technologies. By organizing this workshop, we aim to foster a collaborative environment where experts and enthusiasts across these fields can converge to share insights, challenges, and breakthroughs. This workshop is held for the second time, following its previous edition at SETN 2024. WORKSHOP FORMAT --------------- Half-day event Location: SETN 2026 Conference (Chania, Crete, Greece) Date: September 9, 2026 TOPICS OF INTEREST ------------------ FOUNDATIONS & TECHNICAL TOPICS: 1. Foundations of Knowledge Graphs 2. Knowledge Extraction and Integration 3. Machine Learning, Large Language Models and Knowledge Graphs 4. Natural Language Processing (NLP) for Knowledge Graphs 5. Knowledge Graph Construction Tools and Technologies 6. Scalability and Performance Optimization APPLICATION AREAS: 1. Healthcare and Life Sciences 2. Security and Cybersecurity 3. Finance and Economics 4. Human-computer interaction / Conversational agents 5. E-Commerce and Retail 6. Smart Cities and IoT 7. Cultural Heritage and Digital Humanities 8. Environmental Science and Sustainability SUBMISSION GUIDELINES --------------------- PAPER TYPES: - Full papers: 6-10 pages - Short papers: 2-4 pages SUBMISSION PLATFORM: EasyChair: https://www.easychair.org/conferences/?conf=setn2026 (Select "SETN 2026 Workshop on Knowledge Graph Construction") REVIEW PROCESS: - Double-blind peer review - At least 2 reviewers per paper - Evaluation criteria: technical quality, relevance, originality, novelty, significance, and clarity PUBLICATION: - All accepted papers will be included in the SETN 2026 Conference Proceedings - Published by the Association for Computing Machinery (ACM) - Available through the ACM Digital Library - Special issue planned for all accepted workshop papers AUTHOR REQUIREMENTS ------------------- For papers to be included in the proceedings and presented at the conference: * At least one author MUST fully register at SETN 2026 as an "Author" * At least one author is EXPECTED to attend the conference for presentation IMPORTANT DATES --------------- Paper Submission Deadline: July 13, 2026 (AOE)* Author Notification: July 17, 2026 (AOE)* Workshop Date: September 9, 2026 *AOE = Anywhere On Earth Time Zone (UTC-12) ORGANIZING COMMITTEE -------------------- Maria Papoutsoglou (Chair) School of Informatics, Aristotle University of Thessaloniki Email: mpapo(at)csd.auth.gr Georgios Meditskos School of Informatics, Aristotle University of Thessaloniki Efstratios Kontopoulos Choreograph Johannes Wachs Center for Collective Learning, Corvinus University Budapest Nick Bassiliades School of Informatics, Aristotle University of Thessaloniki Stefanos Vrochidis Information Technologies Institute, CERTH CONTACT INFORMATION ------------------- For questions or inquiries regarding the workshop: Email: mpapo(at)csd.auth.gr ADDITIONAL INFORMATION ---------------------- Workshop Page: https://www.setn2026.tuc.gr/en/program/workshop EasyChair Submission: https://www.easychair.org/conferences/?conf=setn2026 ============================================================== SETN 2026 Conference - September 9-12, 2026 Chania, Crete, Greece ============================================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Fri Jun 19 09:15:19 2026 From: fm-announcements at lists.nasa.gov (Alceste Scalas via fm-announcements) Date: Fri, 19 Jun 2026 09:15:19 +0200 Subject: [fg-arc] [fm-announcements] CfP: STARS - STAtic+Runtime verification Synergies @ SEFM 2026 Message-ID: <88e9d5f6-53ae-43c3-94ed-eca253eaba51@dtu.dk> * STARS 2026 * 1st workshop on STAtic + Runtime verification Synergies 23/24 November 2026 - Satellite event of SEFM 2026, Malta https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fstars-workshop.github.io%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C42a957e45f264e63851408decdd287e4%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639174501311157095%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=VSe%2FHLXV826UW1o8FmR9137qzzS%2BRQGQNH3LQ%2FcRZFE%3D&reserved=0 STARS 2026 is new a forum for researchers interested in exploring and advancing the integration of static and runtime verification techniques. HIGHLIGHTS AND IMPORTANT DATES (anywhere on Earth) ================================================== STARS 2026 welcomes the submission of both talk proposals and full papers. If accepted, the full papers will be published in the post-proceedings (Springer LMCS, to be confirmed). We are also planning a later journal special issue (quite likely, on Elsevier JLAMP). For further details, feel free to contact the organisers (see below) or visit https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fstars-workshop.github.io%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C42a957e45f264e63851408decdd287e4%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639174501311182061%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=894wFzzgqWjPXzD48c4HWj%2BWq8i3Uj%2Bbq7PUvN0%2Ba7o%3D&reserved=0 * 3 September 2026: Abstracts for full papers * 8 September 2026: Full papers * 15 September 2026: Talk proposals * 7 October 2026: Author notifications TOPICS ====== Static and runtime verification are extremely successful approaches to software correctness. On the one hand, static verification requires access to program code and guarantees the absence of bugs, but may produce false positives. On the other hand, runtime verification can work without program code access and can be tailored to only report real bugs, but cannot find latent bugs before execution. The two approaches can complement each other -- e.g., in heterogeneous systems where some components cannot be statically analysed, but may be monitored. Some combinations of static and runtime verification are already widely studied (e.g., gradual typing), but the broader design space is rich and worth deeper exploration. STARS 2026 welcomes talk proposals and papers on theoretical and practical approaches that combine static and runtime verification, including but not limited to: * Program analysis and verification * Monitor synthesis * Gradual typing * Instrumentation techniques * System adaptation, including shields, gateways, and interceptors * Correct-by-construction techniques such as controlled system synthesis and supervisory control * Fault detection, isolation, recovery, and repair * Correctness specification and specification mining * Applications to security and the Internet of Things * Surveys, retrospective studies, position papers, benchmarking studies, empirical evaluations, and tool papers related to the above INVITED SPEAKERS ================ * Nobuko Yoshida - University of Oxford, UK * Roland Kuhn - RKSW UG, Germany ORGANISERS ========== * Alceste Scalas - Technical University of Denmark (alcsc at dtu.dk) * Adrian Francalanza - University of Malta (adrian.francalanza at um.edu.mt) PROGRAMME COMMITTEE =================== * Elli Anastasiadi - Aalborg University, Denmark * Giorgio Audrito - Università di Torino, Italy * Laura Bocchi - University of Kent, UK * Raymond Hu - Queen Mary University of London, UK * Roland Kuhn - RKSW UG, Germany * Stefan Marr - Johannes Kepler University Linz, Austria * Stefan K. Muller - University of Connecticut, USA * Sung-Shik Jongmans - University of Groningen, Netherlands For inquiries, please contact the organisers above. -- Alceste Scalas - https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpeople.compute.dtu.dk%2Falcsc&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C42a957e45f264e63851408decdd287e4%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C639174501311203203%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=neMXJvZTLj6X3ifBjFzGyUxifz4mm1ode0jNNKIwHoY%3D&reserved=0 Associate Professor @ DTU Compute - Section for Software Systems Engineering Technical University of Denmark Building 321, Room 010 2800 Kgs. Lyngby --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From sauer at uni-paderborn.de Fri Jun 26 08:29:38 2026 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Fri, 26 Jun 2026 08:29:38 +0200 Subject: [fg-arc] Deadline Extended (June 29): IEEE VL/HCC 2026 Graduate Consortium - Paderborn, Germany (Sep 29) Message-ID: We apologize if you receive cross postings of this message via different channels. ---------- *Deadline Extended* We have extended the submission deadline for the VL/HCC 2026 Graduate Consortium. This is your chance to present your cutting-edge research relevant to human-centricity in the age of generative AI---and receive valuable feedback from a panel of experts! Whether you're exploring new ideas or refining ongoing work, this is the perfect venue to connect with peers and mentors in our community. New Deadline: [Monday, June 29, 2026] Submit your work now and don't miss this opportunity to elevate your research! [https://easychair.org/conferences?conf=vlhcc2026] LOOK: *VL/HCC 2026* will be co-located with *HCSE 2026*, the 11th International Working Conference on Human-Centered Software Engineering; see http://www.hcse-conference.org for details. Take advantage from two leading conferences happening together in one place! ========== *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 ---------- *Call for Graduate Consortium Participation* The primary goal of the 2026 VL/HCC Graduate Consortium is to stimulate graduate students’ and other researchers’ thinking about the intricacies of novel, human-centered computing technologies. We invite submissions on any topic within the areas of interest of VL/HCC (see Call for Research Papers), as well as around the main conference’s annual special theme (see below). The Graduate Consortium is a friendly meeting in which you can get constructive feedback and guidance on your work from peers and more seasoned academics. Please read on for the details on how to participate, and if you have any questions, please direct them to the Graduate Consortium Co-Chairs (Paolo Bottoni or Chris Brown ). We look forward to hearing about your work! *Important Dates* Submission: Monday, June 29, 2026 Notification: Friday, July 3, 2026 Camera-Ready Version: Friday, July 24, 2026 Consortium: Tuesday, September 29, 2026 *Special Theme* Recent advances in computing have led to further co-mingling between computers and human society. People now live surrounded by, and as part of, many socio-technical systems. However, as these systems have grown in complexity, they have also become increasingly difficult for humans to understand and direct toward productive and meaningful ends. For this year’s event, we encourage graduate students and other researchers to submit their investigation in generative AI systems and people’s perceived sense of agency when interacting with, and/or programming, such systems. We are interested in seeing discussion on issues such as: - the creation of usable interfaces for using generative AI tools while empowering users fairly and equitably; - generative AI design approaches from a human perspective; - challenges and opportunities that generative AI systems pose for peoples’ experiences of agency; - how does human-centric computing adapt to the new technological landscape; - how will human–AI collaboration and human-in-the-loop workflows evolve; - what new approaches for explainability are needed; - which new skills and capabilities are required; or - how are notions of programming, interactivity, creativity, labor, motivation the presence of generative AI. - Submissions along this theme are especially encouraged, but all topics within the areas of interest of VL/HCC are welcome. *Why You Should Participate* - Present your work to a smaller, more attentive audience. - Get detailed, constructive feedback from a diverse panel of experts. - Meet, learn from, and exchange ideas with other students working on similar problems. - Funding is likely to be available to help cover your cost of attending VL/HCC (details below). *Who Can Participate* The consortium is open to both Master’s and PhD students worldwide, at any stage of the research process. Participation is particularly encouraged from PhD students who are close to proposing a thesis (following an American-style process) or within the first few years of their doctoral research (for the European-style PhD). Everyone who fits this criteria above is strongly encouraged to apply. We invite both students who have participated once before at a VL/HCC Graduate Consortium (who will serve as senior-peer mentors), as well as students for whom this would be their first event. We expect to balance selected students following an approximate ratio of one-third returning / two-thirds new students; each returning student will be linked with a couple of new students in a mentoring arrangement. To encourage a variety of ideas and approaches, if multiple applicants from a particular university apply, then no more than two per university will be selected. To be eligible, each applicant may have participated no more than once in the VL/HCC graduate consortia of past years. *Application Process* To apply, please submit the following documents via EasyChair, in the GC track : - A 2-page research abstract, formatted as a PDF in the standard IEEE two-column letter Conference Proceedings format . - Accepted participants’ abstracts will be included in the conference proceedings. To make it easier for you to write a successful abstract, we provide examples from past years below. - Your curriculum vitae (CV), as a second PDF file. This CV should mention whether you have previously participated in any graduate consortia, and list them if so (e.g., “Participated in the VLHCC’24 GC and the CHI’23 GC”). - Both submissions’ EasyChair titles must begin with your full name, for example: “Alex Smith: Jogging with Psychology while Programming” and “Alex Smith: CV”. Please use “VL/HCC GC submission” as the type of submission in the Topics section. In addition, please also ask your thesis advisor to submit the following, also via EasyChair, in the GC track : - A letter summarizing your accomplishments and describing how far along you are in your Master’s or PhD program, and why attending the GC this year would be important for you. Please ask them to mention if you have already attended VL/HCC GC in any past year. - The advisor’s submission must also begin with your (the student’s) full name, for example: “Alex Smith: recommendation letter from Petunia Matwani”. - Please ask them to use “VL/HCC GC recommendation” as the type of submission in the Topics section. - For US applicants, who are applying for travel funds: the advisor’s letter should include a statement on the availability of funds (or lack thereof) for student travel, as well as a commitment to covering any costs that a travel grant is unable to cover. *Financial Support* We anticipate being able to offer at least partial funding for travel and/or attendance expenses for US participants. We will contact participating students when funding information is available. *Schedule* The consortium event will be a full day in-person event on Tuesday, September 29, 2026. Participants are expected to attend the main conference, as well as the graduate consortium. Other conference attendees are welcome to attend the consortium, to listen to the presentations, to interact with participants, and to give feedback to presenters. More details will be provided closer to the event, including times, location, and agenda. *Posters and Publication* Selected students will also be asked to present a poster on their work at the Showpieces Reception during the main conference. This is a good opportunity to discuss your research with the broader group of conference attendees and get additional feedback and guidance on your work. Details will be provided to accepted applicants. As mentioned above, accepted participants’ abstracts will be included in the published conference proceedings. Details of the publication process will be provided to accepted applicants; in the meantime, please ensure your submission is formatted as a PDF in the standard IEEE Conference Proceedings format. Examples of Successful Applications To be successful, a submission to the Graduate Consortium generally has to have the following parts:  1. The paper starts with a sentence or two that describes a real-world setting. 2. It then identifies a problem in that setting. 3. The remainder of the paper’s introduction outlines an approach for solving that problem. 4. In a subsequent section, the paper describes a prototype or preliminary study showing the feasibility of that approach. 5. The paper explains why more work is still required in addition to this prior work. 6. The paper concludes by describing future work that will build on this prior work in order to complete the approach. 7. Somewhere along the way, the paper explains how the approach builds on or differs from other related work. We have annotated three excellent submissions that exemplify the pattern described above. We hope that you will find these examples thought-provoking and helpful as you design your own submission this year. - Information on the Web: How End Users Make Use of Data - Roles in Online Collaborative Problem Solving - Re-forming the Internet with its End Users