TSEM is the seminar series of the Logic and Semantics Group, an informal subgroup of the High-Assurance Software Lab. of the Dept. of Software Science of the Tallinn University of Technology.
TSEM is organized by Niccolò Veltri. We coordinate this series with the TallCat seminar series of the Compositional Methods and Systems (Compose) Group.
To receive email annoucements about the talks, please subscribe to the TSEM-TallCat mailing list.