Hello,

Please, find below the final call for papers for IFL 2015.
Note that the draft submission date has been extended until August 15.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage
Publicity Chair of IFL

——

IFL 2015 - Call for papers

27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 
2015

University of Koblenz-Landau, Koblenz, Germany

In cooperation with ACM SIGPLAN

September 14-16, 2015

http://ifl2015.wikidot.com/

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 2015 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.

Peer-review

Following the IFL tradition, IFL 2015 will use a post-symposium review process 
to produce the formal proceedings. All participants of IFL2015 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.

Important dates

August 15: Submission deadline draft papers
August 17: Notification of acceptance for presentation
August 19: Early registration deadline
August 26: Late registration deadline
September 7: Submission deadline for pre-symposium proceedings
September 14-16: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 15, 2016: Notification of acceptance for post-symposium proceedings
March 1, 2016: Camera-ready version for post-symposium proceedings

Submission details

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. Papers must adhere to the standard 
ACM two columns conference format. For the pre-symposium proceedings we adopt a 
'weak' page limit of 12 pages. For the post-symposium proceedings the page 
limit of 12 pages is firm. A suitable document template for LaTeX can be found 
at:

http://www.acm.org/sigs/sigplan/authorInformation.htm

Authors submit through EasyChair:

https://easychair.org/conferences/?conf=ifl2015

Topics

IFL welcomes submissions describing practical and theoretical work as well as 
submissions describing applications and tools in the context of functional 
programming. If you are not sure whether your work is appropriate for IFL 2015, 
please contact the PC chair at rlaem...@acm.org. Topics of interest include, 
but are not limited to:

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

Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the symposium 
every year. The honored 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

Chair: Ralf Lämmel, University of Koblenz-Landau, Germany

- Malgorzata Biernacka, University of Wroclaw, Poland
- Laura M. Castro, University of A Coruña, Spain
- Martin Erwig, Oregon State University, USA
- Dan Ghica, University of Birmingham, UK
- Andrew Gill, University of Kansas, USA
- Stephan Herhut, Google, USA
- Zhenjiang Hu, National Institute of Informatics (NII), Japan
- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina
- Frédéric Jouault, ESEO, France
- Oleg Kiselyov, Tohoku University, Japan
- Lindsey Kuper, Indiana University, USA
- Rita Loogen, Philipps-Universität Marburg, Germany
- Akimasa Morihata, University of Tokyo, Japan
- Atsushi Ohori, Tohoku University, Japan
- Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Norman Ramsey, Tufts University, USA
- Matthew Roberts, Macquarie University, Australia
- Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
- Simon Thompson, University of Kent, UK
- Stephanie Weirich, University of Pennsylvania, USA
- Steve Zdancewic, University of Pennsylvania , USA

Venue

The 27th IFL will be held in association with the Faculty of Computer Science, 
University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by 
train to several international airports. For instance, Koblenz can be reached 
from Frankfurt by high-speed train ICE within an hour. The modern Koblenz 
campus is close to the city center and can be reached by foot, bus, or cab. See 
the website for more information on the venue.

Social events

The conference attendees are welcome at „Kaffeewirtschaft“ in the historical 
center of Koblenz on the evening of arrival (Sunday, 13 September). A special 
reception takes places on Monday in the form of a wine tasting and guided tour 
at „Weingut Lunnebach“. The conference banquet on Tuesday is held at the 
historical site „Festung Ehrenbreitstein“ at Restaurant Casino with a wonderful 
view over the city and the two rivers Rhine and Moselle. 

- http://www.kaffeewirtschaft.de/
- http://www.weingut-lunnebach.de/
- https://www.cafehahn.de/impressionen_189.html

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to