Conférences  >  Informatique  >  Génie logiciel  >  Allemagne

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Code search describes the process of retrieving source code from a repository, where that source code matches a query. Whether a developer is looking for where an error was thrown, learning how to use a new-to-them API, learning a new programming language, or browsing their team’s directory to familiarize themselves with the codebase, search underpins all these activities. Beyond those human-driven software engineering processes, search is also a component in automated software engineering, such as automated program repair, code example recommendation, and clone detection. Furthermore, new generative AI tools have challenged traditional code search by presenting alternative approaches to finding and reusing code.

This Dagstuhl Seminar brings together experts in mining software repositories, human factors in software engineering, software documentation, code examples, program analysis, and industrial code search systems to bridge the gap between industry and academia and set the roadmap for the next decade of code search research.

Conception et gestion des bases de données, Moteurs de recherche et extraction de connaissances à pa,    Mise en œuvre et applications de l'intelligence artificielle

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Automated synthesis of systems from specifications has been a longstanding goal of computer science. This problem has been studied by theoreticians and practitioners over decades as witnessed by an extensive and continued stream of articles related to synthesis in top-tier conferences in the field of formal methods. Despite a lot of recent progress, scalability in practical applications is still a concern. Recent advances in SAT/SMT solvers, decision tree learners, and other computational engines present an opportunity for a breakthrough in scalability. These advances have already led to powerful tools in the subarea of functional synthesis, which focuses on the synthesis of functions from relational specifications. However, much work is left to be done in order to translate these successes into scalable algorithms for more comprehensive synthesis problems, such as reactive synthesis, which aims at the automatic construction of circuits, embedded controllers, and other reactive software with complex temporal requirements. This Dagstuhl Seminar seeks to build on the recent momentum in these communities, and aims to bring together researchers in functional synthesis, reactive synthesis, and sister communities to chart the way forward. There are three broad objectives of the seminar.

Software & Support Media GmbH

Besuchen Sie uns auf der JAX 2024, der führenden Konferenz für Softwareentwickler, Architekten und IT-Profis! Vom 8. bis 11. April 2024 tauchen Sie ein in eine viertägige Reise in die Welt der modernen Technologie und Softwareinnovation. Die JAX ist Ihre Tür zu den neuesten Trends, Tools und Techniken, die die Softwareentwicklung gestalten. Tauchen Sie ein in eine vielfältige Auswahl an Sessions und Workshops zu Themen wie Java, Softwarearchitektur, Microservices und mehr. Unsere Expertensprecher geben Einblicke in fortgeschrittene Programmierkonzepte, bewährte Verfahren und Praxisbeispiele, die Sie in Ihren Projekten herausragen lassen.

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

Java, Software

Entwickler.de Akademie

Das DevOps Service Mesh Camp ergänzt die bereits berühmte Reihe der DevOps Trainings mit den Kubernetes und Monitoring Camps und ist ein Must-Have, um auf Ihrem Weiterbildungsweg voranzukommen. Das dreitägige Intensivtraining findet vom 13. – 15. Mai 2024 in München statt. Lernen Sie Istio und dessen Features Schritt für Schritt kennen! Dabei geht Trainer Michael Hofmann immer wieder auf Best Practices und Security Best Parcices ein, um das Gelernte zu verdeutlichen. Sie können sich auf Live Codings und Hands-On Übungen freuen, durch die Sie Ihre neuen Kenntnisse praxisnah vertiefen.

Email.: info@entwickler-akademie.de

DevOps, Istio, Workshop, Weiterbildung, Training, IT, Microservices, Cloud, Kubernetes, Programmieren

Formation en informatique ,    Calcul distribué, cloud computing, informatique en périphérie

Entwickler.de Akademie

Sie kennen bereits die Basics von Angular und möchten nun die vielen Konzepte und Hintergründe wirklich vollständig durchdringen? Dann ist dieses Bootcamp das richtige für Sie!

