AMAST Mail - May 1996

• CADE-13 Workshop on Proof search in type-theoretic languages
  96/05/02 -- Didier Galmiche <Didier.Galmiche@loria.fr>
• CFP: logical aspects of comp. linguistics
  96/05/12 -- Christian.Retore@loria.fr (Christian RETORE)
• Call for Participation for ISIS
  96/05/15 -- ISIS conference <isis@cs.monash.edu.au>
• BRICS positions
  96/05/15 -- Uffe Henrik Engberg <engberg@brics.dk>
• Call for demos
  96/05/17 -- priami@DI.Unipi.IT (Corrado Priami)
• PhD thesis available
  96/05/21 -- priami@DI.Unipi.IT (Corrado Priami)
• Help with Call for Participation
  96/05/21 -- Jim Grundy <jim.grundy@abo.fi>
• CONCUR 96: Programme and forst call for participation
  96/05/21 -- Vladimiro Sassone <vladi@DI.Unipi.IT>
• CAV 96
  96/05/22 -- tah@eecs.berkeley.edu (Tom Henzinger)
• MFPS 12 Program
  96/05/23 -- mwm@math.tulane.edu
• TAPSOFT'97 CALL FOR PAPER.
  96/05/23 -- Marc.Tommasi@lifl.fr
• announcing a new joint mechanized reasoning web page
  96/05/24 -- Carolyn Talcott <clt@steam.stanford.edu>
• workshop announcement
  96/05/24 -- nymeyer@cs.utwente.nl (Albert Nijmeijer)
• No Subject
  96/05/24 -- Patricia Johann <pjohann@cse.ogi.edu>
• CFP: ACSW'97
  96/05/29 -- Mehmet ORGUN <mehmet@mpce.mq.edu.au>
• 8th Nordic Workshop on Programming Theory (short announcement)
  96/05/31 -- Magne.Haveraaen@ii.uib.no