[S4] ================================================ AMAST Links 02 05

                    Computer Aided Design and Test
                    Announcement of a New WWW Page   

  This is to announce some WWW-pages initiated by the Dagstuhl-Seminar

   _Computer Aided Design and Test_ (13.-17.02.1995)

which was organized by

   Bernd Becker, Randy Bryant, Oliver Coudert and Christoph Meinel

  This time the workshop focussed on Binary Decision Diagrams (BDDs) 
and related data structures in practical applications as well as in 
theoretical research.

  Up to now the WWW pages include:

 o  abstracts of all the lectures;
 o  a lot of relevant full papers, and
 o  addresses and/or links to the home pages of the participants.

  We appreciate (links to) additional material which is relevant to 
this area.