[ToC] ===================\=========================/ AMAST News Sample Issue 03
__________________________\                       /       _________
Comments welcome! e-mail / \  AMAST  Newsletter  /        \ emailed:
to: amast@cs.utwente.nl  \ /   Sample Issue 03   \         ) on: 29 August 1994
^^^~~~~~~~~~~~~~~~~~~~~^^^/                       \       / to: 221 subscribers
_________________         ^^^^^^^^^^^^^^^^^^^^^^^^^       ^^^^^^^^^^^^^^^^^^^^^
Table of Contents
________
Meetings
   [1-1] 1st Int'l Symposium on Parallel Symbolic Computation, PASCO'94
   [1-2] 5th Int'l Workshop on Graph Grammars and their Application to C.S.
   [1-3] Workshop on Logic, Structures and Syntax (update of [SIAN02p2])
________
CfPs
   [2-1] Int'l Conf. Mathematical Foundations of Programming Semantics, MFPS XI
   [2-2] 10th Int'l Conf. on Fundamentals of Computation Theory, FCT'95
   [2-3] Int'l Workshop on Structures in Concurrency Theory, STRICT
   [2-4] 6th Nordic Workshop on Programming Theory, NWPT
   [2-5] 2nd Dutch/German Workshop on Non-Monotonic Reasoning, NMR
   [2-6] Simulation & Gaming - Special Issue: Simulation of Information Systems
________
Jobs
   [3-1] Foundation Chair of Information Systems, University of Melbourne
   [3-2] Research Assistant Position, University of Glasgow
________
PhD Th.
   [4-1] Locative Temporal Logic & Distributed Real-Time Systems--Specification
________
Tools
   [5-1] Psi Compiler
________
Archive
   [6-1] AMAST ftp repository, and former sample issues of the AMAST Newsletter
   [6-2] New items in Twente AMAST ftp repository
________
Sharing AMAST News
   [7-1] Instructions for Contributors
   [7-2] AMAST News e-mail addresses
   [7-3] This sample issue