[J8] ================================================ AMAST Links 02 04 European Institute in the Logical Foundations of Computer Science (EUROFOCS) Fellowship Programme (Closing date for applications - 30th April 1995) The full version of this announcement is available at URL: http://www.cs.utwente.nl/data/amast/links/v02/i04/full/AC0204J8.txt The European Institute in the Logical Foundations of Computer Science invites applications for PostDoctoral Fellowships. These can be held for periods ranging from six months to one year. The goal of the work in the Institute is to achieve a unified and applicable theory of the semantics and logic of languages used to describe, design and program computing systems. The research of the Insititute is characterised by a unified approach to foundational problems that emphasises the combination of ideas arising in design and practice with ideas originating in logic and allied mathematical areas. The applicability of the ideas developed is demonstrated by producing experimental systems for specification, verification and development. The research has both national and EC support, with involvement in several ESPRIT Basic Research Actions, including CONFER, CONCUR, COMPASS, Categorical Logic in Computer Science and Types for Proofs and Programs. Research Topics of Interest include: Semantics of Programming Languages; Logic Programming Theory; Object-Oriented Programming; Functional Programming Theory; Lambda-Calculus; Formal Development of Programs and Systems; Concurrency Theory. The Institute sites are: o CWI, Amsterdam o The University of Cambridge o The University of Edinburgh o Imperial College, London o ENS and INRIA, Paris o The University of Pisa o INRIA, Sophia Antipolis Applications must be sent to the prospective host site. More general information on the Institute or the fellowship programme may be requested from Gordon Plotkin (scientific information), or George Cleland (administrative information).