Programming Research Group

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.

👉Joint Seminar on Programming Languages