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)



Banquet


Excursion


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