[CD] ================================================ AMAST Links 02 01

                Workshop on Types for Program Analysis
            University of Aarhus, Denmark, May 26-27, 1995

  This workshop is organized as a satellite activity of the TAPSOFT'95 
conference, May 22-26, University of Aarhus. The meeting starts Friday,
May 26th at 2:00 p.m., and ends May 27th at 12:00 noon.
  Recent years have shown the advent of various analysis techniques 
based on logical inference systems, in particular variations of type 
systems.  Proponents of the method claim that the analyses are easier 
to specify, achieve a cleaner separation between specification and 
implementation, and that it is easier to formulate fragments with a 
tractable efficiency.
  *Topics* include: specification of specific analyses for programming
languages; the role of effects, polymorphism, conjunction/disjunction
types, dependent types etc. in specification of analyses; algorithmic
tools and methods for solving general classes of type-based analyses;
the role of unification, semi-unification etc. in implementations of
analyses; proof techniques for establishing the safety of analyses;
relationship to other approaches to program analysis, including
abstract interpretation and constraint-based methods; exploitation of
analysis results in program optimization and implementation.
  *Submissions:* extended abstract, not exceeding ten pages (excluding
references and appendices). Remember to incorporate an abstract, your
address, e-mail address, and phone and fax numbers on the front page.
The final version will be allowed 15 pages. Electronic submission is
encouraged via e-mail to LOMAPSworkshop@daimi.aau.dk (either Postscript
or self-contained TeX or LaTeX file). Alternatively, submissions may be
sent by ordinary mail (six copies required) to:
   Hanne Riis Nielson, Computer Science Department, Aarhus University
   Bldg. 540, Ny Munkegade, DK-8000 Aarhus C, Denmark.
  *Dates:* subm: Mar. 1, 95; notif: Apr. 10, 95, final: May 1, 95.
  *"Proceedings"* will be published as a technical report from Aarhus
University; this does not prevent papers to be submitted elsewhere (but
we don't want to accept papers already accepted elsewhere).
  *Organization Committee:* Hanne Riis Nielson, Kirsten Lackner Solberg
  *Programme Committee:* Flemming Nielson, David Wright,
                         Daniel Le Metayer, Fritz Henglein