[MB] _________________________ AMAST Links 02 04

3rd Int'l Conference on the Mathematics of Program Construction, MPC'95

Kloster Irsee, Germany, 17th--21st July, 1995

Update of information in [SIAN05p2-6] .
The MPC'95 Advance Program and Registration Information is available
in two forms: plain-text and LaTeX resp..