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 | |||||||||