[Agda] Call for Papers: Implementation and Application of Functional Languages 2012

[Tom Harper]

-------------------------------------------------------------------------------

                               CALL FOR PAPERS

                     24th Symposium on Implementation and
                Application of Functional Languages (IFL 2012)

           University of Oxford, UK, August 30-September 1, 2012

                 http://www.cs.ox.ac.uk/conferences/IFL2012/

This year IFL will be hosted by the University of Oxford, within the
idyllic setting of the dreaming spires and picturesque colleges, which
have been the home to academic endeavour and research for over nine
centuries. The symposium will be held between 30 August and
1 September, 2012.

Scope
-----

The goal of the IFL symposia is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. IFL 2012 will be a venue for
researchers to present and discuss new ideas and concepts, work in
progress, and publication-ripe results related to the implementation
and application of functional languages and function-based
programming.

Following the IFL tradition, IFL 2012 will use a post-symposium review
process to produce formal proceedings which will be published by
Springer Verlag in the Lecture Notes in Computer Science series. All
participants in IFL 2012 are invited to submit either a draft paper or
an extended abstract describing work to be presented at the
symposium. Work submitted to IFL must not be submitted simultaneously
to other venues; submissions must adhere to ACM SIGPLAN's
republication policy: http://www.sigplan.org/republicationpolicy.htm.

The submissions will be screened by the program committee chair to
make sure they are within the scope of IFL, and will appear in the
draft proceedings distributed at the symposium. Submissions appearing
in the draft proceedings are not peer-reviewed publications. After the
symposium, authors will be given the opportunity to incorporate the
feedback from discussions at the symposium and will be invited to
submit a revised full article for the formal review process. From the
revised submissions, the program committee will select papers for the
formal proceedings considering their correctness, novelty,
originality, relevance, significance, and clarity.

Topics
------

IFL welcomes submissions describing practical and theoretical work as
well as submissions describing applications and tools. If you are not
sure that your work is appropriate for IFL 2012, please contact the PC
chair at ralf.hinze at cs.ox.ac.uk. Topics of interest include, but are
not limited to:

  language concepts
  type checking
  contracts
  compilation techniques
  staged compilation
  run-time function specialization
  run-time code generation
  partial evaluation
  (abstract) interpretation
  generic programming
  automatic program generation
  array processing
  concurrent/parallel programming
  concurrent/parallel program execution
  functional programming and embedded systems
  functional programming and web applications
  functional programming and security
  novel memory management techniques
  run-time profiling and performance measurements
  debugging and tracing
  virtual/abstract machine architectures
  validation and verification of functional programs
  tools and programming techniques
  (industrial) applications of functional programming

Submission details
------------------

Presentation submission deadline:       July 30th, 2012
Notification of acceptance:             August 1st, 2012
Early registration deadline:            August 10th, 2012
IFL 2012 Symposium:                     August 30-September 1, 2012
Submission for (post) review process:   November 30th, 2012
Notification Accept/Reject:             February 4th, 2013
Camera ready version:                   March 18th, 2013

Prospective authors are encouraged to submit papers or extended
abstracts to be published in the draft proceedings and to present them
at the symposium. All contributions must be written in English,
conform to the Springer-Verlag LNCS series format and not exceed 16
pages. The draft proceedings will appear as a technical report of the
Department of Computer Science of the University of Oxford.

(We are more liberal with the draft proceedings, where longer papers
or SIGPLAN 2 column 12 page papers are acceptable. For other formats
please contact the chair at ralf.hinze at cs.ox.ac.uk. For consideration
for the final proceedings, only the 16 page LNCS format will be
accepted.)

Papers are to be submitted via the conference's EasyChair submission
page:

	https://www.easychair.org/conferences/?conf=ifl2012

Peter Landin Prize
------------------

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program
committee based on the submissions received for the formal review
process. The prize carries a cash award equivalent to 150 Euros.

Programme committee
-------------------

Edwin Brady, University of St. Andrews, UK
Andrew Butterfield, University of Dublin, Ireland
Matthew Flatt, University of Utah, US
Andy Gill, University of Kansas, US
Stephan Herhut, Intel Labs, Santa Clara, US
Ralf Hinze (Chair), University of Oxford, UK
Zhenjiang Hu, National Institute of Informatics, Japan
Patrik Jansson, Chalmers University of Technology, Sweden
Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
Gabriele Keller, University of New South Wales, Australia
Simon Marlow, Microsoft Research, UK
Pablo Nogueira, Technical University of Madrid, Spain
Bruno Oliveira, Seoul National University, Korea
José Nuno Oliveira, University of Minho, Portugal
Rinus Plasmeijer, Radboud University Nijmegen, Netherlands
Tom Schrijvers, Ghent University, Belgium
Tim Sheard, Portland State University, US
Wouter Swierstra, University of Utrecht, Netherlands
Peter Thiemann, University of Freiburg, Germany
Simon Thompson, University of Kent, UK
Steve Zdancewic, University of Pennsylvania, US