Conférences  >  Informatique  >  Génie logiciel

This is the 27th edition of the annual conference on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The Association for Constraint Programming has a list of previous conferences in this series

Abdus Salam International Centre for Theoretical Physics (ICTP), Trieste, Italy

Logiciels,    Calcul scientifique et science des données

Abdus Salam International Centre for Theoretical Physics (ICTP), Trieste, Italy

Électronique,    Matériel informatique

entwickler.de Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul Cloudinfra vom 15. - 17. April 2024 in München. Die Teilnehmer:innen lernen hier von Trainer Johannes Bumüller Wege zur Realisierung dynamischer Cloud-Native-Architekturen, Container Application Design, Logging/Monitoring/Alerting, Container Native Storage und Möglichkeiten zur UI-Integration. Ebenso werden typische Konzepte aktueller Container-Manager aufgezeigt und vermittelt, wie sich damit für größere Webanwendungen gängige Qualitätsanforderungen realisieren lassen. Zusätzlich werden bekannte Cloud-Anbieter klassifiziert, Möglichkeiten zur Automatisierung aufgezeigt, Ansätze der Softwareentwicklung und des Application Lifecycle besprochen.

Auszug aus den Trainingsinhalten

- Grundlagen moderner Infrastrukturen

- Gängige Architekturkonzepte

- Cloud Native Journey

- Hilfreiche Muster (Pattern)

- Development, CI/CD und Betrieb

- Automatisierung

Teilnehmende können sich den Besuch der Veranstaltung als Kompetenzerwerb im Advanced Level Programm des iSAQB anrechnen lassen. Mit der Teilnahme an diesem Modul erhalten sie 10 Credit Points im methodischen und 20 im technischen Bereich.

Email.: info@entwickler-akademie.de

Software Architecture, Cloud-Native-Architekturen, Container Native Storage, UI-Integration, Cloud Native Journey, Development

Evénement multidisciplinaires ou générales en informatique,    Formation en informatique

Entwickler.de

Auf dem MAD Summit vom 25. - 27. November 2024 in Berlin, präsentiert von der entwickler.de, lernen Teilnehmer:innen von erfahrenen Trainer:innen in über 20 Hands.On-Workshops optimale Erstellung, schnelle Implementierung und effiziente Bereitstellung von moderner Software und Software Design Das Trainingsevent richtet sich an Software Entwickler:innen und Software Engineers, Software Architekt:innen und Enterprise Architects sowie IT Projektleiter:innen.

Tél.: [ypreuss@sandsmedia.com];     Email.: +49(0)30-2148066-51

Entwickler.de Akademie

In diesem intensiven Workshop bereiten wir Sie gezielt und praxisnah auf die Aufgaben von Softwarearchitekt:innen vor. Sie lernen das methodische Handwerkszeug erfolgreicher Architekten kennen: Wie sollten Sie vorgehen? Wie entwerfen und kommunizieren Sie Ihre Architekturen? Welche Hilfsmittel stehen Ihnen zur Verfügung? Wie bewerten Sie die Qualität von Architekturen? Bitte beachten Sie: Um eine optimale und qualitativ hochwertige Schulungssituation gewährleisten zu können, werden maximal 12 Teilnehmer:innen zugelassen.

Software & Support Media GmbH

Welcome to the International JavaScript Conference Singapore 2024! From November 25 to 28, 2024, immerse yourself in a four-day exploration of the latest trends and innovations in JavaScript development. Join us as we bring together experts and enthusiasts to delve into frontend frameworks, serverless architectures, and emerging JavaScript technologies. Learn from industry leaders who will share cutting-edge insights, best practices, and real-world case studies to enhance your JavaScript skills. Engage with the JavaScript community, exchange ideas, and explore the exhibition area showcasing innovative tools and solutions shaping the future of web development. Whether you're a seasoned JavaScript developer or just starting your journey, the International JavaScript Conference Singapore 2024 offers valuable insights, networking opportunities, and a chance to stay at the forefront of JavaScript innovation.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

React, JavaScript Practices & Tools, General Web Development

Software & Support Media GmbH

Join us for MLCon Berlin, happening from November 25–29, 2024, in the innovative city of Berlin. This conference is the go-to event for data scientists, machine learning engineers, and AI enthusiasts eager to explore the latest advancements in machine learning and artificial intelligence. Whether you're an experienced professional or just starting in the field, MLCon Berlin offers a unique opportunity to gain cutting-edge knowledge and practical skills to excel in your career.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Generative AI and LLMs, MLOps, Advanced ML Development, ML Tools, APIs & Frameworks, ML Business & Strategy, ML Basics & Principles, ML Fundamentals Bootcamp