Wir starten mit einer einfachen Angular-Anwendung und erweitern diese um sämtliche Möglichkeiten, die das Framework zu bieten haben. Dabei schauen wir auch hinter den Vorhang um zu verstehen, wie Angular tickt sowie welche bewussten Einschränkungen, Missverständnisse und Fallstricke es mit sich bringt.

Email.: info@entwickler-akademie.de

Modern Angular, Direktiven, wiederverwendbare Komponenten, Dependency Injection, Routing, Formulare

entwickler.de Akademie

Die entwickler.de Akademie präsentiert das Software Architecture Camp - Foundation Level vom 13. - 17. Mai, jeden Tag von 9 bis 17 Uhr in München. 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 4. April von Frühbucher- und Teamrabatten.

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

Software, Softwareentwicklung, Soft-Skills, Architektur, Softwarearchitektur

Software & Support Media GmbH

Experience the pioneering DevOpsCon San Diego 2024! From May 20 to 23, 2024, join us for a groundbreaking four-day event focused on the latest DevOps methodologies and technologies. For the first time in San Diego, this conference brings together top-notch experts and enthusiasts to explore cutting-edge trends and advancements in DevOps practices.

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

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

Entwickler.de Akademie

In diesem Intensivtraining steht Kubernetes im Mittelpunkt, denn schon jetzt kann man sagen, dass Kubernetes der Industriestandard für Orchestrierungsframeworks ist. Wo Docker Swarm Mode nicht mehr ausreicht, findet das komplexere Kubernetes seine Verwendung. In diesem DevOps Training wird zunächst der Aufbau von Kubernetes erklärt, der Fokus liegt jedoch auf der praktischen Verwendung, dem Ausrollen von Containern in und mit Kubernetes.

Email.: info@entwickler-akademie.de

Intensivtraining, Workshop, Kubernetes, DevOps, Container

Entwickler.de Akademie

Die entwickler.de Akademie präsentiert im Rahmen des Software Architecture Camps Advanced das Modul ARCEVAL vom 27. - 28. Mai 2024, Berlin. In dem Training mit Matthias Bohlen lernen die Teilnehmenden elementare Techniken und Methoden kennen und anwenden, um Softwarearchitekturen zu reflektieren.

Architekturbewertung ist ein zentrales Werkzeug, um Sicherheit im Architekturentwurf zu gewinnen und um bestehende Lösungen oder Lösungsansätze fokussiert und nachhaltig weiterentwickeln zu können. Oder auch, um sie informiert zu verwerfen. Vor allem fördert Architekturbewertung Kommunikation und Transparenz, richtig angewendet passt sie daher prima in ein zeitgemäßes Vorgehen.

Auszug aus den Trainingsinhalten:

- Nutzen und Ziele von Architekturbewertung

- Voraussetzungen für eine Architekturbewertung

- Qualitative vs. quantitative Bewertungsmethoden

- Qualitative Anforderungen untersuchen und behandeln

- Qualitätsanforderungen detaillieren und beschreiben

- ATAM - Architecture Tradeoff Analysis Method

- Bewertungsworkshops vorbereiten und durchführen

- Bewertungsmethoden in vorhandenes Vorgehen einbetten

- Bewertung bestehender System(-teil)e Nacharbeit und Ergebnisverwertung

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 methodischen Kompetenzbereich vergeben.

Email.: entwickler-akademie@sandsmedia.com

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

Entwickler.de Akademie

In diesem Camp lernen Sie über drei Tage hinweg mittels Prometheus geschäftsrelevante Auswertungen umzusetzen und gezielte Ursachenanalyse zu betreiben. Anschließend erläutern Thomas und Karsten Schritt für Schritt, wie Sie für einen optimalen Überblick mit Hilfe von Grafana die gesammelten Metriken zu übersichtlichen Dashboards zusammenstellen.

