[Agda] IFL'21 call for participation

Pieter Koopman ifl21.publicity at gmail.com
Wed Aug 25 18:11:00 CEST 2021


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



                                IFL 2021



    33rd Symposium on Implementation and Application of Functional Languages





                             venue: online

                          1 - 3 September 2021



                         https://ifl21.cs.ru.nl
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-315504601&key=YAMMID-07860457&link=https%3A%2F%2Fifl21.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
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-315504601&key=YAMMID-07860457&link=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA%2Fviewform%3Fusp%3Dsf_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
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-315504601&key=YAMMID-07860457&link=https%3A%2F%2Fifl21.cs.ru.nl%2FProgram>
.



*Organisation*

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

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



*PC*

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
[image: beacon]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210825/3c4fcb25/attachment.html>


More information about the Agda mailing list