[ToC] ==================\=====================/====== AMAST Links 02 01
_____________________    \                   /    _____________________
Comments welcome!   /     \   AMAST Links   /     \    10 February 1995
e-mail to:         (      /                 \      )       e-mailed to:
amast@cs.utwente.nl \    / Vol. 02  Issue 01 \    /     340 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/i01/AL0201-ToC.html
                              _________________
                              Table of Contents
Obituary
[O1] Helena Rasiowa
Meetings
[M1] AMAST'95 Accepted Papers (update of [AL0101C1])
[M2] SIPL'95 Advance Program (update of [SIAN05p2-1])
CfPs
[C1] 2nd AMAST Workshop Real-Time Sys. (upd. [AL0103C1], deadline ext.)
[C2] 6th Int'l Conf. on Concurrency Theory, CONCUR'95 (upd. [AL0101C3])
[C3] Workshop Logic, Domains, & Progr. Lang., LDPL'95 (upd. [AL0102M1])
[C4] Principles of Distributed Computing, PODC'95 (upd. [AL0103C2])
[C5] 2nd Int'l Workshop on Termination (upd. [AL0103C8], new dates)
[C6] Higher-Order Algebra, Logic and Term Rewriting, HOA'95
[C7] 6th Annual Int'l Symposium on Algorithms and Computation, ISAAC'95
[C8] IJCAI Workshop on Executable Modal and Temporal Logics, EMTL'95
[C9] Structures in Concurrency Theory, STRICT'95 (upd. [SIAN03p2-3])
[CA] Int'l Symposium on Graph Drawing, GD'95
[CB] 10th Int'l Symp. on Computer and Information Sciences, ISCIS-X
[CC] 2nd Workshop Non-Standard Logics and logical aspects of CS, NSL'95
[CD] Workshop on Types for Program Analysis (next to TAPSOFT'95)
[CE] 3rd Int'l Workshop on Deontic Logic in Computer Science, DEON'96
[CF] Electronic Journal on Category Theory
Jobs
[J1] Faculty positions in Computer Science, Univ. of Oregon, USA
[J2] Post-doctoral fellowships, MPI Computer Science, Saarbr"ucken, D
[J3] Graduate fellowships at Kansas State Univ., Manhattan, Kansas, USA
[J4] Job openings at Bogazici University, Computer Eng. Dep't, Turkey
[J5] Job opening in TCS, Univ. Hildesheim, Institut f"ur Informatik, D
[J6] Post-doctoral fellowship, AI Lab, U. Otago, Dunedin, New Zealand
[J7] Post-doctoral fellowship in Computer Science, Univ. Birmingham, UK
[J8] Chair in Theoretical Computer Science, University of Edinburgh, UK
[J9] Tenure-track position at Northeastern University, Boston, MA, USA
[JA] Postdoctoral Position, Dep't of CS, Univ. of Texas at Austin, USA
[JB] Research Director positions, Bellcore, Morristown, NJ, USA
[JC] Post-doctoral fellowships, ACRC, U. South Australia, Adelaide, AUS
[JD] Position in TCS, Dep't of Computer Science, Univ. of Rostock, D
[JE] Faculty positions in Computer Engineering, Univ. of Idaho, USA
Literature
[L1] Book: Foundations of Databases
[L2] PhD Thesis: Compiler Correctness for Concurrent Languages
[L3] Proceedings: Graph Drawing, GD'94
[L4] Papers on Higher-Order and Typed Lambda Calculi
[L5] Paper: Proof Nets: The Parallel Syntax for Proof Theory
[L6] Paper on the Consistency of Map Theory
[L7] Papers on Monad Transformers
[L8] Cahiers du Centre de Logique V. 8, on the Curry-Howard isomorphism
[L9] A Bibliography on the Workshops on Abstract Data Types
Problems
[P1] Decision Problems For Second Order Linear Logic
[P2] Algebraically compact categories
Services
[S1] WWW page of STOC'95 (update of [SIAN05p4-2])
[S2] WWW service on parallel and distributed algorithms
[S3] Additional Theory WWW site
[S4] Lists of formal semantics of real-world programming languages
[S5] WAIS bibliography on LOTOS
[S6] SPIN Verifiers Newsletter
[S7] FoReST Seminar WWW page
Archive
[A1] New items in Twente AMAST ftp repository
[A2] This issue