Prometheus, Grafana, Metrikarten, PromQL, Monitoring, Datenbanken, Dev, Ops, Grundlagen

Calcul distribué, cloud computing, informatique en périphérie,    Formation en informatique

Entwickler.de Akademie

2024 haben die Teilnehmenden wieder die Möglichkeit, eine flexiblere Form des Angular Deep Dive zu wählen. Das Angular Camp - Flexible Deep Dive ist ein vierwöchiges Online-Training für Fortgeschrittene und Profis. Durch Lernvideos und Übungsaufgaben werden verschiedene Angular-Themen intensiv erarbeitet und das ganze Programm wird von unserem Trainer Manfred Steyer begleitet. Das Besondere am Flexible Deep Dive Camp ist die individuelle Zeiteinteilung. Die Teilnehmenden können sich die vier Lektionen über vier Wochen frei nach Ihrem Lerntempo und Kalender einrichten. Jede Woche wird ein neues Deep Dive Thema inklusive spannender Lernvideos und Übungen freigeschaltet.

Email.: info@entwickler-akademie.de

Online-Training, Angular, JS-Framework, Routing, Formulare, Modern Angular, Dependency Injection

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

entwickler.de Akademie

Die entwickler.de Akademie präsentiert das Software Architecture Camp - Foundation Level vom 10. - 13.Juni, jeden Tag von 9 bis 17 Uhr 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 2. Mai von Frühbucher- und Teamrabatten.

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

Software, Softwareentwicklung, Softwarearchitektur, Soft-Skills

Entwickler.de Akademie

Das DevOps Training für Kubernetes bietet einen praktischen und klar verständlichen Einstieg in die Open-Source-Technologie Kubernetes. Wer schon mit Docker arbeitet, wird auch Container orchestrieren – erlauben Orchestrierungslösungen doch die eigenen Container über mehrere Rechner hinweg hochverfügbar und skalierbar auszurollen und zu verwalten. Dazu gehört auch das Service Discovery (nicht nur für Microservices interessant) der Container, egal wo sie gestartet sind. Solch ein Orchestrierungsframework bietet die Konfiguration des Loadbalancers, die Möglichkeit sowohl die Rechner als auch die Container automatisch zu skalieren und vieles mehr. In diesem Intensivtraining steht Kubernetes im Mittelpunkt, denn schon jetzt kann man sagen, dass Kubernetes der Industriestandard für Orchestrierungsframeworks ist. Wo Docker Swarm Mode (behandelt im Docker Camp) nicht mehr ausreicht, findet das komplexere Kubernetes seine Verwendung. In diesem DevOps Training wird zunächst der Aufbau von Kubernetes erklärt, der Fokus liegt jedoch auf der praktischen Verwendung, dem Ausrollen von Containern in und mit Kubernetes. Dabei erhält jeder Teilnehmende Zugriff auf einen eigenen Kubernetescluster mit mindestens 3 Knoten.

DevOps Training, Kubernetes, Open-Source-Technologie, Docker, Container, Service Discovery, Loadbalancers

Théorie de l'information, fondations de l'informatique,    Formation en informatique

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

It is common practice to test compilers with fuzzers that generate test programs. There have been recent advantages in language agnostic general fuzzers that can be configured with the semantics of the programming languages for which they then generate codes. Compiler writers also face submissions of codes that causes bugs during compilation. To track down the root cause of the bug in the compiler it is crucial to reduce such programs to the small core that triggers the bug. It is common practice to use programming language specific reducers to boil down bugs to their cores. Little work has been done on the challenges of language agnostic program reduction - this is the focus of this research stay.

Entwickler.de Akademie

