[ToC] _________________________ AMAST Links 02 06

Contributions are welcome! _ _ _ _ _ _ _ _ _ _ _ _ _ _ date: 31 August 1995
e-mail to: amast@cs.utwente.nl ________________________ e-mailed to: 766 subscribers

Table of Contents

Meetings

[M1] 1st AMAST Workshop Language Processing, AMiLP'95 (upd. [AL0204M2])
[M2] Two Short-Courses on Software Engineering at McMaster University
[M3] SEGRAGRA'95, J. W. Graph Rewriting & Computation (upd. [AL0205MO])
[M4] CP'95, 1st Int'l Conf. Constraint Programming (upd. of [AL0205MP])
[M5] CP'95 W. Studying & Solving Really Hard Problems (upd. [AL0205CA])
[M6] Int'l Conf. Telecommunities'95: Equity on the Internet
[M7] 8th Int'l Symp. on System Synthesis, ISSS'95
[M8] COCOON'95, 1st Computing & Combinatorics Conf. (upd. [AL0203C4])
[M9] ToolsMMB'95, J.Conf. Performance Tools & MMB '95 (upd. [AL0102C9])
[MA] CONCUR'95, 6th Int'l Conf. on Concurrency Theory (upd. [AL0205MD])
[MB] HOA'95, Higher-Order Algebra, Logic & Term Rewr. (upd. [AL0201C6])
[MC] HOL'95, Int'l W. Higher-Order Logic Theorem Proving & Applications
[MD] Irregular'95, Par. Alg. Irreg. Struct'd Problems (upd. [AL0204C3])
[ME] IWPTS'95, 8th IFIP Int'l W. Protoc. Test Systems (upd. [AL0204CF])
[MF] Isabelle'95, Isabelle Users Workshop (update of [AL0205MG])
[MG] MFCS'95, 20th Int'l Symp. Math Found. Comp. Sci. (upd. [AL0102C1])
[MH] SAS'95, 2nd Int'l Static Analysis Symposium (update of [AL0204C6])
[MI] FORTE'95, 8th Int'l Conf. on Formal Description Techniques

CfPs

[C1] 5th Int'l Conf. Algebraic Methodol. & Software Technol., AMAST'96
[C2] 3rd AMAST Workshop on Real-Time Systems, ARTS'96
[C3] 1st Int'l Conf. Coordination Models and Languages, COORDINATION'96
[C4] Int'l Conf. on Modern Algebra and its Applications, CMAA'96
[C5] Joint Int'l Conf. CAAP'96 CC'96 ESOP'96
[C6] 6th Conf. Theoretical Aspects of Rationality & Knowledge, TARK VI
[C7] 1st IFIP I.W. Form. Meth. Open Object-based Distr. Sys., FMOODS'96
[C8] ICALP'96, 23rd I.C. Automata, Languages & Progr. (upd. [AL0203C1])
[C9] 1st Int'l Workshop "Frontiers of Combining Systems", FroCoS'96
[CA] 5th Int'l Workshop on Extensions of Logic Programming, ELP'96
[CB] 5th W. Theorem Proving Analytic Tableaux & Related Methods, Tab'96
[CC] 10th IEEE Int'l Parallel Processing Symposium, IPPS'96
[CD] BCS FACS Methods Integration Workshop
[CE] 1st ACM SIGPLAN Int'l Conf. on Functional Programming, ICFP'96
[CF] W. Operational & Denotational Semantics Logic Progr. (at ILPS'95)
[CG] 7th Nordic Workshop on Programming Theory, NWPT'95

Jobs

[J1] Postdoc Research, Dep't of Computing, Imperial College, London, UK
[J2] PhD Programmes at the University of Auckland, NZ
[J3] Design Verification Engineer, AT&T Bell Labs, Murray Hill, NJ, USA
[J4] Assistant Professor Positions, Rice University, Houston, TX, USA
[J5] Visiting Researcher Positions, University of Uppsala, SW
[J6] Research Fellows, School of COGS, Univ. of Sussex, Brighton, UK
[J7] Faculty Position, CS Dep't, Indiana U., Bloomington, IN, USA
[J8] Chair in Computer Science, University of Leicester, UK
[J9] Lecturer in Mathematics, London School of Economics, London, UK
[JA] Adv. Decision Support Sys. Jobs, AT&T Bell Labs, Holmdel, NJ, USA
[JB] OR/CS Jobs in Transportation, TransQuest I.S., Atlanta, GA, USA
[JC] Postgraduate Scholarship in CS, Univ. Henri Poincare', Nancy 1, F
[JD] Positions Available, Dep'to de Informatica, U. do Minho, Braga, PT

Literature

[L1] Paper: Combining Model Checking and Deduction for I/O-Automata
[L2] Proceedings of TACAS'95, available on WWW (update of [AL0103CB])
[L3] Abstracts of STRUCTURES'95 available
[L4] Book: Advances in Linear Logic
[L5] Paper: Sharing-Graphs, Sharing-Morphisms & lambda-Graph Reductions
[L6] Paper: A Primer on Algebraic Topology and Distributed Computing
[L7] Note: rewrite semantics for ext. mu-calculus from continuat. sem.
[L8] PhD Thesis: Complexity Doctrines (update of [AL0204L7])
[L9] Four Papers in Concurrency
[LA] Paper: The Oz Programming Model
[LB] Book: Applications of Formal Methods
[LC] Paper: Interaction Combinators
[LD] Paper: Mechanising Set Theory: Cardinal Arithmetic and the AC

Tools

[T1] The Cogito 1 Methods and Tools
[T2] Availability of the linear logic programming language Lygon
[T3] LINUX implementation of Isabelle
[T4] The Coq Proof Assistant, Version 5.10 Release

Problems

[P1] List of Problems in Finite Model Theory
[P2] Graph Coloring Problems
[P3] Question about Generalised Spaces

Services

[S1] WWW pages on Computer Aided Design and Test (update of [AL0205S4])
[S2] WWW page on a Theory of Objects
[S3] Parameterized Complexity WWW Home Page
[S4] Baltzer Science Publishers WWW Home Page

Archive

[A1] New items in the AMAST information repository in Twente
[A2] This issue