From fm-announcements at lists.nasa.gov Thu May 1 14:10:14 2025
From: fm-announcements at lists.nasa.gov (Slagel, Tanner (LARC-D320) via fm-announcements)
Date: Thu, 1 May 2025 12:10:14 +0000
Subject: [fg-arc] [fm-announcements] Call for Participation: NFM 2025
Message-ID: <8BEA2BF4-FA90-4716-9AF7-DBA46D59B6A3@ndc.nasa.gov>
-----------------------------------------
Call for Participation: NFM 2025
-----------------------------------------
The 17th NASA Formal Methods Symposium
----------------
30 Years of Formal Methods at NASA
June 11-13, Williamsburg, Virginia, United States of America
https://shemesh.larc.nasa.gov/nfm2025/
Keynote speakers
----------------
Darren Cofer (Collins Aerospace)
Emina Torlak (Amazon Web Services)
Natasha Neogi and Paul Miner (NASA)
The program of symposium is available at:
https://shemesh.larc.nasa.gov/nfm2025/program.html
Attendance to the symposium is free, but all attendees must register in order to participate.
Registrations is open at:
https://shemesh.larc.nasa.gov/nfm2025/registration.html
The symposium will be held at the College of William and Mary at
Sadler Center
200 Stadium Drive
Williamsburg, VA 23186
For more information about travel and lodging options, see https://shemesh.larc.nasa.gov/nfm2025/venue.html
List of Accepted Papers
----------------
* Arthur Amorim, Max Taylor, Trevor Kann, William Harrison, Gary Leavens, and Lance Joneckis. Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
* Ziggy Attala, Fang Yan, Simon Foster, Ana Cavalcanti, and Jim Woodcock. Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software
* Alexis Aurandt, Phillip Jones, and Kristin Yvonne Rozier. Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust
* Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Maria Júlia Dias Lima, Mariano Moscato, and Temur Kutsia. Verification of an Anti-Unification Algorithm in PVS
* Max Bannach, Jai Grover, and Markus Hecher. Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators
* Calvin Beck, Hanxi Chen, and Steve Zdancewic. Vellvm: Formalizing the Informal LLVM (Experience Report)
* Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, and Nico Pellegrinelli. Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications
* Matías Brizzio, Felipe Gorostiaga, Cesar Sanchez, and Renzo Degiovanni. Mode-based Reactive Synthesis
* Pranav Ghorpade, Nathalie Bertrand, Sasha Rubin, Bernhard Scholz, and Pavle Subotic. Reusable Formal Verification of DAG-based Consensus Protocols
* Andreas Katis, Anastasia Mavridou, and Thomas Pressburger. A Streamlined, Formal Approach to Requirements-based Testing
* Elias Khalife, Pierre-Loic Garoche, and Mazen Farhood. Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints
* Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel Fremont, and Sanjit Seshia. Querying Labeled Time Series Data with Scenario Programs
* Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Matias Salinas, and Christine Betz. Formal Verification as a Service: A CERN-GSI Case Study
* Sumio Morioka, Satoshi Obana, and Maki Yoshida. Formal Verification of Composite Field Multipliers for Information-Theoretically Secure Radio Communication in Spacecraft Control
* Mathis Niehage, Carina da Silva, Anne Remke, and Arnd Hartmanns. Rare Event Simulation for Stochastic Hybrid Systems using Symbolic Importance Functions
* Carlos Olarte, Daniel Osorio, Carlos Ramirez, and Camilo Rocha. Algorithmic Analysis of Event-B in Rewriting Logic
* Jainta Paul, Stefan Mitsch, and Luis Garcia. HyTwin: A Formal Semantics for Digital Twin Interventions in ICS Based on Time-to-Violation
* Alec Rosentrater, Zili Wang, Katherine Kosaian, and Kristin Yvonne Rozier. Language Partitioning for Mission-time Linear Temporal Logic
* Nafiz Sadman, Nastaran Kianersi, and Sean Kauffman. Visualizing Temporal Interval Hierarchies
* Mohit Tekriwal and Matthew Sottile. Mechanized RS274 semantics for additive manufacturing
* Benjamin Valpey, Xinyi Li, Sreepathi Pai, and Ganesh Gopalakrishnan. An SMT Formalization of Mixed-Precision Matrix Multiplication (Modeling Three Generations of Tensor Cores)
* Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael During, Neha Beniwal, and Nikita Visnevski. TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation
* Jian Xiang and Stephen Chong. Extending Dynamic Logics with First-Class Relational Reasoning
* Michal Šedý and Lukáš Holík. Automata Size Reduction by Procedure Finding
Organizing Committee
----------------
Conference Chair
* Laura Titolo (CodeMetal)
Program Committee Chairs
* Aaron Dutle (NASA)
* Laura Humphrey (NASA)
Local Organization
* Yifan Sun (William & Mary)
* Mariano Moscato (AMA Inc.)
Publicity
* J Tanner Slagel (NASA)
Contact
--------
Email: nfm2025 [at] easychair [dot] org
Web: https://shemesh.larc.nasa.gov/nfm2025/index.html - loc-home >
Sincerely,
Tanner
[NASA Meatball Logo]
J Tanner Slagel
Research Computer Scientist
Safety Critical Avionics Systems Branch
NASA Langley Research Center
j.tanner.slagel at nasa.gov
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.png
Type: image/png
Size: 25181 bytes
Desc: image001.png
URL:
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image002.png
Type: image/png
Size: 360 bytes
Desc: image002.png
URL:
-------------- next part --------------
---
To opt-out from this mailing list, send an email to
fm-announcements-request at lists.nasa.gov
with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting
fm-announcements-owner at lists.nasa.gov
From klaus.schneider at informatik.uni-kl.de Fri May 2 11:40:55 2025
From: klaus.schneider at informatik.uni-kl.de (Klaus Schneider)
Date: Fri, 02 May 2025 11:40:55 +0200
Subject: [fg-arc] Extended Deadlines: Forum on specification and Design
Languages (FDL)
Message-ID:
############################################################################
FDL - Forum on specification & Design Languages
September 10-12, 2025
Schloss Rheinfels, St. Goar, Germany
https://fdl-conference.com
############################################################################
CALL FOR PAPERS (Extended Deadlines)
############################################################################
VENUE
The 28th Forum on specification and Design Languages (FDL) will take
place September 10-12, 2025 at Schloss Rheinfels, St. Goar, Germany.
IMPORTANT DATES (all deadlines 23:59 Anywhere on Earth)
- Paper Submission Deadline: May 21, 2025
- Author Notification: July 8, 2025
- Ph.D. Forum deadline: July 19, 2025
- Camera-ready submission: July 30, 2025
- Conference: September 10-12, 2025
- Ph.D. Forum: September 9, 2025
ABOUT FDL
The 28th Forum on specification and Design Languages (FDL) is an
international event where academics and industry researchers exchange
results, experiences, advances, and new trends related to languages,
tools, and techniques for developing software and hardware systems
and combinations thereof.
Targeted systems encompass cyber-physical systems, distributed systems,
real-time systems, embedded systems, mechatronics, IoT, and reactive
systems. FDL is covers the following four non-limiting scientific areas:
- Languages: Domain-Specific Languages for software, execution platforms,
allocations, environment, contracts, abstractions, and refinements are
topics of interest, together with their associated design methods,
frameworks, and tools, including support for collaborative modelling
and
model management;
- Semantics: formal specifications, compilers, interpreters, typing,
abstraction/refinement, are topics of interest, together with the
underlying specification frameworks or new approaches for their
specification, modeling, and model transformation;
- Verification and Analysis: innovative static analyses, testing,
debugging, model checking, machine learning-based analysis, or design
space exploration with underlying models, tools, and frameworks;
- Simulation: innovative simulation techniques, virtual prototypes,
digital
twins, collaborative simulation, hybrid simulations, or runtime
abstraction/refinement are of interest, with special attention on the
efficiency and correctness of simulations and their underlying tools
and frameworks.
Cross-fertilization between the above areas, in particular in the context
of system engineering, is of great interest. Therefore, we welcome
authors
to submit manuscripts on topics including, but not limited to:
- languages and formalisms in model-based system design for modelling,
testing, verification, and simulation;
- methods, techniques, architectures and tools to construct, operate and
maintain Digital Twins in their broadest form;
- languages for knowledge representation about system designs;
- models of computations considering concurrency and time such as
dataflow
computing, synchronous and functional languages, event-based languages;
- modelling languages and tools for modelling (cyber-)physical
environments
or networks;
- formal methods and languages for modelling, specification, and
verification;
- system design for modern hardware architectures such as multi/manycore
processors, and heterogeneous platforms, accelerators, including GPUs
and FPGAs;
- high-level hardware and software synthesis, virtual prototyping, and
design space exploration;
- modelling and programming languages for smart contracts and distributed
ledger technologies;
- case studies from typical application areas such as healthcare,
automotive, Industry 4.0, etc.
PAPER CATEGORIES
FDL stimulates scientific and controversial discussions within and
between
scientific topics at different maturity levels. The following categories
of papers are welcome and will be published with IEEE Xplore after an
oral
presentation at the conference:
- Research Papers: original papers with clear research contributions and
evaluation (8 pages plus references).
- Special Session Papers: call for organizing special sessions on a
specific topic (2-page session proposals). Papers within the special
session follow the same peer review and publishing process as for
research papers (8 pages plus references).
- Wild-and-Crazy-Idea Papers: papers with well-explained fundamentally
new ideas without rigorous evaluation (4 pages plus references).
- Work-in-progress Abstracts: submission of extended abstracts (2 pages
including references) describing ongoing work where final results are
not yet available but where potential solutions will be discussed at
the conference.
- Tool Papers: papers about new tools, their methods and successful case
studies (6 pages plus references). In contrast to research papers,
tool papers do not have to describe new research ideas, but rather
present a solid implementation of existing methods that are made
available to the community.
Ph.D. Forum
In addition to the above categories of papers, there will be a Ph.D.
forum
where Ph.D. students can present and discuss their work with experts in
the
area on September 9, 2025 right before the conference. Extended abstracts
submitted to the Ph.D. forum should be no longer than 2 pages. The
extended
abstracts will *not* be published with IEEE, but will be made available
to
the attendees of the conference. There will also be a poster session at
the
conference for discussing the accepted abstracts with FDL attendees.
SUBMISSION
Authors should submit papers in double column, IEEE format as PDF
through the submission system (see IEEE templates website
https://www.ieee.org/conferences/publishing/templates.html
for required templates). All submitted papers must describe original,
unpublished work and must not be under consideration for publication
elsewhere. Initial submissions shouldbe double-blind (to avoid initial
bias), but author names may become available to reviewers during
discussion
and before the final decision. Submission of papers is handled by
EasyChair
under the following link:
https://easychair.org/my/conference?conf=fdl2025
For further details, please see https://fdl-conference.com.
From announce at ucy.ac.cy Sat May 3 16:54:19 2025
From: announce at ucy.ac.cy (Announce)
Date: Sat, 3 May 2025 14:54:19 +0000
Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA
2025): Last Call for Workshop Papers
Message-ID:
*** Last Call for Workshop Papers ***
19th European Conference on Software Architecture (ECSA 2025)
September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://conf.researchr.org/home/ecsa-2025
(*** Proceedings to be published by Springer in LNCS ***)
The European Conference on Software Architecture (ECSA) is the premier European forum for
presenting and discussing software architecture research and practice.
ECSA edition 2025 hosts workshops on topics related to software architecture. The following
workshops will be held between September 15-16, 2025:
8th International Workshop on Context-Aware, Autonomous and Smart Architectures
(CASA)
https://casaecsa.github.io/casa2025/
Software is becoming increasingly aware of its current execution context. Decisions that were
traditionally made at design time are being postponed until runtime to improve the services
that software provides to its users. In addition, software reasons about the execution
environments and its internal state to improve the functionality provided to its users. Some of
the keywords that characterize software today are: context-aware, dynamic, autonomous,
smart, adaptive, self-managed. In this context, the Context-aware, Autonomous, and Smart
Architectures (CASA) workshop aims to address the issues and challenges raised by the design,
implementation, and evaluation of software systems characterized by the above keywords.
Novel design and development approaches are needed to address the new issues raised by such
systems. New solutions are expected to properly address the trade-offs between the various
quality attributes that characterize these systems. Or, existing architectural solutions should be
adapted and improved to meet the evolving and dynamic requirements of context-aware,
autonomous, and intelligent systems. The workshop aims to bring together software engineers,
computer scientists, researchers, practitioners, and educators to discuss and exchange results,
case studies, experiences, novel approaches, and visionary ideas on software architectures for
context-aware, autonomous, and smart solutions.
1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO)
https://archdto.github.io/archdto2025/
The Digital Twin of an Organization (DTO) extends the concept of Digital Twins to create virtual
replicas of business models, processes, resources, and interactions. DTOs enable optimization
of decision-making, increased efficiency, and adaptability to rapid changes by leveraging real-
time data, simulations, AI, and predictive analytics. Despite their transformative potential,
DTOs are still in early development, facing significant software architecture challenges such as
scalability, interoperability, model robustness, and real-time data integration. This workshop
explores the architectural frameworks, design patterns, and software engineering principles
needed to build robust DTOs. Topics include frameworks for DTO creation, enterprise modeling
methodologies, technological enablers like AI and the Internet of Things, and real-world use
cases from academia and industry. Given the novelty of the topic, the workshop consists of two
main sessions: (1) presentations of academic and industry papers on DTO architectures,
frameworks, and technologies, and (2) an interactive workshop session, where participants will
engage in problem-solving, explore case studies, and collaboratively define challenges,
solutions, and best practices for architecting DTOs.
1st International Workshop on AI-Assisted Software Architecting (AISA)
https://sites.google.com/view/aisasa/home?pli=1
AI-assisted software architecting is transforming how architectural decisions are made,
implemented, and maintained. Leveraging artificial intelligence, this paradigm enhances
architectural decision making, automates repetitive architecting tasks, and optimizes system
designs. The AISA workshop aims to bring together researchers and practitioners to explore
AI’s role in various software architecting activities, including architecture analysis, design,
decision-making, evolution, and documentation. We will also discuss AI-driven architectural
pattern recommendations, best practices, and the application of AI in continuous architecting
and self-adaptive architectures. Topics include AI-assisted architecture synthesis, automated
architecture pattern selection, refactoring, security enforcement, and integrating AI into DevOps
and MLOps pipelines. The workshop will foster discussions and collaborations between
academia and industry to identify open challenges, research directions, and practical
applications
5th International Workshop on Agility with Microservices Programming (AMP)
https://amp-workshops.github.io
The AMP workshop aims to collect experiences on microservice adoption and reporting best
practices, as well as failure cases, to build community knowledge based on past mistakes and
successes. We also emphasize the current trend towards AI-driven software engineering
practices and the development of data- intensive applications. The workshop seeks for
solutions and experiences both on both AI-assisted tooling, and building data-intensive
applications and LLMs using microservices. The workshop is open to experience reports from
practitioners and academics. We seek to collect original work on the science and engineering of
programming microservices.
1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS)
https://sadis2025.smartarch.cz
Modern software systems increasingly rely on data-centric processes to fuel intelligent features,
scalable services, and real-time insights. As these systems evolve, designing effective software
architectures for data-intensive environments becomes critical yet challenging. These
architectures must address complex concerns such as handling high-velocity data streams,
ensuring security and privacy, integrating heterogeneous data sources and heterogeneous
computation fabrics (including GPUs/TPUs and edge devices), and adapting to changing
workloads. The workshop aims to bring together academic researchers, industry practitioners,
and thought leaders to explore cutting-edge approaches for building, deploying, and
maintaining robust data-centric solutions. We invite discussions on a range of topics at the
intersection of data-intensive systems and software architecture, including machine learning
(ML) pipelines, ML Operations (MLOps) frameworks and patterns, domain-specific languages,
reference architectures, and visualization techniques. Emphasis is placed on practical
experiences, innovative tools and platforms, and theoretical advancements that tackle the
ever-growing demands placed on data-intensive systems. By fostering interdisciplinary
collaboration and knowledge exchange, the workshop seeks to shape the future of data-driven
architecture design and empower professionals and researchers to address emerging challenges
in this rapidly evolving domain.
Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA)
https://www.redcad.org/events/arosa2025/
The goal of this workshop is to bring together researchers and practitioners both from the
Academia and from the Industry working in the areas of the adaptation and reconfiguration of
distributed systems. Different investigation topics are involved, such as: CBSE, Web service,
cloud applications, mobile applications, Functional and Non-Functional requirements (QoS,
performance, resilience), monitoring, diagnosis, deci- sion and execution of adaptation and
reconfiguration. Different research areas are covered: concepts, methods, techniques, and tools
to design, develop, deploy and manage adaptive and reconfigurable software systems. The
concept of adaptive and reconfigurable software systems has been introduced in order to
describe architectures, which exhibit such properties. An adaptive and reconfigurable software
system can repair itself if any execution problems occur, in order to successfully complete its
own execution, while respecting functional requirements and quality attributes. In the design of
an adaptive and reconfigurable software system, several aspects have to be considered. For
instance, the system should be able to predict or to detect degradations and failures as soon as
possible and to enact suitable recovery actions.
SUBMISSION INSTRUCTIONS
Please refer to the instructions at the workshops' web sites.
IMPORTANT DATES
• Abstract Submission: May 12, 2025
• Paper Submission: May 19, 2025
• Notification of Acceptance/Rejection: June 20, 2025
• Camera-Ready Submission: June 27, 2025
• Author Registration: June 27, 2025
• Workshop Days: September 15-16, 2025
All dates are 23:59h AoE (anywhere on Earth).
ORGANISATION
General Chairs
• Cesare Pautasso, University of Lugano, Switzerland
• Vasilios Andrikopoulos, University of Groeningen, The Netherlands
Workshops Co-Chairs
• Tommi Mikkonen, University of Jyvaskyla, Finland
• Jennifer Perez, Universidad Politécnica de Madrid, Spain
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From announce at ucy.ac.cy Sun May 4 13:21:07 2025
From: announce at ucy.ac.cy (Announce)
Date: Sun, 4 May 2025 11:21:07 +0000
Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA
2025): Last Call for Tools & Demos
Message-ID:
*** Last Call for Tools & Demos ***
19th European Conference on Software Architecture (ECSA 2025)
September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://conf.researchr.org/home/ecsa-2025
(*** Proceedings to be published by Springer in LNCS ***)
The European Conference on Software Architecture (ECSA) is the premier European software
architecture conference, providing researchers, practitioners, and educators with a platform to
present and discuss the most recent, innovative, and significant findings and experiences in the
field of software architecture research and practice. The 19th European Conference on Software
Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as
an in-person conference taking place in the beautiful city of Limassol (Cyprus).
SCOPE
The theme for ECSA 2025 is “impactful software architecture”. The software architecture
discipline has had a critical role in shaping robust, scalable, and maintainable systems. We are
interested in learning about software architecture principles and practices, emergence trends
and case studies highlighting strategic architectural choices that can lead to enhanced
performance, improved collaboration, and long-term sustainability. The overarching question is
how these architectural principles and practices, both well-established and emerging, are
making an impact in real-world systems, and how that impact is being felt across various
domains, from enterprise systems to more novel areas like, e.g., AI-driven or autonomous
applications?
Topics of interest include, but are not limited to:
• Foundational principles of software architecture
• Relationship of requirements engineering and software architecture
• Quality attributes and software architectures
• Architecture practices for secure, explainable, and trustworthy software
• Architecture design and analysis
• Architecture description languages and meta-models
• Architecture verification and validation
• Management of architectural knowledge, decisions, and rationale
• Architecture patterns, styles, and tactics; reference architectures
• Architecture viewpoints and views
• Architecture conformance
• Software architecture virtualization and visualization
• Architecture-centric process models and frameworks
• Software architecture and agile, incremental, iterative, and continuous development
• Component-based models and deployment; middleware
• Software architecture and system architecture
• Software tools and environments for architecture-centric software engineering
• Ethics, cultural, economic, business, social, human, and managerial aspects of software
architecture
• Architecture and technical debt
• Architecting for sustainable and environment friendly systems
• Applying AI and LLMs in software architecture and architecting for AI and LLM intensive
systems
• Software architecture education
• Cross-disciplinary approaches to software architecture
• Architectures for reconfigurable and self-adaptive systems
• Architectural concerns of autonomic systems
• Software architecture applied to new and emerging areas, such as the cloud/edge, big data,
blockchain, cyber-physical systems, IoT, autonomous systems, systems-of-systems, energy-
aware software, quantum computing, AI-enabled systems
• Empirical studies, systematic literature reviews, and mapping studies in software architecture
• Diversity, equity, and inclusion in activities related to software architecture
TOOLS AND DEMOS
The Tools and Demonstrations (Tools & Demos) Track provides an opportunity for both
researchers and practitioners to present and discuss the most recent advances, ideas,
experiences, and challenges in the field of Software Architecture by means of Tools & Demos
presentations.
Tools & Demos papers are intended to address any aspect of: (i) tool support for software
architectures, or (ii) demonstrate results about the application of architectural approaches.
Papers submitted to this track can belong to two distinct categories:
• Tool papers: These papers deal with the development and evaluation of tools to support
software architecture. They may present new tools, extensions to existing tools, or evaluations
of the effectiveness of tools. The aim is to provide a platform for the exchange of innovative
tools and techniques that help design, implement and analyze software architectures.
• Demo papers: These papers will demonstrate concepts, techniques or systems related to
software architectures. The focus is on presenting practical applications and implementations
of architectural approaches. Demo papers may include live demonstrations, prototypes or
simulations that emphasize the benefits and potential of specific architecture solutions.
Both Tool Papers and Demo Papers contribute to the advancement of the field by providing
insights, experiences and practical solutions related to software architectures. Tools and
Demos should not be used as a means for commercial advertisement.
We will strive to keep ECSA’s tradition to select the Best Tools & Demo Paper, awarded during
the conference. The selection of the best tool and demo paper will be made based on the votes
of the attendants of the conference.
Submissions of Tools & Demos papers should describe the work, how it relates to other
industrial or research efforts, including references, what the expected benefits are, a video of
the tool or demo (if one exists), and the web-page and/or open-source repository for the tool
(if one exists). All submissions must conform to the LNCS template and must not exceed 8
pages.
Tools & Demos submissions should provide a link to a video, with audio commentary, of a
maximum of ten minutes in length, with high resolution (e.g., details of the tool’s functionality
should be clearly visible). The video must be uploaded on a server (e.g., YouTube, Google
Drive, Dropbox), and the link must be included in the submission for its evaluation (as a
footnote on the first page of the submission or as links after the abstract of the submission).
In addition, it is possible to provide open material, e.g., source code and/or a running instance
of the tool. The links to the video and (if applicable) the additional material should be included
in the contribution after the abstract and before the introduction sections.
Paper submissions must be made electronically via the online EasyChair submission site for the
ECSA 2024 conference, selecting the “Tools & Demos Track”:
https://easychair.org/conferences/?conf=ecsa2025 .
The selection criteria of Tools & Demos papers will consider their originality, relevance for the
ECSA audience, technical soundness, and presentation quality. Each submission will be
evaluated by at least two PC members, in a single-step review process.
The accepted papers will be included in the ECSA 2025 companion volume to be published in
Springer LNCS series.
IMPORTANT DATES
• Abstract submission: May 16, 2025
• Paper submission: May 23, 2025
• Notification: June 20, 2025
• Camera-ready paper: June 27, 2025
Early/Author registration for all accepted contributions: June 27, 2025
All dates are 23:59h AoE (Anywhere on Earth).
ORGANISATION
General Chairs
• Cesare Pautasso, University of Lugano, Switzerland
• Vasilios Andrikopoulos, University of Groeningen, The Netherlands
Tools & Demos Co-Chairs
• Mohamed Soliman, Heinz Nixdorf Institut, Paderborn University, Germany
• Use Zdun, University of Vienna, Austria
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From announce at ucy.ac.cy Thu May 8 08:32:45 2025
From: announce at ucy.ac.cy (Announce)
Date: Thu, 8 May 2025 06:32:45 +0000
Subject: [fg-arc] The 16th IEEE International Conference on Knowledge Graphs
(ICKG 2025): Fourth Call for Papers
Message-ID:
*** Fourth Call for Papers ***
The 16th IEEE International Conference on Knowledge Graphs (ICKG 2025)
November 13-14, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://cyprusconferences.org/ickg2025/
(*** Proceedings to be published by IEEE ***)
(*** please note the change of conference and important dates! ***)
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): June 20, 2025 (AoE)
• Notification of acceptance/rejection: September 5, 2025
• Camera-ready, copyright forms and author registration: September 20, 2025
• Early (non-author) registration: October 10, 2025
• Conference dates: November 13-14, 2025
ORGANISATION
Conference and Local Organising Chair
• George A. Papadopoulos, University of Cyprus
Conference Co-Chair
• Dan Guo, Hefei University of Technology
Program Chairs
• Cesare Alippi, Università della Svizzera italiana
• Shirui Pan, Griffith University
Local Organising Vice Chair
• Irene Kinlanioti, National Technical University of Athens
Finance Chair
• Constantinos Pattichis, University of Cyprus
Steering Committee Chair
• Xindong Wu, Hefei University Of Technology
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From announce at ucy.ac.cy Mon May 12 08:31:15 2025
From: announce at ucy.ac.cy (Announce)
Date: Mon, 12 May 2025 06:31:15 +0000
Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA
2025): First Call for Tutorials
Message-ID: <4ZXLIR1H-V77R-I6E-QRK7-F51VI1EFFDB4@ucy.ac.cy>
*** First Call for Tutorials ***
19th European Conference on Software Architecture (ECSA 2025)
September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://conf.researchr.org/home/ecsa-2025
SCOPE AND GOAL
The European Conference on Software Architecture (ECSA) is the premier European forum for
presenting and discussing software architecture research and practice.
Researchers and practitioners are invited to submit proposals for tutorials held in conjunction
with ECSA 2025. Tutorials will be held right before the main conference on 15-19 September
2025.
ECSA edition 2025 hosts tutorials on topics related to software architecture from theoretical
foundations to practical applications. Tutorials at ECSA provide a valuable opportunity for
conference participants to expand their knowledge and skills in specific research and practical
topics under the umbrella of software architecture.
Topics of interests may include but are not limited to:
• Software Architecture challenges for AI- and ML-based Systems
• Software Architecture challenges for Self-Adaptive Systems
• Software Architecture challenges for Cyber-Physical Systems
• Software Architecture challenges in Big Data and Cloud Computing
• Software Architecture challenges in IoT-based Systems
• Software Architecture challenges in DevOPS and MLOPS
• Software Architecture challenges in Blockchain Engineering
• Quality-of-service (QoS) measurements of Software Architectures
• Privacy and Security in Software Architectural Design
• Context-aware, Autonomous, and Smart Architectures
• Sustainability in Software Architectures
• Software Architecture Erosion and Architectural Consistency
• Technical Debt in Software Architecture Design
• Architecting the Digital Twin
• Continuous Architecting
TUTORIAL PROPOSAL SUBMISSIONS
A tutorial proposal must not exceed 8 pages following the LNCS format (see below). Proposals
must follow the outline below:
• Tutorial title
• Contact information of tutorial presenter(s), including name, affiliation, email
• Tutorial summary (up to 350 words) for ECSA 2025 website (if tutorial is accepted)
• Detailed description of tutorial:
* Covered topics
* Learning objectives
* Key take-aways for audience
* Relevance of topic for ECSA
* Intended target audience, required experience, and desired number of participants
• Implementation of tutorial
* Duration - half day or full day (considering that tutorials will be as in-person/physical)
* Preliminary schedule including estimated times How tutorial will be conducted (e.g., lecture,
hands-on exercises, facilitated group discussion, group activities, role playing, games),
including materials to be included in tutorial notes
• Background of presenters
* Relevant biographical information (250 words maximum), as well as summaries of the
presenters’ subject matter experience and experience in teaching the tutorial topic, other
tutorials, courses, etc.
• Previous editions of tutorial
* Where and when the tutorial has been offered previously and numbers of attendees.
SUBMISSION INSTRUCTIONS
Submissions must follow the LNCS style
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
Proposals must be submitted via the online EasyChair submission site for the ECSA 2025
conference, selecting the "Tutorials" Track:
https://easychair.org/my/conference?conf=ecsa2025 .
The extended abstracts of selected tutorials will be published in the Companion Proceedings,
subject to the authors' consent.
IMPORTANT DATES
• Tutorial Proposals: May 23, 2025
• Acceptance Notification: June 20, 2025
All dates are 23:59h AoE (anywhere on Earth).
ORGANISATION
General Chairs
• Cesare Pautasso, University of Lugano, Switzerland
• Vasilios Andrikopoulos, University of Groeningen, The Netherlands
Tutorial Co-Chairs
• Tomáš Bureš, Charles University, Czech Republic
• Martina De Sanctis, Gran Sasso Science Institute (GSSI), Italy
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From sauer at uni-paderborn.de Tue May 13 10:15:23 2025
From: sauer at uni-paderborn.de (Stefan Sauer)
Date: Tue, 13 May 2025 10:15:23 +0200
Subject: [fg-arc] HCSE@INTERACT 2025 Workshop on Human-Centered Software
Engineering - Call for Papers (Submissions due: May 26 AoE)
Message-ID: <6ef2d7d3-7d26-4531-8cea-6ce1a24b366c@uni-paderborn.de>
*(Apologies if you receive multiple e-mails on this subject via different
channels!)*
https://sites.google.com/view/hcse-interact2025
*Call for Papers*
International Workshop on Human-Centered Software Engineering
Balancing Interaction, Artificial Intelligence, and Human Value
*organized by IFIP Working Group 13.2 on Methodologies for User-Centered Systems
Design
*
*at INTERACT 2025 The 20th IFIP TC.13 International
Conference on Human–Computer Interaction **
*
*September 8/9, 2025 Belo Horizonte, Minas Gerais, Brazil*
Theme
The rapid advancement of digital technologies continues to reshape the way
humans interact with software systems, raising critical questions about the
balance between human values and the interplay of usability, user experience and
automation. In this landscape, Human-Centered Software Engineering (HCSE) plays
a pivotal role in ensuring that software development remains aligned with user
needs, ethical principles, and broader societal impacts.
This edition of the HCSE workshop focuses on the intersection of Interaction,
Artificial Intelligence, and Human Value, emphasizing the need for new
approaches in designing socio-technical systems that integrate intelligent
automation while preserving human agency and well-being. With AI-driven
decision-making, adaptive interfaces, and autonomous systems becoming
ubiquitous, it is crucial to explore how software engineering can accommodate
these innovations while maintaining transparency, fairness, and user trust.
Beyond the traditional themes of IFIP 13.2 workshops, this edition invites
contributions fostering discussion among researchers and practitioners, to
advance the dialogue on how HCSE can evolve to meet the demands of modern
digital ecosystems while staying true to its human-centric principles.
Contributions are invited that explore innovative methodologies, design
principles, and case studies that highlight how intelligent software systems can
be designed to enhance, rather than diminish, human experience. The ultimate
goal is to develop approaches that harmonize interaction, artificial
intelligence, and human value, fostering the creation of software that is not
only powerful and efficient, but also trustworthy, inclusive, and ethically
responsible.
This workshop is a follow-up of the successful workshops organized at INTERACT
2015 in Bamberg, Germany
,
INTERACT 2017 in Mumbai, India
, INTERACT 2019 in
Paphos, Cyprus
, INTERACT
2021 in Bari, Italy ,
and INTERACT 2023 in York, UK.
Target Audience and Expected Outcomes
This workshop is open to everyone who is interested in aspects of human–computer
interaction from a user-centered perspective. Typical contributions to this
workshop focus on methods, processes and approaches for designing, building and
testing inter-active systems. We expect a high participation of IFIP Working
Group 13.2 members. We particularly invite participants to present position
papers describing real-life case studies that illustrate how they rethought
HCI’s and SE’s interplay in order to address aspects such as agile development,
sustainability, artificial intelligence, ethical considerations, and
cybersecurity. Any perspective and related aspects of user interface design are
welcome.
We are especially interested in work that deals with current trends that change
the way humans develop, use, interact and collaborate with technical components
in socio-technical systems. We are also interested in methods, theories and
tools for managing context of use and autonomous adaptation at design and
run-time. Position papers will be made available through the workshop website.
Furthermore, an extended version of selected papers will be considered for
inclusion in a Springer LNCS post-proceedings volume published in conjunction
with the other INTERACT workshops organized by the IFIP TC13 Working Groups.
Workshop Format
This full-day workshop is in person only. It is organized around presentation of
position papers and working activities in small groups. From the set of
contributions, a subset of selected case studies will be invited to be presented
at the beginning of the workshop and will be used to support the discussion that
follows.
The morning session will be dedicated to welcoming participants and presenting
case studies. Participants will be invited to comment on the case studies and to
report similar experiences. The afternoon sessions will be devoted to
interactive sessions, where participants will be engaged to work in small groups
and propose solutions to the problems of the case studies seen in the morning.
Solutions proposed by the participants will be compiled and compared. Based on
the lessons learned, participants will be incited to draft an agenda of future
work that can be accomplished.
We plan to run the workshop onsite in person only. If circumstances require it,
we intend to switch to a completely digital format that will be run online. We
will continuously adapt to any decision regarding the conference format by the
INTERACT 2025 organizers.
Submission Instructions
In order to attend the workshop, participants are invited to submit position
papers reporting original academic or industrial research relevant to the
workshop's theme. These position papers (PDF files, 6-10 pages in Springer LNCS
format, including abstract) shall report (practical) experiences related to
research challenges and results on human-centered software engineering or
user-centered development processes for interactive systems with a particular
focus on digital-transformation aspects and technologies (such as mobile and
wearable devices, Internet of Things, Cloud Computing, Big Data, Blockchain,
Augmented, Virtual and Mixed Reality, Artificial Intelligence and Machine
Learning, Digital Twin, Cybersecurity) and their impact on software properties
or software development practices. Submissions are not anonymous and should
include all author names, affiliations, and contact information. Authors should
also provide in their submission a short summary of their experience in the
field and their motivation to participate in this workshop.
Submissions will be processed via the workshop web pages that will be managed by
the workshop organizers at IFIP WG 13.2. Papers are submitted through the
EasyChair website .
Submitted position papers will be reviewed by an international program committee
comprising the organizers and selected members of IFIP Working Group 13.2 who
are experts in the field. Participants will be invited to attend the workshop
based on the result of the reviewing process. Accepted position papers will be
made available through the workshop website. Upon acceptance, at least one
author of each accepted position paper must register and attend the workshop.
Furthermore, an extended version of selected papers will be considered for
inclusion in a Springer LNCS post-proceedings volume published in conjunction
with the other INTERACT 2025 workshops organized by the IFIP TC13 Working Groups.
Important Dates
Deadline for submission: May 26, 2025 (extended!)
Acceptance notification: June 13, 2025
Final version of position paper: July 26th, 2025
Workshop date: September 8 or 9, 2025
Venue
The workshop will be hosted in the frame of the 20th IFIP TC13 International
Conference on Human-Computer Interaction, August 28 September 8 – 12, 2025, in
Belo Horizonte, Minas Gerais, Brazil. Look at the main conference web site for
further information (https://www.interact2025.org/).
Organizers
Stefan Sauer, Paderborn University, Germany
Carmelo Ardito, Politecnico di Bari, Italy
Regina Bernhaupt, Eindhoven University of Technology, The Netherlands
Contact
Please write toorganizers at hcse-conference.org
if you have any question.
-------------- next part --------------
An HTML attachment was scrubbed...
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 giovanni.casini at isti.cnr.it Mon May 5 17:51:27 2025
From: giovanni.casini at isti.cnr.it (giovanni.casini)
Date: Mon, 05 May 2025 17:51:27 +0200
Subject: [fg-arc] JELIA 2025 - EXTENDED DEADLINE
Message-ID: <85bcbc63203abdb4fd29d0c8e4b0ad19@isti.cnr.it>
*** Apologies for cross-posting ***
=======================================
JELIA 2025 - EXTENDED DEADLINE
=======================================
19th European Conference on Logics in Artificial Intelligence (JELIA
2025)
September 1-5, 2025
Kutaisi, Georgia
https://viam.science.tsu.ge/jelia2025/
=======================================
== IMPORTANT DATES ==
Abstract submission: 26 May 2025 (EXTENDED!)
Paper submission: 2 June 2025 (EXTENDED!)
Notification of acceptance: 4 July 2025
Camera-ready due: 10 July 2025
The Program Committee of the 19th European Conference on Logics in
Artificial Intelligence (JELIA 2025) invites the submission of technical
papers for the conference that will be held in Kutaisi, Georgia, from
the 1st to the 5th of September 2025.
== AIMS AND SCOPE ==
The aim of JELIA 2025 is to bring together active researchers interested
in the use of logics in Artificial Intelligence, in order to discuss
current research, results, problems, and applications of both
theoretical and practical nature. JELIA strives to foster links and
facilitate cross-fertilization of ideas among researchers from various
disciplines, among researchers from academia and industry, and between
theoreticians and practitioners.
Authors are invited to submit papers presenting original and unpublished
research in all areas related to the use of logics in Artificial
Intelligence, including, but not limited to:
* Abductive and inductive reasoning
* Applications of logic-based AI systems
* Argumentation
* Automated reasoning including satisfiability checking and its
extensions
* Causality and logics
* Computational complexity and expressiveness
* Deontic logic and normative systems
* Description logics and other logical approaches to ontologies
* Knowledge representation, reasoning, and compilation
* Learning and reasoning
* Logic programming, answer set programming, constraint logic
programming
* Logics in machine learning
* Logics for uncertain and probabilistic reasoning
* Logics in multi-agent systems, games, and social choice
* Neural networks and logic rules
* Non-classical logics, such as modal, temporal, epistemic, dynamic,
spatial, paraconsistent, and hybrid logics
* Nonmonotonic logics, default logics, conditional logics
* Planning and diagnosis based on logic
* Preferences and optimization
* Reasoning about actions
* Updates, belief revision and nonmonotonic reasoning
Submissions describing implemented systems/applications and their
application area(s) are also welcome.
== SPECIAL TRACK ==
Also this year we will include a Special Track on Logics for Explainable
and Trustworthy AI. We welcome contributions that explore logic-based
approaches to making AI more transparent, safer, or more trustworthy.
The track aims to draw attention to this timely topic and create a space
for discussing the role of logic. The papers accepted for the special
track will be presented in dedicated sessions at the conference.
== AWARDS ==
JELIA 2025 is happy to announce that there will be Best Paper and Best
Student Paper Prizes sponsored by Springer, each is a cash prize
amounting to EUR 500. The Program Committee will select for this honor
the contribution of the highest technical excellence and scientific
merit. In the case of the latter award, the primary author of the paper
must be a student at the time of submission.
The authors of selected contributions of outstanding quality will be
invited to submit an extended version of their work to the TPLP journal
and will enjoy fast-track reviewing and publication.
== SUBMISSION DETAILS ==
Submission Site: https://easychair.org/conferences/?conf=jelia2025
JELIA 2025 welcomes submissions of long or short papers. All submissions
should contain original research, and sufficient detail to assess the
merits and relevance of the contribution. Submissions must not have been
previously published or be simultaneously submitted for publication
elsewhere; see also the note below.
All submissions should not exceed 13 pages for long papers and 6 pages
for short papers (excluding references and acknowledgments, including
everything else, for example figures), and should be written in English.
Papers must be self-contained; appendices with additional material (such
as proofs) will only be considered at the reviewers' discretion and will
not be published. Submissions must be formatted according to the
standard Springer LNCS style (see
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines),
and are not anonymous. The conference proceedings of JELIA 2025 will be
published by Springer Verlag in the series Lecture Notes in Artificial
Intelligence, a sub-series of Lecture Notes in Computer Science
(important note: Springer will require all the LaTeX source files of all
accepted submissions).
== CONFERENCE CHAIRS ==
** General Chair
Besik Dundua, Tbilisi State University & Kutaisi International
University, Georgia
** Program Chairs
Giovanni Casini, CNR - Institute of Information Science and
Technologies, Italy
Temur Kutsia, RISC, Johannes Kepler University, Austria
**Organization Chair
Mikheil Rukhaia, Institute of Applied Mathematics, Tbilisi State
University, Georgia
**Organization Committee
Matthias Baaz, Vienna University of Technology
Mariam Gamsakhurdia, Vienna University of Technology
Revaz Grigolia, Tbilisi State University
Lia Kurtanidze, Georgian National University - SEU
Levan Uridia, Andrea Razmadze Mathematical Institute, Tbilisi State
University
== POLICY ON MULTIPLE SUBMISSIONS ==
JELIA 2025 will not accept any paper that, at the time of submission, is
under review or has already been published or accepted for publication
in a journal or another conference. Authors are also required not to
submit their papers elsewhere during JELIA's review period. However,
these restrictions do not apply to previous workshops with a limited
audience and without archival proceedings.
Any additional questions can be directed towards the JELIA Chairs:
For general inquiries: jelia2025 at easychair.org
For inquiries to the local organization: jelia.kutaisi.2025 at gmail.com
We look forward to receiving your submissions and seeing you in Kutaisi
in September 2025!
== COLOCATED EVENTS ==
The 15th International Tbilisi Symposium on Logic, Language and
Computation (TbiLLC 2025) will be held in Kutaisi from September 8 to
12, 2025 (https://events.illc.uva.nl/Tbilisi/Tbilisi2025/)
--
Giovanni Casini
CNR - ISTI (ISTITUTO DI SCIENZA E TECNOLOGIE DELL'INFORMAZIONE)
Room I-14
Via Giuseppe Moruzzi, 1, 56124 - Pisa
www.isti.cnr.it/en/ [1]
Links:
------
[1] http://www.isti.cnr.it/en/
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From chisvasileandrei at gmail.com Thu May 8 14:50:36 2025
From: chisvasileandrei at gmail.com (Andrei Chis)
Date: Thu, 8 May 2025 14:50:36 +0200
Subject: [fg-arc] Call for Participation: SLE 2025 - 18th ACM SIGPLAN
International Conference on Software Language Engineering
Message-ID:
** Call for Participation **
18th ACM SIGPLAN International Conference on Software Language Engineering
(SLE 2025)
12-13 June 2025
Koblenz, Germany
https://conf.researchr.org/home/sle-2025
https://www.sleconf.org/2025/
https://x.com/sleconf
------------------------------------------------------------------------
The ACM SIGPLAN International Conference on Software Language Engineering
(SLE) is devoted to the principles of software languages: their design,
their implementation, and their evolution.
Like its predecessors, the 18th edition of the SLE conference, SLE 2025,
will bring together researchers from different areas united by their common
interest in the creation, capture, and tooling of software languages. It
overlaps with traditional conferences on the design and implementation of
programming languages, model-driven engineering, and compiler construction,
and emphasises the fusion of their communities. To foster the latter, SLE
traditionally fills a two-day program with a single track, with the only
temporal overlap occurring between co-located events.
---------------------------
Registration
---------------------------
Registration happens via the STAF registration page
Early Bird Registration Deadline is May 10th, 2025
https://conf.researchr.org/attending/staf-2025/staf-2025-registration
---------------------------
Venue
---------------------------
University of Koblenz
https://conf.researchr.org/venue/sle-2025/staf-2025-venue
---------------------------
Keynotes
---------------------------
* Thorsten Berger, Ruhr University Bochum, Germany
A New DSL Textbook in Town!
* Friedrich Steimann, Fernuniversität in Hagen, Germany
an Programming Be Liberated from the Functional Style?
https://conf.researchr.org/home/sle-2025#Keynotes
---------------------------
Awards
---------------------------
During the conference, we will announce the following awards:
* Distinguished paper: Award for the most notable paper, as determined by
the PC chairs based on the recommendations of the program committee.
* Distinguished artefact: Award for the artefact most significantly
exceeding expectations, as determined by the AEC chairs based on the
recommendations of the artefact evaluation committee.
* Distinguished reviewer: Award for the programme committee member that
produced the most useful reviews as assessed by paper authors.
* Most Influential Paper: Award for the SLE 2015 paper with the greatest
impact, as judged by the SLE Steering Committee.
* COLA Award: 2024 Journal of Computer Languages Best Paper Award
---------------------------
Accepted Papers
---------------------------
* A Model-Driven Approach to Design, Generation, and Deployment of GUI
Component Libraries
Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe, Sebastian
Will
* AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a
single Grammar Definition with first-class LSP support
Georg Hinkel, Alexander Hert, Niklas Hettler, Kevin Weinert
* Boosting Parallel Parsing through Cyclic Operator Precedence Grammars
Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella
* Detecting Resource Leaks on Android with Alpakka
Gustavo Amorim Santos, Alexandra Mendes, João Bispo
* Dynamic Dependency-Based Purity Checking
Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach
* Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for
Non-Deterministic Languages
Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen
* Handling Grammar Cycles in the 1997 Standard ML Definition
Elizabeth Scott, Adrian Johnstone
* Integrating Model Checking into a Live Modeling Environment
Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe
* Lessons Learned: Challenges of Modular Language Design
Alex Lüpges, Nico Jansen, Bernhard Rumpe
* Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript)
Standardization
Philipp Riemer, Yury Nikulin, Ashley Claymore, Mikhail Barash
* Optimize Effect Handling for Tail-resumption with Stack Unwinding
Yuze Fu, Shigeru Chiba
* Property-based Testing of Attribute Grammars
José Nuno Macedo, Marcos Viera, João Saraiva
* Scheduling the Construction and Interrogation of Scope Graphs Using
Attribute Grammars
Luke Bessant, Eric Van Wyk
* (Semantic) Feature Model Differences with (Q)SAT
Simone Heisinger, Maximilian Heisinger, Martina Seidl
* TranspileJS, an Intelligent Framework for Transpiling JavaScript to
WebAssembly
José Pedro Ferreira, João Bispo, Susana Lima
* Variability Fault Localization by Abstract Interpretation and its
Application to SPL Repair
Aleksandar S. Dimovski
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From valerio.besozzi at phd.unipi.it Sat May 10 13:31:21 2025
From: valerio.besozzi at phd.unipi.it (Valerio Besozzi)
Date: Sat, 10 May 2025 11:31:21 +0000
Subject: [fg-arc] [CFP] AHPC3: The 2nd Workshop on Accelerated HPC in the
Cloud-Edge Continuum
Message-ID: <4A2951C4-98E5-4CC2-A7D0-DF498D8965E6@studenti.unipi.it>
--Apologies for multiple postings. Share this CFP with anyone you believe may be interested. --
========================================================================
AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum
Affiliated with the 13th IEEE International Conference on Cloud Engineering (IC2E2025)
September 23-26, 2025, Rennes, France
Workshop site: http://ahpc3.di.unipi.it/
Conference site: https://conferences.computer.org/IC2E/2025/
Submission site: http://ahpc3.di.unipi.it/submissions.html
========================================================================
Important Dates
---------------
- June 03, 2025: Submission of paper abstracts
- June 16, 2025: Submission of short/regular papers
- July 21, 2025: Notification to authors
- July 31, 2025: Submission of camera-ready
Overview
--------
We are witnessing an increasing demand for high-performance computing (HPC)
infrastructures. Modern applications require processing of computationally intensive
workloads, across diverse domains driven by AI/ML, federated learning, and data-intensive
needs in distributed Cloud-Edge-HPC environments.
Traditional distinctions between HPC and cloud infrastructures are blurring as modern
cloud and edge environments incorporate capabilities historically exclusive to HPC systems.
The AHPC3 workshop focuses on achieving HPC via Cloud-Edge architectures, promoting
energy-efficient execution, green computing, and intelligent resource management.
It explores the adaptation of technologies like serverless computing, microservices,
and fine-grained task offloading for scalable and resilient HPC applications.
We welcome original contributions on programming paradigms, runtime systems, orchestration
frameworks, efficient data management, fault tolerance, security, and sustainability
in hybrid environments.
Topics of Interest
------------------
- Adaptation of cloud-edge technologies for HPC (e.g., serverless, microservices, task offloading)
- Cloud-edge computing architectures for HPC (e.g., resource federation)
- Lightweight virtualization, execution environments, and scheduling techniques
- Orchestration and deployment of high-performance workflows
- Programming paradigms for high-performance Cloud-Edge computing
- Communication, data, and resource management in Cloud-Edge computing
- Fault tolerance, reliability, and security
- Data-intensive workloads and monitoring tools
- Energy-efficient computing in Cloud-Edge environments
- Accelerated computing (e.g., GPUs, AI/ML accelerators)
- Network-aware optimization and data movement
- Federated resource-sharing and learning
- Novel orchestration algorithms for cloud/edge
- ML/AI-based support for Cloud/Edge computing
Submissions and Attendance
--------------------------
Submission link: http://ahpc3.di.unipi.it/submissions.html
Accepted papers will be published in the conference proceedings. Submissions must be original
and not under consideration elsewhere. Papers (5–9 pages) must follow IEEE conference format.
At least one author must register and present the paper.
Organisers
----------
- Luca Ferrucci, University of Pisa - luca.ferrucci at unipi.it
- Stefano Forti, University of Pisa - stefano.forti at unipi.it
- Valerio Besozzi, University of Pisa - valerio.besozzi at phd.unipi.it
- Jacopo Massa, University of Pisa - jacopo.massa at di.unipi.it
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From ssharm21 at students.kennesaw.edu Tue May 13 22:56:49 2025
From: ssharm21 at students.kennesaw.edu (Sachin Sharma)
Date: Tue, 13 May 2025 20:56:49 +0000
Subject: [fg-arc] Call For Papers - 37th IEEE International Conference on
Tools with Artificial Intelligence - Nov 3-Nov 5, 2025 - Athens, Greece
Message-ID:
Dear Colleagues,
The 37th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) organizing committee is inviting you to submit your research papers. The conference will be held in person, on November 3rd till November 5th, 2025 in Athens, Greece!
The IEEE International Conference on Tools with Artificial Intelligence (ICTAI) is a leading IEEE-CS annual scientific meeting for more than three decades. It provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components such as algorithms, architectures and languages.
Topics include (but not limited to):
1.
AI Foundations
2.
AI in Domain-specific Applications
3.
AI in Computer Systems
4.
AI in Data Analytics, Data Mining and Big Data
5.
AI in Smart Cities
6.
Machine Learning
7.
Knowledge Representation, Reasoning, Cognition
8.
AI and Decision Systems
9.
Uncertainty in AI
10.
Natural Language Processing
11.
AI and Societal Impact
General Chair: Dr. Nikolaos Bourbakis, Purdue University (nbourbak at purdue.edu)
Co-Program Chair: Dr. Arnaud Lallouet, Huawei Technologies Ltd (arnaud.lallouet at huawei.com)
Co-Program Chair: Dr. Michail Alexiou, Kennesaw State University (malexiou at kennesaw.edu)
Special Track - Workshops (Following the Conference Publication Rules and Guidelines):
1.
AI and Maritime Applications - Special Track Chair Dr. Rahul Dubey
2.
AI and Software Engineering - Special Track Co-Chairs Dr. Maria Virvou & Dr. George Tsihrintzis
3.
AI and Assistive Technologies for People in Need - Dr. Nikolaos Bourbakis & Dr. Despina Kavraki
Important Dates:
Paper submission: June 12, 2025
Acceptance notification: August 20, 2025
Camera-ready: September 20, 2025
All submissions should be made through the conference's website: https://easyconferences.eu/ictai2025/
We look forward to your submissions!
Best Regards,
Sachin Sharma
ICTAI Publicity Chair
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
-------------- next part --------------
A non-text attachment was scrubbed...
Name: CFP for ICTAI-2025_vers2.pdf
Type: application/pdf
Size: 199391 bytes
Desc: CFP for ICTAI-2025_vers2.pdf
URL:
From announce at ucy.ac.cy Thu May 15 10:06:45 2025
From: announce at ucy.ac.cy (Announce)
Date: Thu, 15 May 2025 08:06:45 +0000
Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA
2025): Last Call for Doctoral Consortium
Message-ID:
*** Last Call for Doctoral Consortium ***
19th European Conference on Software Architecture (ECSA 2025)
September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://conf.researchr.org/home/ecsa-2025
The European Conference on Software Architecture (ECSA) is the premier European software
architecture conference, providing researchers, practitioners, and educators with a platform to
present and discuss the most recent, innovative, and significant findings and experiences in the
field of software architecture research and practice. The 19th European Conference on Software
Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as
an in-person conference taking place in the beautiful city of Limassol (Cyprus).
The goal of the Doctoral Symposium is to provide a supportive setting in which PhD students
can present and receive feedback on their research. During the symposium, PhD students will
interact closely with established researchers in the field, receive feedback on their research,
and get advice on managing their research. The symposium will also help participants to
establish a network with their peers in the field of software architecture. The program will
feature a keynote that will shed light on establishing yourself within the software architecture
community and beyond.
The technical scope of the Doctoral Symposium is that of ECSA 2025, as represented by the
topics in the ECSA 2025 Call for Papers CfP. Besides, we particularly encourage submissions
that demonstrate that diversity in gender, culture, religion, country, etc. is a key factor for
success and innovation in software architecture.
We encourage submissions from PhD students at any stage of their research. Based on the
submissions, the program committee will invite the PhD students to give presentations of their
PhD research and to interact with senior as well as other junior researchers.
SUBMISSION
To participate in the Doctoral Symposium, the contribution needs to be submitted by the
submission deadline consisting of two parts: a research summary paper and a letter of
recommendation. The summary research paper should be authored by the student as a sole
author.
Research summary paper (max 8 pages)
The research summary paper must be formatted according to the Springer LNCS style
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 (page limit includes
references and appendixes) and should cover the following aspects:
• the research problem to be solved and its relevance in the software architecture field;
• a discussion of related work explaining why the research problem has not been solved yet;
• the scientific methods used to tackle the research problem;
• an outline of the proposed solution;
• the expected results;
• a plan for the evaluation of results; and
• a critical reflection on the work, including open questions and challenges that the PhD
student meets in his/her work, and that can be discussed with the senior colleagues.
The submitted paper will be evaluated by the Doctoral Symposium Program Committee, and
the following selection criteria will be used:
• The originality of the proposed research, the novelty of the research approach, and relevance
to ECSA; and
• the quality of the submission, including clarity, precision, and adequacy of the problem
statement and critical reflection of the work, in relation to the PhD student’s study stage.
Letter of Recommendation (max 1 page)
A recommendation letter written by (one of) the advisor(s). The letter should include the name
of the candidate, an appreciation of the PhD research (and why it would benefit from being
discussed at the Doctoral Symposium), the status of the research, and an expected date for
the dissertation submission.
HOW TO SUBMIT
The research summary paper with the letter of recommendation should be submitted
electronically via the ECSA 2025 submission site:
https://easychair.org/my/conference?conf=ecsa2025 (Doctoral Symposium track).
PROCEEDINGS
The proceedings of the Doctoral Symposium will be published by Springer as part of the LNCS
series.
REGISTRATION
Please note that as a condition for paper publication, each accepted submission needs to be
presented at the conference (in person) by the author, who shall register for the conference by
the camera-ready paper deadline. Authors will be provided with 50% discount on the student
registration or free registration if serving as ECSA volunteers.
IMPORTANT DATES
• Paper submission: May 23, 2025
• Acceptance notification: June 20, 2025
All dates are 23:59h AoE (anywhere on Earth).
ORGANISATION
General Chairs
• Cesare Pautasso, University of Lugano, Switzerland
• Vasilios Andrikopoulos, University of Groeningen, The Netherlands
Doctoral Consortium Track Track Chairs
• Henry Muccini, University of L'Aquila, Italy
• Elena Navarro, University of Castilla-La Mancha, Spain
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From m.le-brun.1 at research.gla.ac.uk Thu May 15 12:14:48 2025
From: m.le-brun.1 at research.gla.ac.uk (Matthew Alan Le Brun (PGR))
Date: Thu, 15 May 2025 10:14:48 +0000
Subject: [fg-arc] DisCoTec Call for Participation - Early Registration
Deadline Soon
Message-ID:
[Apologies for multiple postings]
*********************************
Joint Call for Participation – DisCoTec2025
20th International Federated Conference on Distributed Computing Techniques
Lille, France, June 16-20, 2025
https://www.discotec.org/2025/
--- IMPORTANT INFO ---
Register now at https://www.discotec.org/2025/registration
Early registration closes on 23rd of May.
We recommend you make your hotel reservations ASAP.
After registering, join the DisCoTec WhatsApp group if you would like help finding accommodation and possibly share with other conference attendees. Details on our main page.
Programme overview is now available.
An overview of this year's programme can be found at https://www.discotec.org/2025/programme.
A list of accepted papers is available at https://www.discotec.org/2025/accepted-papers.
The detailed programme will be available very soon.
Follow our socials for live updates!
Mastodon @DisCoTecConf (https://lipn.info/@DisCoTecConf), LinkedIn (https://www.linkedin.com/company/discotec-conf) and X @DisCoTecConf (https://X.com/DisCoTecConf).
*********************************
DisCoTec 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).
DisCoTec 2025 will take place in Lille, France, between June 16-20, 2025, hosted by the University of Lille.
* Keynote Speakers *
- Alysson Bessani (Universidade de Lisboa, Portugal)
- Omar Inverso (GSSI, Italy)
- Burcu Kulahcioglu Ozkan (TU Delft, The Netherlands)
- Hélène Coullon (IMT Atlantique, France)
See https://www.discotec.org/2025/invited for further details.
* Main Conferences (June 17 - June 19) *
- COORDINATION 2025 (https://www.discotec.org/2025/coordination)
27th International Conference on Coordination Models and Languages
PC Chairs: Cinzia Di Giusto (Université Côte d’Azur) and António Ravara (NOVA School of Science and Technology)
- DAIS 2025 (https://www.discotec.org/2025/dais)
25th International Conference on Distributed Applications and Interoperable Systems
PC Chairs: Daniel Balouek (Inria, France) and Ibéria Medeiros (University of Lisbon, Portugal)
- FORTE 2025 (https://www.discotec.org/2025/forte)
45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
PC Chairs: Carla Ferreira (NOVA University of Lisbon, Portugal) and Claudio A. Mezzina (University of Urbino, Italy)
* Satellite Events (June 16 and June 20) *
- ICE 2025 (https://www.discotec.org/2025/satellite/ice)
18th Interaction and Concurrency Experience
- CORSE 2025 (https://www.discotec.org/2025/satellite/corse)
Components Operationally: Reversibility and System Engineering
- ∆QSD 2025 (https://www.discotec.org/2025/satellite/DQSD)
The ∆QSD Paradigm: Designing Systems with Predictable Performance at High Load
- WACA 2025 (https://waca-ws.github.io/2025/)
Workshop on Adaptable Cloud Architectures
- Gender Parity / Women in Science (https://www.discotec.org/2025/satellite/women_in_science)
* Poster Competition (June 16) *
DisCoTec 2025 will host an event dedicated to Young Researchers - final year PhD, postdoc, first years of a permanent position. Details can be found at https://www.discotec.org/2025/satellite/yr-posters.
* Accommodations for parents of young children *
Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze at inria.fr), as soon as possible to discuss the arrangements that might be applicable.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From announce at ucy.ac.cy Fri May 16 08:31:57 2025
From: announce at ucy.ac.cy (Announce)
Date: Fri, 16 May 2025 06:31:57 +0000
Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA
2025): Last Call for Journal First Papers
Message-ID: <2U56HTGQ-OFUV-DA4R-KYCE-PYGB7M871F17@ucy.ac.cy>
*** Last Call for Journal First Papers ***
19th European Conference on Software Architecture (ECSA 2025)
September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://conf.researchr.org/home/ecsa-2025
The European Conference on Software Architecture (ECSA) is the premier European software
architecture conference, providing researchers, practitioners, and educators with a platform to
present and discuss the most recent, innovative, and significant findings and experiences in the
field of software architecture research and practice. The 19th European Conference on Software
Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as
an in-person conference taking place in the beautiful city of Limassol (Cyprus).
ECSA 2025 enriches its partnership with more journals and opportunities than ever before, to
incorporate journal-first papers into its program. The journals are:
- Journal of Systems and Software (JSS)
- IEEE Software
- Information & Software Technology (IST)
- Transaction on Software Engineering (TSE)
We invite authors of journal papers accepted by JSS, IEEE Software, IST, or TSE since December
1, 2023 to submit their work for presentation at ECSA 2025, which will allow authors of
journal-first papers to present their work to the community.
SCOPE
A journal-first paper submitted to ECSA 2025 must adhere to the following criteria:
• The paper must have been accepted after peer review by one between JSS, IEEE Software,
IST or TSE.
• The paper is in the scope of the conference.
• The paper has not been presented at and is not under consideration for journal-first
programs of other conferences.
PAPER SUBMISSION
We invite authors of papers that meet the above criteria to submit a proposal that includes a
summary of the original paper that highlights the contributions, motivates the relevance for
the ECSA, and briefly discusses how the work has developed after the original publication -
if it is the case. Please include the DOI of the original journal paper. ECSA offers an opportunity
to disseminate your work to a broader community audience.
The submission must be 3-4 pages long and conform to the Springer LNCS style
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
Accepted submissions will be invited to present at the conference. The track chairs will write a
summary of the accepted submissions that will be included in the conference proceedings.
Proposals must be submitted via the online EasyChair submission site for the ECSA 2025
conference, selecting the "Journal First" Track:
https://easychair.org/my/conference?conf=ecsa2025 .
EVALUATION
Authors will be invited to present their paper at ECSA 2025 if it meets the above criteria. Please
note that we plan to include as many journal-first papers as possible in the ECSA main program.
However, if we receive an exceptionally high number of submissions, we may have to prioritize
presentation proposals according to their fit to the conference theme and sessions structure.
As the papers have already been reviewed and accepted by a journal, we will not review the
submission for technical content; instead, we will focus on the track’s criteria.
PRESENTATION
ECSA 2025 is planned to be an in-person/physical conference. The journal-first paper
presentations are part of the ECSA conference’s main program. As a journal-first presenter,
you will benefit from the conference presentation in many ways, such as, outreach to a broader
audience and interactions and discussions with peers. At least one author of each submission
accepted for the journal-first program must register and attend the conference to present the
paper.
IMPORTANT DATES
• Paper submission: May 23, 2025
• Acceptance notification: June 20, 2025
All dates are 23:59h AoE (anywhere on Earth).
ORGANISATION
General Chairs
• Cesare Pautasso, University of Lugano, Switzerland
• Vasilios Andrikopoulos, University of Groeningen, The Netherlands
Journal First Track Chairs
• Jesper Andersson, Linnaeus University, Sweden
• Romina Spalazzese, Malmö University, Sweden
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From fm-announcements at lists.nasa.gov Thu May 15 12:14:56 2025
From: fm-announcements at lists.nasa.gov (Matthew Alan Le Brun (PGR) via fm-announcements)
Date: Thu, 15 May 2025 10:14:56 +0000
Subject: [fg-arc] [fm-announcements] DisCoTec Call for Participation - Early
Registration Deadline Soon
Message-ID:
[Apologies for multiple postings]
*********************************
Joint Call for Participation – DisCoTec2025
20th International Federated Conference on Distributed Computing Techniques
Lille, France, June 16-20, 2025
https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009391545930%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=hNJqmArc0zowAZL%2F76kL0%2Fr0MZTNuJEmi75rLMaFJDI%3D&reserved=0
--- IMPORTANT INFO ---
Register now at https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fregistration&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395435623%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=xhVlGXACiyjOg9MPWJA9DobkhB%2BBCtkKEHJszBHPc3g%3D&reserved=0
Early registration closes on 23rd of May.
We recommend you make your hotel reservations ASAP.
After registering, join the DisCoTec WhatsApp group if you would like help finding accommodation and possibly share with other conference attendees. Details on our main page.
Programme overview is now available.
An overview of this year's programme can be found at https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fprogramme&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395448877%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=EU5l0EVP0Re4zznd55El4M%2B%2Fogapv4z5LNVkugD2ZYk%3D&reserved=0.
A list of accepted papers is available at https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Faccepted-papers&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395461259%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=dCu0jZNXQk85ZzhJlXw1tFDHwAOAJIpddyj3Ly%2BhFfU%3D&reserved=0.
The detailed programme will be available very soon.
Follow our socials for live updates!
Mastodon @DisCoTecConf (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flipn.info%2F%40DisCoTecConf&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395473642%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=W4PAfXiUdbABLNC9DbtGCFh8hXos0orQiCUJ0lUaEPk%3D&reserved=0), LinkedIn (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.linkedin.com%2Fcompany%2Fdiscotec-conf&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395486191%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=szJgwgXhc3hCKNwsCIMSAiCDxdFIXjsPrnA6rW4HycQ%3D&reserved=0) and X @DisCoTecConf (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fx.com%2FDisCoTecConf&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395498581%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=PGEFAG88UoRwOGc%2BhG3EPWZPIIadnMgrLrxjKdp%2BzXA%3D&reserved=0).
*********************************
DisCoTec 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).
DisCoTec 2025 will take place in Lille, France, between June 16-20, 2025, hosted by the University of Lille.
* Keynote Speakers *
- Alysson Bessani (Universidade de Lisboa, Portugal)
- Omar Inverso (GSSI, Italy)
- Burcu Kulahcioglu Ozkan (TU Delft, The Netherlands)
- Hélène Coullon (IMT Atlantique, France)
See https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Finvited&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395512800%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=G3DrmS6WK4md3J44hLtKe5ja9tzJ5aLKxwi7S476o14%3D&reserved=0 for further details.
* Main Conferences (June 17 - June 19) *
- COORDINATION 2025 (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fcoordination&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395525360%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Jmi06Q7GbxUoShcZQJWW%2FE3jZwkyLgfT%2BPErdclnpcs%3D&reserved=0)
27th International Conference on Coordination Models and Languages
PC Chairs: Cinzia Di Giusto (Université Côte d’Azur) and António Ravara (NOVA School of Science and Technology)
- DAIS 2025 (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fdais&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395537885%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=ha9me5PZt%2Bw6xl4jTGrJ4g79lS6S43yMjf5ypvXXNv4%3D&reserved=0)
25th International Conference on Distributed Applications and Interoperable Systems
PC Chairs: Daniel Balouek (Inria, France) and Ibéria Medeiros (University of Lisbon, Portugal)
- FORTE 2025 (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fforte&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395550173%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=C2mhLtnFTwkDu9yytirOaLIyDyZBDnuYgYb70TghfUI%3D&reserved=0)
45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
PC Chairs: Carla Ferreira (NOVA University of Lisbon, Portugal) and Claudio A. Mezzina (University of Urbino, Italy)
* Satellite Events (June 16 and June 20) *
- ICE 2025 (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fsatellite%2Fice&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395562482%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=SPmT19Wi70JUVdl04apb0PCn8LFWlAbU1bKpWVUnxT8%3D&reserved=0)
18th Interaction and Concurrency Experience
- CORSE 2025 (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fsatellite%2Fcorse&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395574733%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=9aPDK4MZCbB56Niq9RXvhid61uQiw9xcNdab2HA1kHo%3D&reserved=0)
Components Operationally: Reversibility and System Engineering
- ∆QSD 2025 (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fsatellite%2FDQSD&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395586789%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=AptjubxIxa6j%2FD%2FSmZFsHp9gahAFUyFjzVfbp1JGWEs%3D&reserved=0)
The ∆QSD Paradigm: Designing Systems with Predictable Performance at High Load
- WACA 2025 (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwaca-ws.github.io%2F2025%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395599921%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Vb9Q12iveFt9QTGPypXy0bp1e6eRECB6WF7JcyrcW5w%3D&reserved=0)
Workshop on Adaptable Cloud Architectures
- Gender Parity / Women in Science (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fsatellite%2Fwomen_in_science&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395611926%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=oZltHyAqHAw3s0f0wDZE4a3V03NV6Zu%2FU1YeK46ICYg%3D&reserved=0)
* Poster Competition (June 16) *
DisCoTec 2025 will host an event dedicated to Young Researchers - final year PhD, postdoc, first years of a permanent position. Details can be found at https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fsatellite%2Fyr-posters&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C8302fa556f77482c692c08dd93996f6f%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638829009395623984%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=NFfuARVpx2QfCAsfPVhTaxTyUSpTx79TcDIJF1xgqfs%3D&reserved=0.
* Accommodations for parents of young children *
Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze at inria.fr), as soon as possible to discuss the arrangements that might be applicable.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
-------------- next part --------------
---
To opt-out from this mailing list, send an email to
fm-announcements-request at lists.nasa.gov
with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting
fm-announcements-owner at lists.nasa.gov
From announce at ucy.ac.cy Mon May 19 10:40:24 2025
From: announce at ucy.ac.cy (Announce)
Date: Mon, 19 May 2025 08:40:24 +0000
Subject: [fg-arc] The 24th IFIP Conference e-Business, e-Services,
and e-Society (I3E 2025): Last Call for Papers
Message-ID:
*** Last Call for Papers ***
The 24th IFIP Conference e-Business, e-Services, and e-Society (I3E 2025)
September 9-11, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://cyprusconferences.org/i3e2025/
(*** Proceedings to be published by Springer in LNCS ***)
(*** Journal Special Issue with Springer's SN Computer Science ***)
(*** Submission Deadline Extended to June 2, 2025 ***)
Conference theme: “Pervasive digital services for people’s well-being,
inclusion and sustainable development”
OVERVIEW
Next-gen digital services contribute to people’s well-being, inclusion, and sustainable
development, re-shaping e-business, e-services, and e-society. Such services are pervasive
both since they run on a large variety of heterogeneous devices and they permeate various
aspects of daily life, by offering accessible and personalised experiences to all individuals. The
proposed theme advocates for the design, implementation and operations of novel digital
solutions that satisfy the needs of different individuals, while contributing to their well-being
and to preserving the Planet.
I3E 2025 will collect contributions about the creation and management of user-centric
accessible platforms, applications, and services that empower individuals to live healthier and
more fulfilling lives. The proposed theme aims at emphasizing how it is possible to leverage
different technologies to address pressing societal challenges such as, for instance, healthcare
access, education, poverty alleviation, sustainable usage of resources, and social equity,
towards a more inclusive and sustainable future.
TOPICS OF INTEREST
Areas of particular interest include but are not limited to:
e-Business
• Innovative e-business models
• Inter-organizational systems
• Business process integration
• Business process re-engineering
• e-Marketplaces, e-Hubs and portals
• Digital goods and products
• User behaviour modeling
• Mobile business
• Enterprise application integration
• e-Negotiations, auctioning and contracting
• Supply, demand, and value chains
• e-Commerce content management
• Dynamic pricing models
• Trust and security
• Mobile Commerce
• Business Intelligence
• Business Ontologies and Models
• E-Business Models
e-Services
• e-Service composition
• Inter-organizational services
• e-Collaboration and e-Services
• Service-oriented computing
• Web services
• Semantic web services
• Service workflows
• Virtual organizations and coalitions
• Virtual enterprises and virtual markets
• Web 2.0 applications
• Agent-oriented e-Services
• P2P co-operation models
• Ubiquitous, mobile, and pervasive services
• Application service management
• Services and service management in the cloud-edge continuum
• Next-gen AI services
• Enterprise Ontologies
• Accessibility
• Usability
e-Society
• e-Government (e.g. G2G, G2B, or G2C)
• Digital cities and regions
• e-Democracy and e-Governance
• e-Inclusion to information society
• e-Health and e-Education
• Public e-Services for citizens and enterprises
• One-stop government service integration
• Mobile public services
• Multimedia and multilingualism
• Digital culture and digital divide
• Privacy and security
• Legal societal and cultural issues
• Public-private partnerships
• International dimension of e-Gov
• E-society and AI
• Digital Transformation
• Social Computing
• Green Computing
• Sustainable Technologies
• Humanitarian & Emergency Management
• Digital Inclusion
• Digital Literacy
SUBMISSION
Authors should submit original, unpublished research papers. All papers must not
simultaneously be submitted to another journal or conference. All accepted papers will be
published in the conference proceedings. Therefore, submissions should not be under
consideration for any other conference or journal outlet. Authors should consult Springer’s
authors’ guidelines and use their proceedings templates to prepare their papers
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
Authors can submit their proceedings articles using the EasyChair platform. Please use the
following link: https://easychair.org/conferences/?conf=i3e2025 .
Length of papers
The most common types of papers accepted for publication are full papers (12 pages) and
short papers (7 pages). We only wish to publish papers of significant scientific content.
Journal Special Issue
Authors of selected papers will be invited to submit an extended and revised version of their
paper (with at least 30% additional material) for fast-track review and publication in Springer's
SN Computer Science (https://link.springer.com/journal/42979).
IMPORTANT DATES
• Paper Submission: June 2, 2025 (AoE) (*** extended and final! ***)
• Author Notification: July 7, 2025
• Camera-Ready: July 14, 2025
• Author Registration: July 14, 2025
ORGANISATION
Conference Chair
• George A. Papadopoulos, University of Cyprus
Conference Co-Chairs
• Yogesh K. Dwivedi, Emerging Markets Research Centre (EMaRC)
• Georgia Kapitsaki, University of Cyprus
• Matti Mäntymäki, University of Turku
• Ilias Pappas, Norwegian University of Science and Technology
• Marinos Themistocleous, University of Nicosia
Program Co-Chairs
• Achilleas Achilleos, Frederick University of Cyprus
• Stefano Forti, University of Pisa
• Angelika Kokkinaki, University of Nicosia
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From announce at ucy.ac.cy Tue May 20 09:34:37 2025
From: announce at ucy.ac.cy (Announce)
Date: Tue, 20 May 2025 07:34:37 +0000
Subject: [fg-arc] 37th IFIP International Conference on Testing Software and
Systems (ICTSS 2025): Last Call for Papers
Message-ID: <8YHPKSV-SOG8-1Y4-VPC2-GF1SMZ7MLJW@ucy.ac.cy>
*** Last Call for Papers ***
37th IFIP International Conference on Testing Software and Systems (ICTSS 2025)
September 17-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://conf.researchr.org/home/ictss-2025
(*** Proceedings to be published by Springer in LNCS ***)
(*** Special Journal Issue with SN Computer Science, Springer ***)
(*** Submission Deadline: June 2, 2025 (extended and firm!) ***)
IFIP-ICTSS is a well-established conference where researchers, developers, testers, and users
from industry get together to present and discuss the most recent innovations, experiences
and open challenges related to testing software and systems and measuring software quality.
Topics of interest include, but are not limited to:
■ AI for Software Testing and Testing of AI: the growing interest in the use of AI has also
spread in to various aspects of software testing. In addition, work is underway to test and
validate AI systems/applications (machine learning, expert systems, neural networks).
■ Aspects of testing: test derivation, test selection, test generation, test coverage, test
concretization, test implementation and execution, test result analysis, test oracle, verdict
computation, test management, active testing and passive testing, monitoring and runtime
verification.
■ Testing new technologies: this year we encourage submissions focused on testing Large
Language Models (LLMs), audit machine learning systems (especially for applications to Health)
and Quantum systems (programs, computers, and simulators).
■ Diversity on testing: diverse generation, selecting diverse test suites, foundations of testing
and diversity, applications of entropy and Kolmogorov complexity on test suite diversity.
■ Theoretical approaches: formalisms (such as automata, state machines, process algebra,
logics, Markov-chains...), testing frameworks, results for compositionality, refinement,
soundness and completeness, addressing complex systems, heterogeneous or hybrid systems.
■ Modelling languages (such as UML, MATLAB, Simulink, Modelica...) and associated
tooling for model-based testing: test generation from models, model-based oracles.
Scalability, traceability, quantification issues. Automated support of any parts of the testing
activities, testing processes, test-driven development, sound metrics and measurements.
■ Testing of quality aspects: Functional, interoperability, unit, integration, performance, load,
conformance, non-regression, reliability, robustness.
■ Security Testing: methodologies and techniques for continuous security assessment, security
monitoring, security review, penetration testing, verification of certification compliance;
automation of security testing processes.
■ Testing emerging technologies: quantum systems (programs, computers, and simulators),
genetic algorithms, metaverse, and any other technology in the early stages of testing.
■ Human Aspects of Testing: human psychology and management attitude play major roles
in formulating and adopting testing in practice.
■ Cross domains and combination of techniques: using other techniques such as proof,
model-checking, symbolic execution, abstract interpretation, static analysis, simulation,
model learning, ... to improve quality and reduce the effort in testing processes.
■ Cross domains and combination of techniques: using other techniques such as proof,
model-checking, symbolic execution, abstract interpretation, static analysis, simulation, model
learning, machine learning, expert systems, neural networks, genetic algorithms... to improve
quality and reduce the effort in testing processes.
■ Application aspects and case studies: Communicating systems such as cyberphysical
systems, systems of systems, embedded systems, web services systems, smart grids, cloud
computing systems, business information systems, real-time systems, distributed and
concurrent systems. Case studies and industrial applications involving qualified empirical
evaluations.
IFIP-ICTSS Invites:
Full papers (12 to 15 pages plus at most 2 extra pages for references in the one-column
Springer LNCS format) describing original research contributions with sufficient evidence for
the interest of the proposed approach.
Industry papers (12 to 15 pages plus at most 2 extra pages for references in the one-column
Springer LNCS format) describing original research or experience report conducted within an
industrial environment or in collaboration with an industry partner.
Short papers or work-in-progress papers (up to 6 pages plus at most 1 extra page for
references in the one-column Springer LNCS format) describing academic work in progress or
tool implementations, as well as testing processes, achievements and feedback on testing
methods for industrial case studies.
Journal-First. The aim of the Journal-First (JF) submission category is to further enrich the
program of ICTSS, as well as to provide an overall more flexible path to publication and
dissemination of original research that is within the scope of ICTSS. A submission in this
category must adhere to the following criteria:
■ It should be clearly within the scope of the conference.
■ It should be recent: it should have been accepted and made publicly available in a journal
(online or in print) by January 1, 2023 or more recently.
■ It has not been presented at, and is not under consideration for, Journal- First tracks of other
conferences or workshops.
■ The submission has to be in the form of a 4-page extended abstract and has to provide a
concise summary of the published journal paper.
■ It must be marked as such in the submission’s, and must explicitly include full bibliographic
details (including a DOI) of the journal publication they are based on. Since the referenced
journal papers have already been reviewed and accepted by the corresponding journals,
submissions in the JF category will not be reviewed again for technical content. Submissions will
be judged on the basis of the above criteria, but also considering how well they would
complement the conference’s technical program. Accepted submissions in this category will be
part of the proceedings of ICTSS 2025, with the title equal to the original title of the article with
the prefix.
The submission link is: https://easychair.org/my/conference?conf=ictss2025
The papers will be published by Springer in the LNCS volume.
Authors should consult Springer’s Instructions for Authors of Proceedings
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
and use either the LaTeX or the Word templates provided on the authors’ page. Springer’s
proceedings LaTeX templates are available in Overleaf.
Authors are encouraged to include their ORCIDs in their papers.
Journal Special Issue
Best papers of the conference will be invited to submit an extended version of their article at a
special (topical) issue of the Springer Nature of Computer Science
(https://link.springer.com/journal/42979). Deadline will be near the end of December 2025
with a tentative publication date for the middle 2026.
Collocation
ICTSS 2025 will be collocated with the 19th European Conference on Software Architecture
(https://conf.researchr.org/home/ecsa-2025).
IMPORTANT DATES
■ Paper Submission: June 2, 2025 (AoE, extended and firm!)
■ Author Notification: June 30, 2025 (AoE)
■ Camera-ready Versions and Author Registration: July 14, 2025 (AoE)
ORGANISATION
Conference Chairs
■ Silvia Bonfanti, University of Bergamo, Italy
■ George A. Papadopoulos, University of Cyprus, Cyprus
Program Committee
https://conf.researchr.org/committee/ictss-2025/ictss-2025-program-committee
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From announce at ucy.ac.cy Tue May 20 12:05:41 2025
From: announce at ucy.ac.cy (Announce)
Date: Tue, 20 May 2025 10:05:41 +0000
Subject: [fg-arc] 19th European Conference on Software Architecture (ECSA
2025): Last Mile for Workshop Papers
Message-ID: <0A4GFL0N-JYGO-D4MV-UZVL-PV6F7URMGA1B@ucy.ac.cy>
*** Last Mile for Workshop Papers ***
19th European Conference on Software Architecture (ECSA 2025)
September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://conf.researchr.org/home/ecsa-2025
(*** Proceedings to be published by Springer in LNCS ***)
(*** Submission Deadline: June 2, 2025 (extended and firm!) ***)
The European Conference on Software Architecture (ECSA) is the premier European forum for
presenting and discussing software architecture research and practice.
ECSA edition 2025 hosts workshops on topics related to software architecture. The following
workshops will be held between September 15-16, 2025:
8th International Workshop on Context-Aware, Autonomous and Smart Architectures
(CASA)
https://casaecsa.github.io/casa2025/
Software is becoming increasingly aware of its current execution context. Decisions that were
traditionally made at design time are being postponed until runtime to improve the services
that software provides to its users. In addition, software reasons about the execution
environments and its internal state to improve the functionality provided to its users. Some of
the keywords that characterize software today are: context-aware, dynamic, autonomous,
smart, adaptive, self-managed. In this context, the Context-aware, Autonomous, and Smart
Architectures (CASA) workshop aims to address the issues and challenges raised by the design,
implementation, and evaluation of software systems characterized by the above keywords.
Novel design and development approaches are needed to address the new issues raised by such
systems. New solutions are expected to properly address the trade-offs between the various
quality attributes that characterize these systems. Or, existing architectural solutions should be
adapted and improved to meet the evolving and dynamic requirements of context-aware,
autonomous, and intelligent systems. The workshop aims to bring together software engineers,
computer scientists, researchers, practitioners, and educators to discuss and exchange results,
case studies, experiences, novel approaches, and visionary ideas on software architectures for
context-aware, autonomous, and smart solutions.
1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO)
https://archdto.github.io/archdto2025/
The Digital Twin of an Organization (DTO) extends the concept of Digital Twins to create virtual
replicas of business models, processes, resources, and interactions. DTOs enable optimization
of decision-making, increased efficiency, and adaptability to rapid changes by leveraging real-
time data, simulations, AI, and predictive analytics. Despite their transformative potential,
DTOs are still in early development, facing significant software architecture challenges such as
scalability, interoperability, model robustness, and real-time data integration. This workshop
explores the architectural frameworks, design patterns, and software engineering principles
needed to build robust DTOs. Topics include frameworks for DTO creation, enterprise modeling
methodologies, technological enablers like AI and the Internet of Things, and real-world use
cases from academia and industry. Given the novelty of the topic, the workshop consists of two
main sessions: (1) presentations of academic and industry papers on DTO architectures,
frameworks, and technologies, and (2) an interactive workshop session, where participants will
engage in problem-solving, explore case studies, and collaboratively define challenges,
solutions, and best practices for architecting DTOs.
1st International Workshop on AI-Assisted Software Architecting (AISA)
https://sites.google.com/view/aisasa/home?pli=1
AI-assisted software architecting is transforming how architectural decisions are made,
implemented, and maintained. Leveraging artificial intelligence, this paradigm enhances
architectural decision making, automates repetitive architecting tasks, and optimizes system
designs. The AISA workshop aims to bring together researchers and practitioners to explore
AI’s role in various software architecting activities, including architecture analysis, design,
decision-making, evolution, and documentation. We will also discuss AI-driven architectural
pattern recommendations, best practices, and the application of AI in continuous architecting
and self-adaptive architectures. Topics include AI-assisted architecture synthesis, automated
architecture pattern selection, refactoring, security enforcement, and integrating AI into DevOps
and MLOps pipelines. The workshop will foster discussions and collaborations between
academia and industry to identify open challenges, research directions, and practical
applications
5th International Workshop on Agility with Microservices Programming (AMP)
https://amp-workshops.github.io
The AMP workshop aims to collect experiences on microservice adoption and reporting best
practices, as well as failure cases, to build community knowledge based on past mistakes and
successes. We also emphasize the current trend towards AI-driven software engineering
practices and the development of data- intensive applications. The workshop seeks for
solutions and experiences both on both AI-assisted tooling, and building data-intensive
applications and LLMs using microservices. The workshop is open to experience reports from
practitioners and academics. We seek to collect original work on the science and engineering of
programming microservices.
1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS)
https://sadis2025.smartarch.cz
Modern software systems increasingly rely on data-centric processes to fuel intelligent features,
scalable services, and real-time insights. As these systems evolve, designing effective software
architectures for data-intensive environments becomes critical yet challenging. These
architectures must address complex concerns such as handling high-velocity data streams,
ensuring security and privacy, integrating heterogeneous data sources and heterogeneous
computation fabrics (including GPUs/TPUs and edge devices), and adapting to changing
workloads. The workshop aims to bring together academic researchers, industry practitioners,
and thought leaders to explore cutting-edge approaches for building, deploying, and
maintaining robust data-centric solutions. We invite discussions on a range of topics at the
intersection of data-intensive systems and software architecture, including machine learning
(ML) pipelines, ML Operations (MLOps) frameworks and patterns, domain-specific languages,
reference architectures, and visualization techniques. Emphasis is placed on practical
experiences, innovative tools and platforms, and theoretical advancements that tackle the
ever-growing demands placed on data-intensive systems. By fostering interdisciplinary
collaboration and knowledge exchange, the workshop seeks to shape the future of data-driven
architecture design and empower professionals and researchers to address emerging challenges
in this rapidly evolving domain.
Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA)
https://www.redcad.org/events/arosa2025/
The goal of this workshop is to bring together researchers and practitioners both from the
Academia and from the Industry working in the areas of the adaptation and reconfiguration of
distributed systems. Different investigation topics are involved, such as: CBSE, Web service,
cloud applications, mobile applications, Functional and Non-Functional requirements (QoS,
performance, resilience), monitoring, diagnosis, deci- sion and execution of adaptation and
reconfiguration. Different research areas are covered: concepts, methods, techniques, and tools
to design, develop, deploy and manage adaptive and reconfigurable software systems. The
concept of adaptive and reconfigurable software systems has been introduced in order to
describe architectures, which exhibit such properties. An adaptive and reconfigurable software
system can repair itself if any execution problems occur, in order to successfully complete its
own execution, while respecting functional requirements and quality attributes. In the design of
an adaptive and reconfigurable software system, several aspects have to be considered. For
instance, the system should be able to predict or to detect degradations and failures as soon as
possible and to enact suitable recovery actions.
SUBMISSION INSTRUCTIONS
Please refer to the instructions at the workshops' web sites.
IMPORTANT DATES
• Paper Submission: June 2, 2025 (extended and firm!)
• Notification of Acceptance/Rejection: June 20, 2025
• Camera-Ready Submission: June 27, 2025
• Author Registration: June 27, 2025
• Workshop Days: September 15-16, 2025
All dates are 23:59h AoE (anywhere on Earth).
ORGANISATION
General Chairs
• Cesare Pautasso, University of Lugano, Switzerland
• Vasilios Andrikopoulos, University of Groeningen, The Netherlands
Workshops Co-Chairs
• Tommi Mikkonen, University of Jyvaskyla, Finland
• Jennifer Perez, Universidad Politécnica de Madrid, Spain
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From giovanni.casini at isti.cnr.it Thu May 22 19:58:40 2025
From: giovanni.casini at isti.cnr.it (giovanni.casini)
Date: Thu, 22 May 2025 19:58:40 +0200
Subject: [fg-arc] JELIA 2025 - FINAL CfP - DEADLINE EXTENDED
Message-ID: <475dab0091111129c385651cf1542eab@isti.cnr.it>
Dear all,
The deadline for abstract submission to JELIA 2025 is approaching.
Please note that, in response to several requests, we have made a final,
minor extension to the submission deadlines.
*** Apologies for cross-posting ***
=======================================
JELIA 2025 - FINAL CfP - DEADLINE EXTENDED
=======================================
19th European Conference on Logics in Artificial Intelligence (JELIA
2025)
September 1-5, 2025
Kutaisi, Georgia
https://viam.science.tsu.ge/jelia2025/
=======================================
== IMPORTANT DATES ==
Abstract submission: 30 May 2025 (EXTENDED!)
Paper submission: 4 June 2025 (EXTENDED!)
Notification of acceptance: 4 July 2025
Camera-ready due: 10 July 2025
The Program Committee of the 19th European Conference on Logics in
Artificial Intelligence (JELIA 2025) invites the submission of technical
papers for the conference that will be held in Kutaisi, Georgia, from
the 1st to the 5th of September 2025.
== AIMS AND SCOPE ==
The aim of JELIA 2025 is to bring together active researchers interested
in the use of logics in Artificial Intelligence, in order to discuss
current research, results, problems, and applications of both
theoretical and practical nature. JELIA strives to foster links and
facilitate cross-fertilization of ideas among researchers from various
disciplines, among researchers from academia and industry, and between
theoreticians and practitioners.
Authors are invited to submit papers presenting original and unpublished
research in all areas related to the use of logics in Artificial
Intelligence, including, but not limited to:
* Abductive and inductive reasoning
* Applications of logic-based AI systems
* Argumentation
* Automated reasoning including satisfiability checking and its
extensions
* Causality and logics
* Computational complexity and expressiveness
* Deontic logic and normative systems
* Description logics and other logical approaches to ontologies
* Knowledge representation, reasoning, and compilation
* Learning and reasoning
* Logic programming, answer set programming, constraint logic
programming
* Logics in machine learning
* Logics for uncertain and probabilistic reasoning
* Logics in multi-agent systems, games, and social choice
* Neural networks and logic rules
* Non-classical logics, such as modal, temporal, epistemic, dynamic,
spatial, paraconsistent, and hybrid logics
* Nonmonotonic logics, default logics, conditional logics
* Planning and diagnosis based on logic
* Preferences and optimization
* Reasoning about actions
* Updates, belief revision and nonmonotonic reasoning
Submissions describing implemented systems/applications and their
application area(s) are also welcome.
== SPECIAL TRACK ==
Also this year we will include a Special Track on Logics for Explainable
and Trustworthy AI. We welcome contributions that explore logic-based
approaches to making AI more transparent, safer, or more trustworthy.
The track aims to draw attention to this timely topic and create a space
for discussing the role of logic. The papers accepted for the special
track will be presented in dedicated sessions at the conference.
== AWARDS ==
JELIA 2025 is happy to announce that there will be Best Paper and Best
Student Paper Prizes sponsored by Springer, each is a cash prize
amounting to EUR 500. The Program Committee will select for this honor
the contribution of the highest technical excellence and scientific
merit. In the case of the latter award, the primary author of the paper
must be a student at the time of submission.
The authors of selected contributions of outstanding quality will be
invited to submit an extended version of their work to the TPLP journal
and will enjoy fast-track reviewing and publication.
== SUBMISSION DETAILS ==
Submission Site: https://easychair.org/conferences/?conf=jelia2025
JELIA 2025 welcomes submissions of long or short papers. All submissions
should contain original research, and sufficient detail to assess the
merits and relevance of the contribution. Submissions must not have been
previously published or be simultaneously submitted for publication
elsewhere; see also the note below.
All submissions should not exceed 13 pages for long papers and 6 pages
for short papers (excluding references and acknowledgments, including
everything else, for example figures), and should be written in English.
Papers must be self-contained; appendices with additional material (such
as proofs) will only be considered at the reviewers' discretion and will
not be published. Submissions must be formatted according to the
standard Springer LNCS style (see
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines),
and are not anonymous. The conference proceedings of JELIA 2025 will be
published by Springer Verlag in the series Lecture Notes in Artificial
Intelligence, a sub-series of Lecture Notes in Computer Science
(important note: Springer will require all the LaTeX source files of all
accepted submissions).
== CONFERENCE CHAIRS ==
** General Chair
Besik Dundua, Tbilisi State University & Kutaisi International
University, Georgia
** Program Chairs
Giovanni Casini, CNR - Institute of Information Science and
Technologies, Italy
Temur Kutsia, RISC, Johannes Kepler University, Austria
** Organization Chair
Mikheil Rukhaia, Institute of Applied Mathematics, Tbilisi State
University, Georgia
** Organization Committee
Matthias Baaz, Vienna University of Technology
Mariam Gamsakhurdia, Vienna University of Technology
Revaz Grigolia, Tbilisi State University
Lia Kurtanidze, Georgian National University - SEU
Levan Uridia, Andrea Razmadze Mathematical Institute, Tbilisi State
University
== POLICY ON MULTIPLE SUBMISSIONS ==
JELIA 2025 will not accept any paper that, at the time of submission, is
under review or has already been published or accepted for publication
in a journal or another conference. Authors are also required not to
submit their papers elsewhere during JELIA's review period. However,
these restrictions do not apply to previous workshops with a limited
audience and without archival proceedings.
Any additional questions can be directed towards the JELIA Chairs:
For general inquiries: jelia2025 at easychair.org
For inquiries to the local organization: jelia.kutaisi.2025 at gmail.com
We look forward to receiving your submissions and seeing you in Kutaisi
in September 2025!
== COLOCATED EVENTS ==
The 15th International Tbilisi Symposium on Logic, Language and
Computation (TbiLLC 2025) will be held in Kutaisi from September 8 to
12, 2025 (https://events.illc.uva.nl/Tbilisi/Tbilisi2025/)
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From valerio.besozzi at phd.unipi.it Tue May 27 11:22:56 2025
From: valerio.besozzi at phd.unipi.it (Valerio Besozzi)
Date: Tue, 27 May 2025 09:22:56 +0000
Subject: [fg-arc] [CFP][DEADLINE EXTENDED] AHPC3: The 2nd Workshop on
Accelerated HPC in the Cloud-Edge Continuum
Message-ID:
--Apologies for multiple postings. Share this CFP with anyone you believe may be interested. --
========================================================================
AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum
Affiliated with the 13th IEEE International Conference on Cloud Engineering (IC2E2025)
September 23-26, 2025, Rennes, France
Workshop site: http://ahpc3.di.unipi.it/
Conference site: https://conferences.computer.org/IC2E/2025/
Submission site: http://ahpc3.di.unipi.it/submissions.html
========================================================================
Important Dates
---------------
- June 03, 2025: Submission of paper abstracts -> June 10, 2025 (EXTENDED)
- June 16, 2025: Submission of short/regular papers -> June 23, 2025 (EXTENDED)
- July 21, 2025: Notification to authors
- July 31, 2025: Submission of camera-ready
Overview
--------
We are witnessing an increasing demand for high-performance computing (HPC)
infrastructures. Modern applications require processing of computationally intensive
workloads, across diverse domains driven by AI/ML, federated learning, and data-intensive
needs in distributed Cloud-Edge-HPC environments.
Traditional distinctions between HPC and cloud infrastructures are blurring as modern
cloud and edge environments incorporate capabilities historically exclusive to HPC systems.
The AHPC3 workshop focuses on achieving HPC via Cloud-Edge architectures, promoting
energy-efficient execution, green computing, and intelligent resource management.
It explores the adaptation of technologies like serverless computing, microservices,
and fine-grained task offloading for scalable and resilient HPC applications.
We welcome original contributions on programming paradigms, runtime systems, orchestration
frameworks, efficient data management, fault tolerance, security, and sustainability
in hybrid environments.
Topics of Interest
------------------
- Adaptation of cloud-edge technologies for HPC (e.g., serverless, microservices, task offloading)
- Cloud-edge computing architectures for HPC (e.g., resource federation)
- Lightweight virtualization, execution environments, and scheduling techniques
- Orchestration and deployment of high-performance workflows
- Programming paradigms for high-performance Cloud-Edge computing
- Communication, data, and resource management in Cloud-Edge computing
- Fault tolerance, reliability, and security
- Data-intensive workloads and monitoring tools
- Energy-efficient computing in Cloud-Edge environments
- Accelerated computing (e.g., GPUs, AI/ML accelerators)
- Network-aware optimization and data movement
- Federated resource-sharing and learning
- Novel orchestration algorithms for cloud/edge
- ML/AI-based support for Cloud/Edge computing
Submissions and Attendance
--------------------------
Submission link: http://ahpc3.di.unipi.it/submissions.html
Accepted papers will be published in the conference proceedings. Submissions must be original
and not under consideration elsewhere. Papers (5–9 pages) must follow IEEE conference format.
At least one author must register and present the paper.
Organisers
----------
- Luca Ferrucci, University of Pisa - luca.ferrucci at unipi.it
- Stefano Forti, University of Pisa - stefano.forti at unipi.it
- Valerio Besozzi, University of Pisa - valerio.besozzi at phd.unipi.it
- Jacopo Massa, University of Pisa - jacopo.massa at di.unipi.it
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From Cassia.Trojahn at irit.fr Tue May 20 09:40:57 2025
From: Cassia.Trojahn at irit.fr (Cassia TROJAHN)
Date: Tue, 20 May 2025 09:40:57 +0200
Subject: [fg-arc] =?utf-8?q?=5BESAO_1CfP=5D_16th_ESAO_webinar=3A_Renata_G?=
=?utf-8?q?uizzardi_on_Ontology-based_Ethical_Requirements_for_AI_Systems?=
=?utf-8?q?=2C_June_03_2025_16=3A00_CEST?=
In-Reply-To: <2a2c0f-67d85080-e1-713a6780@34398965>
References: <21d544-67bf6700-ef-51fdb680@228750614>
<2a2c0f-67d85080-e1-713a6780@34398965>
Message-ID: <2e52f-682c3200-cd-4b9ec200@55071367>
Dear all,
The Educational Series on Applied Ontology (ESAO) [1] is open for
everyone and welcomes students, researchers and practitioners alike.
The 16h ESAO webinar will be held on Tuesday June 03 2025 16:00 CEST.
---------------------------
When and how to connect
Thursday June 03, 2025 14:00 UTC / 16:00 CEST / 16:00 SAST (see more local times [2])
Duration: 60 minutes
Video conference (via Zoom)
https://univ-tlse2.zoom.us/j/92895546685?pwd=DQD7Wzf3ZJw02LJ2hHmrVDwdN474PZ.1
---------------------------
Program
14:00-15:00 UTC / 16:00-17:00 CEST / 16:00-17:00 SAST / 11:00-132:00 UTC-3
Renata Guizzardi, Behavioral, Management and Social Sciences Faculty, (IEBIS group), University of Twente.
Title: Ontology-based Ethical Requirements for AI Systems
Abstract: Ethical behavior is an integral part of people’s everyday life whether they are aware of this or not. This is what happens, for example, when doctors use ethical criteria to choose which patients should be prioritized in face of limited resources, or when people are treated fairly in job interview despite their color and gender. With the speedy development of intelligent technology, systems are more and more pervasive, and machines are also expected to make ethical decisions and act ethically. However, to ensure that, system developers must be aware of ethical principles. Moreover, such principles must guide development, thus being explicitly embedded in system engineering methods. In this talk, I argue that ontologies can play a crucial role in supporting awareness, besides being essential in the development of engineering practices leading to ethical and trustworthy systems. In particular, I will introduce our own current efforts in the development of ontology-based requirements engineering and what that entails.
Best regards
Cassia Trojahn, Frank Loebe, Laure Vieu, Lucia Gomez Alvarez
On behalf of the IAOA Education Committee
[1] https://wiki.iaoa.org/index.php/Edu:ESAO
[2] https://www.timeanddate.com/worldclock/fixedtime.html?iso=20250603T1400
From shinhyung.yang at email.uni-kiel.de Wed May 21 10:58:35 2025
From: shinhyung.yang at email.uni-kiel.de (Shinhyung Yang)
Date: Wed, 21 May 2025 10:58:35 +0200
Subject: [fg-arc] CfP: 16th Symposium on Software Performance 2025
Message-ID:
===========================================
16th Symposium on Software Performance 2025
===========================================
Call for Papers
Abstract submission: August 18, 2025
Paper submission: August 25, 2025
November 4 and 5, 2025
Kiel, Germany
https://www.performance-symposium.org
===========================================
The Symposium on Software Performance (SSP) brings together researchers
and practitioners interested in software performance, where
"performance" is understood both in a classical sense as "the amount of
useful work accomplished by a software system compared to the time and
resources used", as well as in a broader sense as "the manner in which
or the efficiency with which a software system reacts or fulfills its
intended purpose". The scope of SSP spans measurement, modeling,
benchmark design, and run-time management. The focus is both on
classical performance metrics such as response time, throughput, and
resource utilization, as well as on the relationship of such metrics to
other software quality attributes including but not limited to
scalability, elasticity, (energy) efficiency, dependability (in terms of
availability and reliability), resilience, security, and privacy. Topics
of interest include the design of metrics, benchmarks, and tools for
quantitative system evaluation and analysis, as well as the development
of methodologies, techniques, and tools for modeling, measurement, load
testing, monitoring, profiling, workload characterization, and run-time
management of software systems with respect to the mentioned quality
attributes.
The symposium originates from the three established research groups
Descartes, Kieker, and Palladio; thus this symposium also serves as a
joint community meeting. Descartes' focus is techniques and tools for
engineering self-aware computing systems designed for maximum
dependability and efficiency. Kieker is a well-established tool and
approach for monitoring the software performance of complex, large, and
distributed IT systems. Palladio is a likewise-established tool and
approach for modeling architectures of IT systems and for simulating
quality properties, such as performance, or reliability metrics.
The 16th Symposium on Software Performance 2025 proposes a two-day
meeting at the Marine Science Campus in Kiel in Germany. SSP 2025 is
supported by the GI special interest group "Softwaretechnik" and
sponsored by adesso and Dynatrace.
SCOPE:
------
Submissions are thought for plans, ongoing work, or results on:
* Software quality analysis with regard to:
* Performance
* Scalability and elasticity
* Energy efficiency
* Dependability and resilience
* Security and privacy
* Application performance measurement and management
* Performance measurement and benchmarking
* Performance modeling (modeling, simulation, extraction and calibration)
* Automated run-time management of software systems
* Automated approaches for performance problem detection and resolution
* Performance-related challenges in industrial software systems
* Application of Descartes, Kieker, or Palladio in projects
Note that we explicitly welcome contributions that have already been
(partially) presented at other events or in publications.
SUBMISSION:
-----------
We solicit technical papers (maximum 3 pages) and extended abstracts for
industry or experience talks (maximum 700 words).
Easy Chair: https://easychair.org/cfp/SSP25
Proceedings: Accepted Papers will appear in the GI Softwaretechnik-Trends.
IMPORTANT DATES:
----------------
August 18, 2025 Abstract submission until 23.59 AoE (for all paper
types)
August 25, 2025 Paper submission until 23.59 AoE
ORGANIZATION:
-------------
Henning Schnoor, Kiel University, henning.schnoor at email.uni-kiel.de
Shinhyung Yang, Kiel University, shinhyung.yang at email.uni-kiel.de
More information is available on our website:
https://www.performance-symposium.org
We look forward to your submission and to meeting you in Kiel.
Kind regards,
The SSP’25 organization team
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4426 bytes
Desc: S/MIME Cryptographic Signature
URL:
From andrea.rosa at usi.ch Wed May 21 19:53:23 2025
From: andrea.rosa at usi.ch (Andrea Rosa)
Date: Wed, 21 May 2025 17:53:23 +0000
Subject: [fg-arc] =?utf-8?q?ICOOOLPS_2025_-_Co-located_with_ECOOP?=
=?utf-8?q?=E2=80=9925_-_Call_for_Papers?=
Message-ID:
========================================================================
ICOOOLPS 2025 – Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
Co-located with ECOOP 2025
June 30 - July 4, 2025, Bergen, Norway
https://2025.ecoop.org/home/ICOOOLPS-2025
========================================================================
The ICOOOLPS workshop series brings together researchers and practitioners working in the field of language implementation and optimization (even beyond the historical OO background of the workshop). The goal of the workshop is to discuss emerging problems and research directions, as well as new solutions and techniques.
We hope to provide a space for participation and discussion and in particular to bring up burgeoning ideas and work in progress. Such contributions can be submitted as position papers or short (aka lightning) talks. This year, we will also accept a new kind of submissions: code walks!
A non-exclusive list of topics of interest for ICOOOLPS includes:
Implementation and optimization of fundamental languages features (from memory management to metaprogramming)
Abstraction lowering and representation techniques (exceptions, concurrency, capabilities, …)
Runtime systems technology (libraries, virtual machines)
Compilation tools, techniques, and libraries for language interoperability
Static, adaptive, and speculative optimizations and compiler techniques
Meta-compilation techniques and language-agnostic approaches for the efficient implementation of languages
Compiler toolchains (intermediate representations, offline and online optimizations,…)
Compiler retargeting (e.g., retargeting existing compilers to WebAssembly, Javascript, LLVM, Ethereum, …)
Resource-sensitive systems (real-time, low power, mobile, cloud)
Power-efficient code and compiler techniques for generating power-efficient code
Studies on design choices and tradeoffs (dynamic vs. static compilation, heuristics vs. programmer input, …)
Tooling support, debuggability and observability of languages as well as their implementations
Empirical studies on language usage, benchmark design, and benchmarking methodology
The use of VMs in teaching programming and programming languages
----------------------------------
Workshop Format
----------------------------------
The workshop welcomes the presentation and discussion of new ideas and emerging problems. We aim to provide an environment to present and discuss your work at different stages of maturity.
Therefore, we provide four submission categories:
Full papers (up to 12 pages), which will be included in the proceedings;
Position papers (up to 4 pages), for work in progress, ideas in early stages;
Code walks and demonstrations, for diving into concrete implementation details involving interesting approaches. Code walks and demonstrations should be submitted as 1-page abstracts describing their contents, which will be evaluated on their relevance and suitability for the workshop's audience and venue.
Lightning talk (~5 min), for sharing burgeoning thought-provoking ideas. Lightning talks should be submitted with a title and short (~1 paragraph) abstract.
Note that short papers and abstracts from keynote speakers are welcome in the front matter of Journal of Object Technology (https://www.jot.fm/), which will also include a preface written by the editors of the volume.
All accepted submissions except lighting talks are expected to be presented in a 30-minute slot. Accepted full papers will be published in ACM DL.
----------------------------------
Submission Guidelines
----------------------------------
To submit a paper, please use the official “ACM Master article template”, which can be obtained from the ACM Proceedings Template pages. ICOOOLPS features a light-weight double-blind review process.
Authors should omit their names in the submission.
Use the "sigconf" option as well as "review" and "anonymous", i.e., place the following at the start of the latex document: \documentclass[sigconf,review,anonymous]{acmart}.
The address of the submission site is: https://easychair.org/my/conference?conf=icooolps2025
All deadlines are Anywhere on Earth (AoE), i.e. GMT/UTC−12:00 hour.
For additional information, clarification, or answers to questions, contact the program chairs.
----------------------------------
Important Dates
----------------------------------
All deadlines are Anywhere on Earth (AoE), i.e., UTC-12h
2025-05-28: Paper submission deadline
2025-06-12: Acceptance notification
2025-07-02: Workshop
----------------------------------
Organization
----------------------------------
PC Chairs:
Paulo Ferreira, University of Oslo
Andrea Rosà, Università della Svizzera italiana
Program Committee:
Edd Barrett, King's College London
Rodrigo Bruno, INESC-ID / Instituto Superior Técnico, ULisboa
Aleksandar Prokopec, Oracle Labs
Dimitri Racordon, EPFL
Adam Welc, Mysten Labs
Olivier Zendra, Inria
----------------------------------
AUTHORS TAKE NOTE
----------------------------------
The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks before the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.
-------------------------
Andrea Rosà
Faculty of Informatics
Università della Svizzera italiana (USI)
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
From alex.sabau at swc.rwth-aachen.de Wed May 28 09:01:18 2025
From: alex.sabau at swc.rwth-aachen.de (Sabau, Alex)
Date: Wed, 28 May 2025 07:01:18 +0000
Subject: [fg-arc] Studie zu von LLM generierten
Systemanforderungsspezifikationen
Message-ID:
Liebe KollegInnen der Fachgruppe Architekturen (FG-ARC),
wir, vom Lehr- und Forschungsgebiet Informatik 3 (Softwarekonstruktion) der
RWTH Aachen, führen derzeit eine Umfrage durch, mit der wir evaluieren
möchten, für wie realistisch Softwareexperten
Systemanforderungensspezifikationen (SyRS) (in der Studie Software
Scenarios genannt) halten, die von einem blackbox-LLM generiert wurden.
Wir hoffen mit dieser Studie Rückschlüsse darüber ziehen zu können, ob
blackbox-LLMs wie ChatGPT mittels Prompt Engineering Techniken genutzt
werden können, um technisch korrekte und sinnvolle SyRS generieren zu
können, die u.a. für Testzwecke und Benchmarks verwendet werden könnten.
Darüber hinaus versuchen wir ebenso zu beobachten, welchen Effekt
Eigenschaften von LLMs wie Hallucination und Overconfidence auf
Expertenbewertungen von durch LLMs generierte Daten haben.
Den Fragebogen finden Sie in Englischer Sprache bis zum 15.06. unter
folgendem Link: https://www.soscisurvey.de/evaluation-ai-software-scenarios/
Eine Teilnahme dauert ca. 10 bis 15 Minuten und findet völlig anonym statt.
Wir empfehlen zur Gewährleistung der Qualität der erhobenen Daten den
Fragebogen in einer ruhigen Umgebung auszufüllen, und sich währenddessen
keinen anderen Aktivitäten zu widmen.
Ihre Eignung zur Teilnahme an der Studie wird zu Beginn des Fragebogens
ermittelt.
Jede Teilnahme unterstützt unsere Studie sehr!
Bitte teilen Sie den Umfragelink auch mit technischen und fachlichen
Softwareexperten in Ihrem Netzwerk!
Wir danken Ihnen für Ihre Unterstützung!
Herzliche Grüße,
Alex R. Sabau
--
Alex R. Sabau
Research Assistant
Faculty of Mathematics, Computer Science and Natural Sciences
SWC - Computer Science 3 Research Group Software Construction
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen, Germany
phone: +49 241 80-21366
fax: +49 241 80-621331
alex.sabau at swc.rwth-aachen.de
http://www.swc.rwth-aachen.de
room: 4105a (building E1, 1st floor)
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 6885 bytes
Desc: not available
URL:
From Cassia.Trojahn at irit.fr Wed May 28 09:51:28 2025
From: Cassia.Trojahn at irit.fr (Cassia TROJAHN)
Date: Wed, 28 May 2025 09:51:28 +0200
Subject: [fg-arc] =?utf-8?q?=5BESAO_2nd_CfP=5D_16th_ESAO_webinar=3A_Renat?=
=?utf-8?q?a_Guizzardi_on_Ontology-based_Ethical_Requirements_for_AI_Syste?=
=?utf-8?q?ms=2C_June_03_2025_16=3A00_CEST?=
Message-ID: <7e4b4-6836c080-8b-6f962480@198416214>
Second Call for Participation
------
Dear all,
The Educational Series on Applied Ontology (ESAO) [1] is open for
everyone and welcomes students, researchers and practitioners alike.
The 16h ESAO webinar will be held on Tuesday June 03 2025 16:00 CEST.
---------------------------
When and how to connect
Thursday June 03, 2025 14:00 UTC / 16:00 CEST / 16:00 SAST (see more local times [2])
Duration: 60 minutes
Video conference (via Zoom)
https://univ-tlse2.zoom.us/j/92895546685?pwd=DQD7Wzf3ZJw02LJ2hHmrVDwdN474PZ.1
---------------------------
Program
14:00-15:00 UTC / 16:00-17:00 CEST / 16:00-17:00 SAST / 11:00-132:00 UTC-3
Renata Guizzardi, Behavioral, Management and Social Sciences Faculty, (IEBIS group), University of Twente.
Title: Ontology-based Ethical Requirements for AI Systems
Abstract: Ethical behavior is an integral part of people’s everyday life whether they are aware of this or not. This is what happens, for example, when doctors use ethical criteria to choose which patients should be prioritized in face of limited resources, or when people are treated fairly in job interview despite their color and gender. With the speedy development of intelligent technology, systems are more and more pervasive, and machines are also expected to make ethical decisions and act ethically. However, to ensure that, system developers must be aware of ethical principles. Moreover, such principles must guide development, thus being explicitly embedded in system engineering methods. In this talk, I argue that ontologies can play a crucial role in supporting awareness, besides being essential in the development of engineering practices leading to ethical and trustworthy systems. In particular, I will introduce our own current efforts in the development of ontology-based requirements engineering and what that entails.
Best regards
Cassia Trojahn, Frank Loebe, Laure Vieu, Lucia Gomez Alvarez
On behalf of the IAOA Education Committee
[1] https://wiki.iaoa.org/index.php/Edu:ESAO
[2] https://www.timeanddate.com/worldclock/fixedtime.html?iso=20250603T1400
From announce at ucy.ac.cy Fri May 30 10:14:41 2025
From: announce at ucy.ac.cy (Announce)
Date: Fri, 30 May 2025 08:14:41 +0000
Subject: [fg-arc] The 33rd IEEE International Conference on Software
Analysis,
Evolution and Reengineering (SANER 2026): Second Call for Papers and
Workshop & Tutorial Proposals
Message-ID: <7L5ZGM6J-SSCF-4MRK-RW3J-IOFQ3QOI3VFY@ucy.ac.cy>
*** Second Call for Papers and Workshop & Tutorial Proposals ***
The 33rd IEEE International Conference on Software Analysis, Evolution and
Reengineering (SANER 2026)
17-20 March, 2026, 5* St. Raphael Resort and Marina, Limassol, Cyprus
https://conf.researchr.org/home/saner-2026
The 33rd edition of the IEEE International Conference on Software Analysis, Evolution, and
Reengineering (SANER 2026) invites high-quality submissions of papers describing original
and unpublished research results. We encourage submissions describing various types of
research, including empirical, theoretical, and tool-oriented studies.
TOPICS OF INTEREST
The topics of the submissions should be of direct interest to the software analysis, evolution,
and reengineering community (including researchers, practitioners, educators). Topics of
interest include, but are not limited to:
• AI for Software Engineering and Software Engineering for AI (see note below);
• Generative AI and LLM applied to analysis, evolution and reengineering of software;
• Software Analysis, Parsing, and Fact Extraction;
• Software Maintenance and Evolution, Evolution Analysis;
• Software Reverse Engineering and Reengineering;
• Program Comprehension;
• Software Architecture Recovery and Reverse Architecting;
• Program Transformation and Refactoring;
• Mining Software Repositories and Software Analytics;
• Software Visualization;
• Software Reconstruction and Migration;
• Program Repair;
• Software Release Engineering, Continuous Integration and Delivery;
• Software Tools for Software Evolution and Maintenance;
• Human factors and legal aspects in the context of Software Analysis, Evolution and
Reengineering
• Empirical studies on all the above topics;
• Education related to all of the above topics.
Papers involving AI must either (a) concern a software system as a whole, or a subsystem, and
not simply its AI or ML component, (b) consider software engineering artifacts, (c) target a
novel context for a software engineering task, or (d) study human, social, socio-technical, and
organizational aspects in the development of AI-intensive software systems (see also “Scoping
Software Engineering for AI: The TSE Perspective”, 10.1109/TSE.2024.3470368). Other papers
may fit more AI- or ML-specialized venues instead.
SUBMISSION INSTRUCTIONS
All submitted papers will undergo a rigorous peer review process and will be selected based
on originality, quality, soundness, and relevance. Submissions must be original, not
published, accepted, or under review elsewhere. All submissions must be in PDF format and
conform to the IEEE Conference Proceedings Formatting Guidelines.
• Research Track: Submissions should not exceed 12 pages (with the last 2 pages reserved for
references only).
• Industrial Papers Track: Submissions should not exceed 12 pages (with the last 2 pages
reserved for references only) for full papers; talk proposals should not exceed 2 pages.
• Short Papers and Posters Track: Submissions should not exceed 6 pages (including all text,
figures, references, and appendices); posters should not exceed 2 pages.
• Early Research Achievement (ERA) Track: Submissions should not exceed 6 pages (with the
last 1 page reserved for references only).
• Reproducibility Studies and Negative Results (RENE) Track: Submissions should not exceed 5
pages for appendices to conference submissions or previous work and should not exceed 12
pages for new reproducibility studies and new descriptions of negative results (with the last 2
pages reserved for references only).
• Tool Demo Track: Submissions should not exceed 5 pages.
• Journal-First Papers Track: Submissions should not exceed 1 page (for the main submission).
• Registered Report Track: Submissions should not exceed 7 pages (with the last 1 page
reserved for references only).
Important Note: Research, Short Papers and Posters, ERA, and RENE Tracks follow a double-
anonymous review process.
SPECIAL JOURNAL ISSUE
Authors of selected research papers accepted at SANER 2026 will be invited to submit revised,
extended versions of their manuscripts for a special issue featured by Springer’s Empirical
Software Engineering Journal (EMSE). The best papers from the conference will be awarded.
CALL FOR WORKSHOPS
In SANER 2026, we solicit proposals for workshops to be held in conjunction with the main
conference. Workshops can be full or half-day and should highlight a specific topic of interest
related to software analysis, evolution, and reengineering. We encourage workshop organizers
to include activities that provide their participants with a true workshop experience.
All workshops will tentatively be scheduled for the first day of the conference (March 17,
2026), the day before the main conference.
Should you be interested in joining SANER, please keep the deadlines below in mind.
Submission Instructions
Proposal submission: By 20th August, 2025 AoE, the workshop proposal (in the form of call
for papers) should be submitted to the workshops EasyChair page:
https://easychair.org/my/conference?conf=saner2026 .
The submission could be a PDF file (no more than two pages) or a public link to a call for
papers webpage.
The call for papers should include:
• a workshop title,
• a description of the workshop topic and scope,
• an indication of whether the workshop will take ½ day or a full day,
• a link to the workshop website,
• and the contact information.
The website should be live and include (at least) the following information: the topic of the
workshop, its scope, list of topics of interest, names of the organizing committee members
and their affiliations, types of submissions and the important dates as follows (all dates are
23:59h AoE):
• Abstract Submission: 12 December, 2025
• Paper Submission: 18 December, 2025
• Notification: 14 January, 2026
• Camera-Ready: 20 January, 2026
Evaluation Criteria
The proposals will be evaluated by the workshops track chairs based on the novelty of the
workshop topic, its importance to the field, as well as the composition of the
organizing team.
Workshop PC and Submission System
No later than mid of September 2025, the workshop PC should have been finalized and the
paper submission system should be live. Workshop organizers are free to select EasyChair,
HotCRP or any other commonly used paper submission system.
The workshop proceedings will be included in a separate section of the conference’s
proceedings – the companion proceedings.
CALL FOR TUTORIALS
The SANER 2026 Workshops & Tutorials track invites practitioners and researchers to deliver
insightful tutorials on various topics related to Software Analysis, Evolution, and
Reengineering.
These tutorials aim to expand the community’s understanding of advanced software
engineering topics, valuable tools and technologies, as well as research methodologies.
We are soliciting abstracts with the intention of presenting a tutorial in the following categories:
1 - Technical Tutorial: Speakers present the use of a tool or technology that aids the
developers in Software Analysis, Evolution, and Reengineering.
2 - Research problem: Speakers provide a general view of the state-of-the-art for a topic
related to Software Analysis, Evolution, and Reengineering and further present details of a
specific research problem that still needs to be addressed by the community.
Submission Instructions
The proposal should not exceed one page (with up to one additional page for references) and
should outline the talk. Furthermore, it should follow the IEEE Conference Proceedings
Formatting Guidelines (title: 24pt, text: 10pt; LaTeX users: \documentclass[10pt,conference]
{IEEEtran}). All proposals must be submitted in PDF format through
https://easychair.org/my/conference?conf=saner2026. The submission should include:
• Title,
• Type of proposal (Technical Tutorial or Research problem),
• Names of presenters and their affiliation,
• Duration,
• Outline of the tutorial talk,
• Target audience (e.g., PhD students, early career researchers, all researchers, practitioners),
• Learning objectives,
• Details on any hands-on activities (e.g., participants using a tool or completing exercises)
and the necessary computer specifications,
• Preferred dates (please note that date preferences cannot be guaranteed).
Evaluation Criteria
• Overall quality of the proposal,
• Relevance to the SANER audience,
• Level of interest they believe the tutorial will attract,
• Experience of the presenters,
• Avoidance of duplication, in case of multiple tutorials on the same topic.
SUBMISSION LINK
https://easychair.org/my/conference?conf=saner2026
IMPORTANT DATES
(All deadlines are 23:59h "Anywhere on Earth" time)
Research Track
• Abstract Submission Deadline: 9 October, 2025
• Paper Submission Deadline: 16 October, 2025
• Notifications: 9 December, 2025
• Camera-Ready: 9 January, 2026
Industrial Track
• Abstract Submission Deadline: 10 November, 2025
• Paper Submission Deadline: 17 November, 2025
• Notifications: 19 December, 2025
• Camera-Ready: 14 January, 2026
Short Papers and Posters Track
• Abstract Submission Deadline: 10 November, 2025
• Paper Submission Deadline: 17 November, 2025
• Notifications: 19 December, 2025
• Camera-Ready: 14 January, 2026
Early Research Achievement (ERA) Track
• Abstract Submission Deadline: 10 November, 2025
• Paper Submission Deadline: 17 November, 2025
• Notifications: 19 December, 2025
• Camera-Ready: 14 January, 2026
Reproducibility Studies and Negative Results (RENE) Track
• Abstract Submission Deadline: 10 November, 2025
• Paper Submission Deadline: 17 November, 2025
• Notifications: 19 December, 2025
• Camera-Ready: 14 January, 2026
Tool Demo Track
• Paper Submission Deadline: 17 November, 2025
• Notifications: 19 December, 2025
• Camera-Ready: 14 January, 2026
Journal-First Track
• Paper Submission Deadline: 8 December, 2025
• Notifications: 22 December, 2025
Registered Report Track
• Submission Deadline: 7 November, 2025
• First Notification (Reviews): 5 December, 2025
• Second Round Submission (Rebuttal & Revised Report): 12 December, 2025
• Final Notification (Stage 1): 22 December, 2025
• Accepted Report to arXiv Submission: 9 January, 2026
Workshop & Tutorial Proposals
• Workshop Proposals Submissions: 20 August, 2025
• Workshop Proposals Notification: 27 August, 2025
• Tutorial Proposals Submissions: 12 January, 2026
• Tutorial Proposals Notification: 12 January, 2026
• Tutorial Camera-Ready Version: 16 January, 2026
ORGANISING COMMITTEE
General Chair
• Georgia Kapitsaki, University of Cyprus, Cyprus
Local Organizing Chair
• George Angelos Papadopoulos, University of Cyprus, Cyprus
Program Chairs
• Eunjong Choi, Kyoto Institute of Technology, Japan
• Matthias Galster, University of Canterbury, New Zealand
Industrial Chairs
• Anne Etien, University of Lille, France
• Tushar Sharma, Dalhousie University, Canada
ERA Chairs
• Mairieli Wessel, Radboud University, Netherlands
• Christoph Treude, Singapore Management University, Singapore
Short Papers and Posters Chairs
• Eleni Constantinou, University of Cyprus, Cyprus
• Sandro Schulze, Anhalt University of Applied Sciences, Germany
RENE Chairs
• Apostolos Ampatzoglou, University of Macedonia, Greece
• Sebastian Proksch, Delft University of Technology, Netherlands
Workshop/Tutorial Chairs
• Marcelo De Almeida Maia, Federal University of Uberlandia, Brazil
• Juri Di Rocco, University of L'Aquila, Italy
Journal-First Chairs
• Luigi Lavazza, Università degli Studi dell'Insubria, Italy
• Yuxia Zhang, Beijing Institute of Technology, China
Registered Report Chairs
• Sherlock A. Licorish, University of Otago, New Zealand
• Sebastiano Panichella, Zurich University of Applied Science, Switzerland
Tool Demo Chairs
• Maliheh Izadi, Delft University of Technology, Netherlands
• Roberto Verdecchia, University of Florence, Italy
Diversity, Inclusion, and Newcomers Chairs
• Catia Trubiani, Gran Sasso Science Institute, Italy
• Aldeida Aleti, Monash University, Australia
Proceedings Chair
• Raula Gaikovina Kula, Osaka University, Japan
Most Influential Paper Award Chairs
• Alexander Chatzigeorgiou, University of Macedonia, Greece
• Michele Lanza, Software Institute - USI, Lugano, Switzerland
Sustainability Chair
• Maria Papoutsoglou, University of Cyprus, Cyprus
Financial Chair
• Constantinos Pattichis, University of Cyprus, Cyprus
Publicity and Social Media Chair
• Erina Makihara, Ritsumeikan University, Japan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: