[ToC] _________________________ AMAST Links 02 08

Contributions are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ date: 9 January 1996
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to: 799 subscribers

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