3rd Austria – Japan Summer Workshop on Term Rewriting
1 – 7 August 2010, Obergurgl
The workshop takes place in the Obergurgl University Centre
Sponsors
The workshop is a joint seminar of FWF (Austrian Science Fund) and JSPS (Japan Society for the Promotion of Science)
Organisers
- Aart Middeldorp (University of Innsbruck)
- Masahiko Sakai (Nagoya University)
Participants
Austria
- Martin Avanzini
- Bertram Felgenhauer
- Bernhard Gramlich
- Martin Korp
- Aart Middeldorp
- Georg Moser
- Friedrich Neurauter
- Felix Schernhammer
- Andreas Schnabl
- Christian Sternagel
- René Thiemann
- Sarah Winkler
- Harald Zankl
Japan
- Yuki Chiba
- Naohi Eguchi
- Nao Hirokawa
- Dominik Klein
- Yoshiharu Kojima
- Mizuhito Ogawa
- Masahiko Sakai
- Tsubasa Sakata
- Haruhiko Sato
Support Staff
- Martina Ingenhaeff
Program
| Monday | |||
| session 1 (chair: Masahiko Sakai) | |||
| 09:00 – 09:30 | Friedrich Neurauter | title & abstract | slides |
| 09:30 – 10:00 | Harald Zankl | title & abstract | slides |
| 10:00 – 10:30 | Martin Korp | title & abstract | slides |
| session 2 (chair: René Thiemann) | |||
| 11:00 – 11:30 | Yuki Chiba | title & abstract | slides |
| 11:30 – 12:15 | Bernhard Gramlich | title & abstract | slides |
| 12:15 – 12:45 | Tsubasa Sakata | title & abstract | slides |
| Tuesday | |||
| session 3 (chair: Harald Zankl) | |||
| 09:00 – 09:15 | Haruhiko Sato | title & abstract | slides |
| 09:15 – 09:45 | Sarah Winkler | title & abstract | slides |
| 09:45 – 10:30 | Dominik Klein | title & abstract | slides |
| session 4 (chair: Yuki Chiba) | |||
| 11:00 – 11:30 | Yoshiharu Kojima | title & abstract | slides |
| 11:30 – 12:00 | Felix Schernhammer | title & abstract | slides |
| 12:00 – 12:30 | Nao Hirokawa | title & abstract | slides |
| Wednesday | |||
| session 5 (chair: Bernhard Gramlich) | |||
| 09:00 – 09:30 | Martin Avanzini | title & abstract | slides |
| 09:30 – 10:00 | Naohi Eguchi | title & abstract | slides |
| 10:00 – 10:30 | Andreas Schnabl | title & abstract | slides |
| session 6 (chair: Nao Hirokawa) | |||
| 11:00 – 11:30 | Masahiko Sakai | title & abstract | slides |
| 11:30 – 12:00 | Aart Middeldorp | title & abstract | slides |
| Thursday | |||
| excursion (rafting) | |||
| Friday | |||
| session 7 (chair: Mizuhito Ogawa) | |||
| 09:00 – 10:00 | Christian Sternagel | title & abstract | slides |
| 10:00 – 10:30 | René Thiemann | title & abstract | slides |
| session 8 (chair: Aart Middeldorp) | |||
| 11:00 – 11:45 | Georg Moser | title & abstract | slides |
| 11:45 – 12:15 | Mizuhito Ogawa | title & abstract | |
| 12:15 – 12:45 | Bertram Felgenhauer | title & abstract | slides |