From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 297397EEF8 for ; Tue, 11 Aug 2015 22:51:01 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of J.Hage@uu.nl) identity=pra; client-ip=131.211.14.244; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="J.Hage@uu.nl"; x-sender="J.Hage@uu.nl"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of J.Hage@uu.nl designates 131.211.14.244 as permitted sender) identity=mailfrom; client-ip=131.211.14.244; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="J.Hage@uu.nl"; x-sender="J.Hage@uu.nl"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@ICTSC-W-S216.ictsc.uu.nl) identity=helo; client-ip=131.211.14.244; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="J.Hage@uu.nl"; x-sender="postmaster@ICTSC-W-S216.ictsc.uu.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DgAQBKX8pVafQO04Ndgz4xaQaCWEa8KQqCI4MMRQMCgUlMAQEBAQEBEg0FBgkJIS6ENhEGRAEMBRkcAiYCSRYOBQmIJQQJm2adHZYJAQEBBwEBAQEBAQEBGoEiiSwBgj+CcwFYgjUMLxIdgRQFlRBvhBWJL0aDYIJ3jT6DZoIzD4FkbwGBBAEBHgccgQQBAQE X-IPAS-Result: A0DgAQBKX8pVafQO04Ndgz4xaQaCWEa8KQqCI4MMRQMCgUlMAQEBAQEBEg0FBgkJIS6ENhEGRAEMBRkcAiYCSRYOBQmIJQQJm2adHZYJAQEBBwEBAQEBAQEBGoEiiSwBgj+CcwFYgjUMLxIdgRQFlRBvhBWJL0aDYIJ3jT6DZoIzD4FkbwGBBAEBHgccgQQBAQE X-IronPort-AV: E=Sophos;i="5.15,655,1432591200"; d="scan'208";a="142552640" Received: from ictsc-w-s216.ictsc.uu.nl ([131.211.14.244]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 11 Aug 2015 22:51:00 +0200 Received: from ICTSC-W-S209.soliscom.uu.nl (131.211.14.113) by ICTSC-W-S216.ictsc.uu.nl (131.211.14.244) with Microsoft SMTP Server (TLS) id 14.3.235.1; Tue, 11 Aug 2015 22:50:58 +0200 Received: from [192.168.2.2] (86.82.245.57) by solismail.uu.nl (131.211.14.113) with Microsoft SMTP Server (TLS) id 14.3.235.1; Tue, 11 Aug 2015 22:50:59 +0200 From: Jurriaan Hage Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Date: Tue, 11 Aug 2015 22:51:34 +0200 Message-ID: <58F0C6BA-5362-45EA-88D8-3C1FAE283687@uu.nl> CC: Jurriaan Hage To: MIME-Version: 1.0 (Mac OS X Mail 8.2 \(2098\)) X-Mailer: Apple Mail (2.2098) X-Originating-IP: [86.82.245.57] X-Validation-by: j.hage@uu.nl Subject: [Caml-list] Final call for papers for IFL 2015 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 =E2=80=94=E2=80=94 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 enga= ged 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 languag= es and function-based programming. Peer-review Following the IFL tradition, IFL 2015 will use a post-symposium review proc= ess to produce the formal proceedings. All participants of IFL2015 are invi= ted 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 s= imultaneously submitted to other venues; submissions must adhere to ACM SIG= PLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sur= e they are within the scope of IFL, and will appear in the draft proceeding= s distributed at the symposium. Submissions appearing in the draft proceedi= ngs are not peer-reviewed publications. Hence, publications that appear onl= y in the draft proceedings do not count as publication for the ACM SIGPLAN = republication policy. After the symposium, authors will be given the opport= unity to incorporate the feedback from discussions at the symposium and wil= l be invited to submit a revised full article for the formal review process= . From the revised submissions, the program committee will select papers fo= r the formal proceedings considering their correctness, novelty, originalit= y, 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 t= o be published in the draft proceedings and to present them at the symposiu= m. All contributions must be written in English. Papers must adhere to the = standard ACM two columns conference format. For the pre-symposium proceedin= gs we adopt a 'weak' page limit of 12 pages. For the post-symposium proceed= ings the page limit of 12 pages is firm. A suitable document template for L= aTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Authors submit through EasyChair: https://easychair.org/conferences/?conf=3Difl2015 Topics IFL welcomes submissions describing practical and theoretical work as well = as submissions describing applications and tools in the context of function= al programming. If you are not sure whether your work is appropriate for IF= L 2015, please contact the PC chair at rlaemmel@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 sympos= ium every year. The honored article is selected by the program committee ba= sed on the submissions received for the formal review process. The prize ca= rries a cash award equivalent to 150 Euros. Programme committee Chair: Ralf L=C3=A4mmel, University of Koblenz-Landau, Germany - Malgorzata Biernacka, University of Wroclaw, Poland - Laura M. Castro, University of A Coru=C3=B1a, 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=C3=A9d=C3=A9ric Jouault, ESEO, France - Oleg Kiselyov, Tohoku University, Japan - Lindsey Kuper, Indiana University, USA - Rita Loogen, Philipps-Universit=C3=A4t 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 Scien= ce, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected= by train to several international airports. For instance, Koblenz can be r= eached from Frankfurt by high-speed train ICE within an hour. The modern Ko= blenz campus is close to the city center and can be reached by foot, bus, o= r cab. See the website for more information on the venue. Social events The conference attendees are welcome at =E2=80=9EKaffeewirtschaft=E2=80=9C = in the historical center of Koblenz on the evening of arrival (Sunday, 13 S= eptember). A special reception takes places on Monday in the form of a wine= tasting and guided tour at =E2=80=9EWeingut Lunnebach=E2=80=9C. The confer= ence banquet on Tuesday is held at the historical site =E2=80=9EFestung Ehr= enbreitstein=E2=80=9C at Restaurant Casino with a wonderful view over the c= ity and the two rivers Rhine and Moselle.=20 - http://www.kaffeewirtschaft.de/ - http://www.weingut-lunnebach.de/ - https://www.cafehahn.de/impressionen_189.html