[ToC] ==================\=====================/====== AMAST Links 02 07 _____________________ \ / _____________________ Contributions are / \ AMAST Links / \ 25 October 1995 welcome! e-mail to ( / \ ) e-mailed to: amast@cs.utwente.nl \ / Vol. 02 Issue 07 \ / 779 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/i07/AL0207-ToC.html _________________ Table of Contents Obituary [O1] Valentin Antimirov [O2] Alonzo Church Meetings [M1] 1st AMAST Workshop Language Processing, AMiLP'95 (upd. [AL0206M1]) [M2] Verification & Control Hybrid Systems, VCHS'95 (upd. [AL0205C4]) [M3] 1st SPIN Model Checking Workshop, SPIN'95 [M4] Montreal Category Theory Octoberfest [M5] 7th IEEE Symp. Parallel & Distr. Proc., SPDP'95 (upd. [AL0203C7]) [M6] FST&TCS'95, Accepted Papers (update of [AL0204C1]) [M7] 36th IEEE Symp. Found. Computer Science, FOCS'95 (upd. [AL0203CB]) [M8] Twenty-Five Years of Constructive Type Theory [M9] 1st Tbilisi Symp. on Logic, Language & Comput. (upd. [AL0203C8]) [MA] Workshop on New Connections between Mathematics & Computer Science [MB] SODA'96, Accepted Papers (update of [AL0205C7]) [MC] FORTE'96, Final Program (update of [AL0206MI]) [MD] ISAAC'95, Preliminary Program (update of [AL0201C7]) [ME] 59th Peripathetic Seminar on Sheaves and Logic, PSSL'95 [MF] Newton Institute Workshop on Games, Processes and Logic, GPL'95 [MG] DEON'96, Final Program & Call for Participation (upd. [AL0201CE]) CfPs [C1] 3rd AMAST Workshop on Real-Time Systems, ARTS'96 (upd. [AL0206C2]) [C2] 8th Int'l Conference on Computer-Aided Verification, CAV'96 [C3] 11th Annual IEEE Symp. on Logic in Computer Science, LICS'96 [C4] Theor. Aspects Rationality & Knowledge, TARK VI (upd. [AL0206C6]) [C5] Ershov 2nd Int. Mem. Conf. Perspect. of System Informatics, PSI'96 [C6] 15th ACM Symp. on Principles of Distributed Computing, PODC'96 [C7] W. Interactive Distributed Multimedia Systems & Services, IDMSS'96 [C8] 2nd Annual Int'l Computing and Combinatorics Conference, COCOON'96 [C9] 4th Workshop on Parallel Algorithms, WOPA'96 [CA] 9th Conference on Computational Learning Theory, COLT'96 [CB] 2nd W. Tools & Algorithms for Constr. & Anal. of Systems, TACAS'96 [CC] Practical Application of Prolog, of Constraint Techn., PAP&PACT'96 [CD] 4th Annual W. on I/O in Parallel & Distributed Systems, IOPADS'96 [CE] 28th ACM Symposium on Theory of Computing, STOC'96 [CF] SCP Special Issue: Industrial appl. of formal analysis techniques [CG] 13th Int'l Conference on Automated Deduction, CADE'96 [CH] 7th BCS-FACS Refinement Workshop [CI] BCS-FACS Workshop Formal Aspects of The Human Computer Interface [CJ] 4th Int'l Conf. Parallel Archit. & Compilation Techniques, PACT'96 [CK] 1st I.C. Pract. Appl. Intell. Agents & Multi-Agent Techn., PAAM'96 [CL] Coordination Models & Languages, COORDINATION'96 (upd. [AL0206C3]) [CM] I.W. Formal Methods Parallel Programming Theory & Appl., FMPPTA'96 [CN] Logical Found. Math., CS & Physics - K. G"odel's Legacy, GOEDEL'96 [CO] Int'l Conf. on Formal and Applied Practical Reasoning, FAPR'96 Jobs [J1] Research Associate in CS, U. S. Australia, Adelaide, SA, Australia [J2] Positions in Security R&D, Bellcore, Morristown, NJ, USA [J3] Research Positions, U. of Queensland, SVRC, Brisbane, Australia [J4] ESPRIT Research Positions, U. of Twente, CS Dep't, Enschede, NL [J5] Assoc. Professor Positions, Logic/CT, NU D. Math, Bogota, Colombia [J6] Chair in Mathematics, Macquarie U., Sydney, NSW, Australia [J7] Positions in Mathematics, Carnegie Mellon U., Pittsburgh, PA, USA [J8] Faculty Position in CS, Midwestern S. U., Wichita Falls, TX, USA [J9] PhD Research Position, CWI, Amsterdam, NL [JA] Lecturer in Computer Science, King's College, London, UK [JB] Software Engineers wanted, ULB, SMG, Bruxelles, B [JC] Three Research Posts at ULB, SMG, Bruxelles, B [JD] Postdoctoral Fellowships in CS, Chalmers UT & Goteborgs U., Sweden Literature [L1] Tech Report: Exceptions are Strictly More Powerful Than Call/CC [L2] Paper: From Chu Spaces To CPO's [L3] Two Reports in Software Engineering [L4] Update to (& correction of) Complexity Doctrines (upd. [AL0206L8]) [L5] Annals of Math. & AI, Issue on Declarative Knowledge [L6] Paper: Subtyping Dependent Types [L7] Twelve Papers in Concurrency [L8] Oriented Matroids -- A Bibliography (on the WWW) [L9] Proc. 7th Canadian Conf. on Computational Geometry (on the WWW) [LA] Book: Temporal Verification of Reactive Systems [LB] Proc. Structure, Information & Comm. Complexity (upd. [AL0205MK]) [LC] Book: Out Of Their Minds [LD] Book: Knowledge and Belief in Philosophy & Artificial Intelligence [LE] Paper: Function Definition in Higher-Order Logic [LF] Tech Report: A theory of weak bisimulation for core CML Tools [T1] HyTech -- an automatic tool for the analysis of embedded systems [T2] OTTER Release 3.0.4 [T3] MACE Release 1.2.0 [T4] Computation in maths: AXIOM [T5] FM9001 Microprocessor: Formal Spec. & Mechanical Correctness Proof [T6] Isabelle Update: Isabelle94-4 (update of [AL0205T1]) [T7] The TPTP Problem Library, Release v. 1.2.0 Services [S1] Common Framework Initiative WWW pages [S2] WWW Database of Automated Reasoning Systems [S3] Xy-pic version 3.1 - Diagram Typesetting Package [S4] kuvio.tex - diagrams for dvips users [S5] Mailing lists and servers on Open Distributed Processing [S6] Math-Net Links to the Mathematical World [S7] Unified Bibliographies on the WWW [S8] ADT'95 workshop materials on the WWW Archive [A1] New items in the AMAST information repository in Twente [A2] This issue