-
Paper at LICS 2026
The paper The Algebra of Iterative Constructions by Kevin Batz, Benjamin Kaminski, Lucas Kehrer, Gerwin Klein, Henning Urbat, and Todd Schmid has been accepted for publication at the Annual Symposium on Logic in Computer Science (LICS 2026). It presents an algebraic framework for proving fixed point theorems. For example, the fixed point property of the…
-
Kaminski member of IFIP Working Group 1.3
Benjamin Kaminski has been elected member of the IFIP Working Group 1.3 on Foundations of System Specification.
-
Busy Beaver Award for “Verification” lecture
Our lecture “Verification” won the Busy Beaver award for the best core lecture in the summer term 2025 . The Busy Beaver award, presented by the student council, recognizes outstanding teaching at Saarland University.
-
Paper at OOPSLA 2026
The paper noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning by Tobias Gürtler and Benjamin Kaminski has been accepted for publication at the International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2026). It presents a novel inference algorithm for discrete, loop-free probabilisitic programs that additionally feature (non-probabilistic) nondeterminism.
-
Selected JACM Article from 2022
Our paper Generative Datalog with Continuous Distributions (joint work with Martin Grohe, Joost-Pieter Katoen, and Peter Lindner) was featured as one of eight selected articles published in 2022 in the Journal of the ACM. It describes a new way to give semantics to Datalog, a declarative probabilistic programming language used in the context of probabilistic…
-
Hello world!
This site is under construction. Check back soon for more information.