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
> submission
>
search:
Invited Speakers
Véronique Cortier
(LORIA, CNRS, Nancy).
Verification Techniques for Cryptographic Protocols.
Thomas Hillenbrand
(MPI, Saarbrücken).
Fast Equational Reasoning with Waldmeister.
Albert Rubio
(UPC, Barcelona).
Present and Future of Proving Termination of Rewriting.
Invited Tutorial Speaker
Erich Kaltofen
(North Carolina State University).
The algebraic Synthesis of Algorithms.
webmaster