School of Technology and Computer Science Seminars  (events overview)

<<  <  Thursday 08 August 2019  >  >>
14:30 Automated Reasoning for Replicated Systems (Nagar, Kartik) (: A-201 STCS Seminar Room)