RISC-Linz
RTA 2008
July 15-17, 2008. Hagenberg, Austria
International Conference on Rewriting Techniques and Applications
 
home
|
meetings
|
dates
|
speakers
|
committees
|
submission
|
registration
|
program
|
local information
|
related events
  
search:

General Chair

Bruno Buchberger
Research Institute for Symbolic Computation
Johannes Kepler University Linz
A-4232 The Castle of Hagenberg
Austria


Program Chair

Andrei Voronkov
School of Computer Science
University of Manchester
Oxford Rd, Manchester M13 9PL
UK

Program Committee


Organization Committee Chair

Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz
A-4232 The Castle of Hagenberg
Austria

Organization



webmaster