coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] IFL'21 call for participation

From: Pieter Koopman <ifl21.publicity AT gmail.com>
To: Coq-Club <coq-club AT inria.fr>
Subject: [Coq-Club] IFL'21 call for participation
Date: Wed, 25 Aug 2021 09:10:46 -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-f42.google.com
Ironport-hdrordr: A9a23:4JSenKjVTNvjtSvFEp/zN9e14nBQXuQji2hC6mlwRA09TyX4rbHKoB1/73XJYVkqNk3I6ersBED+ewKlyXcY2+ks1M6ZLXDbUQiTXeNfBOnZrAEIcheWnoUw6U4KSclD4bPLfDtHZXiW2njdLz6dreP3lpxBOorlvhBQcT0=
Ironport-phdr: A9a23:V1vsrx1vXhOyo7uJsmDOwwMyDhhOgF0UFjAc5pdvsb9SaKPrp82kYBaHo6Q0xwKWFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoVJ8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9qr2+yo/5DffgpEiTq/bLhvMBi4sALdu9UMj4B/MKgx0BzJonVJe+RS22xlIE+Ykgj/6Mmt4pNt6jxctP09+cFOV6X6ZLk4QqdDDDs6KWA15dbkugfFQACS+3YTSGQWkh5PAwjY8BH3W4r6vyXmuuZh3iSRIMr5Q60pWTS596dkVgPniDsJOT4+9WHYkM1wjKRGqx6lqBFyx4vYbYeIP/R8Y6zdZ8sXSmVaXshRWSJPAZ6yYZUTAOcaJ+lUs5PwqkESoReiBwShAv7kxD9Shn/x2K03y/4vEQDY0ww8Ad0OqmnfotDyNKcVSeC1ybPHzTPeZP5R2Df95ozIfg48rf2WRbJwbNHeyU0uFwzZj1WQtYzkMiia1uQIqWeb7u5gWfizhG4grgF8uz6izdojhYfVnIwa0EzE9Tlnz4YvI921UEB2bNyrHZZRtiyUOYR7T8E+Tmx0uys3xL0ItJG6cSYFx5kr2R/SZfKIfoWK/x7uSuacLCt7iX97eL+yhQu//VWmx+bhWMe011NKoTBEktnKrn0NzQHT5tKBSvt55kug2SyA1wXW6u1dPUA0j7DUJIIiwrIqjJUTqVzDHjTumEXxkK+abFkr+u+t6+j/bbXmoZicN4Bwig7gKKghhsu/AeE+PwMTXGab4fyx2KP/8UD9WrlHjf07nrPHvJzHJMkXvKG0DxFT340+8RiwFS2m384dnXQfLFJKZhaHj4/xNlHLOv/4DPO/j020kDdp2vzKJ7PhD5rTInTZn7fherF960FYyAUt19xQ+5VUCrQZLPLyXE/+qsDYAwcnPwCox+vrEtZw24MEVW6RH6OUMbnevFCW6u43JumDfo4VuDLzK/g/4P7uiGc0mV4Tfamtw5cbdWq0Hux7I0qCZXrsg8sOEWYWvgs+V+Hqh1iCXiRSZ3a2Ra4z+jY7CIe+AYfZWo+tmKCB3Du8HpBOem9GDUmMHW70eIWARvcDczmfItRhkzwBTbiuUZUt1RCotA/gyrpoNPDY+iMCtcGr6N8gzOrK0Do26DY8W8+ayiSGS3x+tmIOXT4/mq5l9x9T0FCGhJB5juBVD5Rw4PRRVw48fcrdweggUpbqRwjFf9yIVEeOTdCvADV3RdU0lYxdK31hEsmv20iQlxGhBKUYwuDabHTb2q3Z1nn1Yc16ziSfvEHAp1wvQ88KLW//w6AjrU7cAInGl0jfnKGvJ/x0NMvl+2KKzG7It0ZdAlYYbA==

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

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! Use the below link to register for IFL 2021:

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

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.

Program

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

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 call for participation, Pieter Koopman, 08/25/2021