MicroConsult Microelectronics Consulting & Training GmbH & Vogel Communications Group GmbH & Co. KG

Der ESE Kongress ist Deutschlands Leitkongress der Embedded-Softwarebranche. Jedes Jahr im Dezember treffen sich über 1.200 Professionals, um sich über aktuelle Technologien und Methoden zu informieren, Trends zu diskutieren sowie die Weichen für die Zukunft zu stellen. Der Embedded Software Engineering Kongress ist die einzige deutschsprachige Veranstaltung, die sich ausschließlich und tiefgehend den vielfältigen Themen und Herausforderungen bei der Entwicklung von Geräte- und Systemsoftware für Industrieanwendungen, Automotive-Elektronik, Kommunikation sowie Consumer- und Medizintechnik widmet.

Email.: s.pagler@microconsult.com

Embedded-Software, Software-Entwicklung, Programmierung, Systems Engineering, Software Engineering, Weiterbildung, ESE Kongress, MicroConsult, Elektronikpraxis, Vogel Communications Group

entwickler.de Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul FLEX vom 9. - 12. Dezember 2024 in München. Unser erfahrener Trainer Dr. Michael Sperber vermittelt wie Microservices, Self-contained Systems und Continuous Delivery jenseits des Hype in der Praxis eingesetzt und mit welchen Architekturoptionen und Entscheidungsalternativen sie angepasst werden können. Die Teilnehmer:innen erarbeiten die Ansätze anhand eines Fallbeispiels praktisch. Die vermittelten Prinzipien sind unabhängig von Programmiersprache oder Plattform.

Agenda: 

Motivation: Schnelle IT als Wettbewerbsfaktor

Gesetz von Conway: Software-Architekturen und Organisation

Microservices und Self-contained Systems

Domain-driven Design für Modularisierung: Bounded Context und Context Maps

Selbstorganisation und Architektur: Mikro- und Makro-Architekturen

Kommunikation: REST und Messaging

Event-driven Front-End-Integration

Datenreplikation

Verteilte Sicherheitsmechanismen

Moderne Infrastrukturen mit IaaS, PaaS und Virtualisierung

Continuous Delivery, Delivery Pipelines und Software-Architektur

Metriken und Logging

Ausblick: Konsistenzmodelle und Resilience

Teilnehmende können sich den Besuch der Veranstaltung als Kompetenzerwerb im Advanced Level Programm des iSAQB anrechnen lassen. Mit der Teilnahme an diesem Modul werden 20 Credit Points im technischen und 10 im methodischen Kompetenzbereich vergeben.

Interessierte profitieren bis zum 31. Oktober von Frühbucher- und Teamrabatten.

Email.: info@entwickler-akademie.de

Software Architecture, Flexible Architekturen, Microservices, Self-contained Systems, Datenreplikation, Continuous Delivery, Front-End-Integration

Evénement multidisciplinaires ou générales en informatique,    Formation en informatique

Shree Venkateshwara Hi-Tech Engineering College

The rapid development of Information and Communication Technologies [ICT], which has the ability to completely change the way people communicate and interact with each other and the environment. In this scenario, recently ubiquitous computing is emerging as the new research paradigm that implements a pervasive usage of intelligent computing technologies in the emerging cyber-physical domains. The 4th International Conference on ubiquitous computing and intelligent information systems [ICUIS 2024 ] organized by Shree Venkateshwara Hi-Tech Engineering College, Tamil Nadu, India on 12-13, December 2024 aims to develop a new research forum for researchers, academicians and industrialist to share and exchange their potential insights on the design, implementation and analysis of ubiquitous computing models in intelligent information systems.

Tél.: [7418692998];     Email.: contact.icuis@gmail.com

Ubiquitous Computing and Communications, Intelligent Information Systems

CZESND

The 9th International Conference on Machine Learning and Soft Computing (ICMLSC 2025) will be held on January 24-26, 2025. The conference is organized by Chuo University, Japan, co-organized by Keiai University, Japan, and supported by University of Muenster, Germany and Concordia University, Canada.

Email.: Nazal@sina.com

Machine learning; Intelligent planning; Visual/linguistic perception; Evolutionary and swarm algorithms; Neural computing; Emotional intelligence; Applications;

