[ToC] _________________________ AMAST Links 01 03

Comments are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ date: 23 December 1994
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to: 334 subscribers

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ödel 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