Programming Logic Group
[2014/03/01] Oleg Kiselyov has joined our laboratory as a visiting faculty. See
[2011/09/24] We have organized
ACM Continuation Workshop
has been updated.
[2008/05/20] The home page of this laboratory has been renewed.
[2008/04/13] We have organized
List of news (includin older ones).
Call for Students
Department of Computer Science
, Graduate School of Systems and Information Engineering, University of Tsukuba
College of Information Sciences
, University of Tsukuba [for undergraduate students]
Web Manager (www at logic.cs.tsukuba.ac.jp)