Réseaux de neurones et intelligence artificielle, apprentissage automatique,    Calcul distribué, cloud computing, informatique en périphérie

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Semirings are fundamental algebraic structures that in recent times have found a number of applications to computer science, especially in the areas of databases and automata. On the side of databases, commercial query languages, such as SQL, use bag semantics, instead of set semantics, to evaluate relational database queries, which means that the semiring of the natural numbers is used to annotate tuples in the input and output relations. More generally, the annotations can be values in some fixed semiring; this gives a common generalization of both set semantics and bag semantics of database queries, and also makes it possible to model other situations in which one is interested, e.g., in the probability or the reliability of an answer. Furthermore, semirings of polynomials have been successfully used to carry out a rigorous study of provenance in databases. On the side of automata, semirings are used to define weighted automata, which are nondeterministic finite automata augmented with values from a semiring as weights on the transitions. These weights may model, e.g., the cost involved when executing a transition, the amount of resources or time needed for this, or the probability or reliability of its successful execution. Weighted automata have found numerous applications to natural language processing, speech recognition, and algorithms for digital image compression. These applications have inspired numerous investigations in the logic-in-computer-science community.

Théorie de l'information, fondations de l'informatique,    Conception et gestion des bases de données, Moteurs de recherche et extraction de connaissances à pa

Software & Support Media GmbH

Erleben Sie die BASTA! Spring vom 3. bis 7. März 2025 in Frankfurt am Main – die Konferenz für .NET, Web & AI Innovation. Diese Veranstaltung ist ein Muss für Entwickler und IT-Profis, die auf dem neuesten Stand der Technologien bleiben möchten. Mit einer Vielzahl von Vorträgen, Workshops und Sessions bietet die BASTA! Spring tiefgehende Einblicke und praktische Erfahrungen zu den aktuellen Trends und Entwicklungen in den Bereichen .NET, Webtechnologien und künstliche Intelligenz. Die Teilnehmer haben die einzigartige Gelegenheit, von führenden Experten und Innovatoren zu lernen. Ob es um die neuesten .NET-Frameworks, fortschrittliche Webentwicklung oder bahnbrechende AI-Anwendungen geht – die BASTA! Spring bietet Ihnen das Wissen und die Werkzeuge, um Ihre Projekte auf das nächste Level zu heben. Profitieren Sie von praxisnahen Workshops und umfangreichen Networking-Möglichkeiten, die Ihnen helfen, Ihre beruflichen Fähigkeiten zu erweitern und wertvolle Kontakte zu knüpfen. Die BASTA! Spring ist ideal für Entwickler, Softwarearchitekten, Projektmanager und technische Entscheider, die ihre Kenntnisse vertiefen und ihre Karriere vorantreiben wollen. Sichern Sie sich jetzt Ihr Ticket und seien Sie dabei, wenn die besten Köpfe der Branche zusammenkommen, um Wissen zu teilen und Innovationen voranzutreiben. Besuchen Sie unsere Website für weitere Informationen und Anmeldung!

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

AI – Artificial Intelligence, .NET Framework & C#, Agile & DevOps, Microservices & APIs, Data Access & Storage, JavaScript, Web Development, UI Technology, Security, Cloud & Azure

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

In this Dagstuhl Seminar, we will address several of the arising questions in the context of circuit and formula sizes, meta-complexity, proof complexity, fine-grained complexity, communication complexity, and classical computational complexity. In each area, powerful tools for proving lower and upper bounds are known, but particularly interesting and powerful results often arise from establishing connections between the fields. By bringing together a diverse group of leading experts and promising young researchers in these areas, the seminar will be an ideal place to discover new, further connections.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

At this Dagstuhl Seminar, we propose to focus on the established and emerging models for fairness in scheduling and resource allocation. The seminar will bring algorithmic scheduling researchers who traditionally consider scheduling and resource allocation to algorithmically optimize efficiency, without fairness considerations, together with researchers who model fairness and consider fairness allocation. The seminar will focus on four complementary themes in fairness and resource allocation. The seminar will bring together researchers working on distinct areas to encourage cross-fertilization among different research directions. Moreover, these themes have sufficient overlap between them that it will be natural for participants to find common research directions.

USENIX Association

SREcon is a gathering of engineers who care deeply about site reliability, systems engineering, and working with complex distributed systems at scale. Our purpose is to be inclusive as we bring together ideas representative of our diverse community, whether its members are focusing on a global scale, launching new products and ideas for a small business, or pivoting their approach to unite software and systems engineering. SREcon challenges both those new to the profession as well as those who have been involved in it for decades. The conference has a culture of critical thought, deep technical insights, continuous improvement, and innovation.

