Top > Seminars & Events > Seminars

Seminars

Logic and Computation Seminar

Title Speaker Event Date
Logic and Computation Seminar Nuiok Dicaire (University of Edinburgh), Jean-Simon Pacaud Lemay (Kyoto University/RIMS) 2022-07-15 14:00〜2022-07-15 17:00
The 18th Logic and Computation Seminar Daniel Gaina (Kyushu University), Walter Guttmann (JSPS International Research Fellow / University of Canterbury, New Zealand), Hitoshi Furusawa (Kagoshima University), Yasuo Kawahara (Kyushu University) 2019-11-15 13:30〜2019-11-15 18:00
The 14th Logic and Computation Seminar Peter Höfner (NICTA, Australia), Walter Guttmann (Univ. Canterbury, New Zealand), Yasuo Kawahara (Kyushu Univ., Japan), Toshiaki Matsushima (Kyushu Univ., Japan), Mitsuhiro Kondo, Takuya Matsuo (Kyushu Univ., Japan) 2015-11-12 13:00〜2015-11-12 16:50
The 9th Logic and Computation Seminar Reynald Affeldt (AIST), Akihiro MUNEMASA (Tohoku University), Yohji AKAMA (Tohoku University), Noriko WAKABAYASHI (Kyushu Sangyo University), Naoyuki SHINOHARA (Network Security Research Institute, NICT) 2011-11-26 13:00〜2011-11-26 18:00