[ToC] ===================\=========================/ AMAST News Sample Issue 04
__________________________\                       /    _________
Comments welcome! e-mail / \  AMAST  Newsletter  /     \ emailed:
to: amast@cs.utwente.nl  \ /   Sample Issue 04   \      ) on: 12 September 1994
^^^~~~~~~~~~~~~~~~~~~~~^^^/                       \    / to: 252 subscribers
   ______________________ ^^^^^^^^^^^^^^^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^^^^^^
   HTML version available on the WWW. For this, please open the following URL:
    http://www.cs.utwente.nl/data/amast/newsletter/sample/issue04/SIAN04.html
                              _________________
                              Table of Contents
1. Meetings
   [1-1] ForTe'94  Program available (update of [SIAN01p3])
   [1-2] GraGra'94 Preliminary Program available (update of [SIAN03p1-2])
   [1-3] Joint Conference ALP'94 and PLILP'94, Madrid, September 14-16, 1994
   [1-4] CompuLog Workshop & Meeting on Parallelism & Implementation Technology
   [1-5] 24th Theory Day at Columbia University, New York, September 30, 1994
   [1-6] The Influence of AUTOMATH, Symposium, Eindhoven, October 6, 1994
   [1-7] Graph Drawing '94, Princeton, October 10-12, 1994
2. CfPs
   [2-1] Int. Joint Conf. Theory & Practice of Software Development, TAPSOFT'95
   [2-2] 1995 ACM Symposium on Theory of Computing, STOC'95
   [2-3] Int. Conf. on Computer Aided Verification, CAV'95
   [2-4] 6th Symposium on Combinatorial Pattern Matching, CPM'95
   [2-5] ACM SIGPLAN W. Intermediate Representations, IR'95 (conj.with POPL'95)
   [2-6] Special Issue of Algorithmica on Approximation Algorithms
3. Jobs
   [3-1] Visiting Professor positions open, CS Dep't, Sao Paulo S.U., Brazil
   [3-2] A Chair in Computer Science, University of Auckland, New Zealand
4. Services
   [4-1] The `UnCover Reveal' literature alert service (by e-mail)
   [4-2] A form for referees
5. Books
   [5-1] String Searching Algorithms
   [5-2] Information and Randomness. An Algorithmic Perspective
6. Puzzles
   [6-1] Arithmetic, Knowledge and Formal Description
7. Archive
   [7-1] New items in Twente AMAST ftp repository
   [7-2] This sample issue