Kurz, intensiv und perfekt für Angular-Neugierige. Das einzigartige Angular Camp - Basic für Softwareentwickler:innen ist zurück. Im Juni können Teilnehmende wieder das exklusive und abwechslungsreiche Seminar mit einem Mix aus Vortrag, Live-Coding und Übungen erleben. Das dreitägige Training für Einsteiger:innen verspricht ein intensives Auseinandersetzen mit den Grundlagen des JavaScript-Framework Angular. Bestens geeignet für Entwickler:innen, die zukünftig Ihre eigenen Angular-Projekte umsetzen möchten. Trainer ist wie immer Experte, GDE und Angular-Koryphäe Manfred Steyer.

Weiterbildung, Online, Angular, JavaScript, Dependency Injection, Standalone Components, Signals, Formulare, Angular Testing, State Management

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

Entwickler.de Akademie

Kurz, intensiv und gebündelt – Das 360°-Intensivtraining zu Angular als Intense Deep Dive ist zurück. Vom 17. – 19. Juni 2024 haben Sie die Möglichkeit, in die Welt von Angular tiefer einzutauchen. Das dreitägige Training für Fortgeschrittene verspricht praxisnahe Einblicke und ein lebhaftes Auseinandersetzen mit der Erstellung und den Möglichkeiten von Angular-Anwendungen. Trainer ist wie immer Experte und Angular-Koryphäe Manfred Steyer.

Email.: info@entwickler-akademie.de

Angular, JS-Framework, Weiterbildung

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

Software & Support Media GmbH

Circle the dates on your calendar for DevOpsCon in Berlin, set to unfold from June 17 to 20, 2024. This conference is a pivotal gathering for professionals looking to streamline software development and enhance IT operations processes. Immerse yourself in the latest DevOps practices, tools, and strategies in a collaborative and innovative environment. Attend engaging sessions, hands-on workshops, and gain insights from industry leaders, providing you with practical knowledge to propel your DevOps initiatives. Whether you're a seasoned DevOps practitioner or exploring the field, DevOpsCon Berlin offers an invaluable opportunity to stay ahead in this dynamic and ever-evolving landscape.

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

Entwickler.de Akademie

2024 haben die Teilnehmenden erstmalig die Möglichkeit, eine flexiblere Form des Angular Basic Camps zu wählen. Das Flexible Camp ist ein vierwöchiges Online-Training für Einsteiger:innen. Das Besondere am Flexible Basic Camp ist die individuelle Zeiteinteilung. Die Teilnehmenden können sich die vier Lektionen über vier Wochen frei nach Ihrem Lerntempo und Kalender einrichten. Jede Woche wird ein neues Thema inklusive spannender Lernvideos und Übungen freigeschaltet.

Email.: info@entwickler-akademie.de

Angular, JS-Framework, Online-Training

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

entwickler.de Akademie

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

Unser erfahrener Trainer Marcus Crestani bereitet 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 23. Mai von Frühbucher- und Teamrabatten.

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

Software, Softwarearchitektur, Programmieren

Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Most networked applications spend a significant amount of time on communication, and the software libraries and hardware used for communication often determines their performance (both throughput and latency), and their resource requirements. In the past decade, we have seen several efforts to improve communication performance and efficiency at the end-host. These include kernel bypass libraries such as DPDK, new kernel interfaces such as io_uring, in-kernel network offloads provided by XDP and eBPF, and SmartNICs of a variety of types. Each of these approaches makes trade-offs in terms of their performance, how easily they can be deployed (in private clusters and multi-tenant environments), their resource requirement, the reliability they provide, and how easy it is for programmers to use them when building networked applications. We are organizing this Dagstuhl Seminar to bring together people who work on systems, networking, programming languages, compilers, computer architecture, and distributed systems to work together to articulate and understand these trade-offs, and collectively propose approaches to improve usability, reliability, deployability, and analysis of high-performance networking software and hardware.

Matériel informatique,    Réseaux, Internet

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.

Pédagogie de la science,    Éducation

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

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.

Tél.: [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

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.

Mise en œuvre et applications de l'intelligence artificielle,    Traitement automatique des langues, Linguistique informatique

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.

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