The full version of this Preliminary Call for Papers is available, both in plain-text form and in LaTeX form.
LOPSTR'95, the fifth in a series of annual workshops, will take place in Utrecht (the Netherlands) and will be run in parallel with PLILP'95, the 7th Int'l Symp. on Programming Languages, Implementations, Logics and Programs. LOPSTR and PLILP will share invited lectures and sessions of common interest. The two meetings will be organized by the Computer Science Department of Utrecht University.
The aim of the workshop is to present recent work (including work in progress) and discuss new ideas and trends in the following fields: program synthesis, program transformation, program specialization, partial deduction, all in the context of logic programming. Papers pointing out relationships of the above topics with other topics in the field of automated program development are welcome. Papers describing automated systems for program development and overviews of recent work on the topics of interest are also solicited.
Submissions: 5 copies of an extended abstract to:
Maurizio Proietti, IASI-CNR, Viale Manzoni, 30, I-00185 Roma, Italy
Tel +39 6 7716426, Fax +39 6 7716461, E-mail proietti@iasi.rm.cnr.it
Submission by e-mail is also accepted (LaTeX or Postscript). Abstract should be 5-8 page long (excluding references and appendices). Relevant evaluation criteria: originality, clarity, significance, correctness.
Dates: Abstract subm: May 25, 1995; notif: Jul 20, 1995.
Proceedings: Accepted abstracts will be collected into preliminary proceedings which will be available at the workshop. Extended abstracts can be completed into full papers and submitted after the workshop. Submitted papers will be reviewed for publication in final proceedings, expected to be published by Springer-Verlag, according to the following
Dates: subm: Oct 15, 1995; notif: Dec 1, 1995; final: Jan 15, 1996.
Organizing Committee: Swierstra, Fokker, Meijer, Punt (Utrecht U.)
For more information please contact Maurizio Proietti or see WWW