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

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.

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

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)

Software & Support Media GmbH

Join us for DevOpsCon New York, taking place from September 29 – October 2, 2025, in the heart of New York City. This conference is the ideal destination for DevOps professionals, developers, and IT leaders eager to explore the latest advancements in automation, continuous delivery, and cloud-native technologies. Whether you're an experienced DevOps engineer or just starting your journey, DevOpsCon New York offers invaluable insights and practical strategies to help you stay ahead in the rapidly evolving tech landscape.

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

Business & Company Culture, Cloud Platforms, Containerization & the Kubernetes Ecosystem, Continuous Integration & Continuous Delivery, DevSecOps & Cloud Security, System Design & Software Architecture, Observability & Service Mesh

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.