Welcome to the Yonezawa Group's WWW server, at [http://www.is.s.u-tokyo.ac.jp the Department of Information Science], [http://www.s.u-tokyo.ac.jp Faculty of Science], [http://www.u-tokyo.ac.jp the University of Tokyo].

= Introduction =
 * [/~yonezawa/ Professor Akinori Yonezawa]
 * [wiki:LabIntro Introduction of Yonezawa Group]
 * [wiki:LabMembers Members]
 * [wiki:LabMap Route to Yonezawa Group]

(under construction)

== Projects ==

(under construction)

== Achievements ==
 * [wiki:Publications.en Publications in English]
 * [wiki:Publications.ja Publications in Japanese]
 * [wiki:ThesesForDegrees Theses for Degrees]
 * [wiki:Awards.ja Awards (in Japanese)]
 * [wiki:NewsMagazine.ja News Stories and Magazine Articles (in Japanese)]

----

== Information for Group Members ==
 * Meetings
   * [wiki:GeneralMeeting General meeting]
   * [wiki:private/ModelCheckingSeminar2008.ja Model Checking Seminar (in Japanese)]
   * [wiki:private/SystemSoftwareSeminar.ja System Software Seminar (in Japanese)]
   * [wiki:private/CoqSeminar.ja Coq Seminar (in Japanese)]
 * [wiki:private/Documents.ja Documents (in Japanese)]
 * [wiki:private/AdminIndex.ja Our Computing Environment (in Japanese)]
 * [http://www.is.s.u-tokyo.ac.jp/~cybozu/office.cgi Room Reservation System (Dept. of IS only)]
 * [wiki:private/MiscInfo.ja Miscellaneous Information (in Japanese)]