[ToC] _________________________ AMAST Links 02 07

Contributions are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ date: 25 October 1995
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to: 779 subscribers

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ödel'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