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.
We coordinate this series with the seminar series of the Compositional Methods and Systems (TallCat) Group.
To receive email annoucements about the talks, please subscribe to the TSEM mailing list.