[ToC] _________________________ AMAST Links 03 01

Contributions are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ date: 21 March 1996
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to: 822 subscribers

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