AMAST Mail - October 1997

• [fwd] CFP PAP/PACT98
  97/10/02 -- Oskar Bartenstein <oskar@IFComputer.co.jp>
• Research Positions at BRICS Research Centre and Int. PhD School
  97/10/03 -- Uffe Henrik Engberg <engberg@brics.dk>
• (fwd) Gandalf prover available
  97/10/07 -- scollo@cs.utwente.nl (Pippo Scollo)
• Logic Colloquium '98 Call for papers (LaTeX)
  97/10/14 -- "Logic Colloquium '98" <lc98@math.cas.cz>
• Second Anouncement 4BLM
  97/10/15 -- maria@bianya.crm.es (Maria Julia)
• PA EXPO98
  97/10/18 -- info@pap.com
• CAV'98 Call for Papers
  97/10/20 -- Alan Hu <ajh@cs.ubc.ca>
• LOFT3 conference
  97/10/20 -- Giacomo Bonanno <gfbonanno@ucdavis.edu>
• Final Call for contributions to VISUAL'98 and ACoS'98
  97/10/21 -- Tiziana Margaria <tiziana@sunshine.informatik.uni-dortmund.de>