AMAST Mail - July 1996

• CFP COORDINATION'97
  96/07/01 -- Robert Tolksdorf <tolk@cs.tu-berlin.de>
• KONVENS 96, 7.-9.07.96: PROGRAMM (Stand 2. Juli 1996)
  96/07/02 -- "Konvens" <konvens@spectrum.uni-bielefeld.de>
• No Subject
  96/07/03 -- Vladimiro Sassone <vs@DI.Unipi.IT>
• GETGRATS grant: Call for Application
  96/07/05 -- Andrea Corradini <andrea@DI.Unipi.IT>
• CONCUR 96: Final Call for Participation
  96/07/05 -- Vladimiro Sassone <vs@DI.Unipi.IT>
• Workshop on Hybrid and Real-Time Systems
  96/07/08 -- Ahmed Bouajjani <Ahmed.Bouajjani@imag.fr>
• Program: FORTE/PSTV'96
  96/07/09 -- "FORTE-PSTV'96" <forte@informatik.uni-kl.de>
• KONVENS 96, 7.-9.07.96: PROGRAMM (Stand 2. Juli 1996)
  96/07/10 -- "Konvens" <konvens@spectrum.uni-bielefeld.de>
• No Subject
  96/07/11 -- maria@bianya.crm.es (Maria Julia)
• Program of INFINITY: please circulate it locally
  96/07/14 -- Tiziana Margaria <tiziana@fmi.uni-passau.de>
• Announcement 3rd Barcelona Logic Meetig
  96/07/15 -- RAFEL FARRE <farre@ma2.upc.es>
• ETAPS'98
  96/07/20 -- llf@di.fc.ul.pt (Jose Luis Fiadeiro)
• TABLEAUX'97 Call for papers
  96/07/22 -- Didier Galmiche <Didier.Galmiche@loria.fr>
• TABLEAUX'97 call for Tutorials
  96/07/22 -- Didier Galmiche <Didier.Galmiche@loria.fr>
• new book
  96/07/25 -- Joseph Goguen <goguen@cs.ucsd.edu>
• ARTS'97
  96/07/31 -- Miquel Bertran <100140.2140@CompuServe.COM>