Status of the TMR Network application
Karsten Homann and Michael Kohlhase
Abstract
The talk will inform of the current status of the Application for a grant in
the EU TMR programme. It will provide the basic facts for the discussions
about a new application in 1997.
- A recount on the history of the project.
- Ratings for the Math-Assistant project in the refereeing process.
- Overall administrative conditions in the next round for TMR.