Algorithmes et structures de données,    Superordinateur et ordinateur parallèle

International Academy of Computing Technology, co-sponsored by Ecole Centrale de Marseille-Aix Marseille Université, France.

Email.: Dunn@iact.net

Methods and Techniques for Software Development; Software Maintenance; Requirements Engineering; Model-driven Architecture and Engineering; Re-engineering and Reverse Engineering; Software Reuse; Software Reuse; Software Architectures Design; Frameworks and Design Patterns;

QCon by InfoQ

Find practical inspiration (not product pitches) from senior software leaders deep in the trenches, creating software, scaling architectures, and fine-tuning their technical leadership to help you make the right decisions.

QCon team;     Email.: info@qconlondon.com

Development, Architecture, Engineering, Product Management, Software architecture, Software development, Software engineering, API, Machine learning, Mlops, Microservices, Java, Green Tech, Rust, WASM, eBPF, Scalable Configuration Management, Infrastructure Unification, Cue Lang, MLOps, Team Topologies, Staff+ Engineer Path, Service Meshes, Microfrontends, Multicloud Practices, Software Ethics, Fast Flow, java, DevSecOps, DevOps, Kubernetes, data.GraphQL, Macroservices, hybrid, remote, teams

ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 26-May 4 2025 in Ottawa. Core conference days will be Wednesday April 30 to Friday May 2. ICSE provides a forum where researchers, practitioners, and educators gather together to present and discuss research results, innovations, trends, experiences and issues in the field of software engineering.

USENIX Association

Join us in Philadelphia, PA, USA, on April 28–30, 2025, for the 22nd USENIX Symposium on Networked Systems Design and Implementation. NSDI focuses on the design principles, implementation, and practical evaluation of networked and distributed systems. Our goal is to bring together researchers from across the networking and systems community to foster a broad approach to addressing overlapping research challenges.

Software & Support Media GmbH

Besuchen Sie die JAX vom 5. bis 9. Mai 2025 in Mainz – die Konferenz für Java, Architektur- und Software-Innovation. Die JAX bietet Entwicklern und Architekten eine ideale Plattform, um sich über die neuesten Technologien, Tools und Trends in der Java-Welt und der modernen Softwarearchitektur zu informieren. Mit hochkarätigen Keynotes, praxisnahen Workshops und tiefgehenden Sessions ist die JAX der perfekte Ort, um Ihr Wissen zu erweitern. Erfahren Sie von den besten Experten der Branche, wie Sie zukunftssichere Softwarearchitekturen entwickeln, Microservices erfolgreich implementieren oder die neuesten Java-Frameworks optimal nutzen. Ob Sie sich für Cloud-Technologien, DevOps-Praktiken oder innovative Softwareentwicklung interessieren – die JAX deckt eine breite Palette von Themen ab und liefert Ihnen die neuesten Best Practices und Tools direkt von den führenden Köpfen der Szene.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Core Java & Languages, Serverside Java, Software-Architektur, Microservices, Clouds & Kubernetes

Software & Support Media GmbH

Join us for the International JavaScript Conference, taking place from May 12-15, 2025, in the vibrant city of London. This premier event brings together the brightest minds in the JavaScript community, offering an unparalleled opportunity to learn from industry experts, network with peers, and stay ahead of the curve in the ever-evolving world of JavaScript. Whether you're a seasoned developer or just starting your journey, this conference is designed to provide valuable insights and practical knowledge to enhance your skills and boost your career.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Angular, React, JavaScript Practices & Tools, Node.js, General Web Development, Performance, Testing & Security

Software & Support Media Group

Join us for DevOpsCon London, happening from May 12-15, 2025, in the heart of London. This leading conference is the perfect gathering for DevOps professionals, developers, and IT managers eager to stay at the forefront of continuous delivery, automation, and cloud technologies. Whether you're an experienced DevOps engineer or just beginning to explore the field, this event offers a wealth of knowledge, insights, and hands-on experience to help you elevate your skills and advance your career. At DevOpsCon London, you'll have the opportunity to learn from industry pioneers through a diverse range of sessions, including in-depth keynotes, practical workshops, and lively panel discussions. Our expert speakers will cover essential topics such as Kubernetes, microservices, CI/CD, security, and more, providing you with the latest tools and techniques to drive innovation in your organization. You'll leave equipped with actionable strategies and the confidence to implement them. DevOpsCon London is designed for DevOps practitioners, developers, IT managers, and anyone passionate about modern IT infrastructure and operations. Don't miss this chance to be part of a dynamic community, expand your professional network, and gain the skills needed to thrive in today's fast-paced tech environment. Visit our website to explore the full conference program and secure your ticket. We look forward to welcoming you to London!

