ホーム

REPORTS

Forum

REPORTS

Message Download Consortium

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

RETURN LIST