[ToC] ==================\============================ AMAST Links 03 01
_____________________    \                   /    _____________________
Contributions are   /     \   AMAST Links   /     \       21 March 1996
welcome! e-mail to (      /                 \      )       e-mailed to:
amast@cs.utwente.nl \    / Vol. 03  Issue 01 \    /     822 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/v03/i01/AL0301-ToC.html
                              _________________
                              Table of Contents
Meetings
[M1] AMAST'96, Preliminary Program (upd. [AL0208C1])
[M2] TARK VI, Call for Registration (upd. [AL0207C4])
[M3] Formal Methods for Industrial Critical Systems, Sat. W. at FME'96
[M4] 8th Eur. Summer School in Logic, Language & Information, ESSLLI'96
[M5] GOEDEL'96, Registration (upd. [AL0207CN])
[M6] 9th Int'l Symp. on Languages for Intensional Programming, ISLIP'96
[M7] COORDINATION'96, Call for Participation (upd. [AL0207CL])
[M8] ELP'96, Call for Participation (upd. [AL0206CA])
[M9] CAAP'96 ESOP'96 CC'96, Programme & Registration (upd. [AL0206C5])
[MA] Int'l Conf Information, Statistics & Induction in Science, ISIS'96
[MB] 8th Int'l Lipari School WWW page (upd. [AL0208M2])
[MC] Joint Int'l W's TACAS'96 & AIN'96, Final Program (upd. [AL0207CB])
[MD] PAAM'96, Preliminary Program & Registration (upd. [AL0208C2])
[ME] MFPS'96, Information Update & Registration (upd. [AL0208CC])
[MF] ICALP'96, Call for Participation and Program (upd. [AL0206C8])
[MG] 3rd Dutch Specification Day, Final Program
[MH] 3rd Seminar on Algebra, Logic, and Geometry in Informatics, ALGI-3
[MI] SMC/AE Symposium on Informatics
[MJ] 7th BCS FACS Refinement Workshop, Programme (upd. [AL0207CH]) 
CfPs
[C1] CONCUR'96, TCS Special Issue (upd. [AL0208C6]) 
[C2] 9th Int'l Conf. Theorem Proving in Higher Order Logics, TPHOLs'96
[C3] Int'l Conf. on Formal Methods in Computer-Aided Design, FMCAD'96
[C4] 1st Int'l Workshop on Rewriting Logic & its Applications, RWLW'96
[C5] 20th German Annual Conference on Artificial Intelligence, KI-96
[C6] Engineering Complex Computer Systems, Minitrack at 30th HICSS
[C7] 3rd Int'l Conf. on Typed Lambda Calculi & Applications, TLCA'97
[C8] Int'l Conf. Logical Aspects of Computational Linguistics, LACL'96
[C9] IFIP TC6/WG6.1 Joint Int'l Conf. FORTE/PSTV'96 (upd. [AL0208C5]) 
[CA] Logic Colloquium '96 (European Summer Meeting of the ASL), LC'96
[CB] 3rd Int'l Conf. on High Performance Computing, HiPC'96
[CC] DIMACS Symp. on Teaching Logic and Reasoning in an Illogical World
[CD] JUCS Special Issue on Evolving Algebras
Jobs
[J1] Associate Professor Positions at Italian Universities
[J2] Post-Doc Position Softw. Engineering, E&CE Dep't, U Waterloo, CND
[J3] Research Fellowship Type Theory & Appl., CS Dep't, U Durham, UK
[J4] Software Engineers wanted, SMG, Universite' Libre de Bruxelles, B
[J5] Postdoctoral Research on Logic in CS, Brandeis U, Waltham, MA, USA
[J6] M.Sc. Studentships Logic & Found. Progr., DCS, QMWC, U London, UK
[J7] Ph.D. Studentships Knowl. Repr. & Reason., DCS, QMWC, U London, UK
[J8] Faculty Position Informat. Sys., ISTD, Creighton U, Omaha, NE, USA
[J9] Executive Director Position, IITM, Creighton U, Omaha, NE, USA
[JA] Formal Verification Jobs, Hewlett-Packard GSL, Roseville, CA, USA
[JB] Visiting Research Position in Real-Time Systems, DoCS U Uppsala, S
Literature
[L1] Tech.Rep.: The Topological Structure of Asynchronous Computability
[L2] Paper: Categories for computation in context and unified logic: I
[L3] Preprint: Enrichment and Representation Theorems for Domains
[L4] Paper: Formal Verification of Algorithm W: The Monomorphic Case
[L5] Book: Partial-Order Methods for Verification of Concurrent Systems
Tools
[T1] Coq Proof Assistant, Version 5.10.15
Problems
[P1] Question: Decision algorithm for 2-nested Simulation Relation
Services
[S1] Proc. 3rd AMAST W. on Real-Time Systems, ARTS'96 (upd. [AL0208M1])
[S2] FLIRTS WWW page moved (upd. [AL0208S3])
[S3] VISUAL'96 WWW page, 1st Int'l Conf. on Visual Information Systems
[S4] New e-mail list on Software Verification
Archive
[A1] New items in the AMAST information repository in Twente
[A2] This issue