Tél.: [+ 49 (0)69 630089-11];     Email.: marketing@sandsmedia.com

Software & Support Media GmbH

Join us for the API Conference London, happening from May 12-15, 2025, in the bustling city of London. This conference is the perfect event for developers, software architects, and IT professionals who want to deepen their knowledge of API design, development, and management. Whether you're experienced in API creation or just beginning to explore the possibilities, the API Conference London offers a wealth of insights and practical skills to help you harness the full potential of APIs in your projects.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

API Development, API Management, API Design, API Platforms & Business, API Security

Software & Support Media GmbH

Join us for the Serverless Architecture Conference London, taking place from May 12-15, 2025, in the dynamic city of London. This conference is the ideal event for developers, architects, and IT professionals eager to dive into the world of serverless technologies and cloud-native development. Whether you're a seasoned expert or new to serverless, this conference offers invaluable insights, practical knowledge, and the latest strategies to help you build scalable, efficient, and cost-effective applications.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Serverless Architecture & Design, Serverless Development, Serverless Operations & Security

Software & Support Media GmbH

Join us for DevOpsCon San Diego, taking place from May 19–22, 2025, in sunny San Diego. This top-tier conference is perfect for DevOps professionals, developers, and IT leaders looking to master the latest in continuous delivery, automation, and cloud-native technologies. Whether you're a seasoned DevOps expert or just getting started, DevOpsCon San Diego offers invaluable insights and practical knowledge to help you boost your skills and drive innovation in your organization.

Tél.: [017693102012];     Email.: marketing@sandsmedia.com

Business & Company Culture, Cloud Platforms & Serverless, Kubernetes Ecosystem, Continuous Delivery & Automation, Microservices & Software Architecture, Observability & Monitoring

EuroSTAR Conference

For three decades, the EuroSTAR Software Testing Conference has been the largest gathering of testers and quality assurance professionals in Europe. Hosted over four days, the conference takes place in a different European city each year and features over sixty speakers, non-stop networking and the largest testing EXPO in Europe. We are always innovating and organise additional events focusing on specific topics or geographies. Throughout the year, we provide a free learning platform, EuroSTARHuddle.com which is an active online community designed to help software testers fulfil their professional potential.

Tél.: [+353 91 41 6000];     Email.: info@eurostarconferences.com

Software testing, ai in testing, ai, test automation, cybersecurity, api, devops, test automation frameworks, robotics, python, performance testing, exploratory testing,

Logiciels,    Soft computing, algorithmes évolutionnaires, domaine des métaheuristiques, logique floue

MIPRO Croatian Society

Tihana Galinac Grbac - conference chair;     Tél.: [+38551423984];     Email.: tgalinac@unipu.hr

Modern Technology Used in Software and Systems Engineering, LLMs, and AI for SSE, Explainable Artificial Intelligence Solutions for Engineering Complex Systems, Responsible Computing and Engineering Responsive Software Systems, Sustainable Software and System Engineering, Engineering of Autonomous and Software Defined Systems, Engineering Concepts, Design Principles, Architecture, and Smart Software and System Composition, Operation and Management of Complex Software and Systems, Software and Systems in Evolution, Engineering Software System Requirements, Software Engineering Tools, Programming Concepts, Languages, and Frameworks, Design Concepts for Software System Evolution, Adaptability, Maintainability, Reuse, Solutions for Continuous Integration, Run Time Verification and Certification and System Safety, Technology Development Strategies and Innovation Processes for Complex Systems, Human and Machine Interaction with Complex Systems and Software Functions and Compatibility, Challenges of Engineering Systems and Software in Various Application Domains (Manufacturing, Government, Health, Transport), Metrics for Evaluating Complex Systems and Software

Systèmes complexes et chaos,    Systèmes, contrôle et automatisation

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

WebAssembly (Wasm) is a safe and portable code format used in a broad variety of computational environments, such as Web browsers, cloud, edge, IoT, embedded systems, and blockchains. As a low-level programming language its instruction set is close to that of physical hardware, yet its semantics enforces memory safety, isolation, and the absence of undefined behavior. A distinguishing feature of Wasm is that its official specification contains a complete formal semantics, based directly on techniques developed and established by the scientific community, and proved sound with machine-verified proofs. Its popularity as a technology for both practically building and theoretically investigating verified and secure systems has hence been growing rapidly. With this Dagstuhl Seminar, we intend to bring together all sides interested in Wasm, its formal semantics, and its application to verification and generation techniques.

