Our booklet includes abstracts of the talks.
You can get one on the day.
PROGRAM | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Mon 2 | 9:15-9:35 | (registration) | ||||||||
9:35-9:45 | Opening Remarks by Prof. Hiroyuki
Iida, Dean of School of Information Science, JAIST | |||||||||
9:45-10:45 | Contributed Talks | |||||||||
(9:45-10:15) | J. Berger Svindland | |||||||||
(10:15-10:45) | Diener | |||||||||
(coffee break) | ||||||||||
11:15-12:00 | Invited Talk | |||||||||
(11:15-12:00) | Leigh | |||||||||
(lunch break) | ||||||||||
14:00-15:40 | Tutorial | |||||||||
(14:00-14:45) | Sambin 1 | |||||||||
(14:55-15:40) | Sambin 2 | |||||||||
(coffee break) | ||||||||||
16:00-17:30 | Contributed talks | |||||||||
(16:00-16:30) | Kawai | |||||||||
(16:30-17:00) | de Brecht | |||||||||
(17:00-17:30) | Matsuoka | |||||||||
Tue 3 | 9:15-10:45 | Contributed talks | ||||||||
(9:15-9:45) | Maietti Maschio | |||||||||
(9:45-10:15) | Lumsdaine | |||||||||
(10:15-10:45) | Ameen Tatsuta | |||||||||
11:15-12:00 | Invited talk | |||||||||
(11:15-12:00) | Tatsuta | |||||||||
(lunch break) | ||||||||||
14:00-15:40 | Invited talks | |||||||||
(14:00-14:45) | M. Sato | (14:55-15:40) | U. Berger | |||||||
(coffee break) | ||||||||||
16:00-17:30 | Contributed talks | |||||||||
(16:00-16:30) | Kohlenbach Koutsoukou-Argyraki | |||||||||
(16:30-17:00) | Kawamura Steinberger Ziegler | |||||||||
(17:00-17:30) | Nemoto | |||||||||
Wed 4 | 9:15-10:45 | Contributed talks | ||||||||
(9:15-9:45) | Fujiwara | |||||||||
(9:45-10:15) | Sanders | |||||||||
(10:15-10:45) | Swan | |||||||||
(coffee break) | ||||||||||
11:15-12:00 | Invited talk | |||||||||
(11:15-12:00) | Rathjen | |||||||||
Thu 5 | 9:15-11:30 | Contributed talks | ||||||||
(9:15-9:45) | Duparc | |||||||||
(9:45-10:15) | Dean Kurokawa | |||||||||
(coffee break) | ||||||||||
(10:30-11:00) | Ilic | |||||||||
(11:00-11:30) | Suzuki | |||||||||
(lunch break) | ||||||||||
13:30-15:10 | Tutorial | |||||||||
(13:30-14:15) | Wainer 1 | |||||||||
(14:25-15:10) | Wainer 2 | |||||||||
(coffee break) | ||||||||||
15:30-17:30 | Contributed talks | |||||||||
(15:30-16:00) | Basu Simpson | |||||||||
(16:00-16:30) | T. Sato | |||||||||
(16:30-17:00) | W. Peng Yamazaki | |||||||||
(17:00-17:30) | N. Peng | |||||||||
Fri 6 | 9:15-9:45 | Contributed talk | ||||||||
(9:15-9:45) | Yokoyama | |||||||||
9:45-10:30 | Invited talk | |||||||||
(9:45-10:30) | Kihara | |||||||||
(coffee break) | ||||||||||
10:50-12:30 | Tutorial | |||||||||
(10:50-11:35) | Tsuiki 1 | |||||||||
(11:45-12:30) | Tsuiki 2 |