Welcome to the Sato Laboratory's website. Please click the menu above for more information.

What's New

• Taisuke Sato received the Distinguished Research Award for his work on OLDT Resolution (done jointly with Hisao Tamaki) at ICLP2012 (Sep. 6, 2012).
• Gabriel Synnaeve received the Best Student Paper Award on the paper (Feb. 5, 2011):

  Synnaeve, G., Inoue, K., Doncescu, A., Nabeshima, H., Kameya, Y., Ishihata, M. and Sato, T.: Kinetic models and qualitative abstraction for relational learning in systems biology. Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS-2011).

• PRISM, a programming language/system for symbolic-statistical modeling, is downloadable from here.
  • Version 2.1 was released on Sept. 1, 2012.