HCM "ABSTRACT INTERPRETATION FOR DECLARATIVE LANGUAGES"
                VISITING POSITIONS IN THE PROJECT

  
The HCM project "Abstract Interpretation for Declarative Languages"
(ABILE) will open shortly a number of visiting positions for young
scientists and encourages the persons interested to establish contacts
with potential hosts.

  The objective of the project is to integrate and expand the current
work on Abstract Interpretation into a uniform theory and methodology,
supported by adequate tools which can be the basis for a wide range of
applications, from sequential Prolog, pure functional languages and
constraint logic programming languages to parallel and concurrent logic
programming languages as well as languages that integrate functional and
logic programming.


The following topics will be specifically studied in the context of the
network:

- Fixpoint Methods: This topic is concerned with a uniform treatment
  of fixpoint specification and solution which exploits the best aspects
  of ideas used in the current fragmentary views seen in imperative,
  logic and functional language groups.

- Compilation and Optimisation: New issues in compilation and 
  optimisation guided by abstract interpretation will be investigated:
  interaction and integration of the compiler and the static analyser,
  modularity of the analysis and new source-to-source program 
  transformations, in particular, transformations yielding superlinear
  speedups.

- Analysis of ``full'' Prolog and CLP: Frameworks providing a complete
  treatment of existing built-ins inside new abstract domains 
  incorporating information about the search rule such as sure execution
  of cuts, determinacy of procedures, number of solutions, will be
  developed and implemented. They will be extended to practical CLP 
  languages.

- Analysis of Functional Logic Programs: New analysis frameworks
  adequate to the specific operational semantics of functional logic
  programs  will be developed.  

- Concurrency:  This topic includes methods and tools generally
  applicable to the analysis of concurrent systems. Application of
  these methods and tools to cc(FD) will be deeply investigated.


Human Capital and Mobility Networks are research projects, with an
emphasis on mobility and collaboration of researchers between different
European sites. In particular, they provide grants for research visits
to post-doctoral and experienced post graduate students.

The Network "ABSTRACT INTERPRETATION FOR DECLARATIVE LANGUAGES" (ABILE)
has been launched the 1st of January 1995 for a period of 3 years.  The
project groups 13 research centers in Europe, active on the topic of
Abstract Interpretation of Declarative Languages.  It has a total budget
of about 234.000 ECU. The network provides funding for the equivalent of
7 full time guest researchers visiting nodes of the network for periods
of approximately 6 months each. Shorter or longer visits as well as a
higher or lower number of visits can also be supported depending on
individual needs, and salary variations.

Applications for visiting research positions in the context of the
network must include a full CV and a research proposal (node to be
visited, work to be achieved, duration of the visit) and should be sent
to Baudouin Le Charlier, coordinator of the network, by MARCH 31 1996.
Applicants should previously contact the principal investigator of their
anticipated host site to prepare their research proposal and to get
financial information (since labour costs depend on national legislation
and may significantly vary from one country to another). Two or more
sites should be mentioned in the application, in order of preference. To
get more information about the research which is pursued at each node,
the work programme of the network is available upon request at the
coordinator site.  It is also available by FTP from:

      ftp.info.fundp.ac.be:/pub/projects/abile/workprogramme.ps

General information about the groups involved in the network can also
be obtained at the following URL address:

      http://www.ida.liu.se/~ulfni/abile/


PARTICIPANTS

Node            Contact Person              Email and URL Addresses
-----------------------------------------------------------------------
Aachen          Michael Hanus               hanus@informatik.rwth-aachen.de 
Bordeaux        Marc-Michel Corsini         corsini@labri.u-bordeaux.fr
Cambridge       Alan Mycroft                Alan.Mycroft@cl.cam.ac.uk
CAMIENS         Patrick and                 cousot@dmi.ens.fr
                Radhia Cousot               radhia@poly.polytechnique.fr
Copenhagen      Neil Jones                  neil@diku.dk
INRIA           Philippe Codognet           codognet@minos.inria.fr
Leuven          Maurice Bruynooghe          maurice@cs.kuleuven.ac.be
Lille           Philippe Devienne           devienne@lifl.fr       
Linkoping       Ulf Nilsson                 ulfni@ida.liu.se     
Madrid          Manuel Hermenegildo         herme@fi.upm.es
Namur           Baudouin Le Charlier        ble@info.fundp.ac.be 
Padova          Gilberto File               gilberto@zenone.unipd.it
Pisa            Roberto Barbuti             barbuti@DI.UNIPI.IT