USENIX Association

USENIX Association

University of Cyprus

TASE 2025 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies.

Tél.: [+357-22-892693];     Email.: george@ucy.ac.cy

Software engineering, including: ■ Software processes and workflows ■ Software architectures and design ■ Software product lines ■ Requirements engineering ■ Model-driven software engineering ■ Software testing and quality assurance ■ Software safety, security and reliability ■ Reverse engineering and software maintenance ■ Component-based software engineering ■ Feature-oriented programming ■ Program synthesis ■ Use of AI and large language models in software engineering Formal methods and theoretical computer science, including: ■ Deductive verification ■ Model checking ■ Theorem proving, decision procedures, SAT and SMT ■ Specification languages ■ Program logics and calculi ■ Formal languages and automata theory ■ Run-time verification and monitoring ■ Integration of formal methods ■ Formal methods for AI systems, and vice versa Programming language design and technology, including: ■ Formal semantics ■ Abstract interpretation and program analysis ■ Language paradigms, including object-oriented, functional, declarative, etc. ■ Type systems and behavioral typing ■ Compiler design ■ Domain-specific languages Tools and application areas, including: ■ Software tools putting theory into practice ■ Cyber-physical, embedded, and real-time systems ■ Distributed and concurrent systems ■ Semantic web and web services ■ Service-oriented programming and cloud computing ■ Quantum circuits and programs ■ Cryptographic algorithm

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

This Dagstuhl Seminar will convene researchers from diverse intellectual communities within computer science who share a common interest in software performance engineering (SPE) : making software run fast or otherwise consume few resources such as time, storage, energy, network bandwidth, etc. With the end of Moore’s Law and Dennard Scaling, microelectronic miniaturization is no longer increasing application performance. SPE has emerged as a promising and widely accessible way to improve performance, gaining increased attention across multiple research areas and industries. SPE encompasses the many ways of developing fast code for a wide range of applications and studying general methodologies and tools to improve and measure performance, including tailoring software to hardware features, algorithms, compiler technology, etc.

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)

SEIT Lab, Department of Computer Science, University of Cyprus

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).

Tél.: [+357-22-892693];     Email.: george@ucy.ac.cy

