[ToC] _________________________ AMAST Links 01 02

Comments are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ date : 7 November 1994
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to : 325 subscribers

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