Konferenzen  >  Informatik  >  Softwareentwicklung  >  Deutschland

In a world increasingly driven by software, the role of a software engineer has never been more paramount. From the smartphones in our hands to the most intricate space exploration missions, software systems are at the very heart. Yet, as these systems continue to evolve in size, complexity, and importance, the education and training methods to prepare the next generation of software engineers must be equally adaptive and forward-looking. Over the past three decades, Software Engineering Education and Training (SEE&T) has continually risen to these evolving challenges. Initially, the focus was on defining the role of software engineers and how SEE&T integrates into broader engineering and computer science curricula. The current landscape, however, is shifting the focus towards enhanced knowledge transfer, emphasizing experiential learning, and aligning academic teaching with real-world industrial demands. The importance of effective communication, whether with clients or peers, the rising trend of project-based and problem-driven learning methodologies, and the symbiotic relationship between academia and industry form the very essence of modern SEE&T.

Didaktik in der Wissenschaft,    Ausbildung

entwickler.de Akademie

Die entwickler.de Akademie präsentiert das Software Architecture Camp - Foundation Level vom 02. - 06. September in Berlin. Das Camp ist ein 4-tägiges, iSAQB-zertifiziertes Trainingsevent für Softwarearchitekt:innen, Entwickler:innen, Qualitätssichernde sowie Systemanalytiker:innen.

Unsere erfahrenen Trainer Bianca Lutz und Jörg Preußig bereiten die Teilnehmenden in diesem intensiven Workshop gezielt und praxisnah auf die Aufgaben von Softwarearchitekt:innen vor. Diese lernen das methodische Handwerkszeug erfolgreicher Architekten kennen: Wie soll man vorgehen? Wie entwerfen und kommuniziert man Architekturen? Welche Hilfsmittel stehen zur Verfügung? Wie bewertet man die Qualität von Architekturen?

Die anschließende, optionale Prüfung zum "Certified Professional for Software Architecture" (iSAQB) findet am 17. Mai 2024, ab 15.30 bis ca. 17.00 Uhr statt. Die Prüfung wird durch einen unabhängigen und beauftragten Prüfer der iSAQB durchgeführt.

Interessierte profitieren bis 25. Juli von Frühbucher- und Teamrabatten.

NH Collection Berlin Mitte;     Email: info@entwickler-akademie.de

Software, Softwarearchitektur, Programmieren

Entwickler.de Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul Cloudinfra vom 09. - 11. September 2024 in Berlin. Die Teilnehmer:innen lernen hier von Trainer Adrian Metzner 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.

Email: info@entwickler-akademie.de

Softwarearchitektur, Cloud-Native-Architekturen, Container Application Design, Container Native Storage, UI-Integration

Allgemeine und fachübergreifende Veranstaltugen in Informatik,    Informatik Ausbildung, Lehrgänge

Entwickler.de Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul FLEX vom 9. - 11. September 2024 in Berlin. Unser erfahrener Trainer 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.

Email: info@entwickler-akademie.de

Softwarearchitektur, Flexible Architekturen, Microservices, Self-contained Systems, Continuous Delivery

Allgemeine und fachübergreifende Veranstaltugen in Informatik,    Informatik Ausbildung, Lehrgänge

entwickler.de Akademie

Von Monitoring-Grundlagen zur Expertenstufe

In diesem Training lernen Sie, wie Sie Prometheus und Grafana nutzen, um Ihre Cloud-Infrastruktur zu optimieren, Probleme frühzeitig zu erkennen und sofort zu beheben. Die effektive Überwachung von Kubernetes gelingt Ihnen nur mittels geschäftsrelevanter Auswertungen & gezielter Ursachenanalysen. Über Dashboards behalten Sie stets den optimalen Überblick über Ihre Metriken.

entwickler.de Akademie;     Email: info@entwickler-akademie.de

DevOps, Monitoring, Grundlagen, Experten, Training, Prometheus, Grafana, Cloud-Infrastruktur, Kubernetes, Ursachenanalyse, Dashboards, Metriken, PromQL, Servern, Infrastrukturmetriken

