[ToC] ==================\=====================/====== AMAST Links 01 01
_____________________    \                   /    _____________________
Comments welcome!   /     \   AMAST Links   /     \     11 October 1994
e-mail to:         (      /                 \      )       e-mailed to:
amast@cs.utwente.nl \    / Vol. 01  Issue 01 \    /     302 subscribers
^^^^^^^^^^^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^^^
Hypertext version available on the WWW on Monday 17 October, both as
collection of one-page files and as whole-issue single file, resp. at
URL: http://www.cs.utwente.nl/data/amast/links/v01/i01/AL0101-ToC.html
URL: http://www.cs.utwente.nl/data/amast/links/v01/i01/AL0101.html
                              _________________
                              Table of Contents
Meetings
[M1] Symp. New Directions Parallel and Concurrent Computing, PARCON'94
[M2] 3rd DIMACS Parallel Implementation Challenge Workshop
[M3] 35th Annual IEEE Conf. on Foundations of Computer Science, FOCS'94
[M4] 5th International Conference on Database Theory, ICDT'95
CfPs
[C1] AMAST'95 (update of [SIAN02p3-1])
[C2] Computing: the Australian Theory Seminar, CATS'94
[C3] 6th International Conference on Concurrency Theory, CONCUR'95
[C4] Electronic Publishing and the Information Superhighway, DAGS'95
[C5] Eighth Conference on Computational Learning Theory, COLT'95
[C6] 4th Twente Workshop on Graphs and Combinatorial Optimization
[C7] Workshop Parallel Algorithms for Irregularly Structured Problems
Jobs
[J1] Chair in Theoretical CS or Software Engineering, U. of Birmingham
[J2] Postdoctoral positions at BRICS, Denmark
[J3] Post Doc / Research Scientist Position, Carnegie Mellon University
[J4] DIMACS 1995-96 Special Year on Logic and Algorithms
[J5] Research post on computer music and formal language, GRAME, Lyon
Tools
[T1] Isabelle-94 update (update of [SIAN05p6-1])
[T2] GETFOL: new release  (2.001)
Views
[V1] A View of AMAST (by Maurice Nivat)
Archive
[A1] New items in Twente AMAST ftp repository
[A2] This issue