Event info

Workshop on Formalization of Applied Mathematical Systems
A joint project of Chiba University and the University of Hawai`i
http://math.hawaii.edu/~jb/workshop2/

Date: 2015-09-25 ～2015-10-02
Venue: University of Hawai`i, Manoa

Tentative Schedule
Friday, Sept. 25: Welcome and Organizational Meeting
Monday, Sept. 28: Formalization of Coding Theory
Tuesday, Sept. 29: Formalization of Statistics
Wednesday, Sept. 30: Universal Algebra and Computation
Thursday, Oct. 1: Workshop on Logic, Informatics and Applications, Dinner
Friday, Oct. 2: Closing Meeting, Colloquium Presentation to UH Mathematics Department

Each day will include formal presentations and discussion. For further information contact the organizers

Speakers include
Jacques Garrigue (Nagoya University)
Kenta Kasai (Tokyo Institute of Technology)
Ken-ichi Kuga (Chiba University)
Yoshihiro MIZOGUCHI (Institute of Mathematics for Industry, Kyushu University)
Kyosuke Nakano (Chiba University)
J.B. Nation (University of Hawaii)
Affeldt Reynald (National Institute of Advanced Industrial Science and Technology, Japan)
Liu Tzewei (University of Hawaii)
Jinfang Wang (Chiba University)