[Japanese/English]

Programming Logic Group

What's New

• [2011/09/24] We have organized ACM Continuation Workshop.
• [2011/04/12] Member list has been updated.
• [2010/04/06] Member list has been updated.
• [2009/04/01] Member list has been updated.
• [2008/05/20] The home page of this laboratory has been renewed.
• [2008/04/13] We have organized Continuation Fest.

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