*** Call for Paper Submission and Workshop Proposals *** 19th European Conference on Software Architecture (ECSA 2025) September 15-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ecsa-2025 (*** Proceedings to be published by Springer in LNCS ***) The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The 19th European Conference on Software Architecture (ECSA 2025) will be held from September 15 to 19, 2025. ECSA 2025 is planned as an in-person conference taking place in the beautiful city of Limassol (Cyprus). SCOPE The theme for ECSA 2025 is “impactful software architecture”. The software architecture discipline has had a critical role in shaping robust, scalable, and maintainable systems. We are interested in learning about software architecture principles and practices, emergence trends and case studies highlighting strategic architectural choices that can lead to enhanced performance, improved collaboration, and long-term sustainability. The overarching question is how these architectural principles and practices, both well-established and emerging, are making an impact in real-world systems, and how that impact is being felt across various domains, from enterprise systems to more novel areas like, e.g., AI-driven or autonomous applications? The Program Committee of the 19th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research; new methods, approaches, and processes; novel applications; education and training in software architecture; and experience reports on all topics related to software architecture. We particularly encourage papers that demonstrate that diversity in gender, culture, religion, country, etc. are key factors for success and innovation in software architecture. Topics of interest include, but are not limited to: • Foundational principles of software architecture • Relationship of requirements engineering and software architecture • Quality attributes and software architectures • Architecture practices for secure, explainable, and trustworthy software • Architecture design and analysis • Architecture description languages and meta-models • Architecture verification and validation • Management of architectural knowledge, decisions, and rationale • Architecture patterns, styles, and tactics; reference architectures • Architecture viewpoints and views • Architecture conformance • Software architecture virtualization and visualization • Architecture-centric process models and frameworks • Software architecture and agile, incremental, iterative, and continuous development • Component-based models and deployment; middleware • Software architecture and system architecture • Software tools and environments for architecture-centric software engineering • Ethics, cultural, economic, business, social, human, and managerial aspects of software architecture • Architecture and technical debt • Architecting for sustainable and environment friendly systems • Applying AI and LLMs in software architecture and architecting for AI and LLM intensive systems • Software architecture education • Cross-disciplinary approaches to software architecture • Architectures for reconfigurable and self-adaptive systems • Architectural concerns of autonomic systems • Software architecture applied to new and emerging areas, such as the cloud/edge, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems-of-systems, energy- aware software, quantum computing, AI-enabled systems • Empirical studies, systematic literature reviews, and mapping studies in software architecture • Diversity, equity, and inclusion in activities related to software architecture PAPER SUBMISSIONS ECSA 2025 seeks four types of papers for the research track: • Research papers (max. 16 pages in LNCS style) which describe novel contributions to software architecture research (submissions should cover work that has a sound scientific/technological basis and has been validated) • Education and training papers (max. 16 pages in LNCS style) that address methodologies, experiences and best practices for teaching and training software architecture • Experience reports (max. 16 pages in LNCS style) that cover innovative implementations, novel applications, insightful performance results and experience in applying software architecture research advances to practical situations and systems • Short papers (max. 8 pages in LNCS style) that present novel and preliminary work-in- progress or challenges in a topic of software architecture research, education, and training. Submissions must have a sound basis, but not necessarily be validated in full. All submitted papers will undergo a rigorous double-blind peer review process. Papers will be selected based on originality, quality, soundness, and relevance. All contributions must be original, not published, accepted, or submitted for publication elsewhere. Contravention of this concurrent submission policy will be deemed a serious breach of ethics, and appropriate action will be taken in all such cases. Plagiarism checking will be conducted and any paper reporting more than a 20% match with published work will be desk-rejected. To note is that research papers, education and training papers, and experience reports that are rejected in their categories may be re-evaluated as short papers only if the committee decides on rejection of the full paper on the basis that it presents preliminary work. The research track of ECSA 2025 supports an Open Science policy. We encourage all contributing authors to disclose (anonymized and curated) data/artifacts to increase reproducibility. Note that sharing research artifacts is not mandatory for submission or acceptance. Upon submission to the research track, authors are required: • To make their artifacts available to the program committee (via a link to an anonymous repository) and provide instructions on how to access this data in the paper; or • To include in the paper an explanation as to why this is not possible or desirable; and • To indicate why they do not intend to make their data or study materials publicly available upon acceptance, if that is the case While sharing research artifacts is not mandatory for submission or acceptance, authors are required to include a Data Availability statement after the Conclusions section in a section named "Data Availability". This statement should explain whether or not data and/or artifacts are available or how they could be accessed (or not). Upon acceptance, papers with Open Science artifacts (e.g., data, tools, etc.) will be invited to upload their artifacts into the ECSA Zenodo community (https://zenodo.org/communities/ecsa) to make them accessible and visible to the ECSA community. Sharing artifacts via the ECSA Zenodo community is required for authors to be eligible for the best Open Artifact award. All contributions must be formatted according to the Springer LNCS style http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Page limits include figures and references. Contributions need to be submitted in PDF format via EasyChair to the ECSA 2025 Research Track: https://easychair.org/conferences/?conf=ecsa2025. Please select the “Research Track” in EasyChair for your submission and click "Continue". The proceedings will be published by Springer as part of the LNCS series. We also plan to organize a Journal Special Issue on the theme of ECSA 2025 and to invite authors of selected papers to submit an extended version of their research. WORKSHOP PROPOSAL SUBMISSIONS Researchers and practitioners are invited to submit proposals for workshops and tutorials held in conjunction with ECSA 2025. Workshops and tutorials will be held on September 15-16, 2025 (right before the main conference on September 17-19, 2025). ECSA workshops allow researchers and practitioners to exchange and explore innovative software architecture (scientific or engineering) ideas and challenges at an early stage. Topics of interest are, but are not limited to: • Software Architecture challenges for AI- and ML-based Systems • Software Architecture challenges for Self-Adaptive Systems • Software Architecture challenges for Cyber-Physical Systems • Software Architecture challenges in Big Data and Cloud Computing • Software Architecture challenges in IoT-based Systems • Software Architecture challenges in DevOps and MLOps • Software Architecture challenges in Blockchain Engineering • Software Architecture challenges in Quantum Software • Quality-of-service (QoS) measurements of Software Architectures • Privacy and Security in Software Architectural Design • Context-aware, Autonomous, and Smart Architectures • Sustainability in Software Architectures • Software Architecture Erosion and Architectural Consistency • Technical Debt in Software Architecture Design • Architecting the Digital Twin • Continuous Architecting • Agile Software Architecting • Human Aspects of Software Architecting • Software Architecture Assessment • AI assisted Software Architecting • Agile Modeling All proposals must conform to a maximum of 8 pages following the LNCS format (see below), including references, appendices, and figures. The proposal must include the following information in the order specified: • Workshop title and acronym • Contact information for the workshop organizers (name, affiliation, email) and the main contact • Abstract (up to 200 words) for the ECSA 2025 website (if the workshop is accepted) • Motivation and Objectives ○ Relevance of the workshop to the field of software architecture ○ Anticipated goals and outcomes (e.g., open research problems to pursue, validation objectives, empirical studies) • Format ○ Workshop format (e.g., paper presentations, keynotes, breakout sessions, panel-like discussions) and plans for generating discussions ○ Duration - half day, one day or two days ○ Preliminary workshop schedule ○ Special services, logistic and/or equipment constraints • Participation ○ Target Audience and expected background ○ Plans regarding the mix of industry and research participation ○ Expected minimum and maximum number of workshop participants ○ Plans for participant solicitation and dissemination • Submission ○ Types of contributions (e.g., extended abstracts, position papers, research papers, etc.) and their estimated number. ○ Review and evaluation process deciding about the acceptance of submissions ○ Program committee, including tentative and already committed members ○ Strategy for the proceedings • Organizers ○ Brief description of each organizer’s background, including relevant past experience in organizing conferences and workshops ○ Brief organizers’ bios • Previous editions ○ Where and when the workshop has been offered previously, the past numbers of submitted and accepted papers, numbers of attendees ○ Number of registered attendees and websites of previous editions (if any) • Draft Call-for-Papers (1 page) Submissions must follow the LNCS style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). All proposals should be submitted before the submission deadline (see below) using the online submission site: EasyChair ECSA 2025 Workshop track (https://easychair.org/conferences/?conf=ecsa2025). ECSA 2025 will use a single review process for workshop proceedings. For accepted papers, the minimum number of pages for each workshop paper is 8 and the maximum is 16 pages in the LNCS format. The proceedings of the workshops will be published by Springer in the LNCS series. IMPORTANT DATES Main Conference • Abstract submission: March 14, 2025 • Paper submission: March 21, 2025 • Notification: May 9, 2025 • Camera-ready paper: June 23, 2025 Workshops • Workshop proposals: February 15, 2025 • Workshop proposals notification: March 7, 2025 • Workshop papers abstracts: May 12, 2025 • Workshop papers submission: May 19, 2025 • Workshop papers notification: June 20, 2025 • Workshop papers camera-ready: June 27, 2025 • Workshop dates: September 15-16, 2025 Early/Author registration for all accepted contributions: June 27, 2025 All dates are 23:59h AoE (Anywhere on Earth). ORGANISATION General Chairs • Cesare Pautasso, University of Lugano, Switzerland • Vasilios Andrikopoulos, University of Groeningen, The Netherlands Program Co-Chairs • Nour Ali, Brunel University London, UK • Jacopo Soldani, University of Pisa, Pisa Workshop Co-Chairs • Tommi Mikkonen, University of Jyvaskyla, Finland • Jennifer Perez, Universidad Politécnica de Madrid, Spain

SEIT Lab, Department of Computer Science, University of Cyprus

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.

Tél.: [+35722892693];     Email.: george@ucy.ac.cy

Aspects of testing, Testing new technologies, Diversity on testing, Theoretical approaches, Modelling languages (such as UML, MATLAB, Simulink, Modelica…) and associated tooling for model-based testing, Testing of quality aspects, Security Testing, Cross domains and combination of techniques, Application aspects and case studies.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Sound static program analysis (SSPA) can tackle real-world programs and effectively prove, for instance, that they do not expose some runtime errors and security vulnerabilities. Over the past half-century, many theories, all amenable to abstract interpretation, have been proposed and applied in practice: program analysis, program verification through SMT solvers, type systems, and model checking are just the most notable examples. SSPA has had a great impact on the analysis of safety-critical embedded software (where a single bug might cause catastrophic effects on the physical world) but has achieved so far limited interest in desktop applications (where bugs do not have relevant consequences). An exception is the revival of SSPA in Web applications, where a security vulnerability (such as a SQL injection) within them might have a relevant business impact. More recent developments, such as the Internet of Things, in the past decade, have bridged the realm of embedded software with Web applications.

Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

We have many different standard models for data and metadata, but standards alone will not create interoperability. Existing standard models must be matched with the functionality they support, and these in turn must be implemented in ways which support machine interoperation if we are to realize the scalable interoperability demanded by modern data-sharing networks. This workshop looks at how best this combination of data and metadata models and services typologies (and their implementation) can be achieved.