coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] IFL'21 final call for participation

From: Pieter Koopman <ifl21.publicity AT gmail.com>
To: Coq-Club <coq-club AT inria.fr>
Subject: [Coq-Club] IFL'21 final call for participation
Date: Mon, 30 Aug 2021 12:32:14 -0700
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ifl21.publicity AT gmail.com; spf=Pass smtp.mailfrom=ifl21.publicity AT gmail.com; spf=None smtp.helo=postmaster AT mail-pj1-f53.google.com
Ironport-hdrordr: A9a23:ITSJtazjrmpGmhtOauaeKrPwDb1zdoMgy1knxilNoH1uA7elfqWV9sjzuiWE7Ar5NEtQ/OxoW5PwIk80l6QFh7X5VI3KNGKG2FdAA7sSj7cKqAeQYhEWmNQtrZuIsJITNDQzNzVHpPe/zg+/HdMthOOK962lnqP302ptJDsaDJ2IIz0XNu9TKCNLeDU=
Ironport-phdr: A9a23:Yh3a4xTvDMqwLFbrDN6oNgH7NNpsoteYAWYlg6HPa5pwe6iut67vIFbYra00ygOTBcOKsrkZ1KL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNfwlEnj6wba59IBi2rwjaq9Ubj5ZlJqst0BXCv2FGe/5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q7pYDC87M28u/83kqQPDTQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uiml4Kl2VR/okz8HOCAl/2HLhMJwi6dbrwigpxx53oXYZI6YOf57cq7bYNgUR3dOXtxJWiNOGYOyb4UBAekcM+hGs4bwvEEBoQekCAS2GO/j1j1Fi3nr1qM6yeQhFgTG0RQ6EdIPrnvUsMv6NL0PWu6wy6nIyi3Db/ZM1jf79YPFdREhof+IXb5ubMbd01EvFx7egVWUqIzqIzKV1vgNsmWA4OpgUPigi28jqw1rvjevwcIsh5DPi4kIxV/K6T93z5wpJd2kVkF7e9ikHYNeuiyYOIZ7Q8IvTW9ntSs41rALpZ22cSYKxpkoxhPRZPOKf5aJ7xztW+ucIyp0iWxldb+jhBu/70itx+/hW8Wp1ltBsyRLkt7Jtn8X1hzT7NCKSuFg/ku73zaP0xjf6+FeLkAxkKrXMoIhwqQqmZUPskTPBDX5mF3ujK+NbkUk/fSo5/77bbXho5+QL4B0igb5MqQhnsywH/40PRQJX2ie/+m3yb7t/VXhTblUkvE7lrPVvZPaKMgBuKK1Hg5Y3pwj5huxCTqtzc4WkmMdLF1ffRKKl4jpNE/KIPD/Ffq/hk6jkDZvx/zfJr3hAIjBImHNkLrhc7tx8UFcyA00zdBQ45JbFKsNL+70Wk/0rNDYDxk5PBKow+v/FtlxyocTVXiMD6KZKq/er0KE6+M1L+SMaoIZoDP9JOIk5/7qg385g1gdfayx0JsWZnC4GupqL1iDbXr0n9cOCmMKvgsiQ+zrlF2DUSVeZ3m3X60m5zE7DJiqApvERoComLCBxju0HoVKZmBaDVCBCWvnd4KdW/sVdC2SJtJhnScfWLi6S44h0AmuuxXgx7pmKOrU4CwYuoj52Nh7/e2A3S01oBdzFoG213yHBzV/mXpNTDsr1oh+p1Z8wxGNy/4rreZfEIlr5v5VXx1yFpnb1+lzDZimWwzFJI7PUEusRtStAC0gZt00yt4KJU16HoPx3Vj4wyO2DupNxPSwD5su//eAjhAZxu54wnfCkbEj1hwoH5AJOmqhiapysQPUAtyR+618v6mvfKUYmiXK8TXbpYJhlE5dWQ90F67CWCJGDnY=

================================================================================

IFL 2021

33rd Symposium on Implementation and Application of Functional Languages

venue: online

1 - 3 September 2021

https://ifl21.cs.ru.nl

Registration

Registration is free of charge, but required for participation! We will mail the zoom link only to registered participants. Use the below link to register for IFL 2021:

https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA/viewform?usp=sf_link

Program

The program is now available at https://ifl21.cs.ru.nl/Program.

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

Organisation

IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands

IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands

Peter Achten (co-chair) - Radboud University, Netherlands

Thomas van Binsbergen - University of Amsterdam, Netherlands

Edwin Brady - University of St. Andrews, Scotland

Laura Castro - University of A Coruña, Spain

Youyou Cong - Tokyo Institute of Technology, Japan

Olaf Chitil - University of Kent, England

Andy Gill - University of Kansas, USA

Clemens Grelck - University of Amsterdam, Netherlands

John Hughes - Chalmers University, Sweden

Pieter Koopman (co-chair) - Radboud University, Netherlands

Cynthia Kop - Radboud University, Netherlands

Jay McCarthey - University of Massachussetts Lowell, USA

Neil Mitchell - Facebook, England

Jan De Muijnck-Hughes - Glasgow University, Scotland

Keiko Nakata - SAP Innovation Center Potsdam, Germany

Jurriën Stutterheim - Standard Chartered, Singapore

Simon Thompson - University of Kent, England

Melinda Tóth - Eötvos Loránd University, Hungary

Phil Trinder - Glasgow University, Scotland

Meng Wang - University of Bristol, England

Viktória Zsók - Eötvos Loránd University, Hungary

[Coq-Club] IFL'21 final call for participation, Pieter Koopman, 08/30/2021