[Japanese/English]

Programming Logic Group

Programming Logic Group (PLG) at University of Tsukuba is a research laboratory on programming languages, program verification and related fields.

Yukiyoshi Kameyama and Hiroshi Unno jointly mangaes this group.

What's New

Index


Web Manager (www [at] logic.cs.tsukuba.ac.jp)