Announcing: "Theory and Formal Methods 1993" Eds. Geoffrey Burn, Simon Gay and Mark Ryan A new title in Springer's "Workshops in Computing" Series. Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29--31 Match 1993. The Theory and Formal Methods Section of the Imperial College Department of College has an international reputation for research into the foundations of computer science, and the application of this theory to real computing problems. In March 1993 it held the first in a proposed series of workshops on theory and formal methods at the Isle of Theory Conference Centre in Sussex, UK. This volume contains revised versions of the papers presented at the workshop. They cover four main areas --- semantics, concurrency, logic, and specification -- with several papers spanning a variety of disciplines. The contributions fall into two main categories: review papers which provide the reader with an introduction to some specific areas being studied by the Section, and research papers which give details of the latest results in these areas. THEORY AND FORMAL METHODS 1993 provides a comprehensive overview of the work being carried out by one of the world's leading research centres in theory and formal methods. It will be of interest to practitioners and researchers, as well as post- and undergraduate students. OVERVIEW PAPERS Geoffrey Burn The Abstract Interpretation of Functional Languages Roy Crole Deriving Category Theory from Type Theory Steve Vickers Geometric Logic in Computer Science Chris Hankin Graph Rewriting Systems and Abstract Interpretation RESEARCH PAPERS Samson Abramsky Interaction Categories Mark Dawson Animating LU Abbas Edalat Dynamical Systems, Measures and Fractals via Domain Theory Abbas Edalat Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories Lindsay Errington, Chris Hankin and Thomas Jensen Reasoning about GAMMA Programs Jose Fiadeiro and Tom Maibaum Generalising Interpretation between Theories in the Context of (pi-)Institutions Simon Gay and Raja Nagarajan Modelling SIGNAL in Interaction Categories Reinhold Heckmann Product Operations in Strong Monads Michael Huth On the Equivalence of State-transition Systems Stuart Kent Towards a Modal Logic of Durative Actions Marta Kwiatkowska Concurrency, Fairness, and Logical Complexity Marta Kwiatkowska and Iain Phillips Concurrency and Conflict in CSP Sarah Liebert A Complete Axiom System for CCS with a Stability Operator Ian Mackie, Leopoldo Roman and Samson Abramsky An Internal Language for Autonomous Categories Juarez Muylaert Filho and Geoffrey Burn Continuation-passing Transformation and Abstract Interpretation Iain Phillips A Note on the Expressiveness of Process Algebra Mark Ryan Prioritising Preference Relations David Sands Laws of Parallel Synchronised Termination Zvi Schreiber Implementing Process Calculi in C Paul Taylor An Exact Interpretation of While Irek Ulidowski Congruences for tau-respecting Formats of Rules Theory and Formal Methods 1993 Eds. Geoffrey Burn, Simon Gay and Mark Ryan Springer-Verlag London, 1993. 336pp (approx), 32 figures, 12 tables. Soft cover. Publication due: September 1993. Price: 37 pounds (30 pounds to members of the BCS). ISBN 3-540-19842-3. ORDER FORM Please order from your bookseller or from: Springer Verlag London Ltd Sales Office Springer House 8 Alexandra Road London SW19 7JZ Tel: +44 81 947 1280 Fax: +44 81 947 1274 Please send me ____ copies of ISBN 3-540-19842-3 (Theory and Formal Methods 1993, eds Burn, Gay, Ryan) at 37 / 30 pounds (delete as necessary). TOTAL ___________ Please charge my eurocard/access/mastercard/visa/bankamericard (delete as necessary) number |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_| valid until_____________________ Today's date____________________ Signature_______________________ OR Cheque payable to Springer Verlag London Ltd OR Proforma Invoice (delete as necessary) Name________________________________________________________ Address_____________________________________________________ ____________________________________________________________ ____________________________________________________________ ____________________________________________________________ ____________________________________________________________ +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++