Second Meeting of the
Math-Assistant Project
International Conference and Research Center for Computer Science
Schloss Dagstuhl
Germany
November 18-20
Programme
Travel Information
Dagstuhl will be open for arrival on Sunday November 17. from noon on. Travel information can be found
here
.
Participants
Last updated November 5. 1996 (
Michael Kohlhase
)