From announce at ucy.ac.cy Mon Feb 3 13:20:14 2025 From: announce at ucy.ac.cy (Announce) Date: Mon, 3 Feb 2025 12:20:14 +0000 Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA 2025): Fourth Call for Papers (Research/Industry), Tools & Demos and Workshop Proposals Message-ID: *** Fourth Call for Papers (Research/Industry), Tools & Demos, and Workshop Proposals *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 (*** Proceedings to be published by Springer in LNCS ***) The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The 19th European Conference on Software Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as an in-person conference taking place in the beautiful city of Limassol (Cyprus). SCOPE The theme for ECSA 2025 is “impactful software architecture”. The software architecture discipline has had a critical role in shaping robust, scalable, and maintainable systems. We are interested in learning about software architecture principles and practices, emergence trends and case studies highlighting strategic architectural choices that can lead to enhanced performance, improved collaboration, and long-term sustainability. The overarching question is how these architectural principles and practices, both well-established and emerging, are making an impact in real-world systems, and how that impact is being felt across various domains, from enterprise systems to more novel areas like, e.g., AI-driven or autonomous applications? The Program Committee of the 19th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research; new methods, approaches, and processes; novel applications; education and training in software architecture; and experience reports on all topics related to software architecture. We particularly encourage papers that demonstrate that diversity in gender, culture, religion, country, etc. are key factors for success and innovation in software architecture. Topics of interest include, but are not limited to: • Foundational principles of software architecture • Relationship of requirements engineering and software architecture • Quality attributes and software architectures • Architecture practices for secure, explainable, and trustworthy software • Architecture design and analysis • Architecture description languages and meta-models • Architecture verification and validation • Management of architectural knowledge, decisions, and rationale • Architecture patterns, styles, and tactics; reference architectures • Architecture viewpoints and views • Architecture conformance • Software architecture virtualization and visualization • Architecture-centric process models and frameworks • Software architecture and agile, incremental, iterative, and continuous development • Component-based models and deployment; middleware • Software architecture and system architecture • Software tools and environments for architecture-centric software engineering • Ethics, cultural, economic, business, social, human, and managerial aspects of software architecture • Architecture and technical debt • Architecting for sustainable and environment friendly systems • Applying AI and LLMs in software architecture and architecting for AI and LLM intensive systems • Software architecture education • Cross-disciplinary approaches to software architecture • Architectures for reconfigurable and self-adaptive systems • Architectural concerns of autonomic systems • Software architecture applied to new and emerging areas, such as the cloud/edge, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems-of-systems, energy- aware software, quantum computing, AI-enabled systems • Empirical studies, systematic literature reviews, and mapping studies in software architecture • Diversity, equity, and inclusion in activities related to software architecture 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". 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. WORKSHOP PROPOSAL SUBMISSIONS Researchers and practitioners are invited to submit proposals for workshops and tutorials held in conjunction with ECSA 2025. Workshops and tutorials will be held on September 15-16, 2025 (right before the main conference on September 17-19, 2025). ECSA workshops allow researchers and practitioners to exchange and explore innovative software architecture (scientific or engineering) ideas and challenges at an early stage. Topics of interest are, but are not limited to: • Software Architecture challenges for AI- and ML-based Systems • Software Architecture challenges for Self-Adaptive Systems • Software Architecture challenges for Cyber-Physical Systems • Software Architecture challenges in Big Data and Cloud Computing • Software Architecture challenges in IoT-based Systems • Software Architecture challenges in DevOps and MLOps • Software Architecture challenges in Blockchain Engineering • Software Architecture challenges in Quantum Software • Quality-of-service (QoS) measurements of Software Architectures • Privacy and Security in Software Architectural Design • Context-aware, Autonomous, and Smart Architectures • Sustainability in Software Architectures • Software Architecture Erosion and Architectural Consistency • Technical Debt in Software Architecture Design • Architecting the Digital Twin • Continuous Architecting • Agile Software Architecting • Human Aspects of Software Architecting • Software Architecture Assessment • AI assisted Software Architecting • Agile Modeling All proposals must conform to a maximum of 8 pages following the LNCS format (see below), including references, appendices, and figures. The proposal must include the following information in the order specified: • Workshop title and acronym • Contact information for the workshop organizers (name, affiliation, email) and the main contact • Abstract (up to 200 words) for the ECSA 2025 website (if the workshop is accepted) • Motivation and Objectives ○ Relevance of the workshop to the field of software architecture ○ Anticipated goals and outcomes (e.g., open research problems to pursue, validation objectives, empirical studies) • Format ○ Workshop format (e.g., paper presentations, keynotes, breakout sessions, panel-like discussions) and plans for generating discussions ○ Duration - half day, one day or two days ○ Preliminary workshop schedule ○ Special services, logistic and/or equipment constraints • Participation ○ Target Audience and expected background ○ Plans regarding the mix of industry and research participation ○ Expected minimum and maximum number of workshop participants ○ Plans for participant solicitation and dissemination • Submission ○ Types of contributions (e.g., extended abstracts, position papers, research papers, etc.) and their estimated number. ○ Review and evaluation process deciding about the acceptance of submissions ○ Program committee, including tentative and already committed members ○ Strategy for the proceedings • Organizers ○ Brief description of each organizer’s background, including relevant past experience in organizing conferences and workshops ○ Brief organizers’ bios • Previous editions ○ Where and when the workshop has been offered previously, the past numbers of submitted and accepted papers, numbers of attendees ○ Number of registered attendees and websites of previous editions (if any) • Draft Call-for-Papers (1 page) Submissions must follow the LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). All proposals should be submitted before the submission deadline (see below) using the online submission site: EasyChair ECSA 2025 Workshop track (https://easychair.org/conferences/?conf=ecsa2025). ECSA 2025 will use a single review process for workshop proceedings. For accepted papers, the minimum number of pages for each workshop paper is 8 and the maximum is 16 pages in the LNCS format. The proceedings of the workshops will be published by Springer in the LNCS series. IMPORTANT DATES Main Conference (Research and Industry Papers) • Abstract submission: March 14, 2025 • Paper submission: March 21, 2025 • Notification: May 9, 2025 • Camera-ready paper: June 23, 2025 Tools & Demos • Abstract submission: May 16, 2025 • Paper submission: May 23, 2025 • Notification: June 20, 2025 • Camera-ready paper: June 27, 2025 Workshops • Workshop proposals: February 15, 2025 • Workshop proposals notification: March 7, 2025 • Workshop papers abstracts: May 12, 2025 • Workshop papers submission: May 19, 2025 • Workshop papers notification: June 20, 2025 • Workshop papers camera-ready: June 27, 2025 • Workshop dates: September 15-16, 2025 Early/Author registration for all accepted contributions: June 27, 2025 All dates are 23:59h AoE (Anywhere on Earth). ORGANISATION General Chairs • Cesare Pautasso, University of Lugano, Switzerland • Vasilios Andrikopoulos, University of Groeningen, The Netherlands Program Co-Chairs • Nour Ali, Brunel University London, UK • Jacopo Soldani, University of Pisa, Pisa Tools & Demos Co-Chairs • Mohamed Soliman, Heinz Nixdorf Institut, Paderborn University, Germany • Use Zdun, University of Vienna, Austria Workshop Co-Chairs • Tommi Mikkonen, University of Jyvaskyla, Finland • Jennifer Perez, Universidad Politécnica de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From vdheuvel at informatik.uni-freiburg.de Tue Feb 4 15:28:02 2025 From: vdheuvel at informatik.uni-freiburg.de (Bas van den Heuvel) Date: Tue, 4 Feb 2025 15:28:02 +0100 Subject: [fg-arc] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques Message-ID: [Apologies for multiple postings] ************************************************************************ Deadline Extension and Booking Heads Up DisCoTec 2025 20th International Federated Conference on Distributed Computing Techniques Lille, France, June 16-20, 2025 Extended submission deadline: February 21, 2025 https://www.discotec.org/2025 ************************************************************************ DisCoTec 2025 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and satellite events that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. The three main conferences are: * COORDINATION 2025 - International Conference on Coordination Models and Languages * DAIS 2025 - International Conference on Distributed Applications and Interoperable Systems * FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems DisCoTec 2025 is organised by Inria Lille and the University of Lille. It will be hosted by Polytech Lille. * Deadline Extension * The paper and artefact submission deadlines have been extended. All deadlines expire at 23:59 anywhere on earth: - Abstract submission: February 14, 2025 - Paper submission: February 21, 2025 - Artefact submission: February 28, 2025 - Artefact kick-the-tires - problem reports: March 10, 2025 - Artefact kick-the-tires - author response: March 17, 2025 - Artefact notification: April 4, 2025 - Paper notification: April 4, 2025 - Camera-ready: April 23, 2025 (TBC) - Conference: June 16-20, 2025 * Booking Heads Up * We strongly recommend booking your stay in Lille as soon as possible. Mid June is a busy period in the Lille area, and Beyoncé will be performing in Paris (which may be an extra incentive to register). * Please visit https://www.discotec.org/2025 for detailed information. * -------------- next part -------------- An HTML attachment was scrubbed... URL: From optlearnmas-chairs at proton.me Sun Feb 2 10:13:30 2025 From: optlearnmas-chairs at proton.me (optlearnmas-chairs) Date: Sun, 02 Feb 2025 09:13:30 +0000 Subject: [fg-arc] OptLearnMAS 2025: Call for Papers Message-ID: Dear Colleague(s), The OptLearnMAS workshop at AAMAS 2025 is accepting submissions! The goal of the workshop is to provide researchers with a venue to discuss models or techniques for tackling a variety of multi-agent optimization problems. We seek contributions in the general area of multi-agent optimization, including distributed optimization, coalition formation, optimization under uncertainty, winner determination algorithms in auctions and procurements, and algorithms to compute Nash and other equilibria in games. Of particular emphasis are contributions at the intersection of optimization and learning. See below for a (non-exhaustive) list of topics. This workshop invites works from different strands of the multi-agent systems community that pertain to the design of algorithms, models, and techniques to deal with multi-agent optimization and learning problems or problems that can be effectively solved by adopting a multi-agent framework. Topics The workshop organizers invite paper submissions on the following (and related) topics: - Optimization for learning (strategic and non-strategic) agents - Learning for multi-agent optimization problems - Distributed constraint satisfaction and optimization - Winner determination algorithms in auctions and procurements - Coalition or group formation algorithms - Algorithms to compute Nash and other equilibria in games - Optimization under uncertainty - Optimization with incomplete or dynamic input data - Algorithms for real-time applications - Cloud, distributed, and grid computing - Applications of learning and optimization in societally beneficial domains - Multi-agent planning - Multi-robot coordination The workshop is of interest both to researchers investigating applications of multi-agent systems to optimization problems in large, complex domains, as well as to those examining optimization and learning problems that arise in systems comprised of many autonomous agents. In so doing, this workshop aims to provide a forum for researchers to discuss common issues that arise in solving optimization and learning problems in different areas, to introduce new application domains for multi-agent optimization techniques, and to elaborate common benchmarks to test solutions. Finally, the workshop will welcome papers that describe the release of benchmarks and data sets that can be used by the community to solve fundamental problems of interest, including machine learning and optimization for health systems and urban networks, to mention but a few examples. Visit the website: https://optlearnmas.github.io Important Dates - Mar 2, 2025 (23:59 AoE) – Submission deadline (tentative) - Mar 30, 2025 (23:59 AoE) – Acceptance notification (tentative) - May 19-20, 2025 – Workshop date Cheers, Filippo Bistaffa, Hau Chan, Sarah Keren, Xinrun Wang, Roger X. Lera-Leri OptLearnMAS Co-Chairs -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Wed Feb 5 12:26:22 2025 From: announce at ucy.ac.cy (Announce) Date: Wed, 5 Feb 2025 11:26:22 +0000 Subject: [fg-arc] 20th International Conference on Persuasive Technology (PERSUASIVE 2025) : Last Call for Additonal Contributions Message-ID: *** Last Call for Additional Contributions *** 20th International Conference on Persuasive Technology (PERSUASIVE 2025) May 5-7, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://2025.persuasivetech.org (*** Proceedings to be published by Springer in CCIS ***) In a world in which technology is increasingly present in people’s lives, and changing human behavior and attitudes is often the key to solving many societal and personal problems, studying how technology might be used to influence humans (in their behavior, attitudes and information processing), is paramount. Persuasive Technology is a vibrant interdisciplinary research field, focusing on the design, development and evaluation of interactive technologies aimed at influencing people’s attitudes and/or behaviors through persuasion, but not through coercion or deception. The research community aims at enriching people’s lives in various domains such as health and sustainability by supporting people in setting and achieving their own goals, thus helping them change their behavior. The 2025 conference will be hosted in Limassol, Cyprus at the 5* St. Raphael Resort and Marina. The previous successful conferences have been organized in Wollongong, Limassol, Eindhoven, Stanford, Oulu, Claremont, Copenhagen, Columbus, Linköping, Sydney, Padua, Chicago, Salzburg, Amsterdam, and Waterloo. The conference series seeks to bring together researchers and practitioners from industry and academia working with various topics of persuasive technology. SCOPE The scope of the conference includes (but is not limited to) the following topics: • Persuasive systems’ design • Behavior change support systems • Interaction with persuasive systems, interfaces, visualization • Interactive agents in persuasive systems • (Generative) AI for persuasive technology • Tailored and personalized persuasion • Gamification for persuasion • Evaluation and validation of persuasive applications • Fitting methods for development, evaluation and implementation of persuasive systems • Optimizing engagement with persuasive systems • Software architectures and technical infrastructures for persuasive systems • Smart environments, e.g. IoT, and persuasion • Digital Marketing, eCommerce, eTourism and SMART ecosystems • Motivational, cognitive and perceptual factors in persuasive technology • Application domains for persuasive technologies such as safety, healthy living, sustainable behaviors, learning and training, marketing and commerce, work environments, organizations • Positive technology • Humanizing and/or dehumanizing effects of persuasive technology • Values and ethics in persuasive technology • Privacy, perceived security and trust in persuasive technology • Resilience and counter-persuasion • Detecting persuasive strategies in social media posts • Encouraging adherence to safety measures in pandemic situations Questions that we hope to be addressed include, but are not limited to: • How to recognize and demonstrate the real life effects of persuasive technology on people’s attitudes and behaviours? • How to conduct studies that not just show their effectiveness but are also able to explain in more detail why a design or intervention works? • How to design an evaluation study so that it yields insights that are applicable to other designs or interventions? • How theoretical insight can help improve application and/or intervention planning and design? • How can design and intervention studies improve theory? SUBMISSION TYPES All accepted papers in the different categories of additional contributions will appear in the adjunct conference proceedings volume to be published by Springer in the CCIS series (https://www.springer.com/series/7899). All papers must be formatted using the Springer conference proceedings template (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). The length of the paper is specified below for each different category of contribution. Workshop Papers The following workshops will have their accepted papers published in CCIS by Springer: • 1st International Workshop on Upholding Ethical Designs (iWOULD) https://iwould2025.wordpress.com • Persuasion and AI Disclosure: Building Trust in Synthetic Media https://aunmedia.org/AIDisclosure/ The workshop papers should be 12 pages in length (excluding references). Extended Abstracts They showcase the results of already conducted and unpublished studies where authors do not wish to publish them as regular papers in the conference proceedings but rather present them at the conference for discussions that can shape the final version (that may be submitted elsewhere later). The studies will also be devoted a time slot for oral presentation in a special session. Extended abstracts must be 4 to 6 pages in Springer CCIS format (including references). Accepted abstracts will be included in the adjunct Springer CCIS proceedings, unless the authors wish to opt out. Selected papers in this category, based on their quality, level of timeliness, relevance and completion, will also be invited for submission to Behaviour & Information Technology journal. Late Breaking Results (LBR) The papers in this category cover new research in any topic that regular paper submissions cover and are expected to present new and emerging results. Authors should submit a 12 pages paper (excluding references) in Springer CCIS format. Accepted papers will be included in the adjunct Springer CCIS proceedings. Poster Presentations This format is suitable for descriptions of smaller studies, project outlines, literature reviews or work-in-progress. Authors should submit a 4-page paper in Springer CCIS format. Accepted posters will be included in the adjunct Springer CCIS proceedings. Posters will be displayed and presented during a dedicated session of the conference. Demonstrations and Artefacts The Persuasive 2025 track on Demonstrations and Artefact is intended to foster discussion and exchange of ideas among researchers and practitioners from academia and industry by demonstrating or presenting hardware and software products or artefacts, including those in virtual settings (e.g., simulation systems, VR, and games), that range from early research prototypes to mature production-ready systems. The contribution should be the result of original, innovative work, including solving novel technical or research problems, and/or creating novel individual or industrial UI/UX. Accepted demonstrations or presentations shall be presented live during the conference and will be included as a 4-pages paper in Springer CCIS format in the adjunct Springer CCIS proceedings. Doctoral Consortium Papers The Doctoral Consortium is a special session of the conference where PhD students can receive advice in a constructive atmosphere. Students present and discuss their research with other PhD students and a panel of established researchers in the area of persuasive technology. Students interested in participating in the Doctoral Consortium should submit a 12 pages proposal (including references) in Springer CCIS format describing their research question, its position with respect to the state of the art, their research plans and methodology, ideas, and results achieved so far. Accepted papers will be included in the adjunct Springer CCIS proceedings unless opted out by the student. IMPORTANT DATES • Submission deadline: March 1, 2025 (AoE) • Decision notification: March 15, 2025 • Camera ready: March 28, 2025 • Author registration deadline: March 28, 2025 • Early bird registration: April 5, 2025 SUBMISSION INSTRUCTIONS The submission link is: https://easychair.org/conferences/?conf=persuasive2025 (choose the appropriate category or workshop). ORGANISATION General Chairs • Evangelos Karapanos, Cyprus University of Technology, Cyprus • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Raian Ali, HBKU, Qatar • Khin Than Win, University of Wollongong, Australia Demo, Poster and Artefacts • Ruben Hgouveia, Universidade de Lisboa, Portugal • Hanne Spelt, Philips, Netherlands Workshops and Tutorial Chairs • Rhodora Abadia, University of South Australia, Australia • Kaoru Sumi, Future University of Hakodate, Japan • Wenzhen Xu, Hitotsubashi University, Japan Doctoral Consortium Chairs • Sriram Iyengar, University of of Arizona, USA • Roberto Legaspi, KDDI, Japan • Shahla Meedya, Australian Catholic University, Australia Proceedings Chairs • Elena Vlahu-Gjorgievska, University of Wollongong, Australia • Kiemute Oyibo, University of York, Canada Society for Persuasion and Technology Steering Committee • Raian Ali – Chair Professor, College of Science and Engineering, Hamad Bin Khalifa University, Qatar • Luca Chittaro – General Member Professor, Human-Computer Interaction Lab, Department of Mathematics, Computer Science, and Physics, University of Udine, Italy • Roberto Legaspi – General Member
Research Scientist, Collaborative AI Lab, Human-centered AI Laboratories KDDI Research, Inc., Japan • Harri Oinas-Kukkonen – General Member
Professor, Information Systems Science and Dean of Graduate School, University of Oulu, Finland • Kiemute Oyibo – General Member
Assistant Professor, Interactive Systems Research Group, Department of Electrical Engineering and Computer Science, York University, Canada • Khin Than Win – Secretary
Professor at the University of Wollongong, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.vandenbos at utwente.nl Fri Feb 7 14:01:23 2025 From: p.vandenbos at utwente.nl (Petra van den Bos) Date: Fri, 7 Feb 2025 14:01:23 +0100 Subject: [fg-arc] FSEN 2025 - Call for Participation Message-ID: ########################## FSEN 2025 Call for Participation Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 Västerås, Sweden 7,8 April 2025 ########################## -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. This year, FSEN will take place in Västerås, Sweden, on 7 and 8 April 2025. The event includes four keynote talks. The preliminary conference program can be found at: https://conf.researchr.org/program/fsen-2025/program-fsen-2025/ -- Registration -- To register for the conference please go to the following page: https://conf.researchr.org/attending/fsen-2025/Registration The registration deadlines are as follows: * *January 31st 23:59 CET:* Early-bird registration deadline for paper presenters and participants without presentation * *February 21st**23:59 CET**:* Early-bird registration deadline for poster presenters * *March 14th**23:59 CET**:* Registration deadline -- Keynote Speakers -- Işıl Dillig, University of Texas at Austin, United States Philipp Rümmer, University of Regensburg, Germany, and Uppsala University, Sweden Alexander Serebrenik, Eindhoven University of Technology, Netherlands Marielle Stoelinga, University of Twente, Neterlands, and Radboud University, Nijmegen, Netherlands -- Program Chairs -- Georgiana Caltais, University of Twente, Netherlands Hossein Hojjat, Tehran Institute for Advanced Studies, Iran -- Kind regards, Petra van den Bos Publicity Chair FSEN -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Fri Feb 7 17:25:18 2025 From: announce at ucy.ac.cy (Announce) Date: Fri, 7 Feb 2025 16:25:18 +0000 Subject: [fg-arc] The 16th IEEE International Conference on Knowledge Graphs (ICKG 2025): First Call for Papers Message-ID: *** First 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 kyrozier at iastate.edu Fri Feb 7 04:45:35 2025 From: kyrozier at iastate.edu (Rozier, Kristin-Yvonne [AER E]) Date: Fri, 7 Feb 2025 03:45:35 +0000 Subject: [fg-arc] SPIN: Final Call for Papers Message-ID: **********************************************************                            SPIN  31st International Symposium on Model Checking Software https://spin-web.github.io/SPIN2025/                      7 - 8 May 2025       co-located with ETAPS 2025, Hamilton, Canada ********************************************************* Theme of the Symposium: ----------------------- The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the SPIN model checker. However, over the years it has evolved to a broadly-scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, and symbolic execution. An overview of the previous SPIN symposia (and early workshops) can be found at: https://spinroot.com/spin/Workshops/. Topics of Interest: ------------------- Topics of interest include, but are not limited to: * Formal verification techniques for automated analysis of (concurrent) software/hardware, including:  -- Model checking  -- Deductive verification  -- Automated theorem proving, including SAT and SMT  -- Abstraction and symbolic execution techniques  -- Static analysis and abstract interpretation  -- Modular and compositional verification techniques  -- Verification of timed and probabilistic systems  -- Automated testing using advanced analysis techniques  -- Program synthesis  -- Derivation of specifications, test cases etc. via formal analysis  -- Formal specification languages, temporal logic, design-by-contract  -- Formal analysis of learned systems  -- Any combination of the above * Application and/or engineering of verification tools, including:  -- Case studies of interesting systems or with interesting results  -- Implementation of novel verification tools  -- Benchmarks and comparative studies for verification tools  -- Verification tools using modern hardware, e.g.: multi-core CPU, GPU, TPU, cloud, and quantum Important Dates: ---------------- Paper Submission:                     13 Feb 2025 Artifact Submission (Tool Papers):    27 Feb 2025 Paper/Artifact Notifications:         24 Mar 2025 Artifact Submission (Other Papers):   7 Apr 2025 Non-tool Paper Artifact Notification: 1 May 2025 Symposium:                            7-8 May 2025 Submission Details: ------------------- We are soliciting three categories of papers: * Full Research Papers describing fully developed work and complete results (16 pages, excluding bibliography and appendices); * Full Tool Papers, accompanied by a *Mandatory Artifact*, describing work that is closely-related to the development or the evaluation of a verification tool or similar (16 pages, excluding bibliography and appendices); * Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages, excluding bibliography and appendices). Note: Artifact evaluation is optional for short papers but highly recommended for those with a focus on tools. If you want to have the accompanying artifact of your short paper evaluated, please submit it to the mandatory AE on February 27. Papers submission website: https://easychair.org/conferences/?conf=spin2025 -- in the track Research Papers, select the respective paper category. All papers that conform to submission guidelines will be peer-reviewed by members of the program committee. Submissions will be evaluated on the basis of originality, the importance of contribution, soundness, evaluation, quality of presentation, and appropriate comparison to related work. The proceedings of SPIN 2025 will be published as part of post-conference proceedings in Springer’s Lecture Notes in Computer Science series. Submissions should adhere to the LNCS format; see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines. Please take into account Springer’s Book authors code of conduct when preparing submissions: https://www.springernature.com/gp/authors/book-authors-code-of-conduct. Artifact Evaluation: -------------------- SPIN 2025 will feature artifact evaluation, performed by an Artifact Evaluation Committee (AEC). The AEC evaluates artifacts based on documentation, availability, reproducibility of results, and tool reusability (if applicable). Artifact submission is mandatory for Full Tool Papers. While artifact submission is optional for papers in other categories, we highly encourage authors of papers involving tool development and empirical evaluation to submit an artifact for evaluation. Papers with an accompanying artifact may be awarded one or more badges from the EAPLS artifact badging scheme (https://eapls.org/pages/artifact_badges/). More details can be found at: https://spin-web.github.io/SPIN2025/artifacts Keynote Speakers: ----------------- Alexandre Duret-Lutz (EPITA Research Laboratory (LRE)): "Growing an omega-automata Library" Orna Grumberg (Technion, Israel): "Developments in Symbolic Model Checking" PC Chairs: ---------- Gidon Ernst (Ludwig-Maximilians-Universität München) Kristin Yvonne Rozier (Iowa State University) Artifact Evaluation Chairs: --------------------------- Julie Cailler (University of Lorraine & Inria, France) Nian-Ze Lee (LMU Munich / National Taiwan University) Programme Committee: -------------------- Marek Chalupa, (Institute of Science and Technology, Austria) Marie-Christine Jakobs, (Ludwig-Maximilians-Universität München, Germany) Nancy Day (University of Waterloo, Canada) Rohit Dureja (IBM Corporation, USA) Marie Farrell (University of Manchester, UK) Susanne Graf (Verimag, France) Ahmed Irfan (SRI, USA) Violet Ka I Pun (Western Norway University of Applied Sciences, Norway) Dominik Klumpp (University of Freiburg, Germany) Ondřej Lengál (Brno University of Technology, Czech Republic) Cong Liu (Collins Aerospace, USA) Jianwen Li (East China Normal University, China) Lucas Martinelli Tabajara (Amazon, USA) Radu Mateescu (Inria Grenoble - Rhône-Alpes, France) Thomas Neele (Eindhoven University of Technology, The Netherlands) Marjan Sirjani (Malardalen University, Sweden) Nestan Tsiskaridze (Standford University, USA) Masaki Waga (Kyoto University, Japan) Anton Wijs (Eindhoven University of Technology, The Netherlands) Matthias Volk (Eindhoven University of Technology, The Netherlands) Shufang Zhu (University of Liverpool, UK) Artifact Evaluation Committee: ------------------------------- Ryan Dancy (University of Oxford, UK) Chiao Hsieh (Kyoto University, Japan) Matthias Kettl (Ludwig Maximilian University of Munich, Germany) Bajczi Levente (Budapest University of Technology and Economics, Hungary) Thomas Lemberger (Ludwig Maximilian University of Munich, Germany) Chen-Kai Lin (Institute of Information Science, Academia Sinica, Taiwan) Landon J. Taylor (Utah State University, USA) Mohit K. Tekriwal (Lawrence Livermore National Laboratory, Livermore, Canada) Aline Uwimbabazi (Schlumberger Foundation & INRIA, France) Aosen Xiong (University of Waterloo, Canada) Zsófia Ádám (Budapest University of Technology and Economics, Hungary) Steering Committee: ------------------- Anton Wijs (Eindhoven University of Technology, Netherlands, chair) Stefan Leue (University of Konstanz, Germany) Susanne Graf (Verimag, France) Gerard Holzmann (Nimble Research, USA) Jaco van de Pol (Aarhus University, Denmark) Neha Rungta (AWS, USA) Willem Visser (Stellenbosch University, South Africa) Georgiana Caltais (University of Twente, Netherlands) Christian Schilling (Aalborg University, Denmark) -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Associate Professor, Iowa State Univ / USA | ~||~ |NASA \ Departments of Aerospace Engineering, |______| ~~ |______| Computer Science, Mathematics, and (__||__) Electrical and Computer Engineering /_\ /_\ !!! !!! laboratory.temporallogic.org From massimo.callisto at unicam.it Sun Feb 9 10:27:01 2025 From: massimo.callisto at unicam.it (Massimo Callisto De Donato) Date: Sun, 9 Feb 2025 10:27:01 +0100 Subject: [fg-arc] Call for Papers: 5th Conference on Society 5.0 (SOCIETY 5.0 2025) and deadline extension Message-ID: ** Deadline extension for submitting Research Papers to 24 February 2025 ** 5th Conference on Society 5.0 (SOCIETY 5.0 2025) 25-27 June 2025 San Benedetto Del Tronto, Italy Website: https://www.conference-society5.org/ In a rapidly evolving digital society, the growing interaction between humans and machines is redefining the boundaries of any aspects and stages of our life cycle. This conference provides an important and timely opportunity to contribute to the vision of Society 5.0 — a human-centered society that increasingly relies on a fair pact between human being and machine being with the aim of shaping a future where everyone benefits, while ensuring justice, inclusivity, and sustainability for the generations to come. Important Dates - Deadline for full research paper submissions EXTENDED To 24 February 2025. - 16 April 2025: Notification - 7 May 2025: Camera-ready deadline Submission are also possible for Industry Tracks, Workshop Tracks, Doctoral Symposium - 1 March 2025: Submission proposal - 16 April 2025: Notification Scope and Topics The topic of the conference includes: Human-System Interaction Scenarios, Business Information Systems, Business Innovation & Entrepreneurship, Diversity, Education, Innovation in the Digital Age, Healthcare and Care Systems, Information Security, Mobility, Fintech, Enhanced Living Environment, International Collaboration. Submission guidelines Submit a research paper, practice case study, workshop proposal or doctoral symposium proposal via Easychair: https://easychair.org/my/conference?conf=society502025 Notye: no payment from the authors will be required. Publication Proceedings with all accepted full papers will be available online on the Society 5.0 website. A selection of accepted full papers will appear in a volume of the Springer series (Communications in Computer and Information Science – CCIS). Access the detailed CFP at: https://www.conference-society5.org/call-for-papers Best Regards, SOCIETY 5.0 2025 Organizers Flavio Corradini Barbara Re Fabrizio Fornari Massimo Callisto De Donato -- From laura.carnevali at unifi.it Sun Feb 9 11:16:18 2025 From: laura.carnevali at unifi.it (Laura Carnevali) Date: Sun, 9 Feb 2025 11:16:18 +0100 Subject: [fg-arc] CFP: EPEW 2025 at CATANIA (colocated with ECMS 2025) Message-ID: <03d73da9-8b6a-43b3-8b75-00e8f53ca241@unifi.it> ===============================                               EPEW 2025 21th European Performance Engineering Workshop =============================== June 26, 2025, Catania, Italy https://epew-workshop.github.io Co-located with ECMS 2025 (the 39th ECMS International Conference on Modelling and Simulation) https://scs-europe.net/conf/ecms2025 ---------------- SCOPE AND TOPICS ---------------- The concept of performance in EPEW 2025 is considered in its broadest sense including the notions of Quality of Service, scalability as well as reliability, availability, and systems management, among others. Therefore, of particular interest are the ideas introducing new methods for evaluating complex systems, as well as innovative applications of methodologies and known techniques to the latest generation of systems, networks, and computer-based services. EPEW 2025 seeks papers based on the performance evaluation of systems from a theoretical and practical viewpoint. Application of performance evaluation techniques to emerging technologies, like cyber-physical systems ranging from mobile devices and Internet-of-Things (IoT), fog and edge computing, applications to large-scale cloud computing systems, smart grids, security infrastructures, are among the topics of interest to EPEW 2025. Topics of interest include but are not limited to the following topic areas: - Theoretical advances in performance modeling and evaluation, such as:   - Probabilistic, stochastic, or performability models, such as Queueing Networks, Petri Nets, and Process Calculi;   - Specification of quantitative properties,   - Analytical and numerical solution techniques and simulation techniques,   - Quantitative model checking, equivalence checking, and static analysis   - Context-aware modeling and analysis techniques   - Machine learning and deep learning-based approaches for performance evaluation and analysis   - Multiformalism and Multiparadigm modeling approaches - System, software, and network performance engineering, such as:   - Performance-oriented design, architecture, implementation, deployment, monitoring, and maintenance   - Constraint-based and model-driven system design   - Performance analysis, simulation, and experimental design   - Benchmark design and benchmark-based evaluation and monitoring   - Automated interpretation of analysis results   - Quality of service, and trade-offs between security, performance, dependability, energy consumption, usability, etc.   - Software performance modeling languages, model composition, and tool interoperability   - 6G and beyond - Case studies, such as:   - Cloud systems, Hybrid Cloud, and Fog Computing Internet of Things   - Cyber-physical systems   - E-health systems   - Blockchain and Cryptocurrency applications   - Sharing services such as carshare and rideshare   - Electric vehicles and battery modeling   - Large-scale systems and scalability analysis of systems, robustness analysis of systems, resilience analysis of systems   - Industrial case studies, experience reports, and tools, with a solid analysis and theoretical background ----------- SUBMISSIONS ----------- EPEW 2025 features post-proceedings, with a two-phase review process:  - Authors are solicited to submit short papers of at most 7-10 pages for presentation at the workshop. Accepted short papers will not be published in the proceedings.  - Authors of accepted short papers will be invited to submit full papers of at most 15 pages (i.e., an extended version of the short paper) for publication in the Lecture Notes in Computer Science (LNCS) Series by Springer. All page limits include tables, figures, and references. All papers must be submitted electronically in Springer’s LNCS format (in PDF format) using EasyChair: https://easychair.org/my/conference?conf=epew2025 Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. All submitted papers will be reviewed by the program committee based on technical quality, relevance, significance, and clarity. ---------------- IMPORTANT DATES ---------------- Short paper submission: April 1st, 2025 Acceptance notification for short papers: May 15th, 2025 Full paper submission (post-proceedings): July 31st, 2025 Acceptance notification for full papers: September 30th, 2025 All deadlines are UTC-12 (Anywhere on Earth). ------------------------ BEST PRESENTATION AWARD ------------------------ The EPEW 2025 organizing committee will select the best paper presentation, for which a certificate will be presented at the end of the workshop. Note that the selection is based on content, as well as presentation. ---------------------- ORGANIZING COMMITTEE ---------------------- Local Organizer - Marco Scarpa, University of Messina, Italy Technical Program Committee Chairs - Laura Carnevali, University of Florence, Italy - Josu Doncel, University of the Basque Country ------------------- PROGRAM COMMITTEE ------------------- Technical Program Committee - Salvador Alcaraz, Miguel Hernandez University, Spain - Elvio Gilberto Amparore, University of Torino, Italy - Paolo Ballarini, Centrale Supelec, France - Simona Bernardi, University of Zaragoza, Spain - Marco Bernardo, University of Urbino, Italy - Peter Buchholz, Dortmund University, Germany - Giuliano Casale, Imperial College, UK - Davide Cerotti, Technical University of Milan, Italy - Carina da Silva, University of Münster, Germany - Dieter Fiems, Ghent University, Belgium - Matthew Forshaw, Newcastle University, UK - Jean-Michel Fourneau, University of Versailles, France - Pedro Pablo Garrido Abenza, Miguel Hernandez University, Spain - Marco Gribaudo, Technical University of Milan, Italy - Antonio Gomez Corral, Complutense University of Madrid, Spain - Nikolas Herbst, University of Würzburg, Germany - András Horváth, University of Turin, Italy - Mauro Iacono, Università degli Studi della Campania "Luigi Vanvitelli", Italy - Emilio Incerto, IMT School for Advanced Studies Lucca, Italy - Alain Jean-Marie, INRIA, France - Carlos Juiz, University of the Balearic Islands, Spain - Lasse Leskelä, Aalto University, Finland - Francesco Longo, University of Messina, Italy - Diletta Olliaro, University of Venice, Italy - Marco Paolieri, University of Southern California, USA - Tuan Phung-Duc, University of Tsukuba, Japan - Agapios Platis, University of Aegean, Greece - Markus Siegle, Tubingen University, Germany - Ioannis Stefanakos, University of York, UK - Nigel Thomas, University of Newcastle, UK - Benny Van Houdt, University of Antwerp, Belgium - Marco Vieira, University of North Carolina, USA - Joris Walraevens, Ghent University, Belgium - Armin Zimmermann, Technische Universität Ilmenau, Germany -- *Laura Carnevali* *Associate Professor* 055 2758519 UNIVERSITÀ DEGLI STUDI DI FIRENZE *Dipartimento di Ingegneria dell'Informazione (DINFO)* -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Tue Feb 11 14:37:16 2025 From: announce at ucy.ac.cy (Announce) Date: Tue, 11 Feb 2025 13:37:16 +0000 Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA 2025): Last Call for Workshop Proposals Message-ID: <47BJD7PO-2KRG-U1H3-T6XS-HNU8383JMIMU@ucy.ac.cy> *** Last Call for Workshop Proposals *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 (*** Proceedings to be published by Springer in LNCS ***) The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The 19th European Conference on Software Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as an in-person conference taking place in the beautiful city of Limassol (Cyprus). Researchers and practitioners are invited to submit proposals for workshops and tutorials held in conjunction with ECSA 2025. Workshops and tutorials will be held on September 15-16, 2025 (right before the main conference on September 17-19, 2025). ECSA workshops allow researchers and practitioners to exchange and explore innovative software architecture (scientific or engineering) ideas and challenges at an early stage. Topics of interest are, but are not limited to: • Software Architecture challenges for AI- and ML-based Systems • Software Architecture challenges for Self-Adaptive Systems • Software Architecture challenges for Cyber-Physical Systems • Software Architecture challenges in Big Data and Cloud Computing • Software Architecture challenges in IoT-based Systems • Software Architecture challenges in DevOps and MLOps • Software Architecture challenges in Blockchain Engineering • Software Architecture challenges in Quantum Software • Quality-of-service (QoS) measurements of Software Architectures • Privacy and Security in Software Architectural Design • Context-aware, Autonomous, and Smart Architectures • Sustainability in Software Architectures • Software Architecture Erosion and Architectural Consistency • Technical Debt in Software Architecture Design • Architecting the Digital Twin • Continuous Architecting • Agile Software Architecting • Human Aspects of Software Architecting • Software Architecture Assessment • AI assisted Software Architecting • Agile Modeling All proposals must conform to a maximum of 8 pages following the LNCS format (see below), including references, appendices, and figures. The proposal must include the following information in the order specified: • Workshop title and acronym • Contact information for the workshop organizers (name, affiliation, email) and the main contact • Abstract (up to 200 words) for the ECSA 2025 website (if the workshop is accepted) • Motivation and Objectives ○ Relevance of the workshop to the field of software architecture ○ Anticipated goals and outcomes (e.g., open research problems to pursue, validation objectives, empirical studies) • Format ○ Workshop format (e.g., paper presentations, keynotes, breakout sessions, panel-like discussions) and plans for generating discussions ○ Duration - half day, one day or two days ○ Preliminary workshop schedule ○ Special services, logistic and/or equipment constraints • Participation ○ Target Audience and expected background ○ Plans regarding the mix of industry and research participation ○ Expected minimum and maximum number of workshop participants ○ Plans for participant solicitation and dissemination • Submission ○ Types of contributions (e.g., extended abstracts, position papers, research papers, etc.) and their estimated number. ○ Review and evaluation process deciding about the acceptance of submissions ○ Program committee, including tentative and already committed members ○ Strategy for the proceedings • Organizers ○ Brief description of each organizer’s background, including relevant past experience in organizing conferences and workshops ○ Brief organizers’ bios • Previous editions ○ Where and when the workshop has been offered previously, the past numbers of submitted and accepted papers, numbers of attendees ○ Number of registered attendees and websites of previous editions (if any) • Draft Call-for-Papers (1 page) Submissions must follow the LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). All proposals should be submitted before the submission deadline (see below) using the online submission site: EasyChair ECSA 2025 Workshop track (https://easychair.org/conferences/?conf=ecsa2025). ECSA 2025 will use a single review process for workshop proceedings. For accepted papers, the minimum number of pages for each workshop paper is 8 and the maximum is 16 pages in the LNCS format. The proceedings of the workshops will be published by Springer in the LNCS series. IMPORTANT DATES • Workshop proposals: February 15, 2025 • Workshop proposals notification: March 7, 2025 • Workshop papers abstracts: May 12, 2025 • Workshop papers submission: May 19, 2025 • Workshop papers notification: June 20, 2025 • Workshop papers camera-ready: June 27, 2025 • Workshop dates: September 15-16, 2025 Early/Author registration for all accepted contributions: June 27, 2025 All dates are 23:59h AoE (Anywhere on Earth). ORGANISATION Workshop Co-Chairs • Tommi Mikkonen, University of Jyvaskyla, Finland • Jennifer Perez, Universidad Politécnica de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From giuseppe.depalma2 at unibo.it Tue Feb 11 16:02:39 2025 From: giuseppe.depalma2 at unibo.it (Giuseppe De Palma) Date: Tue, 11 Feb 2025 15:02:39 +0000 Subject: [fg-arc] Workshop on Adaptable Cloud Architectures - WACA @ DisCoTec - Call for Papers Message-ID: <529246C6-B855-4EC6-9510-6E8D04ED3E04@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 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 sauer at sicp.upb.de Wed Feb 12 20:54:30 2025 From: sauer at sicp.upb.de (Stefan Sauer) Date: Wed, 12 Feb 2025 20:54:30 +0100 Subject: [fg-arc] Einladung zur Fachgruppensitzung "Architekturen" bei der SE25 References: <772ab42c-61a2-4dc9-a811-6214c0822b0a@uni-paderborn.de> Message-ID: An HTML attachment was scrubbed... URL: From mahdi.bohlouli at petanux.com Thu Feb 13 19:22:34 2025 From: mahdi.bohlouli at petanux.com (Mahdi Bohlouli) Date: Thu, 13 Feb 2025 19:22:34 +0100 Subject: [fg-arc] Fully Funded PhD Position: Multimodal AI/ML Models for Early Parkinson's Disease Diagnosis Message-ID: <8E47E86F-FCB9-466F-B33F-29602825A2BF@petanux.com> Dear Colleagues, The Petanux GmbH in collaboration with the Luxembourg Institute of Health (LIH) and Fraunhofer SCAI, is offering a PhD position focused on developing and evaluating multimodal AI/ML models to predict individual risk of developing Parkinson's Disease (PD). This research aims to integrate various data types—including genomic data, prior diagnoses, medications, and lifestyle factors—to assess their relative contributions to PD risk. The project emphasizes model explainability and causality, utilizing techniques such as Explainable AI (XAI) and causal machine learning methods. The PhD position is fully funded under the AIS project of the Marie Skłodowska-Curie Actions (MSCA) program, in collaboration with renowned Universities and SMEs across Europe. The successful candidate will be enrolled at the University of Luxembourg, with the program commencing in October 2025 and spanning 36 months. Planned secondments include 18 months at Petanux to gain expertise in AI/ML and at Fraunhofer SCAI to learn about causal AI/ML techniques. For detailed information and application procedures, please visit: AIPD-DN.EU (https://www.aipd-dn.eu/en/vacancies/AIPD-DC1-LIH.html) Subject: Multimodal AI/ML Models for Early Parkinson's Disease Diagnosis Funding: Fully Funded for 36 months Starting: ca. October 2025 Application Deadline: 28.02.2025 Application link: https://www.aipd-dn.eu/en/vacancies/AIPD-DC1-LIH.html There are also more positions available in the project website, which can be checked through: Best regards, Mahdi Bohlouli I don't anticipate a response outside of your business hours, even if I may be sending this message outside of those times. ---------------------------------------- Prof. Dr.-Ing. Mahdi Bohlouli CEO and Founder, Petanux GmbH Postal Address: Petanux GmbH, Godesberger Allee 73, D-53175 Bonn, Germany Tel: +49 (0) 228 360 40 1 (Mo.-Fr. 08:00-12:00) Handy: +49 (0) 176 624 99 911 E-mail: contact at petanux.com (office) WEB: http://www.petanux.com LinkedIn (Personal): https://www.linkedin.com/in/mbohlouli/ LinkedIn (Petanux): https://www.linkedin.com/company/petanux Registered in the Commercial Register of the AG Bonn HRB 23027 Founder and CEO: Prof. Dr.-Ing. Mahdi Bohlouli USt.-IdNr.: DE312613807 This email contains confidential and legally protected information. If you are not the correct addressee and have received this e-mail in error, please inform the sender immediately and destroy these e-mails. The copying of contents of this e-mail or the transmission without permission is not allowed and represents a violation of the sender's rights. -------------- next part -------------- An HTML attachment was scrubbed... URL: From mahdi.bohlouli at petanux.com Thu Feb 13 19:23:46 2025 From: mahdi.bohlouli at petanux.com (Mahdi Bohlouli) Date: Thu, 13 Feb 2025 19:23:46 +0100 Subject: [fg-arc] Fully Funded PhD Position: Multimodal AI/ML Models for Early Parkinson's Disease Diagnosis Message-ID: Dear Colleagues, The Petanux GmbH in collaboration with the Luxembourg Institute of Health (LIH) and Fraunhofer SCAI, is offering a PhD position focused on developing and evaluating multimodal AI/ML models to predict individual risk of developing Parkinson's Disease (PD). This research aims to integrate various data types—including genomic data, prior diagnoses, medications, and lifestyle factors—to assess their relative contributions to PD risk. The project emphasizes model explainability and causality, utilizing techniques such as Explainable AI (XAI) and causal machine learning methods. The PhD position is fully funded under the AIS project of the Marie Skłodowska-Curie Actions (MSCA) program, in collaboration with renowned Universities and SMEs across Europe. The successful candidate will be enrolled at the University of Luxembourg, with the program commencing in October 2025 and spanning 36 months. Planned secondments include 18 months at Petanux to gain expertise in AI/ML and at Fraunhofer SCAI to learn about causal AI/ML techniques. For detailed information and application procedures, please visit: AIPD-DN.EU (https://www.aipd-dn.eu/en/vacancies/AIPD-DC1-LIH.html) Subject: Multimodal AI/ML Models for Early Parkinson's Disease Diagnosis Funding: Fully Funded for 36 months Starting: ca. October 2025 Application Deadline: 28.02.2025 Application link: https://www.aipd-dn.eu/en/vacancies/AIPD-DC1-LIH.html There are also more positions available in the project website, which can be checked through: Best regards, Mahdi Bohlouli I don't anticipate a response outside of your business hours, even if I may be sending this message outside of those times. ---------------------------------------- Prof. Dr.-Ing. Mahdi Bohlouli CEO and Founder, Petanux GmbH Postal Address: Petanux GmbH, Godesberger Allee 73, D-53175 Bonn, Germany Tel: +49 (0) 228 360 40 1 (Mo.-Fr. 08:00-12:00) Handy: +49 (0) 176 624 99 911 E-mail: contact at petanux.com (office) WEB: http://www.petanux.com LinkedIn (Personal): https://www.linkedin.com/in/mbohlouli/ LinkedIn (Petanux): https://www.linkedin.com/company/petanux Registered in the Commercial Register of the AG Bonn HRB 23027 Founder and CEO: Prof. Dr.-Ing. Mahdi Bohlouli USt.-IdNr.: DE312613807 This email contains confidential and legally protected information. If you are not the correct addressee and have received this e-mail in error, please inform the sender immediately and destroy these e-mails. The copying of contents of this e-mail or the transmission without permission is not allowed and represents a violation of the sender's rights. -------------- next part -------------- An HTML attachment was scrubbed... URL: From mahdi.bohlouli at petanux.com Thu Feb 13 19:57:16 2025 From: mahdi.bohlouli at petanux.com (Mahdi Bohlouli) Date: Thu, 13 Feb 2025 19:57:16 +0100 Subject: [fg-arc] Fully Funded PhD Position: Stratification of Clinical Disease Trajectories and Prediction of Individual Rate of Progression in Parkinson's Disease Message-ID: Dear Colleagues, The Petanux in collaboration with the University of Luxembourg and Fraunhofer SCAI, is offering a full time PhD position focused on stratifying clinical disease trajectories and predicting individual rates of progression in Parkinson's Disease (PD). This research aims to develop innovative and explainable AI/ML models by analyzing data from cohorts such as PPMI, LuxPARK, and ICEBERG. The project will explore both linear and non-linear mixed modeling approaches, including neural networks with mixed effects, to better capture the long-term behavior of disease progression. The PhD position is fully funded under the AIS project of the Marie Skłodowska-Curie Actions (MSCA) program, in collaboration with renowned Universities and SMEs across Europe. The successful candidate will be enrolled at the University of Luxembourg, with the program commencing in October 2025 and spanning 36 months. For detailed information and application procedure, please visit: https://www.aipd-dn.eu/en/vacancies/AIPD-DC2-UL.html · Subject: Stratification of Clinical Disease Trajectories and Prediction of Individual Rate of Progression in Parkinson's Disease · Funding: Fully Funded for 36 months · Starting: ca. October 2025 · Application Deadline: 28.02.2025 · Application link: https://www.aipd-dn.eu/en/vacancies/AIPD-DC2-UL.html There are also more positions available in the project website, which can be checked through: https://www.aipd-dn.eu Best regards, Mahdi Bohlouli I don't anticipate a response outside of your business hours, even if I may be sending this message outside of those times. ---------------------------------------- Prof. Dr.-Ing. Mahdi Bohlouli CEO and Founder, Petanux GmbH Postal Address: Petanux GmbH, Godesberger Allee 73, D-53175 Bonn, Germany Tel: +49 (0) 228 360 40 1 (Mo.-Fr. 08:00-12:00) E-mail: contact at petanux.com (office) WEB: http://www.petanux.com LinkedIn (Personal): https://www.linkedin.com/in/mbohlouli/ LinkedIn (Petanux): https://www.linkedin.com/company/petanux Registered in the Commercial Register of the AG Bonn HRB 23027 Founder and CEO: Prof. Dr.-Ing. Mahdi Bohlouli USt.-IdNr.: DE312613807 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Feb 17 17:26:44 2025 From: announce at ucy.ac.cy (Announce) Date: Mon, 17 Feb 2025 16:26:44 +0000 Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA 2025): Last Mile for Workshop Proposals Submission Message-ID: *** Last Mile for Workshop Proposals Submission *** 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 ***) (*** Submission Deadline: February 24, 2025 (extended and firm) ***) 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). Researchers and practitioners are invited to submit proposals for workshops and tutorials held in conjunction with ECSA 2025. Workshops and tutorials will be held on September 15-16, 2025 (right before the main conference on September 17-19, 2025). ECSA workshops allow researchers and practitioners to exchange and explore innovative software architecture (scientific or engineering) ideas and challenges at an early stage. Topics of interest are, but are not limited to: • Software Architecture challenges for AI- and ML-based Systems • Software Architecture challenges for Self-Adaptive Systems • Software Architecture challenges for Cyber-Physical Systems • Software Architecture challenges in Big Data and Cloud Computing • Software Architecture challenges in IoT-based Systems • Software Architecture challenges in DevOps and MLOps • Software Architecture challenges in Blockchain Engineering • Software Architecture challenges in Quantum Software • Quality-of-service (QoS) measurements of Software Architectures • Privacy and Security in Software Architectural Design • Context-aware, Autonomous, and Smart Architectures • Sustainability in Software Architectures • Software Architecture Erosion and Architectural Consistency • Technical Debt in Software Architecture Design • Architecting the Digital Twin • Continuous Architecting • Agile Software Architecting • Human Aspects of Software Architecting • Software Architecture Assessment • AI assisted Software Architecting • Agile Modeling All proposals must conform to a maximum of 8 pages following the LNCS format (see below), including references, appendices, and figures. The proposal must include the following information in the order specified: • Workshop title and acronym • Contact information for the workshop organizers (name, affiliation, email) and the main contact • Abstract (up to 200 words) for the ECSA 2025 website (if the workshop is accepted) • Motivation and Objectives ○ Relevance of the workshop to the field of software architecture ○ Anticipated goals and outcomes (e.g., open research problems to pursue, validation objectives, empirical studies) • Format ○ Workshop format (e.g., paper presentations, keynotes, breakout sessions, panel-like discussions) and plans for generating discussions ○ Duration - half day, one day or two days ○ Preliminary workshop schedule ○ Special services, logistic and/or equipment constraints • Participation ○ Target Audience and expected background ○ Plans regarding the mix of industry and research participation ○ Expected minimum and maximum number of workshop participants ○ Plans for participant solicitation and dissemination • Submission ○ Types of contributions (e.g., extended abstracts, position papers, research papers, etc.) and their estimated number. ○ Review and evaluation process deciding about the acceptance of submissions ○ Program committee, including tentative and already committed members ○ Strategy for the proceedings • Organizers ○ Brief description of each organizer’s background, including relevant past experience in organizing conferences and workshops ○ Brief organizers’ bios • Previous editions ○ Where and when the workshop has been offered previously, the past numbers of submitted and accepted papers, numbers of attendees ○ Number of registered attendees and websites of previous editions (if any) • Draft Call-for-Papers (1 page) Submissions must follow the LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). All proposals should be submitted before the submission deadline (see below) using the online submission site: EasyChair ECSA 2025 Workshop track (https://easychair.org/conferences/?conf=ecsa2025). ECSA 2025 will use a single review process for workshop proceedings. For accepted papers, the minimum number of pages for each workshop paper is 8 and the maximum is 16 pages in the LNCS format. The proceedings of the workshops will be published by Springer in the LNCS series. IMPORTANT DATES • Workshop proposals: February 24, 2025 • Workshop proposals notification: March 7, 2025 • Workshop papers abstracts: May 12, 2025 • Workshop papers submission: May 19, 2025 • Workshop papers notification: June 20, 2025 • Workshop papers camera-ready: June 27, 2025 • Workshop dates: September 15-16, 2025 Early/Author registration for all accepted contributions: June 27, 2025 All dates are 23:59h AoE (Anywhere on Earth). ORGANISATION Workshop Co-Chairs • Tommi Mikkonen, University of Jyvaskyla, Finland • Jennifer Perez, Universidad Politécnica de Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From aiden.m.hammond at nasa.gov Sat Feb 15 00:08:44 2025 From: aiden.m.hammond at nasa.gov (Hammond, Aiden M. (ARC-TI)[KBR Wyle Services, LLC]) Date: Fri, 14 Feb 2025 23:08:44 +0000 Subject: [fg-arc] CALL FOR IEEE SMC-IT/SCC 2025 SUBMISSIONS Message-ID: 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) July 28 – August 1, 2025 California Science Center - Los Angeles, California Sponsored by: IEEE Computer Society - Technical Committee on Software Engineering and Technical Committee on Computer Architecture   https://2025.smcit-scc.space   Important Dates: • Deadline for full papers (SMC-IT and SCC) and SCC presentation-only abstracts: Feb 3, 2025 • Author acceptance notification: Mar 21, 2025 • Registration site open: Apr 4, 2025 • Final camera-ready versions papers deadline: May 30, 2025 • Final presentations deadline: June 27, 2025   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 29, 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-ssc 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 SMC-IT/SCC 2025 website. • 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.   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 From vadim.malvone at telecom-paris.fr Mon Feb 17 12:30:29 2025 From: vadim.malvone at telecom-paris.fr (Vadim Malvone) Date: Mon, 17 Feb 2025 12:30:29 +0100 Subject: [fg-arc] Postdoc position in formal verification of multi-agent systems Message-ID: <8700d1e8-aff0-480c-9773-f7f5d62ed7c5@telecom-paris.fr> *Study the impact of natural strategies in decision problems* Keywords: Formal Verification, Model Checking for Multi-Agent Systems, Game Theory Description Game theory plays a crucial role in AI by providing a mathematical framework for reasoning about reactive systems, which are defined by interactions between multiple entities, or players. It has found significant applications across various fields, including economics, biology, and computer science. An important application of game theory in computer science and, more recently, in AI, concerns formal-system verification. Model checking, introduced in the late 1970s, uses game theory to verify the behavior of systems against formal specifications. While initial applications focused on closed systems, which are entirely determined by their internal states, most systems in practice are open, involving ongoing interactions. This led to the extension of model checking to Multi-Agent Systems, using logics like Alternating-time Temporal Logic and Strategy Logic to account for strategic reasoning. Another decision problem in verification is synthesis, the process of creating a system that meets its specifications across various environments, particularly those involving rational agents. Rational synthesis, introduced in the 1990s, addresses this by ensuring that a system's behavior aligns with specified objectives across different agent interactions. However, decision problems in MAS verification can range from polynomial to undecidable, with complexity heavily influenced by the type of strategy used (memoryless vs. memoryful). Memoryless strategies are computationally efficient but less expressive, while memoryful strategies are more powerful but more complex. To address these issues, bounded approaches like natural strategies, which consider simpler strategies in line with bounded rationality, have been introduced. Goals The aim of this project is divided into two main steps:     - Study decision problems for natural strategies and analyze their computational complexity.     - Develop a tool capable of providing answers to decision problems on natural strategies. Profile and skills required - PhD in computer science, mathematics, or related fields. - Strong computer science and/or mathematical background (with particular attention on formal methods and logic). - Good programming skills. - Good level in written and spoken English. How to apply If you are interested you can apply via: https://institutminestelecom.recruitee.com/l/en/o/post-doctorante-ou-post-doctorant-en-verification-de-systemes-multi-agents Other information Application deadline: 31/03/2025 Job type: 18 months fixed-term contract in the ANR NOGGINS project Job description: https://partage.imt.fr/index.php/s/69zC4zs8PAt5ZNk Scientific contact person: Vadim Malvone (vadim.malvone at telecom-paris.fr) -- *Vadim MALVONE* Associate Professor, HDR Télécom Paris *Une école de l'IMT * *19 place Marguerite Perey CS 20031 91123 Palaiseau Cedex **www.telecom-paris.fr* LinkedIn Télécom Paris Instagram Télécom Paris Facebook Télécom Paris *Toute l'actualité scientifique de l'IMT : **I'MTech* -------------- next part -------------- An HTML attachment was scrubbed... URL: From PotykaN at cardiff.ac.uk Wed Feb 19 11:27:56 2025 From: PotykaN at cardiff.ac.uk (Nico Potyka) Date: Wed, 19 Feb 2025 10:27:56 +0000 Subject: [fg-arc] KR 2025: The 22nd International Conference on Principles of Knowledge Representation and Reasoning Message-ID: [Apologies if you receive multiple copies] ******************************************************************************* CALL FOR PAPERS ******************************************************************************* We are happy to announce that The 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) will be held in Melbourne, Australia from 11 - 17 November, 2025. It will be co-located with CPAIOR 2025, ICAPS 2025 and NMR 2025. Conference website: http://www.kr.org/KR2025 Abstract submission deadline: 7 May 2025 Paper submission deadline: 12 May 2025 ******************************************************************************* Description ******************************************************************************* Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity. The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge. KR 2025 will include special thematic tracks and a Recently Published Research Track, tutorials, workshops, and a Doctoral Consortium. Details about all these events and the corresponding calls will be on the website in due time. We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests. ******************************************************************************* Important Dates ******************************************************************************* Submission page opens: 31 March, 2025 Submission of title and abstract: May 7, 2025 Paper submission deadline: May 12, 2025 Author response period: June 25 – July 1, 2025 Notification of acceptance: July 10, 2025 Conference dates: November 11 – 17, 2025 ******************************************************************************* Submission Guidelines for the Main Track ******************************************************************************* Submissions should be anonymous and will be subject to double-blind peer review. Contributions may be regular papers (up to 9 pages) or short papers (up to 4 pages), including abstract, figures, and appendices (if any) but excluding references and acknowledgements. Papers must be written in English and formatted using the style files which will be provided in the website. Accepted papers will be published in the KR 2025 proceedings. At least one author of each accepted paper is required to participate in the conference and present the work. Top papers from KR 2025 will be invited to the award-winning paper tracks of Artificial Intelligence (AIJ) and of the Journal of Artificial Intelligence Research (JAIR). Thus, award winners will have the possibility of choosing between AIJ and JAIR. All submissions will be treated confidentially until the publication date. Further details about the submission guidelines and the selection criteria will be on the website in due time. -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at uni-paderborn.de Wed Feb 19 16:35:16 2025 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Wed, 19 Feb 2025 16:35:16 +0100 Subject: [fg-arc] Einladung zur Fachgruppensitzung "Architekturen" bei der SE25 In-Reply-To: References: <772ab42c-61a2-4dc9-a811-6214c0822b0a@uni-paderborn.de> Message-ID: <9a032d06-13aa-4d0f-ac3e-e79d1e8ee6c0@uni-paderborn.de> Liebe Mitglieder der GI-Fachgruppe Architekturen, ich habe nun noch einige weiterführende Informationen zur Fachgruppensitzung am *Mittwoch, den 26. Februar um 17:30 Uhr*. Die Sitzung findet am *KIT* in Karlsruhe statt, im*Seminarraum 17 in Gebäude 30.48 (MZE), *Straße am Forum 7, 76131 Karlsruhe. Eine Remote-Teilnahme per *ZOOM *ist möglich. Bitte nutzen Sie folgende Zugangsdaten: Thema: GI-Fachgruppe Architekturen - FG-Sitzung Link zur Teilnahme: https://uni-paderborn-de.zoom-x.de/j/68836073364?pwd=rAU5slEvfjNeQ5Ddpr4bFcWYclvpCM.1 Meeting-ID: 688 3607 3364 Kenncode: 877500 Schnelleinwahl mobil: +496938980596,,68836073364#,,,,*877500# Deutschland Einwahl nach aktuellem Standort: +49 69 389 805 96 Deutschland Ortseinwahl suchen: https://uni-paderborn-de.zoom-x.de/u/cvrHRLIyq Die *Arbeitskreise*, die vorgeschlagen sind und deren Gründung unter *TOP 3* behandelt wird, sind: * Arbeitskreis *„Artificial Intelligence for Software Architecture“* * Arbeitskreis *„Knowledge Transfer and Meta-Research in Software Engineering“* Außerdem möchte ich noch auf die Treffen unserer beiden *Arbeitskreise *in der Fachgruppe Architekturen hinweisen: * Arbeitskreis *„Modellierung, Analyse und Bewertung Sicherer Softwarearchitekturen“ * (MABSS), Donnerstag, den 27. Februar um 09:00 - 12:30 Uhr, Seminarraum 18 in Gebäude 30.48 (MZE), Straße am Forum 7, 76131 Karlsruhe * Arbeitskreis *„Microservices und DevOps“* (MSDO), Freitag, 28. Februar um 11:00 - 12:30 Uhr, Unterer Seminarraum in Gebäude 30.96, Straße am Forum 3, 76131 Karlsruhe Informationen hierzu gibt es auch unter *TOP 2*. Ich freue mich auf das Zusammentreffen bei der SE25! Freundliche Grüße Stefan Sauer Sprecher der Fachgruppe Am 12.02.2025 um 20:54 schrieb Stefan Sauer: > Liebe Mitglieder der GI-Fachgruppe Architekturen, > > ich möchte Sie herzlich zu einer kompakten Fachgruppensitzung der > *GI-Fachgruppe Architekturen* im Rahmen der Konferenz Software Engineering > (SE25 ) in Karlsruhe einladen. Anlass ist > die anvisierte Gründung von zwei neuen Arbeitskreisen. Darüber hinaus werden > wir kurz über jüngste Aktivitäten und den aktuellen Stand der Planungen für > die nächste Fachgruppenkonferenz "Architekturen" im Juni 2025 in Essen berichten. > > Die Fachgruppensitzung findet am *Mittwoch, den 26. Februar um 17:30 Uhr* > statt. Den genauen Ort werden wir noch bekanntgeben. Wir bemühen uns, neben > einer Teilnahme in Präsenz auch eine digitale Remote-Teilnahme zu ermöglichen. > Einwahldaten erhalten Sie rechtzeitig vor der Sitzung. > > Folgende *Agenda *ist vorgesehen: > > 1. Begrüßung > 2. Berichte aus FG-Leitung und Arbeitskreisen > 3. Gründung von Arbeitskreisen > 4. Fachgruppenkonferenz "Architekturen 2025" > 5. Verschiedenes > > Wir freuen uns, Sie dort zu sehen! > > Freundliche Grüße > > Im Namen der Fachgruppenleitung > > Stefan Sauer > > Sprecher der Fachgruppe > -- "Software.Innovation.Zukunft" -- Prof. Dr. Stefan Sauer Diplom-Informatiker Forschungsgruppe "Human-Centered Software Engineering" Geschäftsführer Senior Researcher Universität Paderborn | SICP - Software Innovation Campus Paderborn Software Innovation Lab Zukunftsmeile 2 33102 Paderborn Fon +49 5251 60-6820 E-Mailsauer at uni-paderborn.de Web go.uni-paderborn.de/sauer www.sicp.de -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: YPTZ3pNNxup0F0hM.png Type: image/png Size: 65456 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5050 bytes Desc: Kryptografische S/MIME-Signatur URL: From announce at ucy.ac.cy Fri Feb 21 14:08:35 2025 From: announce at ucy.ac.cy (Announce) Date: Fri, 21 Feb 2025 13:08:35 +0000 Subject: [fg-arc] 20th International Conference on Persuasive Technology (PERSUASIVE 2025) : Last Mile for Additonal Contributions Message-ID: <4APQ45L-EXS4-8NBZ-ZMV2-NJ4S5HEOEJ@ucy.ac.cy> *** Last Mile for Additional Contributions *** 20th International Conference on Persuasive Technology (PERSUASIVE 2025) May 5-7, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://2025.persuasivetech.org (*** Proceedings to be published by Springer in CCIS ***) (*** Submission Deadline: March 1, 2025 (firm!) ***) In a world in which technology is increasingly present in people’s lives, and changing human behavior and attitudes is often the key to solving many societal and personal problems, studying how technology might be used to influence humans (in their behavior, attitudes and information processing), is paramount. Persuasive Technology is a vibrant interdisciplinary research field, focusing on the design, development and evaluation of interactive technologies aimed at influencing people’s attitudes and/or behaviors through persuasion, but not through coercion or deception. The research community aims at enriching people’s lives in various domains such as health and sustainability by supporting people in setting and achieving their own goals, thus helping them change their behavior. The 2025 conference will be hosted in Limassol, Cyprus at the 5* St. Raphael Resort and Marina. The previous successful conferences have been organized in Wollongong, Limassol, Eindhoven, Stanford, Oulu, Claremont, Copenhagen, Columbus, Linköping, Sydney, Padua, Chicago, Salzburg, Amsterdam, and Waterloo. The conference series seeks to bring together researchers and practitioners from industry and academia working with various topics of persuasive technology. SCOPE The scope of the conference includes (but is not limited to) the following topics: • Persuasive systems’ design • Behavior change support systems • Interaction with persuasive systems, interfaces, visualization • Interactive agents in persuasive systems • (Generative) AI for persuasive technology • Tailored and personalized persuasion • Gamification for persuasion • Evaluation and validation of persuasive applications • Fitting methods for development, evaluation and implementation of persuasive systems • Optimizing engagement with persuasive systems • Software architectures and technical infrastructures for persuasive systems • Smart environments, e.g. IoT, and persuasion • Digital Marketing, eCommerce, eTourism and SMART ecosystems • Motivational, cognitive and perceptual factors in persuasive technology • Application domains for persuasive technologies such as safety, healthy living, sustainable behaviors, learning and training, marketing and commerce, work environments, organizations • Positive technology • Humanizing and/or dehumanizing effects of persuasive technology • Values and ethics in persuasive technology • Privacy, perceived security and trust in persuasive technology • Resilience and counter-persuasion • Detecting persuasive strategies in social media posts • Encouraging adherence to safety measures in pandemic situations Questions that we hope to be addressed include, but are not limited to: • How to recognize and demonstrate the real life effects of persuasive technology on people’s attitudes and behaviours? • How to conduct studies that not just show their effectiveness but are also able to explain in more detail why a design or intervention works? • How to design an evaluation study so that it yields insights that are applicable to other designs or interventions? • How theoretical insight can help improve application and/or intervention planning and design? • How can design and intervention studies improve theory? SUBMISSION TYPES All accepted papers in the different categories of additional contributions will appear in the adjunct conference proceedings volume to be published by Springer in the CCIS series (https://www.springer.com/series/7899). All papers must be formatted using the Springer conference proceedings template (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). The length of the paper is specified below for each different category of contribution. Workshop Papers The following workshops will have their accepted papers published in CCIS by Springer: • 1st International Workshop on Upholding Ethical Designs (iWOULD) https://iwould2025.wordpress.com • Persuasion and AI Disclosure: Building Trust in Synthetic Media https://aunmedia.org/AIDisclosure/ The workshop papers should be 12 pages in length (excluding references). Extended Abstracts They showcase the results of already conducted and unpublished studies where authors do not wish to publish them as regular papers in the conference proceedings but rather present them at the conference for discussions that can shape the final version (that may be submitted elsewhere later). The studies will also be devoted a time slot for oral presentation in a special session. Extended abstracts must be 4 to 6 pages in Springer CCIS format (including references). Accepted abstracts will be included in the adjunct Springer CCIS proceedings, unless the authors wish to opt out. Selected papers in this category, based on their quality, level of timeliness, relevance and completion, will also be invited for submission to Behaviour & Information Technology journal. Late Breaking Results (LBR) The papers in this category cover new research in any topic that regular paper submissions cover and are expected to present new and emerging results. Authors should submit a 12 pages paper (excluding references) in Springer CCIS format. Accepted papers will be included in the adjunct Springer CCIS proceedings. Poster Presentations This format is suitable for descriptions of smaller studies, project outlines, literature reviews or work-in-progress. Authors should submit a 4-page paper in Springer CCIS format. Accepted posters will be included in the adjunct Springer CCIS proceedings. Posters will be displayed and presented during a dedicated session of the conference. Demonstrations and Artefacts The Persuasive 2025 track on Demonstrations and Artefact is intended to foster discussion and exchange of ideas among researchers and practitioners from academia and industry by demonstrating or presenting hardware and software products or artefacts, including those in virtual settings (e.g., simulation systems, VR, and games), that range from early research prototypes to mature production-ready systems. The contribution should be the result of original, innovative work, including solving novel technical or research problems, and/or creating novel individual or industrial UI/UX. Accepted demonstrations or presentations shall be presented live during the conference and will be included as a 4-pages paper in Springer CCIS format in the adjunct Springer CCIS proceedings. Doctoral Consortium Papers The Doctoral Consortium is a special session of the conference where PhD students can receive advice in a constructive atmosphere. Students present and discuss their research with other PhD students and a panel of established researchers in the area of persuasive technology. Students interested in participating in the Doctoral Consortium should submit a 12 pages proposal (including references) in Springer CCIS format describing their research question, its position with respect to the state of the art, their research plans and methodology, ideas, and results achieved so far. Accepted papers will be included in the adjunct Springer CCIS proceedings unless opted out by the student. IMPORTANT DATES • Submission deadline: March 1, 2025 (AoE) • Decision notification: March 15, 2025 • Camera ready: March 28, 2025 • Author registration deadline: March 28, 2025 • Early bird registration: April 5, 2025 SUBMISSION INSTRUCTIONS The submission link is: https://easychair.org/conferences/?conf=persuasive2025 (choose the appropriate category or workshop). ORGANISATION General Chairs • Evangelos Karapanos, Cyprus University of Technology, Cyprus • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Raian Ali, HBKU, Qatar • Khin Than Win, University of Wollongong, Australia Demo, Poster and Artefacts • Ruben Hgouveia, Universidade de Lisboa, Portugal • Hanne Spelt, Philips, Netherlands Workshops and Tutorial Chairs • Rhodora Abadia, University of South Australia, Australia • Kaoru Sumi, Future University of Hakodate, Japan • Wenzhen Xu, Hitotsubashi University, Japan Late Breaking Results (LBR) Chairs • Areej B. Babiker, Hamad Bin Khalifa University, Qatar • Jaap Harn, Eindhoven University of Technology, Netherlands • Isaac Wiafe, University of Ghana, Ghana Doctoral Consortium Chairs • Jaap Harn, Eindhoven University of Technology, Netherlands • Sriram Iyengar, University of of Arizona, USA • Roberto Legaspi, KDDI, Japan • Shahla Meedya, Australian Catholic University, Australia Proceedings Chairs • Elena Vlahu-Gjorgievska, University of Wollongong, Australia • Kiemute Oyibo, University of York, Canada Society for Persuasion and Technology Steering Committee • Raian Ali – Chair Professor, College of Science and Engineering, Hamad Bin Khalifa University, Qatar • Luca Chittaro – General Member Professor, Human-Computer Interaction Lab, Department of Mathematics, Computer Science, and Physics, University of Udine, Italy • Roberto Legaspi – General Member
Research Scientist, Collaborative AI Lab, Human-centered AI Laboratories KDDI Research, Inc., Japan • Harri Oinas-Kukkonen – General Member
Professor, Information Systems Science and Dean of Graduate School, University of Oulu, Finland • Kiemute Oyibo – General Member
Assistant Professor, Interactive Systems Research Group, Department of Electrical Engineering and Computer Science, York University, Canada • Khin Than Win – Secretary
Professor at the University of Wollongong, Australia -------------- next part -------------- An HTML attachment was scrubbed... URL: From madeira at ua.pt Thu Feb 20 09:14:53 2025 From: madeira at ua.pt (Alexandre Madeira) Date: Thu, 20 Feb 2025 08:14:53 +0000 Subject: [fg-arc] =?utf-8?q?DaL=C3=AD_2025=2C_1st_call_for_papers?= Message-ID: <68CD2A31-0A6C-46A3-8C38-8B75593E6B79@ua.pt> ====================================================================== DaLí 2025 - 1st Call for Papers DaLí 2025: 6th Workshop on Dynamic Logic - New trends and applications Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China October 20-21, 2025 ***(temporary link) http://dali2025.web.ua.pt *** ====================================================================== *** Important Dates *** - Abstract submission deadline: *1st June, 2025* - Full paper submission deadline: *5th of June, 2025* - Author notifications: *15th of July, 2025* **** Overview ***** Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a formal tool for reasoning about, and verify, classic imperative programs. Over time, its aim has evolved and expanded; DL can be seen now as a general set of ideas and tools devised for representing, describing and reasoning about diverse kind of actions, including (but not limited to) frameworks tailored for specific programming problems/ paradigms (e.g., separation logics), settings for modelling new computing domains (e.g., probabilistic, continuous and quantum computation), frameworks for reasoning about information dynamics (e.g., dynamic epistemic logics) and systems for reasoning about long term information dynamics (e.g., learning theory). Both its theoretical relevance and practical potential make DLs a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The aim of the DaLí 2025 workshop is to bring together, in a single place, researchers with a shared interest in the formal study of actions (from Academia to Industry and more, from Mathematics to Computer Science and beyond) to present their work, foster discussions and encourage collaborations. Previous editions of DaLí took place in Brasília (2017), Porto (2019), online (2020, 2022) and Tblisi (2023). **** List of Topics **** Submissions are invited on the general field of dynamic logic, its variants and applications, including (but not restricted to): - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic/game logics - Kleene and action algebras and their variants - The interface between logic and learning - Quantum dynamic logic - Co-algebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics - Integration of Dynamic Logic with Machine Learning Models **** Submission and Proceedings **** We solicit two categories of papers: .Regular papers - describing original research results, case studies, or surveys, should not exceed 15 pages (excluding bibliography of at most two pages). .Short papers - describing original research results or case studies, maybe in an incubation phase, with 6 to 8 pages (excluding bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=dal2025 A post-proceedings volume in Springer LNCS is being arranged. A special issue of the event with extended papers will be published in Journal of Logical and Algebraic Methods in Programming (Elsevier). *** Invited Speakers *** TBA *** Program Committee Chairs *** Jing Wang (Shaanxi Normal University, China) Alexandre Madeira (University of Aveiro, PT) *** Organising Committee chair *** Lei Li (Shaanxi Normal University, China) *** Program Committee *** Thomas Ågotnes (U. of Bergen, No) Carlos Areces (FaMAF, Ar) Philippe Balbiani (IRIT, Fr) Alexandru Baltag (U Amesterdam, Nl) Luís Soares Barbosa (U of Minho, Pt) Mario Benevides (UFF, Br) Thomas Bolander (Technical U. of Denmark, Dk) Raul Fervari (U. Nacional de Córdoba, CONICET, Ar) Sabine Frittella (Lab. d'Informatique Fondamentale d'Orléans, Fr) Xiaoxuan Fu (China U. of Political Science and Law, Ch) Sujata Ghosh (Indian Statistical Institute, In) Leandro Gomes (Lille University, Fr) Reiner Hähnle (TU Darmstadt, Ge) Asta Halkjær From (U. of Copenhagen, Dk) Andreas Herzig (CNRS, IRIT, Univ. Toulouse, Fr) Gabriele Kern-Isberner (Dortmund University, De) Alexander Knapp (Universität Augsburg, Ge) Sophia Knight (U. of Minnesota Duluth, USA) Katherine Kosaian (U. of Iowa, USA) Clemens Kupke (U. of Strathclyde, UK) Lei Li (Shaanxi Normal University, Ch) Fei Liang (School of Philosophy and Social Development, Shandong U., Ch) Fenrong Liu (Tsinghua University, Ch) Alexandre Madeira (University of Aveiro, Pt) Manuel A. Martins (University of Aveiro, Pt) Alessandra Palmigiano (Vrije Universiteit Amsterdam, Nl) Elaine Pimentel (UCL, UK) R Ramanujam (I. of Mathematical Sciences, Chennai, In) Katsuhiko Sano (F. of Humanities and Human Sciences, Hokkaido U., Jp) Igor Sedlar (Czech Academy of Sciences, Cz) Sonja Smets (U. Amsterdam, Nl) Ionuț Țuțu (IMAR, Ro) Johan van Benthem (U. Amsterdam, Nl) Jing Wang (Shaanxi Normal University, Ch) Yì Nicholas Wáng (Dep of Philosophy, Sun Yat-sen University, Ch) Zhaoqing Xu (Sichuan University, Ch) Fan Yang (Utrecht University, Nl) Zhiguang Zhao (Taishan University, Ch) *** Steering Committee *** Alexandru Baltag (U. Amsterdam, NL) Alexandre Madeira (U. Aveiro, PT) Andreas Herzig (IRIT, U. Paul Sabatier, FR) Fenrong Liu (Tsinghua U., CH) Johan van Benthem (U. Amsterdam, NL) Igor Sedlár (Czech Academy of Sciences, CZ) Luís Soares Barbosa (U. Minho, PT), Chair Manuel Martins (U. Aveiro, PT) Mário Benevides (Federal U. Rio de Janeiro, BR) Sonja Smets (U. Amsterdam, NL) __________________________________ Alexandre Madeira madeira at ua.pt -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri Feb 21 16:40:42 2025 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 21 Feb 2025 15:40:42 +0000 Subject: [fg-arc] =?windows-1252?q?FME_Teaching_Tutorial_on_February_28?= =?windows-1252?q?=2C_2025_3_pm_CET=3A_Prof_Mari=EBlle_Stoelinga=2C_Univer?= =?windows-1252?q?sity_of_Twente=2C_The_Netherlands=2C_on_Life_long_learni?= =?windows-1252?q?ng_=97_experience_with_educational_programs_for_professi?= =?windows-1252?q?onals?= Message-ID: <9c3e773fbcd74fd1b15403ead8906376@abo.fi> Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, February 28, at 3 pm CET! Prof. Mariëlle Stoelinga from University of Twente in The Netherlands will discuss about "Life long learning — experience with educational programs for professionals". Prof Stoelinga is developing quantitative risk assessments methods that ensure that the risks related to high tech systems lie within acceptable boundaries. This work essentially leads her to improve reliability of complex systems with techniques such as fault trees, model-based testing, and architectural reliability modeling. Prof. Stoelinga is also the director of Life-Long learning at the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) in the University of Twente. In this tutorial she will focus on explaining how we can implement life long learning with efficient methodologies, on a variety of topics. The event will last under 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: