Seminar series Logic Seminar Date Fri, 17 Feb 2006 15:15 Location L3 Speaker Masanori Itai Organisation Tokai