AMAST Mail - April 1996

• Final CfP: FORTE/PSTV'96
  96/04/02 -- Jan Bredereke <brederek@informatik.uni-kl.de>
• Academic Positions -- CS Dept -- Univ of Cyprus
  96/04/02 -- George Angelos Papadopoulos <george@turing.cs.ucy.ac.cy>
• FMCAD'96
  96/04/06 -- srivas <srivas@csl.sri.com>
• GOEDEL'96 - Conference Programme
  96/04/22 -- "Milan Daniel" <milan@uivt.cas.cz>
• Contribution to AMAST Links
  96/04/22 -- Joost-Pieter Katoen <katoen@cs.utwente.nl>
• Reminder Infinity Workshop
  96/04/22 -- Bernhard Steffen <steffen@fmi.uni-passau.de>