Semirings and Logic: from Databases to AI

Semirings are versatile algebraic structures that have become central to many areas of computer science, from databases and artificial intelligence to automata and verification. They provide a unifying framework for tasks such as query evaluation, probabilistic inference and weighted computation, while also inspiring new perspectives in logic. This workshop brings together researchers from databases, automata theory, artificial intelligence and algebraic logic to exchange recent progress, establish shared language and identify common challenges.