[ToC] ==================\=====================/====== AMAST Links 02 08
_____________________    \                   /    _____________________
Contributions are   /     \   AMAST Links   /     \      9 January 1996
welcome! e-mail to (      /                 \      )       e-mailed to:
amast@cs.utwente.nl \    / Vol. 02  Issue 08 \    /     799 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/i08/AL0208-ToC.html
                              _________________
                              Table of Contents
Meetings
[M1] 3rd AMAST Workshop on Real-Time Systems, ARTS'96 (upd. [AL0207C1])
[M2] 8th Lipari Int'l School for CS Researchers, _Computer Graphics_
[M3] ERCIM Workshop on Computer-Supported Cooperative Work and the Web
[M4] ISSTA'96 and Workshop FMSP'96, Advance Program (upd. [AL0205C5])
CfPs
[C1] AMAST'96, Call for Systems Demo's, ext. deadline (upd. [AL0206C1])
[C2] Pract Appl Int Agents & Multi-Agent Tech, PAAM'96 (upd [AL0207CK])
[C3] 9th IFIP Int'l Workshop Testing of Communicating Systems, IWTCS'96
[C4] Annual Conf. of European Assoc. for Computer Science Logic, CSL'96
[C5] IFIP Joint Conf. Formal Techniques & Protocol Spec., FORTE/PSTV'96
[C6] 7th Int'l Conference on Concurrency Theory, CONCUR'96
[C7] Verification of Infinite State Systems (Satellite W. of CONCUR'96)
[C8] 11th Symp. on Logic in Computer Science, LICS'96 (upd. [AL0207C3])
[C9] 3rd Int'l Colloquium on Grammatical Inference, ICGI'96
[CA] 8th I. Conf. Computer-Aided Verification, CAV'96 (upd. [AL0207C2])
[CB] 3rd Workshop on Designing Correct Circuits, DCC'96
[CC] 12th W. Mathematical Foundations of Programming Semantics, MFPS'96
[CD] 8th Int'l Conference on Automata and Formal Languages, ICAFL'96
Jobs
[J1] Position in Formal Semantics, U. Illinois, Urbana-Champaign, USA
[J2] Position available, Math. Dep't, Tulane U., New Orleans, LA, USA
[J3] Research Fellow, Math. Dep't, Univ. Twente, Enschede, NL
[J4] Chairperson, Dep't of Math. & CS, Kent State Univ., Kent, OH, USA
[J5] Faculty Positions, Dep't of Math. Sciences, U. of Memphis, TN, USA
[J6] Chair Position, Dep't of Math. Sciences, U. of Memphis, TN, USA
[J7] Postdoctoral Fellowship, School of Math. & Stat., U. of Sydney, AU
[J8] Postdoctoral Fellowships, MPI, U. des Saarlandes, Saarbr"ucken, D
[J9] Postdoctoral Position, Dep't of CS, Duke Univ., Durham, NC, USA
[JA] Assistant Researcher Position, U. du Littoral, Dunkerque-Calais, F
Literature
[L1] Book: Specification and Validation Methods
[L2] Book: Reasoning About Knowledge
[L3] Paper: On the Equivariant 2-type of a G-space
[L4] Paper: Full Abstraction for PCF
[L5] Paper: Semantical Investigations of Linear Logic
[L6] Paper: A Type-Theoretic Basis for an OO Refinement Calculus
[L7] Paper: Typing in OO languages: Achieving Expressibility and Safety
Tools
[T1] Esterel v4_45 Now Available
[T2] The Fc2Tools Verification Toolset
Problems
[P1] Power of Basic Parallel Processes
Services
[S1] Algebraic Methods in Language Processing, on WWW (upd. [AL0207M1])
[S2] New WWW Page on Logic-Related Conferences
[S3] FLIRTS Workshop and WWW page
[S4] WWW page Evolving Algebras Europe
[S5] WWW Bibliography on HOL Theorem Proving
[S6] Formal Methods Tools database
Archive
[A1] New items in the AMAST information repository in Twente
[A2] This issue