[ToC] _________________________ AMAST Links 02 01

Comments are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ date: 10 February 1995
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to: 340 subscribers

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ücken, 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ür 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