(Apologies for multiple postings) ============================================================ IFL 2003 15th International Workshop on the IMPLEMENTATION OF FUNCTIONAL LANGUAGES Edinburgh Scotland September 8th - 10th, 2003 http://www.macs.hw.ac.uk/~ifl03 ============================================================= Important dates --------------- Registration deadline: August 1st, 2003 Submission deadline : August 22nd, 2003 Workshop : September 8-10th, 2003 ============================================================= Scope of IFL 2003 ----------------- The aim of the workshop is to bring together researchers and users actively engaged in the implementation and application of functional programming languages to discuss results and new directions of research. The workshop is intended to provide an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results etc. related primarily but not exclusively to the implementation of functional or function-based languages. A not necessarily exhaustive list of topics includes language concepts type checking compilation techniques (abstract) interpretation automatic program generation (abstract) machine architectures array processing concurrent/parallel programming and program execution heap management runtime profiling and performance measurements debugging and tracing verification of functional programs tools and programming techniques Contributions on applications of functional programming, e.g., in teaching, or on theoretical work in any of the above areas are also welcome. This year's workshop is co-located with the 4th International Symposium on Trends in Functional Programming (TFP'03) <http://homepages.inf.ed.ac.uk/stg/workshops/ISTFP/>. Contributions ------------- All attendees are encouraged to submit papers to be published in the draft proceedings and to give presentations at the workshop. Submitted papers must be written in English, conform to the LNCS format (available at: http://www.springer.de/comp/authors/index.html) and not exceed 16 pages. Papers should be submitted by August 22nd as postscript or pdf files using the submission page of the workshop accessible through http://www.macs.hw.ac.uk/~ifl03 After the workshop, a high-quality subset of contributions will be published in the Springer LNCS series. All speakers attending the workshop are invited to submit a paper. Papers for the LNCS proceedings will be refereed according to normal conference standards. Greg Michaelson and Phil Trinder (Organizing Committee Chairs) School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh, EH14 4AS E-mail: {greg,trinder}@macs.hw.ac.uk Teleph: +44 (0)131 451 3435 Depart: +44 (0)131 451 3328 Fasmly: +44 (0)131 451 3327 Intrnt: http://www.macs.hw.ac.uk/~greg http://www.macs.hw.ac.uk/~trinder