2nd Austria – Japan Summer Workshop on Term Rewriting
19 – 25 August 2007, Obergurgl
The workshop takes place in the Obergurgl University Centre
The workshop will be modeled on the Japanese term rewriting meetings:
- presentations in English about recent work or work in progress
- no proceedings
- lots of time for discussions and social activities
Sponsors
Bundesministerium für Wissenschaft und Forschung
University of Innsbruck
Photo gallery
An assorted collection of pictures from the event can be found in Simon Bailey’s Gallery
Participants
- Martin Korp
- Temur Kutsia
- Aart Middeldorp
- Georg Moser
- Friedrich Neurauter
- Naoki Nishida
- Vincent van Oostrom
- Masahiko Sakai
- Andreas Schnabl
- Matthias Schroll
- Christian Sternagel
- Akihiko Takano
- René Thiemann
- Yoshihito Toyama
- Johannes Waldmann
- Sarah Winkler
- Harald Zankl
Program
- Monday
- 09:00 – 09:45 Naoki Nishida
- 09:45 – 10:30 Friedrich Neurauter
- 11:00 – 11:45 Vincent van Oostrom
- 11:45 – 12:15 Matthias Schroll
- Tuesday
- 09:00 – 09:45 Johannes Waldmann
- 09:45 – 10:30 Harald Zankl
- 11:00 – 11:45 Masahiko Sakai
- 11:45 – 12:30 René Thiemann
- Wednesday
- excursion
- Thursday
- 09:00 – 09:45 Temur Kutsia
- 09:45 – 10:30 Akihiko Takano
- 11:00 – 11:45 Georg Moser
- 11:45 – 12:15 Andreas Schnabl
- 12:15 – 12:45 Sarah Winkler
- Friday
- 09:00 – 09:45 Martin Korp
- 09:45 – 10:30 Yoshihito Toyama
- 11:00 – 11:45 Christian Sternagel
- 11:45 – 12:30 Aart Middeldorp