Tetsuya Sato’s Talk on Verification & Formalization on Differntial Privacy at the 3rd PL Joint Seminar
We hosted the 3rd PL Joint Seminar in collaboration with programing research labs (Mianamide-lab & RPG-group) from Schience Tokyo.
Programming Research Group
Department of Mathematical and Computing Science, Institute of Science Tokyo (née Tokyo Institute of Technology)