Workshop on Formalization of Applied Mathematical Systems

There will be a meeting and workshop at UHM on September 25 to October 2.

This is part of the cooperative effort between our department and the math department at Chiba University.

A preliminary announcement can be found at:

Pictured: Profs. Monique Chyba and Manabu Hagiwara with students.