[ToC] ==================\=====================/====== AMAST Links 01 03
_____________________    \                   /    _____________________
Comments welcome!   /     \   AMAST Links   /     \    23 December 1994
e-mail to:         (      /                 \      )       e-mailed to:
amast@cs.utwente.nl \    / Vol. 01  Issue 03 \    /     334 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/v01/i03/AL0103-ToC.html
                              _________________
                              Table of Contents
Meetings
[M1] 12th Symp. on Theoretical Aspects of Computer Science, STACS'95
[M2] 2nd Int'l Symp. Latin American Theoretical INformatics, LATIN'95
[M3] Int'l Conf. on Typed Lambda Calculi and Applications, TLCA'95
[M4] 57th Peripathetic Seminar on Sheaves and Logic, PSSL'95
[M5] Int'l Summer School `Logic of Computation', Marktoberdorf, Germany
CfPs
[C1] 2nd AMAST Workshop on Real-Time Systems & Proj. Modeles et Preuves
[C2] 14th ACM Symposium on Principles of Distributed Computing, PODC'95
[C3] 5th Int'l Workshop Logic Program Synthesis & Transform., LOPSTR'95
[C4] Kurt G"odel Society - AILA Joint Meeting on Model Theory
[C5] 4th Workshop on Algorithms and Data Structures, WADS'95
[C6] Int'l Conf. Principles & Practice of Constraint Programming, CP'95
[C7] 1st Int'l Workshop on Concurrent Constraint Programming, CCP'95
[C8] 2nd Int'l Workshop on Termination
[C9] 2nd Workshop on Algebra of Communicating Processes, ACP'95
[CA] Workshop on Generating Tools from Algebraic Specs, ASF+SDF'95
[CB] Tools & Algorithms for Construction & Analysis of Systems,TACAS'95
[CC] 7th ACM Symp. on Parallel Algorithms and Architectures, SPAA'95
[CD] 11th ADT Workshop and 8th General Compass Meeting, ADT'95
[CE] 21st Int'l Workshop Graph-Theoretic Concepts in Comp. Sci., WG'95
[CF] International Logic Programming Symposium, ILPS'95
[CG] 7th Int. Symp. Progr. Lang., Implem., Logics, Programs, PLILP'95
[CH] 1st IEEE Int'l Conf. Engineer. Complex Computer Systems, ICECCS'95
[CI] 8th Int'l Symp. on Languages for Intensional Programming, ISLIP'95
[CJ] Electronic Publishing, DAGS'95 (upd. [AL0101C4], *deadline ext.*)
[CK] MLCS Special Issue: Formal Methods in Logic for Responsive Systems
[CL] PAA Special Issue: Algorithms for Enhanced Mesh Architectures
Jobs
[J1] Postdoctoral fellowships in mathematical sciences, IBM, 1995-1996
[J2] Faculty positions in computer science, National Univ. Singapore
[J3] Positions in Mathematics and Information Sciences at Bellcore, USA
[J4] Available positions in Security Research at Bellcore, USA
[J5] PhD and postdoctoral fellowships at Univ. des Saarlandes, Germany
[J6] Postdoctoral position at GMD-SCAI, St. Augustin, Germany
[J7] Position in Theoretical Computer Science, ETH Zurich, Switzerland
[J8] Faculty position in Computer Science, University of North Texas
[J9] Faculty position in Computer Science, Midwestern State U., Texas
[JA] Senior lecturer position in computing science, Uppsala U., Sweden
[JB] DIMACS Postdoctoral Fellowship and Visitor Programs
Literature
[L1] Introducing the Bolyai Society Mathematical Studies (new series) 
[L2] Lectures on Polytopes (book announcement)
[L3] PhD Th: Integrating Concurrent, Functional & Imperative Paradigms
[L4] PhD Th: Functional Programming and Input/Output
Tools
[T1] FANCY 1.1 --- A Formal Hardware Verification Tool
[T2] TOPO: Toolset to support product realization from LOTOS spec's
Problems
[P1] Open Questions in Rewriting Theory
Services
[S1] How to publish in J.UCS
[S2] Formal Methods Applications Database
Archive
[A1] New items in AMAST repository at CS Faculty of Univ. Twente
[A2] This issue