[ToC] _________________________ AMAST Links 02 05

Contributions are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ date: 21 June 1995
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to: 717 subscribers

Table of Contents

Meetings

[M1] AMAST'95, Up-to-date Call for Participation (upd. [AL0204M1])
[M2] 2nd AMAST Workshop on Real-Time Systems (update of [AL0201C1])
[M3] ADT'95, COMPASS Meeting & W. Abstract Data Types (upd. [AL0103CD])
[M4] CAV'95, 7th Conf. Computer-Aided Verification (upd. [SIAN04p2-3])
[M5] WADS'95, Workshop Algorithms & Data Structures (upd. [AL0202C7])
[M6] LCT-RTS'95, ACM SIGPLAN Real-Time Workshop (update of [AL0204MF])
[M7] CT'95, Int'l Conference on Category Theory (update of [AL0202M7])
[M8] SCILL'95, Syntactic Control of Interference and Linear Logic
[M9] DIMACS Summer School on Applied Logic and Algorithms
[MA] SVRC Course on Computer System Hazard Analysis
[MB] PSTV'95, Protocol Spec. Testing & Verification (upd. [SIAN02p3-3])
[MC] Workshop Parallel Computing Foundat., Technol., Applic., WPCFTA'96
[MD] CONCUR'95, 6th Int'l Conf. Concurrency Theory (upd. of [AL0201C2])
[ME] LICS'95, 10th IEEE Sy. Logic in Computer Science (upd. [AL0204MA])
[MF] CPM'95, 6th Symp. Combinatorial Pattern Matching (upd. [AL0204ME])
[MG] Isabelle Users Workshop (revised dates) (update of [AL0203CC])
[MH] TWGCO'95, List of Accepted Papers (update of [AL0202M3])
[MI] STOC'95 Programme (update of [AL0204MC], LaTeX version)
[MJ] PODC'95, Principles of Distributed Computing (upd. of [AL0201C4])
[MK] SIROCCO'95, Structural Info. & Comm. Complexity (upd. [AL0204C8])
[ML] SLC'95, Summer School Semantics & Logics Comput. (upd. [AL0202MC])
[MM] Workshop on Themes in the Semantics of Computation
[MN] X-SLALM'95, 10th Latin Americ. Symp. Math. Logic (upd. [AL0203CD])
[MO] SEGRAGRA'95, J. W. Graph Rewriting & Computation (upd. [AL0203C5])
[MP] CP'95, 1st Int'l Conf. Constraint Programming (upd. of [AL0203C3])

CfPs

[C1] 5th Int'l Workshop on Project Management and Scheduling, PMS'96
[C2] TCS Special Issue on Universal Machines and Computations
[C3] Int'l Symp. on Multimedia Communications and Video Coding
[C4] Workshop on Verification and Control of Hybrid Systems, VCHS'95
[C5] 1st Workshop on Formal Methods in Software Practice, FMSP'96
[C6] 3rd Int'l Symp. Formal Methods Europe, FME'96
[C7] 7th Annual ACM-SIAM Symp. on Discrete Algorithms, SODA'96
[C8] J. Symbolic Computation, Special Issue: Executable Temporal Logics
[C9] BCS/FACS Xmas workshop on Semantics, FACS'95
[CA] CP'95 Workshop on Studying and Solving Really Hard Problems

Jobs

[J1] Postdoctoral Research Fellowship in CS, Bar-Ilan U., Ramat-Gan, IL
[J2] PhD Research Studentship, Dep't of Computer Science, Durham U., UK
[J3] Research Fellowships with Projet Meije, INRIA, Sophia-Antipolis, F
[J4] Postdoctoral positions at BRICS, CS Dep't, Univ. of Aarhus, DK
[J5] Position in Natural Language Processing at Xerox, Grenoble, F
[J6] Chief Executive, European Language Resources Association, EU
[J7] Bell Canada/NSERC Industrial Research Chair, Univ. Waterloo, CND
[J8] Lecturer Position, Dep't of CS, Rice University, Houston, TX, USA
[J9] PhD opportunities in TCS, School of CS, Univ. of Birmingham, UK
[JA] Lecturer in Computer Science, Royal Holloway, Univ. of London, UK

Literature

[L1] Book: Parallel and Distributed Computing Handbook
[L2] Paper: The Largest Cartesian Closed Category of Stable Domains
[L3] Tech. Reports: new reports relating to concurrency, CWI, Amsterdam
[L4] Contents AMAI 13 I-II: Algebraic Approaches to Geometric Reasoning
[L5] Addendum to Tech. Report `New Notions of Reduction...'
[L6] Paper: A Polymorphic Record Calculus and its Compilation
[L7] Paper: Undecidability of Non-Commutative Linear Logic
[L8] Undecidability of Non-Comm. 2nd Order Multiplicative Linear Logic
[L9] Book: The Book of Traces
[LA] Tech. Reports: new reports on Theoretical CS, VUA, Amsterdam
[LB] Book: Text Algorithms
[LC] Book: Limits to Parallel Computation: P-Completeness Theory
[LD] (Electronic) Bulletin of the IGPL (see [S5] below), Vol. 3, N. 1
[LE] Paper: Greatest Symmetr. Monoidal Closed Category of Scott-Domains
[LF] Two papers in concurrency

Tools

[T1] Isabelle94 Release 3 (update of [AL0202T4])
[T2] LOTOS Verification Tools: the Meije Verification Toolset

Problems

[P1] Cocomplete Toposes Having No Small Set of Generators

Services

[S1] WWW page on Algorithms for Molecular Biology
[S2] The SIAM DiPrima Prize for Doctoral Research, Call for Nominations
[S3] New Linear Logic Bibliography on the WWW
[S4] WWW pages on Computer Aided Design and Test
[S5] Bulletin of the Interest Group in Pure and Applied Logics (IGPL)
[S6] A new Electronic Newsletter: IM-Net, Industrial Mathematics Digest

Archive

[A1] New items in Twente AMAST repository
[A2] This issue