[ToC] ==================\=====================/====== AMAST Links 02 02
_____________________    \                   /    _____________________
Comments welcome!   /     \   AMAST Links   /     \    21 February 1995
e-mail to:         (      /                 \      )       e-mailed to:
amast@cs.utwente.nl \    / Vol. 02  Issue 02 \    /     597 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
The hypertext version of this issue is available at:
URL: http://www.cs.utwente.nl/data/amast/links/v02/i02/AL0202-ToC.html
                              _________________
                              Table of Contents
Meetings
[M1] AMAST'95 Accepted Papers (update of [AL0201M1], correction)
[M2] TAPSOFT'95 Preliminary Programme (update of [SIAN04p2-1])
[M3] 4th Twente W. Graphs & Comb. Opt., Registration (upd. [AL0101C6])
[M4] 2nd Eur. Conference on Computational Learning Theory, EuroCOLT'95
[M5] Workshop on Industrial-Strength Formal Specif. Techniques, WIFT'95
[M6] Int'l Workshop on Universal Machines and Computations, MCU'95
[M7] Int'l Category Theory Meeting (and Summerschool), CT'95
[M8] MFPS XI Program and Registration (update of [SIAN03p2-1])
[M9] 9th Int'l Parallel Processing Symposium, IPPS'95, Advance Program
[MA] TLCA'95 Programme and Registration (update of [AL0103M3])
[MB] SimSymp28, Advance Program (update of [SIAN05p2-2])
[MC] Summer School on Semantics and Logics of Computation, SLC'95
CfPs
[C1] Workshop NLS'95 (update of [AL0201CC], change of deadline)
[C2] 4th Bar-Ilan Symp. on Foundations of AI, BISFAI'95 (deadline ext.)
[C3] 7th ACM Symp. SPAA'95 (update of [AL0103CC], change of dates)
[C4] Workshop on Advances In Type Systems For Computing, ATSC'95
[C5] 2nd Workshop on Self-Stabilizing Systems, WSS'95
[C6] 7th Canadian Conference on Computational Geometry, CCCG'95
[C7] 4th Workshop on Algorithms and Data Structures, WADS'95
[C8] 2nd European Workshop on Real-time and Hybrid systems
[C9] High Performance Distributed Systems, HICSS-29/Software Technology
[CA] 16th IEEE Real-Time Systems Symposium, RTSS'95
[CB] Workshop on Selected Areas in Cryptography, SAC'95
[CC] International Workshop on Oz Programming, WOz'95
[CD] International Conference on High Performance Computing, HiPC'95
[CE] 2nd Workshop Logic, Language, Information & Computation, WoLLIC'95
[CF] Journees Francophones de Programmation en Logique, JFPL'95
[CG] JLP Special Issue on High Perform. Implementations of LP Systems
[CH] TCS Special Issue on Uncertainty in Databases & Deductive Systems
[CI] TCS Special Issue on Computing with Real Numbers
[CJ] Electronic Colloquium on Computational Complexity, ECCC
Jobs
[J1] Postdoctoral research positions at GMD, St. Augustin, D
[J2] Faculty opening, Computer Science Dep't, Stanford Univ., CA, USA
[J3] Post-doctoral research fellowship, Univ. of Technol., Sydney, AUS
[J4] HCM research fellowship on automated deduction, Germany
[J5] Chair in CS, Dep't Information Management, Univ. Tilburg, NL
[J6] Postdoctoral position at CWI, Amsterdam, NL
[J7] PhD research position, Fac. Computer Science, Univ. Twente, NL
[J8] Student internships at Sun Microsystems, Mountain View, CA, USA
[J9] Faculty Positions in CS, Washington State Univ., Pullman, WA, USA
Literature
[L1] Book: Free Choice Petri Nets
[L2] Paper: Dynamic Types Have Existential Type
[L3] Papers on Cut Elimination
[L4] Paper: Compact objects and perfect morphisms
[L5] Paper: Natural deduction & coherence for weakly distr. categories
[L6] Book: Isomorphisms of Types
[L7] Two papers: Reversible computations; Proof nets and Hilbert space
Tools
[T1] BDDs: Lecture notes and a package (in Standard ML)
[T2] Concert/C 4.0: a tool for distributed C programming
[T3] LEDA 3.1 available
[T4] Isabelle update: Isabelle94-2 (update of [AL0101T1])
[T5] TOPO 3R6: a bunch of tools for LOTOS (update of [AL0103T2])
[T6] DFKI Oz 1.0, an interactive compiler-based implementation of Oz
Services
[S1] WWW page on LOTOS
[S2] TCS Virtual Rolodex
[S3] ACM SIGACT WWW page
[S4] Report Series by FTP: Optimization Group, TU Graz, 1994
[S5] Course materials available on the WWW
Archive
[A1] New items in Twente AMAST ftp repository
[A2] This issue