|CFP: TPA (TAPSOFT'95 satellite - reminder) (Denmark, 5/95) firstname.lastname@example.org (1995-02-23)|
|From:||email@example.com (Hanne Riis Nielson)|
|Keywords:||CFP, conference, analysis|
|Organization:||DAIMI, Computer Science Dept. at Aarhus University|
|Date:||Thu, 23 Feb 1995 07:41:28 GMT|
C A L L F O R P A P E R S
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 no later than May 27th at 12:00
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
The topics of the workshop include (but are not limited to):
- 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
- the role of unification, semi-unification etc. in implementations
- 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
Authors are invited to submit an extended abstract not exceeding ten
pages (excluding references and appendices) by March 1, 1995; properly
announced (see below) electronic submissions may be a few days late.
Please remember to incorporate an abstract, your address, e-mail
address, and telephone and fax numbers on the front page.
Authors will be notified of acceptance by April 10, 1995. The final
version of papers are due May 1, 1995, and will be allowed 15 pages.
The "proceedings" will be published as a technical report from Aarhus
University; this does not prevent essentially the same papers to be
submitted for publication elsewhere (but we do not want to accept
papers already accepted elsewhere).
Electronic submission is encouraged via e-mail (and you may even be
able to bargain for a few additional days for mailing the submission).
The submission should be sent to LOMAPSworkshop@daimi.aau.dk either in
Postscript or as a self-contained TeX or LaTeX file.
Alternatively, submissions may be sent by ordinary mail (six copies
Hanne Riis Nielson
Computer Science Department
Aarhus University, Bldg. 540
DK-8000 Aarhus C, Denmark
Further information about the workshop is available from http://www.daimi.aau.dk/~bra8130/TPA/.
Hanne Riis Nielson Kirsten Lackner Solberg
Computer Science Department Computer Science Department
Aarhus University Aarhus University
Flemming Nielson David Wright
Computer Science Department Department of Computer Science
Aarhus University University of Tasmania
Daniel Le Metayer Fritz Henglein
Rennes Copenhagen University
Return to the
Search the comp.compilers archives again.