INVA 2017
INVA 2017
The International Workshop on Numerical Verification and its Applications 2017
Date and place
Date: March 14 -18, 2017
Place: Miyako-jima, Okinawa, HOTEL BREEZE BAY MARINA
Talks: English
Shuttle bus
From airport | Arrive at hotel | From hotel | Arrive at airport | |
---|---|---|---|---|
10:35 | 10:55 | 1 | 9:35 | 10:00 |
11:25 | 11:45 | 2 | 10:55 | 11:20 |
12:15 | 12:35 | 3 | 11:45 | 12:10 |
13:05 | 13:25 | 4 | 12:35 | 13:00 |
14:35 | 14:55 | 5 | 13:25 | 13:50 |
15:50 | 16:10 | 6 | 14:55 | 15:20 |
17:50 | 18:10 | 7 | 17:10 | 17:35 |
18:50 | 19:10 | 8 | 18:10 | 18:35 |
Bus stop
Registration fee
5,000 yen (Student 2,000 yen)
Contact us
The secretary of INVA 2017: inva2017@oishi.info.waseda.ac.jp
Organizers
Masahide Kashiwagi (Waseda University, Japan)
Kenichi Maruno (Waseda University, Japan)
Naoya Yamanaka (Meisei University, Japan)
Secretaries
Yusuke Morikura (Waseda University, Japan)
Kouta Sekine (Waseda University, Japan)
Yuuka Yanagisawa (Waseda University, Japan)
Atsushi Minamihata (Waseda University, Japan)
INVA 2017 @Miyako-jima
Copyright: CREST, JST project titled “Development of Verified Numerical Computations for Mathematical Modeling”. All rights reserved.