REPORTS
Forum
International workshop on verified computations and related topics
2009.03.23
■Date: March 7-10, 2009
■Place: University of Karlsruhe (TH), Germany
■Organizers
Michael Plum (Faculty of Mathematics, University of Karlsruhe)
Mitsuhiro T. Nakao (Faculty of Mathematics, Kyushu University)
Kaori Nagatou (Faculty of Mathematics, Kyushu University)
Frank Herrlich (Faculty of Mathematics, University of Karlsruhe)
Masato Wakayama (Faculty of Mathematics, Kyushu University)
■Program:Program
■Information:
Forum HP
File:photos



