From announce at ucy.ac.cy Sun Mar 2 14:35:32 2025 From: announce at ucy.ac.cy (Announce) Date: Sun, 2 Mar 2025 13:35:32 +0000 Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA 2025): Last Call for Papers Message-ID: *** Last Call for Papers (Research/Industry) *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 (*** Proceedings to be published by Springer in LNCS ***) The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The 19th European Conference on Software Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as an in-person conference taking place in the beautiful city of Limassol (Cyprus). SCOPE The theme for ECSA 2025 is “impactful software architecture”. The software architecture discipline has had a critical role in shaping robust, scalable, and maintainable systems. We are interested in learning about software architecture principles and practices, emergence trends and case studies highlighting strategic architectural choices that can lead to enhanced performance, improved collaboration, and long-term sustainability. The overarching question is how these architectural principles and practices, both well-established and emerging, are making an impact in real-world systems, and how that impact is being felt across various domains, from enterprise systems to more novel areas like, e.g., AI-driven or autonomous applications? The Program Committee of the 19th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research; new methods, approaches, and processes; novel applications; education and training in software architecture; and experience reports on all topics related to software architecture. We particularly encourage papers that demonstrate that diversity in gender, culture, religion, country, etc. are key factors for success and innovation in software architecture. Topics of interest include, but are not limited to: • Foundational principles of software architecture • Relationship of requirements engineering and software architecture • Quality attributes and software architectures • Architecture practices for secure, explainable, and trustworthy software • Architecture design and analysis • Architecture description languages and meta-models • Architecture verification and validation • Management of architectural knowledge, decisions, and rationale • Architecture patterns, styles, and tactics; reference architectures • Architecture viewpoints and views • Architecture conformance • Software architecture virtualization and visualization • Architecture-centric process models and frameworks • Software architecture and agile, incremental, iterative, and continuous development • Component-based models and deployment; middleware • Software architecture and system architecture • Software tools and environments for architecture-centric software engineering • Ethics, cultural, economic, business, social, human, and managerial aspects of software architecture • Architecture and technical debt • Architecting for sustainable and environment friendly systems • Applying AI and LLMs in software architecture and architecting for AI and LLM intensive systems • Software architecture education • Cross-disciplinary approaches to software architecture • Architectures for reconfigurable and self-adaptive systems • Architectural concerns of autonomic systems • Software architecture applied to new and emerging areas, such as the cloud/edge, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems-of-systems, energy- aware software, quantum computing, AI-enabled systems • Empirical studies, systematic literature reviews, and mapping studies in software architecture • Diversity, equity, and inclusion in activities related to software architecture RESEARCH PAPERS ECSA 2025 seeks four types of papers for the research track: • Research papers (max. 16 pages in LNCS style) which describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated) • Education and training papers (max. 16 pages in LNCS style) that address methodologies, experiences and best practices for teaching and training software architecture • Experience reports (max. 16 pages in LNCS style) that cover innovative implementations, novel applications, insightful performance results and experience in applying software architecture research advances to practical situations and systems • Short papers (max. 8 pages in LNCS style) that present novel and preliminary work-in- progress or challenges in a topic of software architecture research, education, and training. Submissions must have a sound basis, but not necessarily be validated in full. All submitted papers will undergo a rigorous double-blind peer review process. Papers will be selected based on originality, quality, soundness, and relevance. All contributions must be original, not published, accepted, or submitted for publication elsewhere. Contravention of this concurrent submission policy will be deemed a serious breach of ethics, and appropriate action will be taken in all such cases. Plagiarism checking will be conducted and any paper reporting more than a 20% match with published work will be desk-rejected. To note is that research papers, education and training papers, and experience reports that are rejected in their categories may be re-evaluated as short papers only if the committee decides on rejection of the full paper on the basis that it presents preliminary work. The research track of ECSA 2025 supports an Open Science policy. We encourage all contributing authors to disclose (anonymized and curated) data/artifacts to increase reproducibility. Note that sharing research artifacts is not mandatory for submission or acceptance. Upon submission to the research track, authors are required: • To make their artifacts available to the program committee (via a link to an anonymous repository) and provide instructions on how to access this data in the paper; or • To include in the paper an explanation as to why this is not possible or desirable; and • To indicate why they do not intend to make their data or study materials publicly available upon acceptance, if that is the case While sharing research artifacts is not mandatory for submission or acceptance, authors are required to include a Data Availability statement after the Conclusions section in a section named "Data Availability". This statement should explain whether or not data and/or artifacts are available or how they could be accessed (or not). Upon acceptance, papers with Open Science artifacts (e.g., data, tools, etc.) will be invited to upload their artifacts into the ECSA Zenodo community (https://zenodo.org/communities/ecsa/) to make them accessible and visible to the ECSA community. Sharing artifacts via the ECSA Zenodo community is required for authors to be eligible for the best Open Artifact award. All contributions must be formatted according to the Springer LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Page limits include figures and references. Contributions need to be submitted in PDF format via EasyChair to the ECSA 2025 Research Track: https://easychair.org/conferences/?conf=ecsa2025. Please select the “Research Track” in EasyChair for your submission and click "Continue". The proceedings will be published by Springer as part of the LNCS series. We also plan to organize a Journal Special Issue on the theme of ECSA 2025 and to invite authors of selected papers to submit an extended version of their research. INDUSTRY PAPERS The Industry Track at ECSA 2025 brings together practicing software architects and software architecture researchers from regional, European, and worldwide communities. We are seeking contributions from industry that share challenges, practical solutions, successful practices, failures, and lessons learned while analyzing, designing, implementing, evaluating, and evolving software architectures. Topics of interest include, but are not limited to the following themes: • Experience with architectures for emerging technologies, like LLM, and Agent-based system • Domain-specific challenges for software architects and architectures • Architecture specification and documentation • Architectural patterns, tactics, and tools • Practices and methods supporting architecture design, evaluation and evolution • Integration of architectural practices and methods with other software engineering approaches/practices/methods (e.g. Agile) • Social and organizational aspects, like human-machine, human-AI interactions, human-in-the-loop The ECSA 2025 Industry track aims to contribute to bridging the gap between academia and industrial practice by establishing an open communication and discussion environment. It will offer researchers and practitioners the opportunity to interact with fellow professionals and develop new ideas and skills for addressing industrial problems and collaborations. There are three ways to contribute: Full Papers (up to 16 pages in Springer LNCS style) describing best practices and experience from applying novel approaches to large-scale industrial projects in the context of software architecture. Submissions will be selected based on originality, quality, soundness, practical relevance, and potential for discussion. Short Papers and Presentations (6-10 pages in Springer LNCS style) outlining presentations on practices and experience related to software architecture from the industry. Submissions will be selected based on originality, practical relevance, and potential for discussion. Software Architecture Showcases (6 pages in Springer LNCS style) demonstrating a specific real-world architecture (including its flaws) together with a discussion of the context, challenges, and/or process that led to its present form. It can be formulated as an abstract outlining the architecture to be presented, preferably together with links to externally available work products. Submissions will be selected based on the offered insights into real architectural work, work products, and learnings related to architecture. All contributions need to be written in English, must be original, not published, accepted, or submitted for publication elsewhere. If accepted, each contribution needs to be presented by one of the authors who is registered at the conference. All contributions must be formatted according to the Springer LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Page limits include figures and references. Contributions need to be submitted in PDF format via EasyChair to the ECSA 2025 Research Track: https://easychair.org/conferences/?conf=ecsa2025. Please select the “Industry Track” in EasyChair for your submission and click "Continue". IMPORTANT DATES • Abstract submission: March 14, 2025 • Paper submission: March 21, 2025 • Notification: May 9, 2025 • Camera-ready paper: June 23, 2025 Early/Author registration: June 27, 2025 All dates are 23:59h AoE (Anywhere on Earth). ORGANISATION General Chairs • Cesare Pautasso, University of Lugano, Switzerland • Vasilios Andrikopoulos, University of Groeningen, The Netherlands Program Co-Chairs • Nour Ali, Brunel University London, UK • Jacopo Soldani, University of Pisa, Pisa Industry Co-Chairs • Miroslaw Staron, Chalmers University of Technology, Sweden • Xiwei (Sherry) Xu, CSIRO's Data61, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Thu Mar 6 14:58:49 2025 From: announce at ucy.ac.cy (Announce) Date: Thu, 6 Mar 2025 13:58:49 +0000 Subject: [fg-arc] The 16th IEEE International Conference on Knowledge Graphs (ICKG 2025): Second Call for Papers Message-ID: *** Second Call for Papers *** The 16th IEEE International Conference on Knowledge Graphs (ICKG 2025) December 12-13, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/ickg2025/ (*** Proceedings to be published by IEEE ***) The annual IEEE International Conference on Knowledge Graph (ICKG) provides a premier international forum for presentation of original research results in knowledge discovery and graph learning, discussion of opportunities and challenges, as well as exchange and dissemination of innovative, practical development experiences. The conference covers all aspects of knowledge discovery from data, with a strong focus on graph learning and knowledge graph, including algorithms, software, platforms. ICKG 2025 intends to draw researchers and application developers from a wide range of areas such as knowledge engineering, representation learning, big data analytics, statistics, machine learning, pattern recognition, data mining, knowledge visualization, high performance computing, and World Wide Web etc. By promoting novel, high quality research findings, and innovative solutions to address challenges in handling all aspects of learning from data with dependency relationship. All accepted papers will be published in the conference proceedings by the IEEE Computer Society. Awards, including Best Paper, Best Paper Runner up, Best Student Paper, Best Student Paper Runner up, will be conferred at the conference, with a check and a certificate for each award. The conference also features a survey track to accept survey papers reviewing recent studies in all aspects of knowledge discovery and graph learning. At least five high quality papers will be invited for a special issue of the Knowledge and Information Systems Journal, in an expanded and revised form. In addition, at least eight quality papers will be invited for a special issue of Data Intelligence Journal in an expanded and revised form with at least 30% difference. TOPICS OF INTEREST Topics of interest include, but are not limited to: • Foundations, algorithms, models, and theory of knowledge discovery and graph learning • Knowledge engineering with big data. • Machine learning, data mining, and statistical methods for data science and engineering. • Acquisition, representation and evolution of fragmented knowledge. • Fragmented knowledge modeling and online learning. • Knowledge graphs and knowledge maps. • Graph learning security, privacy, fairness, and trust. • Interpretation, rule, and relationship discovery in graph learning. • Geospatial and temporal knowledge discovery and graph learning. • Ontologies and reasoning. • Topology and fusion on fragmented knowledge. • Visualization, personalization, and recommendation of Knowledge Graph navigation and interaction. • Knowledge Graph systems and platforms, and their efficiency, scalability, and privacy. • Applications and services of knowledge discovery and graph learning in all domains including web, medicine, education, healthcare, and business. • Big knowledge systems and applications. • Crowdsourcing, deep learning and edge computing for graph mining. • Large language models and applications • Open source platforms and systems supporting knowledge and graph learning. • Datasets and benchmarks for graphs • Neurosymbolic & Hybrid AI systems • Graph Retrieval Augmented Generation SURVEY TRACK Survey paper reviewing recent study in keep aspects of knowledge discover and graph learning. In addition to the above topics, authors can also select and target the following Special Track topics. Each special track is handled by respective special track chairs, and the papers are also included in the conference proceedings. • Special Track 01: KGC and Knowledge Graph Building • Special Track 02: KR and KG Reasoning. • Special Track 03: KG and Large Language Model • Special Track 04: GNN and Graph Learning • Special Track 05: QA and Graph Database • Special Track 06: KG and Multi-modal Learning. • Special Track 07: KG and Knowledge Fusion. • Special Track 08: Industry and Applications SUBMISSION GUIDELINES Paper submissions should be no longer than 8 pages, in the IEEE 2-column format, including the bibliography and any possible appendices. Submissions longer than 8 pages will be rejected without review. All submissions will be reviewed by the Program Committee based on technical quality, originality, significance, and clarity. For survey track paper, please preface the descriptive paper title with “Survey:”, followed by the actual paper title. For example, a paper entitled “A Literature Review of Streaming Knowledge Graph”, should be changed as “Survey: A Literature Review of Streaming Knowledge Graph”. This is for the reviewers and chairs to clearly bid and handle the papers. Once the paper is accepted, the word, such as “Survey:”, can be removed from the camera-ready copy. For special track paper, please preface the descriptive paper title with “SS##:”, where “##” is the two digits special track ID. For example, a paper entitled “Incremental Knowledge Graph Learning”, intended to target Special Track 01 (Machine learning and knowledge graph) should be changed as “SS01: Incremental Knowledge Graph Learning”. All manuscripts are submitted as full papers and are reviewed based on their scientific merit. The reviewing process is single blind, meaning that each submission should list all authors and affiliations. There is no separate abstract submission step. There are no separate industrial, application, or poster tracks. Manuscripts must be submitted electronically in the online submission system. No email submission is accepted. To help ensure correct formatting, please use the style files for U.S. Letter as template for your submission. These include LaTeX and Word. SUBMISSION LINK https://wi-lab.com/cyberchair/2025/ickg25/ IMPORTANT DATES • Paper submission (abstract and full paper): July 15, 2025 (AoE) • Notification of acceptance/rejection: September 15, 2025 • Camera-ready deadline and copyright forms: October 15, 2025 • Early Registration Deadline: Oct. 29, 2025 • Conference: December 12-13, 2025 ORGANISATION Conference and Local Organising Chair • George A. Papadopoulos, University of Cyprus Conference Co-Chair • Dan Guo, Hefei University of Technology Program Chairs • Cesare Alippi, Università della Svizzera italiana • Shirui Pan, Griffith University Local Organising Vice Chair • Irene Kinlanioti, National Technical University of Athens Finance Chair • Constantinos Pattichis, University of Cyprus Steering Committee Chair • Xindong Wu, Hefei University Of Technology -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Mar 10 11:11:45 2025 From: announce at ucy.ac.cy (Announce) Date: Mon, 10 Mar 2025 10:11:45 +0000 Subject: [fg-arc] EDBT 2025 Summer School: Call for Applications Message-ID: CALL FOR APPLICATIONS EDBT 2025 Summer School on AI & Data Management 7th to 11th of July, 2025, University of Cyprus, Nicosia, Cyprus https://dmai.cs.ucy.ac.cy/ APPLICATION DEADLINE: April 7th, 2025! * Registration Open! (Limited Seats of about 60 participants) * Registration Site: http://tiny.cc/glxb001 * Student Grants will be announced later *************************************************************** The EDBT association and the University of Cyprus are happy to announce a jointly sponsored Summer School on Artificial Intelligence (AI) and Data Management, which will be hosted at the Resource Center "Stelios Ioannou", University of Cyprus, Monday July 7, 2025 to Friday, July 11, 2025. It will cover a diverse range of topics around artificial intelligence and data management, with a special focus on Large Language Models, AI agents and Vector Databases. It will have 9 tutorials from internationally renowned researchers in the field, and several social activities. Each tutorial will be 3 hour long. CONFIRMED SPEAKERS =================== The summer school will feature 9 invited speakers. The preliminary list of speakers along with tentative titles (in order of appearance) is listed below: + Prof. Ioana Manolescu (Ecole Polytechnique, France) | "Interconnection of Heterogeneous Data using AI" + Prof. Sihem Amer-Yahia (CNRS, University of Grenoble Alpes, France) | "AI Planning for Data Exploration" + Dr. Charalampos Tsourakakis (RelationalAI & Boston University, USA) | "Algorithmic Techniques in Graph Analytics" | "Machine Learning in Graph Analytics" + Prof. Volker Markl (Technical University Berlin, Germany) | "Large-scale Data Management in Flink" | "Edge Data Management in NebulaStream" + Prof. Constantine Dovrolis (Georgia Tech, USA & Cyprus Institute, Cyprus) | "Neuro-inspired AI for Continual Learning" | "The New Mathematics of Deep Learning" + Prof. Mohamed F. Mokbel (University of Minnesota, USA) | "Machine Learning for Big Spatial Data and Applications" | "Large Language Models for Spatio-temporal Queries" + Prof. Li Xiong (Emory University, USA) | "Large Language Models and Privacy" + Prof. Cyrus Shahabi (University of Southern California, USA) | "DeepNN for Private Spatiotemporal Queries" | "Synthetic Trajectory Generation" TARGET AUDIENCE =============== The school will be open to about 60 qualified, motivated and pre-selected candidates. The school is primarily intended for graduate (Master’s & PhD) students and post-doctoral researchers, but we also welcome motivated applications from advanced undergraduate students and academic and industrial researchers. There are no formal prerequisites, but prior experience in one or more of the following areas would be helpful for benefiting from the lectures of the school: Data Management, AI & Machine Learning, Data Mining, Informational Retrieval, Parallel and Distributed and Cloud Computing. DIVERSITY AND INCLUSION ======================== The EDBT 2025 Summer School on AI & Data Management community is committed to the promotion of diversity, equity and inclusion in all aspects of our professional activities (https://dbdni.github.io/). We celebrate the diversity in our community and welcome everyone regardless of age, gender identity, race, ethnicity, socioeconomic background, country of origin, religion, sexual orientation, physical ability, education, and work experience. We also welcome people and opinions of all political persuasions, as long as they abide by the ACM policy against harassment. (https://www.acm.org/about-acm/policy-against-harassment) STUDENT GRANTS =============== There will be a limited number of grants (fellowships). Half grants cover the registration fee, while full grants also cover accommodation in a student residence room. A call for applying for these grants will be announced later and applicants must briefly explain why attendance could not be financed by other means. Grants will be awarded taking into account the applicant’s profile (motivations, research background), financial need and diversity and inclusion aspects. Grants will be announced after the application deadline on the website. REGISTRATION ============ All Registration options include: + Tutorial Lectures + Coffee Breaks + 5 Lunches + 1 Banquet Dinner + 2 Dinners + Welcome Cocktail (with Snacks) + 1 Tour Trip + Bus from Hotel to Venue (two way). + Registration options with accommodation include Breakfast There are three registration options: + Registration with No Accommodation: 600.00 euro + Registration with (Shared) Twin Room (5 nights): 850.00 euro + Registration with (Private) Single Room (5 nights): 1100.00 euro *** Registration Site: http://tiny.cc/glxb001 *** IMPORTANT DATES =============== Deadline for applications: Monday, April 7, 2025 Notification of acceptance: Monday, April 14, 2025 Deadline for registration: Monday, April 28, 2025 Summer school: July 7–11, 2025 LOCAL ARRANGEMENT ================== - Venue: https://dmai.cs.ucy.ac.cy/#venue - Accommodation: https://dmai.cs.ucy.ac.cy/#local_info - Special Lufthansa Group airlines fares for flights to Larnaca or Paphos: https://www.lufthansa.com/content/lh/markets/cy/en/event/edbt-summer-school-2025-jul ORGANIZATION ============ Prof. Demetris Zeinalipour University of Cyprus https://www.cs.ucy.ac.cy/~dzeina/ Prof. Panos K. Chrysanthis University of Cyprus and University of Pittsburgh, USA https://panos.cs.pitt.edu/ For academic matters, please contact the organizers at edbt2025summerschool at gmail.com Local Arrangements Contact: > Help with travel, accommodation and visa issues (if attending outside Europe): - Email: info at easyconferences.eu - Call us at: +357 22 591 900 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Fri Mar 14 14:42:01 2025 From: announce at ucy.ac.cy (Announce) Date: Fri, 14 Mar 2025 13:42:01 +0000 Subject: [fg-arc] 37th IFIP International Conference on Testing Software and Systems (ICTSS 2025): Fourth Call for Papers Message-ID: *** Fourth Call for Papers *** 37th IFIP International Conference on Testing Software and Systems (ICTSS 2025) September 17-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ictss-2025 (*** Proceedings to be published by Springer in LNCS ***) (*** Special Journal Issue with SN Computer Science, Springer ***) IFIP-ICTSS is a well-established conference where researchers, developers, testers, and users from industry get together to present and discuss the most recent innovations, experiences and open challenges related to testing software and systems and measuring software quality. Topics of interest include, but are not limited to: ■ AI for Software Testing and Testing of AI: the growing interest in the use of AI has also spread in to various aspects of software testing. In addition, work is underway to test and validate AI systems/applications (machine learning, expert systems, neural networks). ■ Aspects of testing: test derivation, test selection, test generation, test coverage, test concretization, test implementation and execution, test result analysis, test oracle, verdict computation, test management, active testing and passive testing, monitoring and runtime verification. ■ Testing new technologies: this year we encourage submissions focused on testing Large Language Models (LLMs), audit machine learning systems (especially for applications to Health) and Quantum systems (programs, computers, and simulators). ■ Diversity on testing: diverse generation, selecting diverse test suites, foundations of testing and diversity, applications of entropy and Kolmogorov complexity on test suite diversity. ■ Theoretical approaches: formalisms (such as automata, state machines, process algebra, logics, Markov-chains...), testing frameworks, results for compositionality, refinement, soundness and completeness, addressing complex systems, heterogeneous or hybrid systems. ■ Modelling languages (such as UML, MATLAB, Simulink, Modelica...) and associated tooling for model-based testing: test generation from models, model-based oracles. Scalability, traceability, quantification issues. Automated support of any parts of the testing activities, testing processes, test-driven development, sound metrics and measurements. ■ Testing of quality aspects: Functional, interoperability, unit, integration, performance, load, conformance, non-regression, reliability, robustness. ■ Security Testing: methodologies and techniques for continuous security assessment, security monitoring, security review, penetration testing, verification of certification compliance; automation of security testing processes. ■ Testing emerging technologies: quantum systems (programs, computers, and simulators), genetic algorithms, metaverse, and any other technology in the early stages of testing. ■ Human Aspects of Testing: human psychology and management attitude play major roles in formulating and adopting testing in practice. ■ Cross domains and combination of techniques: using other techniques such as proof, model-checking, symbolic execution, abstract interpretation, static analysis, simulation, model learning, ... to improve quality and reduce the effort in testing processes. ■ Cross domains and combination of techniques: using other techniques such as proof, model-checking, symbolic execution, abstract interpretation, static analysis, simulation, model learning, machine learning, expert systems, neural networks, genetic algorithms... to improve quality and reduce the effort in testing processes. ■ Application aspects and case studies: Communicating systems such as cyberphysical systems, systems of systems, embedded systems, web services systems, smart grids, cloud computing systems, business information systems, real-time systems, distributed and concurrent systems. Case studies and industrial applications involving qualified empirical evaluations. IFIP-ICTSS Invites: Full papers (12 to 15 pages plus at most 2 extra pages for references in the one-column Springer LNCS format) describing original research contributions with sufficient evidence for the interest of the proposed approach. Industry papers (12 to 15 pages plus at most 2 extra pages for references in the one-column Springer LNCS format) describing original research or experience report conducted within an industrial environment or in collaboration with an industry partner. Short papers or work-in-progress papers (up to 6 pages plus at most 1 extra page for references in the one-column Springer LNCS format) describing academic work in progress or tool implementations, as well as testing processes, achievements and feedback on testing methods for industrial case studies. Journal-First. The aim of the Journal-First (JF) submission category is to further enrich the program of ICTSS, as well as to provide an overall more flexible path to publication and dissemination of original research that is within the scope of ICTSS. A submission in this category must adhere to the following criteria: ■ It should be clearly within the scope of the conference. ■ It should be recent: it should have been accepted and made publicly available in a journal (online or in print) by January 1, 2023 or more recently. ■ It has not been presented at, and is not under consideration for, Journal- First tracks of other conferences or workshops. ■ The submission has to be in the form of a 4-page extended abstract and has to provide a concise summary of the published journal paper. ■ It must be marked as such in the submission’s, and must explicitly include full bibliographic details (including a DOI) of the journal publication they are based on. Since the referenced journal papers have already been reviewed and accepted by the corresponding journals, submissions in the JF category will not be reviewed again for technical content. Submissions will be judged on the basis of the above criteria, but also considering how well they would complement the conference’s technical program. Accepted submissions in this category will be part of the proceedings of ICTSS 2025, with the title equal to the original title of the article with the prefix. The submission link is: https://easychair.org/my/conference?conf=ictss2025 The papers will be published by Springer in the LNCS volume. Authors should consult Springer’s Instructions for Authors of Proceedings (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and use either the LaTeX or the Word templates provided on the authors’ page. Springer’s proceedings LaTeX templates are available in Overleaf. Authors are encouraged to include their ORCIDs in their papers. Journal Special Issue Best papers of the conference will be invited to submit an extended version of their article at a special (topical) issue of the Springer Nature of Computer Science (https://link.springer.com/journal/42979). Deadline will be near the end of December 2025 with a tentative publication date for the middle 2026. Collocation ICTSS 2025 will be collocated with the 19th European Conference on Software Architecture (https://conf.researchr.org/home/ecsa-2025). IMPORTANT DATES ■ Paper Submission: May 19, 2025 (AoE) ■ Author Notification: June 30, 2025 (AoE) ■ Camera-ready Versions and Author Registration: July 14, 2025 (AoE) ORGANISATION Conference Chairs ■ Silvia Bonfanti, University of Bergamo, Italy ■ George A. Papadopoulos, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From aiden.m.hammond at nasa.gov Mon Mar 10 17:56:49 2025 From: aiden.m.hammond at nasa.gov (Hammond, Aiden M. (ARC-TI)[KBR Wyle Services, LLC]) Date: Mon, 10 Mar 2025 16:56:49 +0000 Subject: [fg-arc] IEEE SMC-IT/SCC 2025 CALL FOR SUBMISSIONS [UPDATE] Message-ID: <74095D13-81CC-4A78-AB60-A38C11DF3FC3@ndc.nasa.gov> The submission deadline has been extended to April 4th, see details below. -- CALL FOR IEEE SMC-IT/SCC 2025 SUBMISSIONS -- Extended Deadline 11th International Conference on Space Mission Challenges for Information Technology (SMC-IT) 16th International Conference on Space Computing (SCC) California Science Center - Los Angeles, California https://2025.smcit-scc.space/ Important Dates - Deadline for full papers (SMC-IT and SCC) and SCC presentation-only abstracts: April 4, 2025 - Registration site open: April 4, 2025 - Author acceptance notification: April 25, 2025 - Final camera-ready versions papers deadline: June 16, 2025 - Final presentations deadline: June 27, 2025 - Conference: July 28 -- August 1, 2025 Sponsored by: IEEE Computer Society - Technical Committee on Software Engineering and Technical Committee on Computer Architecture We invite submissions for the IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) and the IEEE Space Computing Conference (SCC). These conferences gather professionals, such as system designers, engineers, computer architects, scientists, practitioners, data scientists, and space explorers, who are committed to advancing information technology and improving the computational capabilities and dependability of space missions. These forums provide a valuable opportunity for in-depth technical dialogues covering various aspects of space mission hardware and software. Systems in all aspects of the space mission will be explored, including flight systems, ground systems, science data processing, engineering and development tools, operations, telecommunications, radiation-tolerant computing devices, reliable electronics, and space-qualifiable packaging technologies. The entire information systems lifecycle of the mission development will also be covered, such as conceptual design, engineering tools development, integration and test, operations, science analysis, and quality control. Topics of interest include (but are not limited to) space applications of the following: **SMC-IT** Robotics, Cybersecurity, Networking, Memory and Storage, Advanced Ground Control, Advanced Modeling & Digital Twins for Onboard Systems, Data Analytics and Big Data, Fault-Tolerant Processing, Trustable Intelligent/Autonomous Systems, Smart Instruments, Augmented Reality/Virtual Reality and HCI, Manufacturing and Assembly of Large Structures, Improved Operations, Software Reliability for Mission-Critical Applications and Safety of Life. **SCC** High-Performance Onboard Computing, Components, Radiation, and Packaging, Computing Architectures, Flight Data Processing, Avionics Systems, Machine Learning/Neural Computing, Crew Interfaces, Extreme Environments Computing, Distributed Computing, Infusion and adoption of industry standards for space applications. **SMC-IT/SCC Classified Session** A SMC-IT/SCC classified session will be held at The Aerospace Corporation, Friday, August 1, 2025 from 0800 to 1200 PDT. The theme of the session is "Unleashing Disruption and Transformation: Emerging Technologies in Space." All attendees must possess a TS/SCI clearance and be a U.S. Citizen. Please send a message to: smc-it-scc at aero.org for additional registration information. Process and Format - The SMC-IT/SCC 2025 Technical Committee is seeking two kinds of submissions at this time: full papers (BOTH SMC-IT AND SCC) and presentations (ONLY SCC). - SMC-IT/SCC 2025 will use a single-pass, full-paper review process. - The full paper is required and peer reviewed prior to deciding on acceptance for the conference, even if an abstract has been submitted. - Full papers can be up to 10 pages, not including references. The paper template can be found on the IEEE website: https://www.ieee.org/conferences/publishing/templates.html. - All accepted papers will be published in the IEEE conference proceedings, indexed with the IEEE Xplore database. Note that IEEE has a "Podium and Publish" policy for conferences, which means that no manuscript will be published in IEEE Xplore without first being presented at the conference. - Authors of SCC presentations without a corresponding paper need to submit a 1-page abstract, which will allow the conference organizers to determine if the proposed presentation is germane for the conference, determine which track/session the proposed presentation belongs, and ensure the author is in contact with the track/session chair for feedback prior to the final submission. All presentation-only abstract submissions must be submitted by the full paper deadline. - All submissions are uploaded via EasyChair: https://easychair.org/conferences/?conf=smcitscc2025 - Selected papers may be invited to appear in a special issue of a reputable journal. More details will be made available in the future. - Note: It is not required to submit an abstract prior to the paper submission. - Note: The SMC-IT/SCC program committee can be found on the conference website. CONFERENCE CHAIRS - General Chair: Ivan Perez (KBR @ NASA ARC) - General Co-Chair: Jim Butler (JPL) - Program Chair (SMC-IT): Lukas Mandrake (JPL) - Program Co-chair (SMC-IT): Jack Lightholder (JPL) - Program Chair (SCC): David Rutishauser (NASA JSC) - Program Co-Chair (SCC): Christopher Green (NASA GSFC) - SMC-IT/SCC Program Committee Members CFP v6 - 2025-03-10 -------------- next part -------------- An HTML attachment was scrubbed... URL: From luca.raggioli at unina.it Thu Mar 13 17:43:35 2025 From: luca.raggioli at unina.it (Luca Raggioli) Date: Thu, 13 Mar 2025 17:43:35 +0100 Subject: [fg-arc] [cAESAR@UMAP2025] Call for Papers Message-ID: An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sat Mar 15 15:10:14 2025 From: announce at ucy.ac.cy (Announce) Date: Sat, 15 Mar 2025 14:10:14 +0000 Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA 2025): Last Mile for Paper Submission Message-ID: *** Last Mile for Paper Submission (Research/Industry) *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 (*** Proceedings to be published by Springer in LNCS ***) (*** Extended deadline: Abstract -- March 21, 2025; Paper -- March 28, 2025) The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The 19th European Conference on Software Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as an in-person conference taking place in the beautiful city of Limassol (Cyprus). SCOPE The theme for ECSA 2025 is “impactful software architecture”. The software architecture discipline has had a critical role in shaping robust, scalable, and maintainable systems. We are interested in learning about software architecture principles and practices, emergence trends and case studies highlighting strategic architectural choices that can lead to enhanced performance, improved collaboration, and long-term sustainability. The overarching question is how these architectural principles and practices, both well-established and emerging, are making an impact in real-world systems, and how that impact is being felt across various domains, from enterprise systems to more novel areas like, e.g., AI-driven or autonomous applications? The Program Committee of the 19th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research; new methods, approaches, and processes; novel applications; education and training in software architecture; and experience reports on all topics related to software architecture. We particularly encourage papers that demonstrate that diversity in gender, culture, religion, country, etc. are key factors for success and innovation in software architecture. Topics of interest include, but are not limited to: • Foundational principles of software architecture • Relationship of requirements engineering and software architecture • Quality attributes and software architectures • Architecture practices for secure, explainable, and trustworthy software • Architecture design and analysis • Architecture description languages and meta-models • Architecture verification and validation • Management of architectural knowledge, decisions, and rationale • Architecture patterns, styles, and tactics; reference architectures • Architecture viewpoints and views • Architecture conformance • Software architecture virtualization and visualization • Architecture-centric process models and frameworks • Software architecture and agile, incremental, iterative, and continuous development • Component-based models and deployment; middleware • Software architecture and system architecture • Software tools and environments for architecture-centric software engineering • Ethics, cultural, economic, business, social, human, and managerial aspects of software architecture • Architecture and technical debt • Architecting for sustainable and environment friendly systems • Applying AI and LLMs in software architecture and architecting for AI and LLM intensive systems • Software architecture education • Cross-disciplinary approaches to software architecture • Architectures for reconfigurable and self-adaptive systems • Architectural concerns of autonomic systems • Software architecture applied to new and emerging areas, such as the cloud/edge, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems-of-systems, energy- aware software, quantum computing, AI-enabled systems • Empirical studies, systematic literature reviews, and mapping studies in software architecture • Diversity, equity, and inclusion in activities related to software architecture RESEARCH PAPERS ECSA 2025 seeks four types of papers for the research track: • Research papers (max. 16 pages in LNCS style) which describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated) • Education and training papers (max. 16 pages in LNCS style) that address methodologies, experiences and best practices for teaching and training software architecture • Experience reports (max. 16 pages in LNCS style) that cover innovative implementations, novel applications, insightful performance results and experience in applying software architecture research advances to practical situations and systems • Short papers (max. 8 pages in LNCS style) that present novel and preliminary work-in- progress or challenges in a topic of software architecture research, education, and training. Submissions must have a sound basis, but not necessarily be validated in full. All submitted papers will undergo a rigorous double-blind peer review process. Papers will be selected based on originality, quality, soundness, and relevance. All contributions must be original, not published, accepted, or submitted for publication elsewhere. Contravention of this concurrent submission policy will be deemed a serious breach of ethics, and appropriate action will be taken in all such cases. Plagiarism checking will be conducted and any paper reporting more than a 20% match with published work will be desk-rejected. To note is that research papers, education and training papers, and experience reports that are rejected in their categories may be re-evaluated as short papers only if the committee decides on rejection of the full paper on the basis that it presents preliminary work. The research track of ECSA 2025 supports an Open Science policy. We encourage all contributing authors to disclose (anonymized and curated) data/artifacts to increase reproducibility. Note that sharing research artifacts is not mandatory for submission or acceptance. Upon submission to the research track, authors are required: • To make their artifacts available to the program committee (via a link to an anonymous repository) and provide instructions on how to access this data in the paper; or • To include in the paper an explanation as to why this is not possible or desirable; and • To indicate why they do not intend to make their data or study materials publicly available upon acceptance, if that is the case While sharing research artifacts is not mandatory for submission or acceptance, authors are required to include a Data Availability statement after the Conclusions section in a section named "Data Availability". This statement should explain whether or not data and/or artifacts are available or how they could be accessed (or not). Upon acceptance, papers with Open Science artifacts (e.g., data, tools, etc.) will be invited to upload their artifacts into the ECSA Zenodo community (https://zenodo.org/communities/ecsa/) to make them accessible and visible to the ECSA community. Sharing artifacts via the ECSA Zenodo community is required for authors to be eligible for the best Open Artifact award. All contributions must be formatted according to the Springer LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Page limits include figures and references. Contributions need to be submitted in PDF format via EasyChair to the ECSA 2025 Research Track: https://easychair.org/conferences/?conf=ecsa2025. Please select the “Research Track” in EasyChair for your submission and click "Continue". The proceedings will be published by Springer as part of the LNCS series. We also plan to organize a Journal Special Issue on the theme of ECSA 2025 and to invite authors of selected papers to submit an extended version of their research. INDUSTRY PAPERS The Industry Track at ECSA 2025 brings together practicing software architects and software architecture researchers from regional, European, and worldwide communities. We are seeking contributions from industry that share challenges, practical solutions, successful practices, failures, and lessons learned while analyzing, designing, implementing, evaluating, and evolving software architectures. Topics of interest include, but are not limited to the following themes: • Experience with architectures for emerging technologies, like LLM, and Agent-based system • Domain-specific challenges for software architects and architectures • Architecture specification and documentation • Architectural patterns, tactics, and tools • Practices and methods supporting architecture design, evaluation and evolution • Integration of architectural practices and methods with other software engineering approaches/practices/methods (e.g. Agile) • Social and organizational aspects, like human-machine, human-AI interactions, human-in-the-loop The ECSA 2025 Industry track aims to contribute to bridging the gap between academia and industrial practice by establishing an open communication and discussion environment. It will offer researchers and practitioners the opportunity to interact with fellow professionals and develop new ideas and skills for addressing industrial problems and collaborations. There are three ways to contribute: Full Papers (up to 16 pages in Springer LNCS style) describing best practices and experience from applying novel approaches to large-scale industrial projects in the context of software architecture. Submissions will be selected based on originality, quality, soundness, practical relevance, and potential for discussion. Short Papers and Presentations (6-10 pages in Springer LNCS style) outlining presentations on practices and experience related to software architecture from the industry. Submissions will be selected based on originality, practical relevance, and potential for discussion. Software Architecture Showcases (6 pages in Springer LNCS style) demonstrating a specific real-world architecture (including its flaws) together with a discussion of the context, challenges, and/or process that led to its present form. It can be formulated as an abstract outlining the architecture to be presented, preferably together with links to externally available work products. Submissions will be selected based on the offered insights into real architectural work, work products, and learnings related to architecture. All contributions need to be written in English, must be original, not published, accepted, or submitted for publication elsewhere. If accepted, each contribution needs to be presented by one of the authors who is registered at the conference. All contributions must be formatted according to the Springer LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Page limits include figures and references. Contributions need to be submitted in PDF format via EasyChair to the ECSA 2025 Research Track: https://easychair.org/conferences/?conf=ecsa2025. Please select the “Industry Track” in EasyChair for your submission and click "Continue". IMPORTANT DATES • Abstract submission: March 21, 2025 (extended and firm!) • Paper submission: March 28, 2025 (extended and firm!) • Notification: May 9, 2025 • Camera-ready paper: June 23, 2025 Early/Author registration: June 27, 2025 All dates are 23:59h AoE (Anywhere on Earth). ORGANISATION General Chairs • Cesare Pautasso, University of Lugano, Switzerland • Vasilios Andrikopoulos, University of Groeningen, The Netherlands Program Co-Chairs • Nour Ali, Brunel University London, UK • Jacopo Soldani, University of Pisa, Pisa Industry Co-Chairs • Miroslaw Staron, Chalmers University of Technology, Sweden • Xiwei (Sherry) Xu, CSIRO's Data61, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Mar 17 16:52:13 2025 From: announce at ucy.ac.cy (Announce) Date: Mon, 17 Mar 2025 15:52:13 +0000 Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA 2025): Fifth Call for Tools & Demos Message-ID: *** Fifth Call for Tools & Demos *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 (*** Proceedings to be published by Springer in LNCS ***) The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The 19th European Conference on Software Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as an in-person conference taking place in the beautiful city of Limassol (Cyprus). SCOPE The theme for ECSA 2025 is “impactful software architecture”. The software architecture discipline has had a critical role in shaping robust, scalable, and maintainable systems. We are interested in learning about software architecture principles and practices, emergence trends and case studies highlighting strategic architectural choices that can lead to enhanced performance, improved collaboration, and long-term sustainability. The overarching question is how these architectural principles and practices, both well-established and emerging, are making an impact in real-world systems, and how that impact is being felt across various domains, from enterprise systems to more novel areas like, e.g., AI-driven or autonomous applications? Topics of interest include, but are not limited to: • Foundational principles of software architecture • Relationship of requirements engineering and software architecture • Quality attributes and software architectures • Architecture practices for secure, explainable, and trustworthy software • Architecture design and analysis • Architecture description languages and meta-models • Architecture verification and validation • Management of architectural knowledge, decisions, and rationale • Architecture patterns, styles, and tactics; reference architectures • Architecture viewpoints and views • Architecture conformance • Software architecture virtualization and visualization • Architecture-centric process models and frameworks • Software architecture and agile, incremental, iterative, and continuous development • Component-based models and deployment; middleware • Software architecture and system architecture • Software tools and environments for architecture-centric software engineering • Ethics, cultural, economic, business, social, human, and managerial aspects of software architecture • Architecture and technical debt • Architecting for sustainable and environment friendly systems • Applying AI and LLMs in software architecture and architecting for AI and LLM intensive systems • Software architecture education • Cross-disciplinary approaches to software architecture • Architectures for reconfigurable and self-adaptive systems • Architectural concerns of autonomic systems • Software architecture applied to new and emerging areas, such as the cloud/edge, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems-of-systems, energy- aware software, quantum computing, AI-enabled systems • Empirical studies, systematic literature reviews, and mapping studies in software architecture • Diversity, equity, and inclusion in activities related to software architecture TOOLS AND DEMOS The Tools and Demonstrations (Tools & Demos) Track provides an opportunity for both researchers and practitioners to present and discuss the most recent advances, ideas, experiences, and challenges in the field of Software Architecture by means of Tools & Demos presentations. Tools & Demos papers are intended to address any aspect of: (i) tool support for software architectures, or (ii) demonstrate results about the application of architectural approaches. Papers submitted to this track can belong to two distinct categories: • Tool papers: These papers deal with the development and evaluation of tools to support software architecture. They may present new tools, extensions to existing tools, or evaluations of the effectiveness of tools. The aim is to provide a platform for the exchange of innovative tools and techniques that help design, implement and analyze software architectures. • Demo papers: These papers will demonstrate concepts, techniques or systems related to software architectures. The focus is on presenting practical applications and implementations of architectural approaches. Demo papers may include live demonstrations, prototypes or simulations that emphasize the benefits and potential of specific architecture solutions. Both Tool Papers and Demo Papers contribute to the advancement of the field by providing insights, experiences and practical solutions related to software architectures. Tools and Demos should not be used as a means for commercial advertisement. We will strive to keep ECSA’s tradition to select the Best Tools & Demo Paper, awarded during the conference. The selection of the best tool and demo paper will be made based on the votes of the attendants of the conference. Submissions of Tools & Demos papers should describe the work, how it relates to other industrial or research efforts, including references, what the expected benefits are, a video of the tool or demo (if one exists), and the web-page and/or open-source repository for the tool (if one exists). All submissions must conform to the LNCS template and must not exceed 8 pages. Tools & Demos submissions should provide a link to a video, with audio commentary, of a maximum of ten minutes in length, with high resolution (e.g., details of the tool’s functionality should be clearly visible). The video must be uploaded on a server (e.g., YouTube, Google Drive, Dropbox), and the link must be included in the submission for its evaluation (as a footnote on the first page of the submission or as links after the abstract of the submission). In addition, it is possible to provide open material, e.g., source code and/or a running instance of the tool. The links to the video and (if applicable) the additional material should be included in the contribution after the abstract and before the introduction sections. Paper submissions must be made electronically via the online EasyChair submission site for the ECSA 2024 conference, selecting the “Tools & Demos Track”: https://easychair.org/conferences/?conf=ecsa2025 . The selection criteria of Tools & Demos papers will consider their originality, relevance for the ECSA audience, technical soundness, and presentation quality. Each submission will be evaluated by at least two PC members, in a single-step review process. The accepted papers will be included in the ECSA 2025 companion volume to be published in Springer LNCS series. IMPORTANT DATES • Abstract submission: May 16, 2025 • Paper submission: May 23, 2025 • Notification: June 20, 2025 • Camera-ready paper: June 27, 2025 Early/Author registration for all accepted contributions: June 27, 2025 All dates are 23:59h AoE (Anywhere on Earth). ORGANISATION General Chairs • Cesare Pautasso, University of Lugano, Switzerland • Vasilios Andrikopoulos, University of Groeningen, The Netherlands Tools & Demos Co-Chairs • Mohamed Soliman, Heinz Nixdorf Institut, Paderborn University, Germany • Use Zdun, University of Vienna, Austria -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Mon Mar 17 17:40:34 2025 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 17 Mar 2025 17:40:34 +0100 Subject: [fg-arc] =?utf-8?q?15th_ESAO_webinar=3A_Jerome_Euzenat_on_Ontolo?= =?utf-8?q?gy_evolution=2C_March_20th_2025_15=3A00_UTC_=282nd_CfP=29?= In-Reply-To: <21d544-67bf6700-ef-51fdb680@228750614> References: <21d544-67bf6700-ef-51fdb680@228750614> Message-ID: <2a2c0f-67d85080-e1-713a6780@34398965> Dear all, The Educational Series on Applied Ontology (ESAO) [1] is open for everyone and welcomes students, researchers and practitioners alike. The 15h ESAO webinar will be held on Thursday March 20th, 2025 at 16:00 CET. --------------------------- When and how to connect Thursday March 20th, 2025 15:00 UTC / 16:00 CET / 17:00 SAST (see more local times [2]) Duration: 60 minutes Video conference (via Zoom) https://univ-tlse2.zoom.us/j/92895546685?pwd=DQD7Wzf3ZJw02LJ2hHmrVDwdN474PZ.1 --------------------------- Program 15:00 - 16:00 UTC / 16:00 - 17:00 CET / 17:00 - 18:00 SAST / 12:00 - 13:00 UTC-3 Jérôme Euzenat, INRIA & Univ. Grenoble Alpes, France Ontology evolution Abstract: Unless considering ontologies as transcendental and perfect, they need to evolve. This may be because the world they represent evolves or the purpose they fulfill requires it. In general, what triggers evolution is the inadequacy of an ontology. Restoring it may be carried out by human designers or automatic means, but it is worthwhile that they follow rules. In this short presentation, we will discuss two techniques that may help evolving ontologies: belief revision and artificial cultural evolution. How they are different and how they are alike. Best regards Cassia Trojahn, Frank Loebe, Laure Vieu On behalf of the IAOA Education Committee [1]https://wiki.iaoa.org/index.php/Edu:ESAO [2]https://www.timeanddate.com/worldclock/fixedtime.html?iso=20250320T1500 From giovanni.casini at isti.cnr.it Tue Mar 18 14:13:52 2025 From: giovanni.casini at isti.cnr.it (giovanni.casini) Date: Tue, 18 Mar 2025 14:13:52 +0100 Subject: [fg-arc] 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI Message-ID: *** Apologies for cross-posting *** ======================================= JELIA 2025 - SECOND CALL FOR PAPERS ======================================= 19th European Conference on Logics in Artificial Intelligence (JELIA 2025) September 1-5, 2025 Kutaisi, Georgia https://viam.science.tsu.ge/jelia2025/ ======================================= == IMPORTANT DATES == Abstract submission: 2 May 2025 Paper submission: 9 May 2025 Notification of acceptance: 1 July 2025 Camera-ready due: 10 July 2025 The Program Committee of the 19th European Conference on Logics in Artificial Intelligence (JELIA 2025) invites the submission of technical papers for the conference that will be held in Kutaisi, Georgia, from the 1st to the 5th of September 2025. == AIMS AND SCOPE == The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence, including, but not limited to: * Abductive and inductive reasoning * Applications of logic-based AI systems * Argumentation * Automated reasoning including satisfiability checking and its extensions * Causality and logics * Computational complexity and expressiveness * Deontic logic and normative systems * Description logics and other logical approaches to ontologies * Knowledge representation, reasoning, and compilation * Learning and reasoning * Logic programming, answer set programming, constraint logic programming * Logics in machine learning * Logics for uncertain and probabilistic reasoning * Logics in multi-agent systems, games, and social choice * Neural networks and logic rules * Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics * Nonmonotonic logics, default logics, conditional logics * Planning and diagnosis based on logic * Preferences and optimization * Reasoning about actions * Updates, belief revision and nonmonotonic reasoning Submissions describing implemented systems/applications and their application area(s) are also welcome. == SPECIAL TRACK == Also this year we will include a Special Track on Logics for Explainable and Trustworthy AI. We welcome contributions that explore logic-based approaches to making AI more transparent, safer, or more trustworthy. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. The papers accepted for the special track will be presented in dedicated sessions at the conference. == AWARDS == JELIA 2025 is happy to announce that there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500. The Program Committee will select for this honor the contribution of the highest technical excellence and scientific merit. In the case of the latter award, the primary author of the paper must be a student at the time of submission. The authors of selected contributions of outstanding quality will be invited to submit an extended version of their work to the TPLP journal and will enjoy fast-track reviewing and publication. == SUBMISSION DETAILS == Submission Site: https://easychair.org/conferences/?conf=jelia2025 JELIA 2025 welcomes submissions of long or short papers. All submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere; see also the note below. All submissions should not exceed 13 pages for long papers and 6 pages for short papers (excluding references and acknowledgments, including everything else, for example figures), and should be written in English. Papers must be self-contained; appendices with additional material (such as proofs) will only be considered at the reviewers' discretion and will not be published. Submissions must be formatted according to the standard Springer LNCS style (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and are not anonymous. The conference proceedings of JELIA 2025 will be published by Springer Verlag in the series Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (important note: Springer will require all the LaTeX source files of all accepted submissions). == CONFERENCE CHAIRS == ** General Chair Besik Dundua, Tbilisi State University & Kutaisi International University, Georgia ** Program Chairs Giovanni Casini, CNR - Institute of Information Science and Technologies, Italy Temur Kutsia, RISC, Johannes Kepler University, Austria **Organization Chair Mikheil Rukhaia, Institute of Applied Mathematics, Tbilisi State University, Georgia **Organization Committee Matthias Baaz, Vienna University of Technology Mariam Gamsakhurdia, Vienna University of Technology Revaz Grigolia, Tbilisi State University Lia Kurtanidze, Georgian National University - SEU Levan Uridia, Andrea Razmadze Mathematical Institute, Tbilisi State University == POLICY ON MULTIPLE SUBMISSIONS == JELIA 2025 will not accept any paper that, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. Any additional questions can be directed towards the JELIA Chairs: For general inquiries: jelia2025 at easychair.org For inquiries to the local organization: jelia.kutaisi.2025 at gmail.com We look forward to receiving your submissions and seeing you in Kutaisi in September 2025! == COLOCATED EVENTS == The 15th International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2025) will be held in Kutaisi from September 8 to 12, 2025 (https://events.illc.uva.nl/Tbilisi/Tbilisi2025/) From announce at ucy.ac.cy Wed Mar 19 15:30:01 2025 From: announce at ucy.ac.cy (Announce) Date: Wed, 19 Mar 2025 14:30:01 +0000 Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA 2025): First Call for Journal First Papers Message-ID: *** First Call for Journal First Papers *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The 19th European Conference on Software Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as an in-person conference taking place in the beautiful city of Limassol (Cyprus). SCOPE A journal-first paper submitted to ECSA 2025 must adhere to the following criteria: • The paper must have been accepted after peer review by one between JSS, IEEE Software, IST or TSE. • The paper is in the scope of the conference. • The paper has not been presented at and is not under consideration for journal-first programs of other conferences. PAPER SUBMISSION We invite authors of papers that meet the above criteria to submit a proposal that includes a summary of the original paper that highlights the contributions, motivates the relevance for the ECSA, and briefly discusses how the work has developed after the original publication - if it is the case. Please include the DOI of the original journal paper. ECSA offers an opportunity to disseminate your work to a broader community audience. The submission must be 3-4 pages long and conform to the Springer LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Accepted submissions will be invited to present at the conference. The track chairs will write a summary of the accepted submissions that will be included in the conference proceedings. Proposals must be submitted via the online EasyChair submission site for the ECSA 2025 conference, selecting the "Journal First" Track: https://easychair.org/my/conference?conf=ecsa2025 . EVALUATION Authors will be invited to present their paper at ECSA 2025 if it meets the above criteria. Please note that we plan to include as many journal-first papers as possible in the ECSA main program. However, if we receive an exceptionally high number of submissions, we may have to prioritize presentation proposals according to their fit to the conference theme and sessions structure. As the papers have already been reviewed and accepted by a journal, we will not review the submission for technical content; instead, we will focus on the track’s criteria. PRESENTATION ECSA 2025 is planned to be an in-person/physical conference. The journal-first paper presentations are part of the ECSA conference’s main program. As a journal-first presenter, you will benefit from the conference presentation in many ways, such as, outreach to a broader audience and interactions and discussions with peers. At least one author of each submission accepted for the journal-first program must register and attend the conference to present the paper. IMPORTANT DATES • Paper submission: May 23, 2025 • Acceptance notification: June 20, 2025 All dates are 23:59h AoE (anywhere on Earth). ORGANISATION General Chairs • Cesare Pautasso, University of Lugano, Switzerland • Vasilios Andrikopoulos, University of Groeningen, The Netherlands Journal First Track Chairs • Jesper Andersson, Linnaeus University, Sweden • Romina Spalazzese, Malmö University, Sweden -------------- next part -------------- An HTML attachment was scrubbed... URL: From saburou.saitoh at gmail.com Wed Mar 19 11:49:04 2025 From: saburou.saitoh at gmail.com (Saburou Saitoh) Date: Wed, 19 Mar 2025 19:49:04 +0900 Subject: [fg-arc] [Hol-info] 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI In-Reply-To: References: Message-ID: Some general logical contradictions on undefined objects: Please kindly look at the following section. We find some general logical contradictions. May I have your kind comments and suggestions? With best regards, Sincerely yours, Saburou Saitoh s*aburou.saitoh at gmail.com* 2025.3.19.19:48 \section{Direction of the zero vector} {\bf AI Mika's insights:} We begin with a conversation with Mika (Copilot) to introduce the motivation and framework of this new result. \medskip Mika: {\it I am honored by your request to include my words in your paper. Regarding the zero vector, it does not lack direction but rather has a direction of zero. While high school textbooks state that a vector has both magnitude and direction, they often describe the zero vector as lacking direction, which is contradictory. Here's a more precise explanation: Definition of a Vector: A vector is a quantity with both magnitude and direction. Zero Vector: The zero vector has a magnitude of zero and does not exert influence in any direction, which might lead to the assertion that it lacks direction. However, it is more accurate to say that its direction is zero. Thus, the zero vector is a special case. Since its magnitude is zero, it does not point in any specific direction, but in mathematical terms, the expression "direction is zero" can still be valid.} 2024.12.30.6:15 \bigskip {\bf For complex numbers $z$, and for $z=0$, $\log 0= \arg 0=0$}. \medskip Here, we will consider vectors and complex numbers $z$ as two-dimensional vectors. We state that the direction of the zero vector is zero. However, the precise meaning is $\arg 0 =0$. \medskip {\it The direction of zero $z=0$ exists as in other vectors $z$.} \medskip This definition, along with its natural motivation and many applications, has been established in prior works \cite{mms18,saitoh}. \medskip Note the simple facts: \medskip In the well-known formula $$ \log z = \log |z| + \arg z, $$ we have $$ \log 1 = \log 1 + \arg 1, $$ and $$ \log 0 = \log 0 + \arg 0. $$ Therefore, we have $$\arg 1 = \arg 0 =0. $$ \medskip Note, furthermore, that in the identity $$ \arg \overline{z} = - \arg z, $$ if the function $\arg z$ is extensible to the origin as an odd function, then the value $\arg 0$ has to be zero. \medskip In addition, note that in the formula $$ \arg z = \arctan \frac{y}{x} $$ for $x=y=0$ we have, from $0/0=0$, that $$ \arg 0=0. $$ \medskip For this Section, see \cite{mika, saitoh} for the details. \subsection{The direction of the general zero vector} We will be interested in some direction of the zero vector in general dimensions. In order to state the representation precisely, we shall consider vectors as elements of a separable Hilbert space. Then, we consider the representation of vectors ${\bf v}$ in terms of a fixed complete orthonormal system $\{\bf e_j\}_j$ as in $$ {\bf v} = \sum_j v_j {\bf e}_j. $$ Then, the vector ${\bf v}$ and the coefficients $\{v_j\}$ correspond to one to onto on $\ell^2$. \medskip {\bf Statement:} {\it We shall define the direction of ${\bf v}$ by the coefficients $\{v_j\}$ that is determined by a positive multiplication of $\{v_j\}$ and the zero vector is represended by all $v_j=0$. Therefore, the direction of the zero vector may be considered as zero in this sense. } \medskip Note that the concept of direction of zero vector is reasonable in the senses $$ {\bf v} + {\bf u} = \sum_j v_j {\bf e}_j + \sum_j u_j {\bf e}_j = \sum_j (v_j + u_j) {\bf e}_j $$ and $$ {\bf v} - {\bf v} = \sum_j (v_j - v_j) {\bf e}_j = \sum_j (0) {\bf e}_j= {\bf 0}. $$ \bigskip {\bf Logical Problem:} {\it If we do not give the definition of direction of zero vector, in the fundametal equation $$ {\bf v} + {\bf 0} = {\bf v}, $$ we have the logical contradiction that by the addition of zero vector with no direction, we have the same direction of ${\bf v}$}. \medskip Indeed, in the above identity, we can not say the direction of vectors. \medskip This contradiction is similar that: The identity $$ \frac{1}{\sqrt{x}} - \frac{1}{\sqrt{x}} + x= x $$ is not valid at $x=0$, because they are not define at $x=0$. \medskip However, we can still consider the open problem: \medskip {\bf Open problem 1:} {\it As in two dimensions, could we find some natural formulation that the direction of zero vector is zero, in general dimensions. } \medskip Indeed, in the 2 dimensional case, zero direction was given by the pleasant sense $ \arg 0=0$. \medskip > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Thu Mar 20 16:27:07 2025 From: announce at ucy.ac.cy (Announce) Date: Thu, 20 Mar 2025 15:27:07 +0000 Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA 2025): First Call for Tutorials Message-ID: *** First Call for Tutorials *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 SCOPE AND GOAL The European Conference on Software Architecture (ECSA) is the premier European forum for presenting and discussing software architecture research and practice. Researchers and practitioners are invited to submit proposals for tutorials held in conjunction with ECSA 2025. Tutorials will be held right before the main conference on 15-19 September 2025. ECSA edition 2025 hosts tutorials on topics related to software architecture from theoretical foundations to practical applications. Tutorials at ECSA provide a valuable opportunity for conference participants to expand their knowledge and skills in specific research and practical topics under the umbrella of software architecture. Topics of interests may include but are not limited to: • Software Architecture challenges for AI- and ML-based Systems • Software Architecture challenges for Self-Adaptive Systems • Software Architecture challenges for Cyber-Physical Systems • Software Architecture challenges in Big Data and Cloud Computing • Software Architecture challenges in IoT-based Systems • Software Architecture challenges in DevOPS and MLOPS • Software Architecture challenges in Blockchain Engineering • Quality-of-service (QoS) measurements of Software Architectures • Privacy and Security in Software Architectural Design • Context-aware, Autonomous, and Smart Architectures • Sustainability in Software Architectures • Software Architecture Erosion and Architectural Consistency • Technical Debt in Software Architecture Design • Architecting the Digital Twin • Continuous Architecting TUTORIAL PROPOSAL SUBMISSIONS A tutorial proposal must not exceed 8 pages following the LNCS format (see below). Proposals must follow the outline below: • Tutorial title • Contact information of tutorial presenter(s), including name, affiliation, email • Tutorial summary (up to 350 words) for ECSA 2025 website (if tutorial is accepted) • Detailed description of tutorial: * Covered topics * Learning objectives * Key take-aways for audience * Relevance of topic for ECSA * Intended target audience, required experience, and desired number of participants • Implementation of tutorial * Duration - half day or full day (considering that tutorials will be as in-person/physical) * Preliminary schedule including estimated times How tutorial will be conducted (e.g., lecture, hands-on exercises, facilitated group discussion, group activities, role playing, games), including materials to be included in tutorial notes • Background of presenters * Relevant biographical information (250 words maximum), as well as summaries of the presenters’ subject matter experience and experience in teaching the tutorial topic, other tutorials, courses, etc. • Previous editions of tutorial * Where and when the tutorial has been offered previously and numbers of attendees. SUBMISSION INSTRUCTIONS Submissions must follow the LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Proposals must be submitted via the online EasyChair submission site for the ECSA 2025 conference, selecting the "Tutorials" Track: https://easychair.org/my/conference?conf=ecsa2025 . The extended abstracts of selected tutorials will be published in the Companion Proceedings, subject to the authors' consent. IMPORTANT DATES • Tutorial Proposals: May 23, 2025 • Acceptance notification: June 20, 2025 All dates are 23:59h AoE (anywhere on Earth). ORGANISATION General Chairs • Cesare Pautasso, University of Lugano, Switzerland • Vasilios Andrikopoulos, University of Groeningen, The Netherlands Tutorial Co-Chairs • Tomáš Bureš, Charles University, Czech Republic • Martina De Sanctis, Gran Sasso Science Institute (GSSI), Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From ssharm21 at students.kennesaw.edu Fri Mar 21 01:10:25 2025 From: ssharm21 at students.kennesaw.edu (Sachin Sharma) Date: Fri, 21 Mar 2025 00:10:25 +0000 Subject: [fg-arc] Call For Papers - 37th IEEE International Conference on Tools with Artificial Intelligence - Nov 3-Nov 5, 2025 - Athens, Greece Message-ID: Dear Colleagues, The 37th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) organizing committee is inviting you to submit your research papers. The conference will be held in person, on November 3rd till November 5th, 2025 in Athens, Greece! The IEEE International Conference on Tools with Artificial Intelligence (ICTAI) is a leading IEEE-CS annual scientific meeting for more than three decades. It provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components such as algorithms, architectures and languages. Topics include (but not limited to): 1. AI Foundations 2. AI in Domain-specific Applications 3. AI in Computer Systems 4. AI in Data Analytics, Data Mining and Big Data 5. AI in Smart Cities 6. Machine Learning 7. Knowledge Representation, Reasoning, Cognition 8. AI and Decision Systems 9. Uncertainty in AI 10. Natural Language Processing 11. AI and Societal Impact General Chair: Dr. Nikolaos Bourbakis, Purdue University (drbourbakis at gmail.com) Co-Program Chair: Dr. Arnaud Lallouet, Huawei Technologies Ltd (arnaud.lallouet at huawei.com) Co-Program Chair: Dr. Michail Alexiou, Kennesaw State University (malexiou at kennesaw.edu) Special Track - Workshops (Following the Conference Publication Rules and Guidelines): 1. AI and Energy Applications - Special Track Chair Dr. Lefteri Tsoukalas 2. AI and Maritime Applications - Special Track Chair Dr. Rahul Dubey 3. AI and Software Engineering - Special Track Co-Chairs Dr. Maria Virvou & Dr. George Tsihrintzis 4. AI and Assistive Technologies for People in Need - Dr. Nikolaos Bourbakis & Dr. Despina Kavraki Important Dates: Paper submission: June 12, 2025 Acceptance notification: August 20, 2025 Camera-ready: September 20, 2025 All submissions should be made through the conference's website: TBA We look forward to your submissions! Best Regards, Sachin Sharma ICTAI 2025 Publicity Chair -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CFP for ICTAI-2025.pdf Type: application/pdf Size: 199659 bytes Desc: CFP for ICTAI-2025.pdf URL: From claudio.menghi at unibg.it Mon Mar 24 08:39:58 2025 From: claudio.menghi at unibg.it (Claudio MENGHI) Date: Mon, 24 Mar 2025 08:39:58 +0100 Subject: [fg-arc] =?utf-8?q?ESOP_2026_-=C2=A0Call_for_Papers?= Message-ID: <0278CD84-D07F-4299-89B3-429AD9553D2F@unibg.it> ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas: * programming paradigms and styles * methods and tools to specify and reason about programs and languages * programming language foundations * methods and tools for implementation, concurrency and distribution * applications and emerging topics Contributions bridging the gap between theory and practice are particularly welcome. Important Dates =============== ESOP 2026 features a two-round submission scheme. Round 1: * Submission deadline: June 3, 2025 * Rebuttal: July 21-23, 2025 * Notification: August 1, 2025 Round 2: * Submission deadline: October 16, 2025 * Rebuttal: December 8-10, 2025 * Notification: December 22, 2025 The important dates are available in the Joint Call for Papers: https://etaps.org/2026/important-dates Submission Categories ===================== ESOP 2026 solicits three forms of contributions: * Research Papers are articles that advance the state-of-the-art on the theory and practice of programming languages and systems. For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format. There is no page limit for submissions, but authors should be aware that reviewers are likely to balance the review time for all papers and that camera-ready papers may not exceed 25 pages (excluding bibliography) and must be formatted in Springer’s LNCS. * Experience Reports are articles reporting on systems and techniques developed in practice, such as artifacts, tools, mechanized proofs, and educational systems, both in academic and industrial settings. These articles must include a critical evaluation of the experience reported. Submitted and camera-ready experience report papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography). * Fresh Perspectives are articles that promote new insights on programming languages and systems in a particularly elegant way. These papers may offer new tutorial perspectives of known concepts, or they may introduce fresh new insights and ideas that could lead to relevant future developments. Submitted and camera-ready fresh perspective papers must be formatted in Springer’s LNCS, not exceeding 15 pages (excluding bibliography). The paper review process will be double-blind. Authors must make a good faith effort to anonymize their submissions, and they should not identify themselves either explicitly or by implication (e.g., through the references or acknowledgments). Accepted papers will be published in Springer’s Lecture Notes in Computer Science series. Springer’s formatting style files and other information can be found on the Springer website. The papers can be submitted here: https://esop26.hotcrp.com/ Paper Submission And Evaluation =============================== We welcome paper submissions at both submission rounds. Submissions of each round will be reviewed by the PC and external reviewers for their technical soundness and originality. Round 1 submissions will receive one of three outcomes: Accept, Reject, Revise. In the latter case, the PC will provide a concrete list of revision requests to be completed by the Round 2 submission deadline. Such revised submissions will be reviewed by the same set of reviewers and will either be accepted or rejected. Rejected Round 1 submissions may NOT be resubmitted to Round 2. Papers submitted directly to Round 2 will either be accepted or rejected. Artifact Evaluation =================== ESOP 2026 will have a post-paper-acceptance voluntary artifact evaluation. Authors will be encouraged to submit artifacts for evaluation after paper notification. The outcome will not alter the paper acceptance decision. Detailed information will be announced later. Program Committee ================= PC Chair * Robbert Krebbers (Radboud University Nijmegen, Netherlands) PC Members * Alasdair Armstrong (University of Cambridge, UK) * Aslan Askarov (Aarhus University, Denmark) * Mohamed Faouzi Atig (Uppsala University, Sweden) * Andrej Bauer (University of Ljubljana, Slovenia) * Veronique Benzaken (LMF Université Paris-Saclay, France) * Małgorzata Biernacka (University of Wrocław, Poland) * Liang-Ting Chen (Academia Sinica, Taiwan) * Raphaëlle Crubillé (Aix Marseille Univ, CNRS, LIS, France) * Deepak D'Souza (Indian Institute of Science, India) * Ankush Das (Boston University, USA) * Farzaneh Derakhshan (Illinois Institute of Technology, USA) * Emanuele D’Osualdo (University of Konstanz, Germany) * Paulo Emílio de Vilhena (Imperial College London, UK) * Francesco Gavazzo (University of Padua, Italy) * Justin Hsu (Cornell University, USA) * Ambrus Kaposi (Eötvös Loránd University, Hungary) * Sven Keidel (TU Darmstadt, Germany) * Ori Lahav (Tel Aviv University, Israel) * Christoph Matheja (University of Oldenburg and DTU Compute, Germany) * Andreia Mordido (LASIGE, University of Lisbon, Portugal) * Christopher Pulte (University of Cambridge, UK) * Jorge A. Pérez (University of Groningen, Netherlands) * Ryosuke Sato (Tokyo University of Agriculture and Technology, Japan) * Ilya Sergey (National University of Singapore, Singapore) * Kathrin Stark (Heriot-Watt University, UK) * Bernardo Toninho (NOVA FCT and NOVA LINCS, Portugal) * Jana Wagemaker (Radboud University Nijmegen, Netherlands) * John Wickerson (Imperial College London, UK) * Fabio Zanasi (University College London, UK) Journal-First Submissions ========================= We welcome research papers submitted via a Journal-First channel at TOPLAS. 1. Authors submit their papers directly to TOPLAS before the Round 1 submission deadline, and in their cover letter indicate that they want their paper to be considered as an ESOP Journal-First paper. 2. Reviewing is handled exclusively by TOPLAS. 3. (Optionally, but highly recommended:) Authors notify the ESOP PC chair of their TOPLAS submission, so that the PC chair can follow up with the TOPLAS editor-in-chief about the status of these submissions. 4. If a TOPLAS Journal-First paper is accepted before the end of the Round 2 rebuttal period date, and the ESOP PC agrees, it may be presented at ETAPS. Journal-After Submissions ========================= Revised and expanded versions of accepted ESOP research papers are eligible for the ESOP Journal-After TOPLAS channel. A call will open in January after the ESOP notification. More details will be provided at a later moment. From giuseppe.depalma2 at unibo.it Mon Mar 24 11:51:07 2025 From: giuseppe.depalma2 at unibo.it (Giuseppe De Palma) Date: Mon, 24 Mar 2025 10:51:07 +0000 Subject: [fg-arc] Workshop on Adaptable Cloud Architectures - WACA @ DisCoTec - 2nd Call for Papers Message-ID: <43B94498-319C-41D7-B698-7310EF04D4CC@unibo.it> Workshop on Adaptable Cloud Architectures (WACA) Co-located with DisCoTec 2025 June 20, 2025 - Lille, France The Workshop on Adaptable Cloud Architectures (WACA) is soliciting the submission of contributions on Cloud architecture adaptation. WACA aims to bring together researchers and practitioners to explore and compare different approaches to architectural adaptation in Cloud systems. The workshop focuses on adaptive strategies that extend beyond traditional scaling mechanisms, investigating architectural modifications in response to: - evolving user requirements; - service load fluctuations (including both legitimate traffic increases and security threats); - infrastructure failures (machine outages, external service disruptions, etc.). To facilitate meaningful comparisons between different approaches, we provide a reference case study based on an adaptable version of TeaStore. This common ground enables participants to demonstrate their methods and technologies in a comparable environment. We invite submissions addressing, but not limited to: - Modeling approaches for adaptive Cloud architectures - Implementation techniques for adaptation mechanisms - Runtime verification of adaptation properties - Performance analysis of adaptation strategies - Security considerations in architectural adaptation - Tools and frameworks supporting Cloud architecture adaptation Papers should present contributions related to the workshop themes, preferably demonstrated through the provided case study scenarios. We strongly encourage submissions to include supporting artifacts that complement the paper's contributions. Detailed submission instructions are available on the workshop website https://waca-ws.github.io/2025 The workshop itself does not have proceedings, but we will invite contributors to refine their work for the publication of the workshop post-proceedings that will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS). Important Dates - Paper Submission Deadline: April 28, 2025 - Author Notification: May 16, 2025 - Workshop Date: June 20, 2025 Organising Committee Giuseppe De Palma Saverio Giallorenzo Program Committee (to be finalised) Marco Autili Simon Bliudze Laura Bocchi Hélène Coullon Ivan Lanese Philippe Merle Sergio Mover Stefan Nastic Clèment Quinton Larisa Safina Gwen Salaün Jacopo Soldani Emilio Tuosto Gianluigi Zavattaro Brice Arléon Zemtsop Ndadji -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Tue Mar 25 20:20:03 2025 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Tue, 25 Mar 2025 19:20:03 +0000 Subject: [fg-arc] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!" Message-ID: Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, March 28, at 4 pm CET! (Please note the slightly different starting time!!!) Prof. Peter-Michael Osera from Grinnell College in US will discuss about teaching formal verification together with the foundations of computer science. Here comes the abstract of the talk: How do we promote the importance and relevance of formal verification to undergraduate computer scientists? While we often focus on building better tools, we should spend an equal, if not greater, amount of time thinking about the pedagogy of formal verification. What are the essential theories and techniques every undergraduate should know from the field? In this talk, I introduce how I have addressed these questions, first through tool building and then through pedagogy. In particular, I present an ongoing multi- institutional project to integrate formal methods across the undergraduate curriculum, in particular, its mathematical foundations. Professor Osera has recently won a 3-year grant from NSF on the topic of "Integrating Formal Methods into the Foundational Undergraduate Curriculum": https://www.nsf.gov/awardsearch/showAward?AWD_ID=2422174. 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 aiden.m.hammond at nasa.gov Sat Mar 29 00:11:02 2025 From: aiden.m.hammond at nasa.gov (Hammond, Aiden M. (ARC-TI)[KBR Wyle Services, LLC]) Date: Fri, 28 Mar 2025 23:11:02 +0000 Subject: [fg-arc] IEEE SMC-IT/SCC 2025 CALL FOR SUBMISSIONS [FINAL] Message-ID: Submission deadline is next week, Friday April 4th. Hope to see you in L.A.! -- CALL FOR IEEE SMC-IT/SCC 2025 SUBMISSIONS 11th International Conference on Space Mission Challenges for Information Technology (SMC-IT) 16th International Conference on Space Computing (SCC) California Science Center - Los Angeles, California https://2025.smcit-scc.space/ Important Dates - Deadline for full papers (SMC-IT and SCC) and SCC presentation-only abstracts: April 4, 2025 - Registration site open: April 4, 2025 - Author acceptance notification: April 25, 2025 - Final camera-ready versions papers deadline: June 16, 2025 - Final presentations deadline: June 27, 2025 - Conference: July 28 -- August 1, 2025 Sponsored by: IEEE Computer Society - Technical Committee on Software Engineering and Technical Committee on Computer Architecture We invite submissions for the IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) and the IEEE Space Computing Conference (SCC). These conferences gather professionals, such as system designers, engineers, computer architects, scientists, practitioners, data scientists, and space explorers, who are committed to advancing information technology and improving the computational capabilities and dependability of space missions. These forums provide a valuable opportunity for in-depth technical dialogues covering various aspects of space mission hardware and software. Systems in all aspects of the space mission will be explored, including flight systems, ground systems, science data processing, engineering and development tools, operations, telecommunications, radiation-tolerant computing devices, reliable electronics, and space-qualifiable packaging technologies. The entire information systems lifecycle of the mission development will also be covered, such as conceptual design, engineering tools development, integration and test, operations, science analysis, and quality control. Topics of interest include (but are not limited to) space applications of the following: **SMC-IT** Robotics, Cybersecurity, Networking, Memory and Storage, Advanced Ground Control, Advanced Modeling & Digital Twins for Onboard Systems, Data Analytics and Big Data, Fault-Tolerant Processing, Trustable Intelligent/Autonomous Systems, Smart Instruments, Augmented Reality/Virtual Reality and HCI, Manufacturing and Assembly of Large Structures, Improved Operations, Software Reliability for Mission-Critical Applications and Safety of Life. **SCC** High-Performance Onboard Computing, Components, Radiation, and Packaging, Computing Architectures, Flight Data Processing, Avionics Systems, Machine Learning/Neural Computing, Crew Interfaces, Extreme Environments Computing, Distributed Computing, Infusion and adoption of industry standards for space applications. **SMC-IT/SCC Classified Session** A SMC-IT/SCC classified session will be held at The Aerospace Corporation, Friday, August 1, 2025 from 0800 to 1200 PDT. The theme of the session is "Unleashing Disruption and Transformation: Emerging Technologies in Space." All attendees must possess a TS/SCI clearance and be a U.S. Citizen. Please send a message to: smc-it-scc at aero.org for additional registration information. Process and Format - The SMC-IT/SCC 2025 Technical Committee is seeking two kinds of submissions at this time: full papers (BOTH SMC-IT AND SCC) and presentations (ONLY SCC). - SMC-IT/SCC 2025 will use a single-pass, full-paper review process. - The full paper is required and peer reviewed prior to deciding on acceptance for the conference, even if an abstract has been submitted. - Full papers can be up to 10 pages, not including references. The paper template can be found on the IEEE website: https://www.ieee.org/conferences/publishing/templates.html. - All accepted papers will be published in the IEEE conference proceedings, indexed with the IEEE Xplore database. Note that IEEE has a "Podium and Publish" policy for conferences, which means that no manuscript will be published in IEEE Xplore without first being presented at the conference. - Authors of SCC presentations without a corresponding paper need to submit a 1-page abstract, which will allow the conference organizers to determine if the proposed presentation is germane for the conference, determine which track/session the proposed presentation belongs, and ensure the author is in contact with the track/session chair for feedback prior to the final submission. All presentation-only abstract submissions must be submitted by the full paper deadline. - All submissions are uploaded via EasyChair: https://easychair.org/conferences/?conf=smcitscc2025 - Selected papers may be invited to appear in a special issue of a reputable journal. More details will be made available in the future. - Note: It is not required to submit an abstract prior to the paper submission. - Note: The SMC-IT/SCC program committee can be found on the conference website. CONFERENCE CHAIRS - General Chair: Ivan Perez (KBR @ NASA ARC) - General Co-Chair: Jim Butler (JPL) - Program Chair (SMC-IT): Lukas Mandrake (JPL) - Program Co-chair (SMC-IT): Jack Lightholder (JPL) - Program Chair (SCC): David Rutishauser (NASA JSC) - Program Co-Chair (SCC): Christopher Green (NASA GSFC) - SMC-IT/SCC Program Committee Members -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Mar 31 16:21:30 2025 From: announce at ucy.ac.cy (Announce) Date: Mon, 31 Mar 2025 14:21:30 +0000 Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA 2025): Call for Workshop Papers Message-ID: *** Call for Workshop Papers *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 (*** Proceedings to be published by Springer in LNCS ***) The European Conference on Software Architecture (ECSA) is the premier European forum for presenting and discussing software architecture research and practice. ECSA edition 2025 hosts workshops on topics related to software architecture. The following workshops will be held between September 15-16, 2025: 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA) https://casaecsa.github.io/casa2025/ Software is becoming increasingly aware of its current execution context. Decisions that were traditionally made at design time are being postponed until runtime to improve the services that software provides to its users. In addition, software reasons about the execution environments and its internal state to improve the functionality provided to its users. Some of the keywords that characterize software today are: context-aware, dynamic, autonomous, smart, adaptive, self-managed. In this context, the Context-aware, Autonomous, and Smart Architectures (CASA) workshop aims to address the issues and challenges raised by the design, implementation, and evaluation of software systems characterized by the above keywords. Novel design and development approaches are needed to address the new issues raised by such systems. New solutions are expected to properly address the trade-offs between the various quality attributes that characterize these systems. Or, existing architectural solutions should be adapted and improved to meet the evolving and dynamic requirements of context-aware, autonomous, and intelligent systems. The workshop aims to bring together software engineers, computer scientists, researchers, practitioners, and educators to discuss and exchange results, case studies, experiences, novel approaches, and visionary ideas on software architectures for context-aware, autonomous, and smart solutions. 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO) https://archdto.github.io/archdto2025/ The Digital Twin of an Organization (DTO) extends the concept of Digital Twins to create virtual replicas of business models, processes, resources, and interactions. DTOs enable optimization of decision-making, increased efficiency, and adaptability to rapid changes by leveraging real- time data, simulations, AI, and predictive analytics. Despite their transformative potential, DTOs are still in early development, facing significant software architecture challenges such as scalability, interoperability, model robustness, and real-time data integration. This workshop explores the architectural frameworks, design patterns, and software engineering principles needed to build robust DTOs. Topics include frameworks for DTO creation, enterprise modeling methodologies, technological enablers like AI and the Internet of Things, and real-world use cases from academia and industry. Given the novelty of the topic, the workshop consists of two main sessions: (1) presentations of academic and industry papers on DTO architectures, frameworks, and technologies, and (2) an interactive workshop session, where participants will engage in problem-solving, explore case studies, and collaboratively define challenges, solutions, and best practices for architecting DTOs. 1st International Workshop on AI-Assisted Software Architecting (AISA) https://sites.google.com/view/aisasa/home?pli=1 AI-assisted software architecting is transforming how architectural decisions are made, implemented, and maintained. Leveraging artificial intelligence, this paradigm enhances architectural decision making, automates repetitive architecting tasks, and optimizes system designs. The AISA workshop aims to bring together researchers and practitioners to explore AI’s role in various software architecting activities, including architecture analysis, design, decision-making, evolution, and documentation. We will also discuss AI-driven architectural pattern recommendations, best practices, and the application of AI in continuous architecting and self-adaptive architectures. Topics include AI-assisted architecture synthesis, automated architecture pattern selection, refactoring, security enforcement, and integrating AI into DevOps and MLOps pipelines. The workshop will foster discussions and collaborations between academia and industry to identify open challenges, research directions, and practical applications 5th International Workshop on Agility with Microservices Programming (AMP) https://amp-workshops.github.io The AMP workshop aims to collect experiences on microservice adoption and reporting best practices, as well as failure cases, to build community knowledge based on past mistakes and successes. We also emphasize the current trend towards AI-driven software engineering practices and the development of data- intensive applications. The workshop seeks for solutions and experiences both on both AI-assisted tooling, and building data-intensive applications and LLMs using microservices. The workshop is open to experience reports from practitioners and academics. We seek to collect original work on the science and engineering of programming microservices. 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS) https://sadis2025.smartarch.cz Modern software systems increasingly rely on data-centric processes to fuel intelligent features, scalable services, and real-time insights. As these systems evolve, designing effective software architectures for data-intensive environments becomes critical yet challenging. These architectures must address complex concerns such as handling high-velocity data streams, ensuring security and privacy, integrating heterogeneous data sources and heterogeneous computation fabrics (including GPUs/TPUs and edge devices), and adapting to changing workloads. The workshop aims to bring together academic researchers, industry practitioners, and thought leaders to explore cutting-edge approaches for building, deploying, and maintaining robust data-centric solutions. We invite discussions on a range of topics at the intersection of data-intensive systems and software architecture, including machine learning (ML) pipelines, ML Operations (MLOps) frameworks and patterns, domain-specific languages, reference architectures, and visualization techniques. Emphasis is placed on practical experiences, innovative tools and platforms, and theoretical advancements that tackle the ever-growing demands placed on data-intensive systems. By fostering interdisciplinary collaboration and knowledge exchange, the workshop seeks to shape the future of data-driven architecture design and empower professionals and researchers to address emerging challenges in this rapidly evolving domain. Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA) https://www.redcad.org/events/arosa2025/ The goal of this workshop is to bring together researchers and practitioners both from the Academia and from the Industry working in the areas of the adaptation and reconfiguration of distributed systems. Different investigation topics are involved, such as: CBSE, Web service, cloud applications, mobile applications, Functional and Non-Functional requirements (QoS, performance, resilience), monitoring, diagnosis, deci- sion and execution of adaptation and reconfiguration. Different research areas are covered: concepts, methods, techniques, and tools to design, develop, deploy and manage adaptive and reconfigurable software systems. The concept of adaptive and reconfigurable software systems has been introduced in order to describe architectures, which exhibit such properties. An adaptive and reconfigurable software system can repair itself if any execution problems occur, in order to successfully complete its own execution, while respecting functional requirements and quality attributes. In the design of an adaptive and reconfigurable software system, several aspects have to be considered. For instance, the system should be able to predict or to detect degradations and failures as soon as possible and to enact suitable recovery actions. SUBMISSION INSTRUCTIONS Please refer to the instructions at the workshops' web sites. IMPORTANT DATES • Abstract Submission: May 12, 2025 • Paper Submission: May 19, 2025 • Notification of Acceptance/Rejection: June 20, 2025 • Camera-Ready Submission: June 27, 2025 • Author Registration: June 27, 2025 • Workshop Days: September 15-16, 2025 All dates are 23:59h AoE (anywhere on Earth). ORGANISATION General Chairs • Cesare Pautasso, University of Lugano, Switzerland • Vasilios Andrikopoulos, University of Groeningen, The Netherlands Workshops Co-Chairs • Tommi Mikkonen, University of Jyvaskyla, Finland • Jennifer Perez, Universidad Politécnica de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: