[MC] _________________________ AMAST Links 03 01

TACAS'96 & AIN'96

Tools & Algorithms for the Construction & Analysis of Systems, TACAS'96
2nd Int'l Workshop, Passau (Germany), March 27 - 29, 1996
together with the adjoint
Int'l Workshop on Advanced Intelligent Networks, AIN'96
Passau (Germany), March 25 - 26, 1996

Update of information in [AL0207CB] .
The Final Programs (Postscript) of both meetings are found.

Final program, registration forms and local information on how to reach Passau are available per WWW .

Note: a few extra slots for demos have been made available. Please contact the Local Organizer (tiziana@fmi.uni-passau.de).