Allgemeine und fachübergreifende Veranstaltugen in Informatik,    Computerprogramme

Software & Support Media GmbH

Seien Sie dabei bei der BASTA! Fall 2024 in Mainz vom 16. bis 20. September 2024 für eine intensive fünftägige Erfahrung an der Spitze der Softwareentwicklung. BASTA! ist bekannt für hochwertige Sessions und Workshops zu einer Vielzahl von Themen, darunter .NET, Webentwicklung, mobile Apps und mehr. Lernen Sie von branchenführenden Experten, die Einblicke, bewährte Verfahren und Erfahrungen aus der Praxis teilen, um Sie in Ihren Softwareprojekten zu stärken. Vernetzen Sie sich mit anderen Entwicklern, Architekten und IT-Profis und erkunden Sie die lebhafte Ausstellung, die die neuesten Tools, Technologien und Lösungen präsentiert. Egal, ob Sie erfahrener Entwickler sind oder gerade erst Ihre Reise beginnen, die BASTA! Fall 2024 bietet Ihnen die Möglichkeit, wertvolle Erkenntnisse zu gewinnen, Ihre Fähigkeiten zu erweitern und sich mit Gleichgesinnten in der dynamischen Welt der Softwareentwicklung zu vernetzen.

Tel.: [017693102012];     Email: marketing@sandsmedia.com

AI – Artificial Intelligence, .NET-Framework & C#, Agile & DevOps, Microservices & APIs, Data Access & Storage, JavaScript, Web Development, User Interface, Security, Cloud & Azure, More Program

entwickler.de Akademie

Im Rahmen dieses Workshops erarbeiten die Teilnehmer:innen ausgewählte Zutaten einer Architekturdokumentation, stellen sich die Ergebnisse gegenseitig vor und leiten unter Anleitung und mit den Rückmeldungen des Workshopleiters Erkenntnisse daraus ab. Wo möglich arbeiten wir in der Veranstaltung an Ihrem Projekt. Die Inhalte decken sich mit denen des Präsenz-Trainings. Informationen dazu finden Sie auf der Übersichtsseite des Moduls ADOC.

entwickler.de Akademie;     Email: info@entwickler-akademie.de

Modul ADOC, Architekturdokumentation, Softwarearchitekturen, iSAQB-Zertifizierung

Informatik Ausbildung, Lehrgänge,    Computerprogramme

Entwickler.de Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul FUNAR vom 23. - 26. September 2024 in Berlin. Trainer Dr. Michael Sperber vermittelt Wissen zu funktionaler Softwarearchitektur als Alternative zu objektorientierter Architektur. Im Vergleich zu OO-Architektur setzt die funktionale Softwarearchitektur auf unveränderliche Daten, algebraische Abstraktionen und eingebettete domänenspezifische Sprachen.

Email: info@entwickler-akademie.de

funktionaler Softwarearchitektur, Datenmodellierung, domänenspezifische Sprachen, Higher-Order-Programmierung, Eingebaute Datenstrukturen

Allgemeine und fachübergreifende Veranstaltugen in Informatik,    Informatik Ausbildung, Lehrgänge

entwickler.de Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul DDD vom 7. - 9. Oktober 2024 in München. Unser erfahrener Trainer Matthias Bohlen präsentiert den Teilnehmer:innen Domain Driven Design (DDD) als Mittel, Software als präzise, transparente und transformierbare Repräsentation einer fachlichen Domäne zu gestalten.

Email: info@entwickler-akademie.de

Software Architecture, Domain Driven Design, fachlichen Domäne, Ubiquitous Language

Allgemeine und fachübergreifende Veranstaltugen in Informatik,    Informatik Ausbildung, Lehrgänge

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Automated programming refers to techniques that suggest newly written code, e.g., in the form of code completion tools. Techniques for automated programming include large language models that predict code based on natural language specifications of the intended behavior. The recent development of technologies like Codex and ChatGPT have made us examine the possibility of automated programming in the future. Automated program repair refers to a suite of techniques for automated rectification of errors or vulnerabilities in programs. Automated program repair technologies were originally developed for reducing the debugging effort for manually written code. However, interestingly these techniques can be adapted to improve automatically generated code. This Dagstuhl Seminar will explore the intersection of these two fields.

