The (LaTeX) full version of this Call for Papers is available.
The meeting will run in parallel with LoPSTr95, the 5th International Workshop on Logic Program Synthesis & Transformation. LoPSTr and PLILP will share invited lectures and sessions of general interest. The event is organized by the Computer Science Department of Utrecht University.
Topics: Typical, but not exclusive topics of interest are: Implementation of declarative concepts, Compiler specification and construction, Program analysis, Program transformation techniques, Programming environments, Implementation issues (system demonstration), Executable specifications, Reasoning about language constructs, Integration of different paradigms, Relation between declarative paradigms, Term rewriting, narrowing, resolution, Experiences in constructing applications, Typing and structuring systems.
Invited talks, as well as possibly a selection of accepted papers, will be scheduled for plenary sessions. Other accepted contributions will be scheduled for parallel LoPSTr and PLILP sessions. We anticipate the PLILP proceedings to be published by Springer Verlag in the LNCS series. A limited number of scholarships may be available for those participants who are unable to obtain support from other sources.
Submissions: five copies to PLILP'95, at Utrecht University, at the address mentioned below. Papers must describe original, previously unpublished research, be written and presented in English, not exceed 15 pages, and not simultaneously submitted for publication elsewhere. See the full version of this Call for further requirements. Additional information (e.g. re. email submission) will be available on the WWW .
Dates: Subm: Mar 6, 1995; notif: May 17, 1995; final: Jun 28, 1995.
Program Co-Chairs: D. Swierstra (Utrecht), M. Hermenegildo (Madrid)
Local organisers: J. Fokker, E. Meijer, M. Punt
Information: PLILP'95, Vakgroep Informatica, Utrecht University
P.O.Box 80.089, NL-3508 TB Utrecht, The Netherlands
Tel.: +31 30 531454, Fax: +31 30 513791, email: plilp-info@cs.ruu.nl