[ToC] ==================\=====================/====== AMAST Links 01 02
_____________________    \                   /    _____________________
Comments welcome!   /     \   AMAST Links   /     \     7 November 1994
e-mail to:         (      /                 \      )       e-mailed to:
amast@cs.utwente.nl \    / Vol. 01  Issue 02 \    /     325 subscribers
^^^^^^^^^^^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^^^
An index to all issues of the AMAST newsletter is available on the WWW:
URL: http://www.cs.utwente.nl/data/amast/links/AL-Index.html
A general index to AMAST information on the WWW server in Twente is at:
URL: http://www.cs.utwente.nl/data/amast/Index.html
Hypertext version of this issue available *_on Friday 11 November_* at:
URL: http://www.cs.utwente.nl/data/amast/links/v01/i02/AL0102-ToC.html
                              _________________
                              Table of Contents
Meetings
[M1] Workshop on Logic, Domains, and Programming Languages, LDPL'95
[M2] Midwest Theory Day, University of Chicago, December 3rd, 1994
[M3] 1st Int'l Spring School Advanced Functional Programming Techniques
[M4] 3rd Israel Symp. Theory of Computing and Systems, ISTCS'95
[M5] Australasia: 18th CS Conf., ACSC'95, & 6th Database Conf., ADC'95
[M6] 9th Int'l Workshop on Unification, UNIF'95
CfPs
[C1] Mathematical Foundations of Computer Science, MFCS'95
[C2] 6th Int'l Conf. Category Theory and Computer Science, CTCS'95
[C3] 2nd Int'l Conf. Typed Lambda Calculi and Applications, TLCA'95
[C4] BCS-FACS Christmas Meeting on Concurrency
[C5] Int'l Conf. Open Distributed Processing, ICODP'95
[C6] 4th European Conf. Computer Supported Cooperative Work, ECSCW'95
[C7] 1st Annual Int'l Computing and Combinatorics Conf., COCOON'95
[C8] 3rd Int'l Conf. Parallel Computing Technologies, PaCT'95
[C9] Joint Conference 8th Performance Tools '95 and 8th MMB'95
[CA] Workshop on Using Tools for Verification of Large Systems, BMW'95
Jobs
[J1] Macquarie University - Microsoft Institute PhD Fellows, Sydney
[J2] 4 Lecturer/Senior Lecturer positions, U. New South Wales, Sydney
[J3] Chair Theoret. Computer Science, Univ. Leeds, School CS, Leeds, GB
[J4] Postdoc/student positions, Stevens Inst. Tech., ATI, Hoboken, NJ
[J5] Faculty positions, Stevens Inst. Tech., EECS Dep't, Hoboken, NJ
[J6] Softw. Eng. Research positions, NASA IV&V Facility, Fairmont, WV
[J7] University-Industry Fellowships CAV, DIMACS (update of [AL0101J4])
[J8] Theory Positions at HKUST, CS Dep't, Hong Kong
[J9] Faculty Positions at Dartmouth College, CS Dep't, Hanover, NH
[JA] Theory Faculty Openings, UC San Diego, CSE Dep't, La Jolla, CA
Literature
[L1] PhD Th: Layered Design of Parallel Systems
[L2] PhD Th: Interactive Program Derivation
Tools
[T1] Graphical LOTOS tools: Graphical Designer (GLD) and Animator GLA)
[T2] Autograph V3: prerelease version available
Problems
[P1] Algebraic specification of object-orientedly modeled data types
Views
[V1] Invitation to submit a discussion piece to Computing Surveys
Services
[S1] WWW home-page on Categories maintained at Mount Allison University
[S2] WWW home-page on Logical Frameworks available at CMU
Archive
[A1] New items in AMAST repository at CS Faculty of Univ. Twente
[A2] This issue