Implementierung und Anwendungen von künstlicher Intelligenz,    Verarbeitung Natürlicher Sprache, Computerlinguistik

Software & Support Media GmbH

Welcome to the API Conference Berlin 2024! From October 21 to 23, 2024, join us for a three-day deep dive into the world of APIs and web services. The API Conference brings together experts and enthusiasts to explore the latest trends, best practices, and innovations in API development. Immerse yourself in a diverse range of sessions and workshops covering RESTful APIs, GraphQL, API security, and more. Learn from industry leaders who will share insights, strategies, and real-world case studies to empower you in your API projects. Connect with fellow developers, architects, and API enthusiasts, share experiences, and engage in dynamic discussions shaping the future of API technology. Explore the bustling exhibition area featuring cutting-edge tools, technologies, and solutions revolutionizing the API landscape. Whether you're a seasoned API developer or just starting your journey, the API Conference Berlin 2024 offers valuable insights, networking opportunities, and a chance to stay at the forefront of API development.

Tel.: [017693102012];     Email: marketing@sandsmedia.com

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

Software & Support Media GmbH

Welcome to the Serverless Architecture Conference Berlin 2024! From October 21 to 23, 2024, join us for a three-day exploration of the cutting-edge technology and innovation in serverless computing. The conference brings together experts and enthusiasts to delve into the latest trends, best practices, and use cases in serverless architecture. Immerse yourself in a diverse range of sessions and workshops covering serverless frameworks, serverless security, microservices, and more. Learn from industry leaders who will share insights, strategies, and real-world case studies to empower you in your serverless projects. Connect with fellow developers, architects, and serverless enthusiasts, share experiences, and engage in dynamic discussions shaping the future of serverless technology. Explore the bustling exhibition area featuring cutting-edge tools, technologies, and solutions revolutionizing the serverless landscape. Whether you're a seasoned serverless developer or just starting your journey, the Serverless Architecture Conference Berlin 2024 offers valuable insights, networking opportunities, and a chance to stay at the forefront of serverless computing.

Tel.: [017693102012];     Email: marketing@sandsmedia.com

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

entwickler.de Akademie

Vom 21. - 24. Oktober 2024 ist es soweit! Die Entwickler.de Akademie veranstaltet erneut das große 4-in-1 Trainingsevent, eine Kombination aus den vier Kern-Technologien JavaScript, Angular, React und KI. Die Teilnehmenden können sich auf spannende Tage in Berlin freuen oder auch dieses Mal wieder online mit dem On Air-Ticket zuschalten. In den vier Veranstaltungstagen erwartet die Teilnehmenden ein volles Programm mit über 40 Workshops. Dabei lernen sie von erstklassigen Trainer:innen der Branche, die auf dem Event seit über 10 Jahren die Game-Changer von morgen analysieren. Mit Inhalten wie PWAs und Data Visualization können Sie Innovationen gezielt in Ihren Projekten einsetzen.

Email: info@entwickler-akademie.de

JavaScript, Angular, React, Typescript, KI, Workshops, Sessions

Allgemeine und fachübergreifende Veranstaltugen in Informatik,    Informatik Ausbildung, Lehrgänge

Entwickler.de

Delphi-Innovationen, Cross-Plattformen, IoT, Datenbanken, Frameworks, Tools, Delphi-Grundlagen, Web- und Cloud-Technologien sowie neueste Methoden und Best-Practices erwarten Sie auf der Konferenz. Mehr als 25 Speaker und über 30 Sessions mit viel Interaktion und Austausch: Profitieren Sie von der familiären Konferenz EKON 28 und lernen, Innovationen gezielt in Ihren Projekten einzusetzen. Auf der traditionsreichsten Delphi-Konferenz geben internationale Expert:innen einen praxisnahen Einblick, sodass Sie anschließend Technologien in wertvolle Geschäftslösungen umwandeln wollen.

Software & Support Media GmbH;     Tel.: [+49 (0) 302148066 51];     Email: ypreuss@sandsmedia.com

