[Agda] 2nd CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)

publicityifl at gmail.com publicityifl at gmail.com
Thu Jul 13 22:13:48 CEST 2017


<div dir="ltr">Hello,<br><br>Please, find below the second call for papers  
for IFL 2017.<br>Please forward these to anyone you think may be  
interested.<br>Apologies for any duplicates you may receive.<br><br>best  
regards,<br>Jurriaan Hage<br>Publicity Chair of IFL<br><br>---<br><br>IFL  
2017 - CALL FOR PAPERS<br>==========================<br><br>29th SYMPOSIUM  
ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL  
LANGUAGES<br>==============================<wbr>==============================<wbr>============<br><br>University  
of Bristol, UK<br><br>In cooperation with ACM SIGPLAN<br><br>Wednesday 30  
August - Friday 1 September, 2017<br><br><a  
href="http://iflconference.org/"  
target="_blank">http://iflconference.org/</a><br><br>Scope<br>-----<br><br>The  
goal of the IFL symposia is to bring together researchers actively  
engaged<br>in the implementation and application of functional and  
function-based<br>programming languages. IFL 2017 will be a venue for  
researchers to present and<br>discuss new ideas and concepts, work in  
progress, and publication-ripe results<br>related to the implementation and  
application of functional languages and<br>function-based  
programming.<br><br>Peer-review<br>-----------<br><br>Following the IFL  
tradition, IFL 2017 will use a post-symposium review process<br>to produce  
the formal proceedings. All participants of IFL 2017 are invited  
to<br>submit either a draft paper or an extended abstract describing work  
to be<br>presented at the symposium. At no time may work submitted to IFL  
be<br>simultaneously submitted to other venues; submissions must adhere to  
ACM<br>SIGPLAN's republication policy:<br><br><a  
href="http://www.sigplan.org/Resources/Policies/Republication"  
target="_blank">http://www.sigplan.org/<wbr>Resources/Policies/<wbr>Republication</a><br><br>The  
submissions will be screened by the program committee chair to make  
sure<br>they are within the scope of IFL, and will appear in the draft  
proceedings<br>distributed at the symposium. Submissions appearing in the  
draft proceedings<br>are not peer-reviewed publications. Hence,  
publications that appear only in the<br>draft proceedings are not subject  
to the ACM SIGPLAN republication policy.<br>After the symposium, authors  
will be given the opportunity to incorporate the<br>feedback from  
discussions at the symposium and will be invited to submit a<br>revised  
full article for the formal review process. From the  
revised<br>submissions, the program committee will select papers for the  
formal<br>proceedings considering their correctness, novelty, originality,  
relevance,<br>significance, and clarity. The formal proceedings will appear  
in the<br>International Conference Proceedings Series of the ACM Digital  
Library.<br><br>Important dates<br>---------------<br><br>Mon 31 July      
2017 : Submission deadline draft papers<br>Wed  2 August   2017 :  
Notification of acceptance for presentation<br>Fri  4 August   2017 : Early  
registration deadline<br>Fri 11 August   2017 : Late registration  
deadline<br>Mon 21 August   2017 : Submission deadline for pre-symposium  
proceedings<br>Wed 30 August   2017 - Fri 1 September 2017 : IFL  
Symposium<br>Mon  4 December 2017 : Submission deadline for post-symposium  
proceedings<br>Wed 31 January  2018 : Notification of acceptance for  
post-symposium proceedings<br>Mon 12 March    2018 : Camera-ready version  
for post-symposium proceedings<br><br>Submission  
details<br>------------------<br><br>Prospective authors are encouraged to  
submit papers or extended abstracts to be<br>published in the draft  
proceedings and to present them at the symposium. All<br>contributions must  
be written in English. Papers must use the new ACM two<br>columns  
conference format, which can be found at:<br><br><a  
href="http://www.acm.org/publications/proceedings-template"  
target="_blank">http://www.acm.org/<wbr>publications/proceedings-<wbr>template</a><br><br>For  
the pre-symposium proceedings we adopt a 'weak' page limit of 12  
pages. For<br>the post-symposium proceedings the page limit of 12 pages is  
firm.<br><br>Authors submit through EasyChair:<br><br><a  
href="https://easychair.org/conferences/?conf=ifl2017"  
target="_blank">https://easychair.org/<wbr>conferences/?conf=ifl2017</a><br><br>Topics<br>------<br><br>IFL  
welcomes submissions describing practical and theoretical work as well  
as<br>submissions describing applications and tools in the context of  
functional<br>programming. If you are not sure whether your work is  
appropriate for IFL 2017,<br>please contact the PC chair at <a  
href="mailto:nicolas.wu at bristol.ac.uk"  
target="_blank">nicolas.wu at bristol.ac.uk</a>. Topics of interest  
include,<br>but are not limited to:<br><br>- language concepts<br>- type  
systems, type checking, type inferencing<br>- compilation techniques<br>-  
staged compilation<br>- run-time function specialization<br>- run-time code  
generation<br>- partial evaluation<br>- (abstract) interpretation<br>-  
metaprogramming<br>- generic programming<br>- automatic program  
generation<br>- array processing<br>- concurrent/parallel programming<br>-  
concurrent/parallel program execution<br>- embedded systems<br>- web  
applications<br>- (embedded) domain specific languages<br>- security<br>-  
novel memory management techniques<br>- run-time profiling performance  
measurements<br>- debugging and tracing<br>- virtual/abstract machine  
architectures<br>- validation, verification of functional programs<br>-  
tools and programming techniques<br>- (industrial)  
applications<br><br>Peter Landin Prize<br>------------------<br><br>The  
Peter Landin Prize is awarded to the best paper presented at the  
symposium<br>every year. The honored article is selected by the program  
committee based on<br>the submissions received for the formal review  
process. The prize carries a<br>cash award equivalent to 150  
Euros.<br><br>Programme committee<br>-------------------<br><br>Chair:  
Nicolas Wu, University of Bristol, UK<br><br>- Kenichi Asai, Ochanomizu  
University, Japan<br>- Sandrine Blazy, University of Rennes 1, France<br>-  
Carlos Camarao, Universidade Federal de Minas Gerais, Brazil<br>- Stephen  
Dolan, University of Cambridge, UK<br>- Jurriaan Hage, Utrecht University,  
Netherlands<br>- Yukiyoshi Kameyama, University of Tsukuba, Japan<br>-  
Benjamin Lerner, Brown University, USA<br>- Bas Lijnse, Radboud University,  
Netherlands<br>- Garrett Morris, University of Kansas, USA<br>- Miguel  
Pagano, Universidad Nacional de Córdoba, Argentina<br>- Tomas Petricek,  
Alan Turing Institute, UK<br>- Maciej Piróg, University of Wroclaw,  
Poland<br>- Exequiel Rivas, Universidad Nacional de Rosario, Argentina<br>-  
Neil Sculthorpe, Nottingham Trent University, UK<br>- Melinda Toth, Eotvos  
Lorand University, Hungary<br>- Phil Trinder, Glasgow University, UK<br>-  
Kanae Tsushima, National Institute of Informatics, Japan<br>- Marcos Viera,  
Universidad de la Republica, Uruguay<br>- Meng Wang, University of Kent,  
UK<br><br>Venue<br>-----<br><br>The IFL 2017 will be held in association  
with the Department of<br>Computer Science, University of Bristol, UK.  
Bristol is located in<br>South West England, and can be easily reached from  
Bristol Airport.<br>See the website for more information on the venue.</div>
<p> </p><a style='display: block; margin: 32px 0 40px 0; padding:  
10px; font-size: 1em; text-align: center; border: 0; border-top: 1px solid  
gray; ' href='https://goo.gl/2ksdRv'>powered by GSM. Free mail merge and  
email marketing software for Gmail.</a>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170713/5b6682f8/attachment.html>


More information about the Agda mailing list