ICFP 2005 seeks original papers on the art and science of functional programming. Submissions are invited on all topics ranging from principles to practice, from foundations to features, from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects and concurrency. Particular topics of interest include:
- Applications and domain-specific languages: Systems programming, scientific and numerical computing, symbolic computing and artificial intelligence, databases, graphical user interfaces, multimedia programming, application scripting, system administration, distributed-systems and web programming, XML processing, security.
- Foundations: Formal semantics, lambda calculus, type theory, monads, continuations, control, state, effects.
- Design: Algorithms and data structures, modules and type systems, concurrency and distribution, components and composition, relations to object-oriented and logic programming.
- Implementation: Abstract machines, compile-time and run-time optimization, just-in-time compilers, memory management. Interfaces to foreign functions, services, components and low-level machine resources.
- Transformation and analysis: Abstract interpretation, partial evaluation, program transformation.
- Software-development techniques for functional programming: Design patterns, specification, verification, validation, debugging, test generation, tracing and profiling.
- Practice and experience: Functional programming in education and industry.
- Functional pearls: Elegant, instructive examples of functional programming.
Papers in the last three categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem.
A special issue of the Journal of Functional Programming will highlight selected papers from the meeting.
Submission instructions will be available by 1 March, 2005, on this page.
Important Dates:
| Submission deadline: | 13 April, 2005 |
| On-line response to reviews: | 18-19 May, 2005 |
| Author notification: | 3 June, 2005 |
| Camera-ready copy: | 10 July, 2005 |
Organizers:
| Conference Chair: | Olivier Danvy (BRICS, University of Aarhus) |
| Program Chair: | Benjamin C. Pierce (University of Pennsylvania) |
| Program Committee: | Mariangiola Dezani (Universitá di Torino) |
| Mary Fernández (AT&T; Labs) | |
| Matthew Flatt (University of Utah) | |
| Cédric Fournet (Microsoft Research) | |
| Jacques Garrigue (Kyoto University) | |
| Jason Hickey (California Institute of Technology) | |
| John Hughes (Chalmers University) | |
| Johan Jeuring (Utrecht University) | |
| Frank Pfenning (Carnegie Mellon University) | |
| Benjamin Pierce (University of Pennsylvania) | |
| Andrew Pitts (University of Cambridge) | |
| Norman Ramsey (Harvard University) | |
| Manuel Serrano (INRIA Sophia Antipolis) | |
| Peter Thiemann (Universität Freiburg) | |
| Jan Vitek (Purdue University) |
Benjamin C. Pierce