[Agda] Call for participation IFL 2013
publicityifl at gmail.com
publicityifl at gmail.com
Fri Aug 16 20:17:47 CEST 2013
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
More information about the Agda
mailing list