[ToC] _________________________ AMAST Links 01 01

Comments are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ date : 12 October 1994
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to : 302 subscribers

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