The Coq mailing list

[publicityifl AT gmail.com]

CALL FOR PARTICIPATION

25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - 
IFL 2013

RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN

AUGUST 28 - 30 2013

"Landgoed Holthurnsche Hof"

http://ifl2013.cs.ru.nl

[program available - late registration still open]


We are proud to announce that the 25th edition of the IFL series returns to 
its roots at 
the Radboud University Nijmegen in the Netherlands. The symposium is held 
from 28th 
to 30th of August 2013.

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 2013 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 2013 will use a post-symposium review 
process to 
produce the formal proceedings which will be published in the ACM Digital 
Library. All 
participants of IFL 2013 are invited to submit either a draft paper or an 
extended 
abstract describing work to be presented at the symposium. At no time may 
work submitted 
to IFL be simultaneously submitted to other venues; submissions must adhere 
to 
ACM SIGPLAN's republication policy:

    http://www.sigplan.org/Resources/Policies/Republication

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. Hence, publications that appear only in the draft proceedings 
do not 
count as publication for the ACM SIGPLAN republication policy. 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. 

Invited Speaker
---------------
Lennart Augustsson, currently employed by the Standard Chartered Bank, 
well-known for 
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited 
speaker of 
IFL 2013. The title and abstract of his talk is:

    "Implementation and Application of Functional Languages - A personal 
perspective"

    It is now over 30 years ago since I implemented my first functional 
language, 
    and over 15 years ago since I wrote my first commercial application. In 
this 
    talk I will look back to those bygone days and remind you of things that 
you 
    might have forgotten or never known. The talk will be absolutely free of 
    anything new. 

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
-------------------
•  Thomas Arts, Quviq, Gothenburg, Sweden
•  Andrew Butterfield, Trinity College, Dublin, Ireland
•  Edwin Brady, University of St. Andrews, UK
•  Clemens Grelck, University of Amsterdam, Netherlands
•  Adam Granicz, IntelliFactory, Budapest, Hungary
•  Jeremy Gibbons, University of Oxford, UK
•  Fritz Henglein, University of Copenhagen, Denmark
•  Stephan Herhut, Intel Labs, Santa Clara, US
•  Ralf Hinze (co-chair), University of Oxford, UK
•  Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary
•  Zhenjiang Hu, University of Tokyo, Japan
•  Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
•  Johan Jeuring, University of Utrecht, Netherlands
•  Rita Loogen, University of Marburg, Germany
•  Marco T. Morazán, Seton Hall University, New Jersey, US
•  Dominic Orchard, University of Cambridge, UK
•  Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
•  Tim Sheard, Portland State University, US
•  Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
•  Peter Thiemann, University of Freiburg, Germany
•  Simon Thompson, University of Kent, UK

Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based 
Software 
Development Department at the Nijmegen Institute for Computing and 
Information Sciences. 
The event is held in the Landgoed “Holthurnsche Hof”, a rural estate in the 
woodlands 
surrounding Nijmegen. It can be reached quickly and easily by public 
transport.

Program
-------

Wednesday August 28
-------------------
 8:15 registration
 8:50 opening
 9:00 Marcos Viera         First Class Syntax, Semantics, and Their 
Composition
      Doaitse Swierstra
 9:25 Olivier Danvy        Circularity and Lambda Abstraction
      Peter Thiemann
      Ian Zerny
 9:50 break
10:20 Loic Denuziere       Piglets to the rescue
      Ernesto Rodriguez
      Adam Granicz
10:45 Simon Fowler         Correct and Secure Web Programming using Dependent 
Types 
      Edwin Brady          and Embedded Domain-Specific Languages
11:10 break
11:40 Jennifer Hackett     The Under-Performing Unfold: A new approach to 
optimising 
      Graham Hutton        corecursive programs
      Mauro Jaskelioff
12:05 Laurence Edward Day  Compilation á la Carte
      Graham Hutton
12:30 Artjoms Sinkarovs    Functionally Redundant Declarations for Improved
      Sven-Bodo Scholz     Performance Portability
12:55 lunch
14:00 Xavier Clerc         OCaml-Java: Typing Java Accesses from OCaml 
Programs
14:25 Jonathan Protzenko   The implementation of the Mezzo type-checker
14:50 break
15:20 Ralf Lämmel          The 101haskell chrestomathy
      Thomas Schmorleiz
      Andrei Varanovich
15:45 Chide Groenouwe      Instant playful access to serious programming for 
non-programmers 
                           with a visual functional programming language
16:10 break
16:40 Arjan Boeijink       Supercompiling Haskell to Hardware
      Philip Hölzenspies
      Christiaan Baaij
      Jan Kuper
17:05 Bas van Gijzel       Towards a framework for the implementation and 
verification 
      Henrik Nilson        of translations between argumentation models
17:30 end of talks
18:00 dinner
20:00 25th IFL reunion
23:00

Thursday August 29
------------------
 9:00 Bas Lijnse           Supporting Semi-Structured Work using Higher Order 
Tasks
      Jan Martin Jansen
 9:25 Viktória Zsók        A Prototype of CPS Systems
 9:50 break
10:20 Majed Al Saeed       A Critical Analysis of Parallel Functional 
Profilers
      Patrick Maier
      Phil Trinder
      Lilia Georgieva
10:45 Vladimir Janjic      Using Erlang Skeletons to Parallelise Realistic 
      Christopher Brown    Medium-Scale Parallel Programs
      Kevin Hammond
11:10 break
11:40 Lennart Augustsson   Invited talk: Implementation and Application of 
Functional Languages
                                         A personal perspective
12:40 lunch
13:45 - 23:00 Social event: excursion, symposium dinner, Peter Landin award

Friday August 30
----------------
 9:00 Malak Aljabri        The Design and Implementation of GUMSMP:
      Hans-Wolfgang Loidl  a Multilevel Parallel Haskell Implementation
      Phil Trinder
 9:25 Henrique Ferreiro    Kindergarten Cop:
      Laura Castro         Dynamic Nursery Resizing for Increasing 
Parallelism in GHC
      Vladimir Janjic
      David Castro
      Kevin Hammond
 9:50 break
10:20 Fangyong Tang        User-Defined Shape Constraints in SAC
      Clemens Grelck
10:45 Leaf Petersen        Measuring the Haskell Gap
      Todd Anderson
      Hai Liu
      Neal Glew
11:10 break
11:40 Marco T. Morazán     Immediate Dominators in Linear Time
12:05 Merijn Verstraaten   On Predicting the Impact of Resource Redistribution
      Sven-Bodo Scholz     in Streaming Applications
12:30 IFL 2014
12:40 lunch
14:00 Melinda Tóth         Reduction of regression tests for Erlang based on 
impact analysis
      István Bozó
      Zoltán Horváth
14:25 Macías López         A DSL for Web Services Automatic Test Data 
Generation
      Henrique Ferreiro
      Laura M. Castro
      Thomas Arts
14:50 break
15:20 Kanae Tsushima       A Weighted Type Error Slicer
      Kenichi Asai
15:45 Ben Thorner          A Type Inference Debugger for ML in Education
      Kathryn Gray
16:10 break
16:40 Nicolas Wu           Structured Sharing for Dynamic Programming
17:05 Clemens Grelck       Towards Persistent and Parallel Asynchronous 
Adaptive Specialisation 
      Heinz Wiesinger      for Data-Parallel Array Processing in SAC
17:30 closing