[Agda] IFL'21 final call for participation

Pieter Koopman ifl21.publicity at gmail.com
Mon Aug 30 21:32:29 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-31163156&key=YAMMID-51949270&link=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
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-31163156&key=YAMMID-51949270&link=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
<https://ifl21-publicity-dot-yamm-track.appspot.com/Redirect?ukey=1NdKhGOLpmlYX_0BVua0V5yyanFkJBhfIIDW1X2vaVQE-31163156&key=YAMMID-51949270&link=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



*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/20210830/2c39454c/attachment.html>


More information about the Agda mailing list