FWF-JSPS Joint Project Austria-Japan Accepted (March 20, 2012)

The project “Constrained Rewriting and SMT: Emerging Trends in Rewriting”, funded by Austrian Science Fund (FWF) and the Japan Society for Promotion of Science (JSPS) has been accepted. The project is a joint project between Austria and Japan. It is planned for 3 years and will commence shortly. The volume of the project is EUR 463K.

This Austria-Japan joint project combines the expertise in term rewriting in the Computational Logic research group at the University of Innsbruck and in the Theory and Logic research group at Vienna University of Technology, with four research groups in Japan: Hokkaido University, Japan Advanced Institute of Science and Technology, Nagoya University, and the University of Yamanashi.

The project aims at advancing the state of the art in constrained rewriting and in the applicability of SMT solvers in rewriting by pooling the available expertise of the six partners.