Dagstuhl-Seminar — Semirings in Databases, Automata, and Logic


Dates : 16 février 2025 » 21 février 2025

Lieu : Schloss Dagstuhl – Wadern
Allemagne

Book your hotel


Organisateur : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Domaine : Informatique; 0
Mathématiques et Statistiques; Sciences sociales et humaines;
Mots-clé:: Logic, Probability, Language
Description :

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.


Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH organise son événement intitulé Dagstuhl-Seminar — Semirings in Databases, Automata, and Logic se tiendra du 16 février 2025 au 21 février 2025 en Schloss Dagstuhl – Wadern, Allemagne. Il couvre divers domaines de Informatique, y compris 0. Pour plus d'informations, visitez le site web de la conférence ou contactez l'organisateur.
Ajouter au calendrier 2025-02-16 2025-02-21 Europe/London Dagstuhl-Seminar — Semirings in Databases, Automata, and Logic https://www.sciencedz.net/fr/conference/111813-dagstuhl-seminar-semirings-in-databases-automata-and-logic Schloss Dagstuhl – Wadern - Allemagne Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Trouver d'autres conférences connexes

Vous cherchez d'autres conférences scientifiques auxquelles participer ? Explorez un large éventail d'événements à venir dans divers domaines et lieux. Que vous recherchiez des sujets spécialisés, des lieux spécifiques ou des dates, nous avons un large éventail de conférences à vous proposer.
Conférences en Informatique en Allemagne 2025 : Découvrez les dernières tendances et recherches en Informatique en participant à des conférences en Allemagne en 2025. Créez des réseaux avec des professionnels, des chercheurs et des leaders de l'industrie pour rester à la pointe des avancées technologiques.
Conférences et séminaires en Allemagne
Conférences et séminaires en Allemagne en 2025
Conférences et séminaires en Informatique
Conférences et séminaires en Informatique en 2025
Conférences et séminaires en Informatique en Allemagne
Conférences et séminaires en Informatique en Allemagne en 2025
Tous les événements
Evénements par pays

Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.Nous ne sommes impliqués dans l'organisation d'aucun des événements répertoriés et nous ne gérons pas les paiements d'inscription au nom des organisateurs.