Delphi, IoT, Datenbanken, Frameworks, Tools

Software & Support Media GmbH

Willkommen zur W-JAX München 2024! Vom 4. bis 8. November 2024 laden wir Sie zu einer fünftägigen Erkundung der Welt der Enterprise-Technologie, Softwarearchitektur und innovativen Entwicklung ein. Die W-JAX bringt führende Experten, Entwickler und Enthusiasten zusammen, um die neuesten Trends, Tools und Best Practices der Branche zu erkunden. Tauchen Sie ein in eine Vielzahl von Sessions und Workshops zu Themen wie Java, Cloud-Computing, Microservices, DevOps und mehr. Lernen Sie von Branchenführern, die wertvolle Einblicke, Strategien und praktische Erfahrungen teilen, um Ihnen bei Ihren Projekten zum Erfolg zu verhelfen. Vernetzen Sie sich mit anderen Entwicklern, Architekten und IT-Profis, tauschen Sie Ideen aus und erkunden Sie die lebendige Ausstellung mit modernsten Tools und Lösungen. Ob erfahrener Profi oder Neueinsteiger – die W-JAX München 2024 bietet wertvolle Lernmöglichkeiten, Networking und die Chance, an der Spitze der Softwareinnovation zu bleiben.

Tel.: [017693102012];     Email: marketing@sandsmedia.com

Core Java & Languages, Serverside Java, Microservices, Clouds, Kubernetes & Serverless, Architecture & Design, DevOps & CI/CD, Web Development, Data & Machine Learning, Agile, People & Culture, Performance & Security

International Software Architecture Qualification Board (iSAQB®)

The next Software Architecture Gathering, presented by the International Software Architecture Qualification Board (iSAQB®) and iX magazine, will take place in Berlin from November 11-14.

The Software Architecture Gathering 2024 is the international conference highlight for all those working on solution structures in IT projects: primarily software architects, software developers, and quality assurance professionals, but also system analysts who want to communicate better with their developers. A selection of the best-known international experts will share their practical knowledge on the most important topics in modern software architecture.

Email: fdeutsch@isaqb.org

7 Tracks: Software Architecture Basics, Trends, Beyond Technology, Tech and Impact, AI-Driven Architectural Innovation, Hands‑On, Outside the Box

Software & Support Media GmbH

Whether you're a seasoned PHP developer or just starting your journey, the International PHP Conference Munich 2024 offers valuable insights, networking opportunities, and a chance to stay at the forefront of PHP programming.

Tel.: [017693102012];     Email: marketing@sandsmedia.com

PHP Core, Web Development, Quality & Security, Agile & People, Software Architecture, DevOps & Deployment

Software & Support Media GmbH

Welcome to the International JavaScript Conference Munich 2024! From November 11 to 15, 2024, join us for a five-day deep dive into the world of JavaScript development. This conference gathers experts, developers, and enthusiasts to explore the latest trends, best practices, and innovations in JavaScript technology. Immerse yourself in a diverse array of sessions and workshops covering frontend frameworks, serverless architectures, progressive web apps, and more. Learn from industry leaders who will share cutting-edge insights, strategies, and real-world case studies to enhance your JavaScript skills and projects. Connect with fellow developers, architects, and JavaScript enthusiasts, share experiences, and engage in dynamic discussions shaping the future of web development. Explore the bustling exhibition area featuring innovative tools, technologies, and solutions transforming the JavaScript landscape. Whether you're a seasoned JavaScript developer or just starting your journey, the International JavaScript Conference Munich 2024 offers valuable insights, networking opportunities, and a chance to stay at the forefront of JavaScript innovation.

Tel.: [017693102012];     Email: marketing@sandsmedia.com

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

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

Allgemeine und fachübergreifende Veranstaltugen in Informatik,    Informatik Ausbildung, Lehrgänge

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.

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

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

Allgemeine und fachübergreifende Veranstaltugen in Informatik,    Informatik Ausbildung, Lehrgänge

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.

Informationstheorie und Grundlagen der Informatik,    Datenbanktechlologie, Suchmaschinen und Data-Mining

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.

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.

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)

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.