## 2023

##### Catoids, Categories, Groupoids

by Georg Struth
Aug 14

##### Modal quantales, involutive quantales, Dedekind Quantales

by Georg Struth and Cameron Calk
Jul 25

## 2019

##### Verification Components for Hybrid Systems

by Jonathan Julian Huerta y Munive
Sep 10

## 2016

##### Program Construction and Verification Components Based on Kleene Algebra

by Victor B. F. Gomes and Georg Struth
Jun 18