coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK)
Chronological Thread
- From: Peter Achten <P.Achten AT cs.ru.nl>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK)
- Date: Wed, 18 Dec 2024 09:10:40 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=P.Achten AT cs.ru.nl; spf=Pass smtp.mailfrom=P.Achten AT cs.ru.nl; spf=Pass smtp.helo=postmaster AT smtp3.science.ru.nl
- Ironport-data: A9a23:cmVohK9o7Byx6MZ/NUv9DrUDWnqTJUtcMsCJ2f8bNWPcYEJGY0x3m mYeDTuHb/uKZWamLY9yO4Ww/BlV6J6Ey9JjGgs+/yFEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPymYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f7nWcuWo4ow/jb8k825q2i4GpwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEHvFXCuzXWX6KSuI0P6n3TE8eVlJnNqONMi1cFTHmFB8 O4mBh1SYUXW7w626OrTpuhEncE/NJKtJ4get3drwHfDELAgRfgvQY2TvoYehWhswJsWW6+PP KL1ahI3BPjESyUJE1wXFJ84tOyzwGPiNTtcwL6QjfNvvzaKkFcqgdABNvLFPdq4Bs95oHqH+ Djc9GjiK1YdJPymnG/tHnWE3LaVxXmnMG4IL5Wz8ecvi1mOzEQIGRgOXB26p+O4gwiwQbpix 1c84S8ytfN070eqQ9/2UluivTiCunbwRua8DcUI+Aqn+PbRvTy2IUwbTjFEeuIImZA5EGlCO kCyo/vlAjlmsbuwQH2b96uJoT7aBcTzBTRZDcPjZVdYi+QPsL0OYgTzosFLNordszEYMSr13 yjR6jM1hrgVhsNNzbj9+1Svb9OQSnrhEFZdCub/BzzNAuZFiGiNPdHABb/ztq4oEWphZgPd1 EXoYuDHhAz0MbmDlTaWXMIGF6yz6vCOPVX02AE0Q8V/r2j1oSL8J+i8BQ2Swm8yaK7onhe1P CfuVf95vcM70IaCM/IqONzZ5zoCkfC5SLwJqcw4nvIUO8IpLlPvENBGf0ec1WfwnAAxl6AhN I2AcNqhDGpSD6VlyTe5SuF17FPY7n1W+I8nfriil07P+ePHPBa9EO5VWHPQNbpRxP3f/23oH yN3a5DiJ+N3DLamOnG/HE96BQxiEEXX8rit9pIMLrPeclo7cIzjYteIqY4cl0Vet/w9vo/1E ruVAye0EXKu2iWVGhbAcX15drLkULB2qH9xb2RmPk+l1zJnKcyj5bsWPcl/N7Q21v1R/dgtR dk8euKEHqtuTBbD8G8jdpXTltFpWymqogOsBBCbRgYDUaRufTGUxe+8TDDTrHEPKgGVqfoBp 6aR01KHYJgbGCVnIsXkSNOu6FKTv3MMxfN+ZBbVKPJyY2TpypBhcAbqv880IuYNCBTN/SSb3 ACoGiUlpfHBjos20dvRj4WGnpiZKPR/FU9kAGXr17a6Gi3E9G6Fw4UbcuK3UR3CdWHzooOOW P50yqziDfg5g1p6iYpwPLJ1x6YY5dG0hbt7zBxhLUrbfWaQFbJsDXmX7/Zh7pQX6OdihjK3f UaT9v1xG7aDYprlGWFMAjsVVL2I0PVMlwTC6fgwHl7B2xZ227i6SmRXAQiHjX1MDblyMb59+ 9wbhuwt11WdhCYpY/G8tQIF00SXL3cFbbcriYFCPq/vlTgQ6w9jZb7yN3bIxa+hOvR2HGskG Du2vJb5pq99wxPCekUjFHKW0ut6g48PiS9wz1QDBgqon/zXovkVhTlUrC8WTxtU/DpDwelcK mhmDGwrBKSsrhNDptlPYHCoIC5FXCamw03Wz0AYsm/zQ22DdH3/HEdkNcmjpEkmon9hJB5F9 7Sm+UPZeDfNfvCp+BAtWERg+sfRffYo+iLswMmYTtm4Rb8kaj/Yg4irV2oCiz3jJegT3ETnh +1bzNxcWJ3BFxw7gvMEUtGB9LEqVhq7CnRIQqhh8IM3DGjsQmyO9gbUGX+hWPFmBqLsylC5O fxMN8gUdhWZ1QSylB45K5MIAYdJmK8O2IJfVJLtfXULopmOnApP6ZjwzBXztEUvYtdpkPs+F L/vSiK/IjSQq0d5y27ph+tYC1W8eugBNVHd3vjq0eAnFKAjkeBLcGMg2IuOoFCEbRlWpRaQt gblY4vQ7bVGzNl3vorzE5dsAxe/BsPzWd+priGykYVqRvHePfjeszg6rgHcAD1XGr8KSfFbr K+ooveu+G/k5pMYC3v4nbuFHIl3vfSCZvJdaJ/LHSMLjBm8V9/JyDpd3WKBcLhiss5Xv+ujT CuGMPqAT8YfAYph9ScEehplMkgvDorsZf3dvgK7lfOHDyYd3SHhLN+K8XzIb3lRRhQXOq/RW xPFhPKz2u929Ih8JgcIJ/VDMa9KJFXOXagHddqokRK6CmKuoE2Ju5q8tB4GxAzINEK5E5fB0 cqYfiT9SRW8hviZhpUR+Yl/pQYeA3tBkPE9NBBVscJ/jzehSnUKN6IBOJEBEYtZiTH2yIq+X jzWcW8+Em/oaFyoq/knDAjLBW9zx9DiO+sV4hQy+l+MMGGtD4KNBrBssD19pXFyEtcm5P/yM skQoxUcITDoqqyFh85KjhB4vQuj7vjBgGgVv0b5+yA3KwhLGq0EjRSNAyIUPREq0KjxeIHjL nNzX30CRkXTpYsd1yp/UyY9JSz1dw8DA9nlgeljDTofV0imIDV89cDC
- Ironport-hdrordr: A9a23:YwAmU6g5wSt+4hbG9crahedJqXBQXuYji2hC6mlwRA09TyX4rb HMoB1/73XJYVkqNE3I5urwQZVoLUmzyXcN2/h2AV76ZniAhILKFuFfBOnZrgEIcheWnoVgPM xbHJSWZueQMbDF4PyKgjVRr7sbsb26GB/Ev5a680tQ
- Ironport-phdr: A9a23:HOuBaBLiRrsjBC3LK9mcuHtuWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCEvLM80xSUDc2bs6sC17GO9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4sAndrM0bjIltJqsxyRbCv39Ed/hLyW9yKl+ekQrw6t2s8JJ/9ihbpu4s+dNHXajmcKs0S qBVAi4hP24p+sPgqAPNTRGI5nsSU2UWlgRHDg3Y5xzkXZn/rzX3uPNl1CaVIcP5Q7Y0WS+/7 6hwUx/nlD0HNz8i/27JjMF7kb9Wrwigpxx7xI7UfZ2VOf9jda7TYd8WWWxMVdtWWCJcH4O8d JMPAPQdMuZEoYf9oF4OogG/BQmqGejjzjBFi3vz0aA8zu8vExzJ3BY4Et0BvnrarMv7OroRX +G60KbF1i/MY+9U2Trn9ITEbhIsrPeRVrxwa8rRzkwvGhvfgFqOtYzqISmV3fkRvmeH7+pgS fygi2g6oAx2uDaj3NshhZXJhoIJ1F/E8z50z5ouJdGiUk57fMSoEJ1UtyyDMYZ9X8wtTX1yt ikg1r0GpYC0fDIMyJk/wxPSZfOJfpaK7x7/SuqcPDd1iG9rdbyxiRu/7FSsxO39W8SqzFtEo DZInNbQu30T1BHd5NSKR/ty80quxTqCyQbe4fxKL0AzkKrUMZ8hwrgom5ocsETDAi/2mFjtg 6OMd0Uk/e6l4PnkbLX+vpKQKoF5hhzkPqgzmMGyDv40PwYSU2SB5Oix0LPu8VXkTLhEk/E6i LTVvZLVKMgBqKO1HxVZ34ct5hu5EjyrztAYnWQcLFJZZh2HlZXnO1DPIf/mFfqznlKhmypxy f/cJL3uGJDNI2DDkLj/ebZ97FZRyBE2zdBD/5JZBKsNIOnvVU/wqtPYCAM2PBKuz+b9FdVxz IUeWWaXDq+YNqPdr0OI6/oyL+SCeYMZoivxJvoq6vL0g3I1hUURcbSt0JYZcHy4G+5pI0SdY XrimNcBFmIKsxIkQuDwlFCNTT5TZ2qsUKI6/Tw0FJmmAZ3ZRoCwmrCB2iO7EoVQZm9dEl+MC 2vnd52YW/cQbyKfOtJtniQeVbe9U48hyQ2utAjixrV7KerU4zQUuo7n1Nho/OLejgoy9DxxD 8SFyW6BVWB0nmUSRz83xq9zu0J9yk3QmZR/1vdfDJlY4+5DegY8L5/VieJgWP7oXQeURtqVR Uzua96mHTw3BoYJhfYFY1pwHf2plVbZwmysB+lGxPSwGJUo//eEjDDKLMFnxiOahcHJ7nEjS 8pLbii9g7JnshPUH8jPmlmYkKCjceId2jTM/SGN1znGp1lWBSh3V6iNRnUDfg3Ot92s3gXrR L+yBLIPORAH09PELK8ZIsbxgwB+Tez4cM/bf3r3nm6xARiSwbbZVMzDcGUB0SP1A1NCiR1V+ 3LVfRMmCHKZqnnFRCdrCUqpY07o9rxmr2inS0Yv0wyQR1Zky6LuvAUehPGaQP5VxK9CviNJR yxcOlG70pqWDtOBo1EkZ6BAeZYm508B02vFtgt7N5jmLqZ4h1dYfR4l90Xpnw56DIlNi61I5 Dsj0RZyJKSE0VhAayLQ3Jb+PafSI3Xz+xbnYrDf21XX2tKbsqkV7/Fwp1LmtQCvXk0slhcvm +ET+nCc+pjMJAEJF4jsFEAztlB7q7zcfigh9tbMz3Q/eaKwszLEx5coHL58kU/mJogDdvjcU lajSJ5/ZYDmMuEhllm3YwhROelT8PVxJMa6b76d37btOu98nTWghGAB4YZn00vK+TAvL4yAl 5sD3fyc2ROKEjnmi1L0+PixsItEeTwUNmGkjzL5QohVLP4XH85DGSK1Lsu7y88rzaarcnVY6 FOlL1gdntW0PxyWJQ+1zUhb0kIZpmaikC2zwmlvkj0nmaGY2TTH3+XocBdv1ndjfGB5lh+sJ IG1i4tfR020d00ykwPj40/mxq9draA5Lm/JQE4OcTKkZ21lV6KxsPKFbastoNsQ9wxcUPixZ 3iRUfjnvl0c12vvEnBfyzYyazyx8syixloj1z7bdy419SuCMchrjQ/S/tndWeJc0l9kDGFjh D/bC0L9d9il8NOIlovS5+W3VmavTJpWImHgyYKNsjf+5HU/WEbm2ansxpu8SU5jgHSosrsiH T/Fpxv9fITxgqGzMOY8O1JtGEe58M1iXId3joo3gpgUn3kcnJScu3QdwgKReZ1W37zzaH0VS HsF2dnQtULdnmRoLm6EwaryTTOH341nY5PpBwFekjJ49M1MBKqOufZ82wJ+oka1qyraer5ng 3EbzbF9oG5fiOYPtg03yyybCb1HBkhUMxvnkBGQ5sy/pqFaNwPNOfCgkVBzlte7APSesxlRD TznL4w6E3Y6vY1vdUjB23rp5sT4dcnMOJgN4waMnU6l7aAdKYptxKNR3Gw+Zj675iVjl7Nzj AQyj8jh5c7edDkrp/r/XUcQNyWpNZpIo3e00voYxZ7QhtH0e/cpUjQTAMmxFqvuSW1O86+/c VzWQHU9sivJQOGGW1bAtAE/8TSWT8vjNmnLdiBClJM7G0XbfRIZ2VxIOVdy1p8hSlLzn5WnK RgloGlPoAek91NN0r46bkKmFD6A+EHxNHFtFcjXLQIKvFgZvgGMbpDYtbo1RXkAm//p5A2Vd j7CPF0OVD5VHBfcQQu8dri2uYuZqLHeX7XiaaKQJ+zQ8aRfT6vanMn2lNI5o3DVaIPWYiYHb bVz21IfDykiQoKAxGlJEnJRznmXJ8+D+EXloXQx95/jtq21Hluxu8OOE+cAYIkpokztx/3ab qjK3Ho+cm49tNtExGeUmuFEhRhL1H0oKmjrSOVa8nSdBLTZnqsdZ/ICQxt6L9AAr6c13w0Wf NXelsuwzblgyPg8F1ZCU1Xl3MCvf80DZW+nZhvLA0OCNbLOIjOuoYm/eaSnVbhZl/lZrTWrv CqDSAn4NTWOkTLkEQqyd+dIxC2WJx1Rvoihfw0lUDO6Cou5NlvgaJku3GZ+yKZR5DuCLWMGN Dlgb05B5qad6y9VmLQ3GmBM6GZkMfjRmyud6LqQIZIXvP13RyVswrsBuTJjlOcTt3kCHa0uy 06w5pZ0rlqrk/eC0G9iWRtK8XNQgZ6T+F5lIePf/4VBXnDN+FQM63+RAlIEvYgAaJWntqZOx 9zIjK+2Ji1F9oeexY01DMjIJcSvO2FnKwevHjqeX25nBXa7cHrSgUBQiqTY7nqOsp0zsYThg rIVT6NDDxouHfIXDE9oWsYfZpFzFGBB8/bTnIsD4nywqwPUTcNRs8XcV/6cNv7oLS6QkbhOY xZbiaO9N4kYMZf3nlBzclQv1pqfAFLeBJoex08pJh9xukhG92JyC3E+y16wIB34+2cdTLa1h kJk01AnJ71yqHG3uxFrexLLvHdiyRJo34y63XbKKHiudcLSFclXE3am7hNodMqkH0AuNUvrz BcsNS+YFesK1v05Kjwt01ea48MfUf9EEf8dO0ZWnK7LIax2lw0A8UDFjQdG/beXUMA70lJ1L dj18TQZh14rbcZpd/WLfewQkQQW3/zI53P1nuEpnF1HfB9LqTzOPndW/hVVZtxEb2Kp5rA+s Ffb3WIcJC5XD7xw+qoi91thab3blmS5jOIFcRj3bLPXLrvF6TGbzIjRHQ92jx1OzhcdmNo+m cY7LxjNDBlpleTNUU1Xc5OedklUd5YArSOKO3/R7aOUn9QsZN/1F/i0H7bV7eBN3R7iRVhvR tpSi6ZJVpi0jBOJcYG+cOVDk0x0ol6zeBLeVLxIYE7ZyWxe5ZjgkNkqjM8Ed2taWzU1Jyyz4 vy/Tu4Cm/+fRIxweXwbU40POzQsRYu8n3wA15ylJDKslPgEjg6GvWeUTsv4ByK6dcclYvPGP HtR
- Ironport-sdr: 67628381_2O3+Id3Eh79epZ0uUgntRBPmhfN6wtHorpW1ywiFz5sKmgm ikBLHcNvjtZfOk9K5Id4CehvmN9twNnwWa1Vliw==
TFP 2025 -- Call For Participation
(trendsfp.github.io)
Venue
TFPiE and TFP will take place in-person in the Wolfson Building of the Department
of Computer Science at the University of Oxford.
Dates
Early registration: December 20, 2024
Late registration: January 6, 2025
TFPiE Workshop: Monday 13th January, 2025
TFP Symposium: Tuesday 14th - Thursday 16th January, 2025
The Symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions.
Keynote speakers
We are happy to have the following keynotes in the programme:
- Nicolas Wu (TFPiE), Imperial College London:
"Fractal Foundations and Galactic Graphs: Structure and Strategy for Expanding Minds" - Graham Nelson, University of Oxford:
"Literate Programming and Cultural Practice" - Mike Sperber, Active Group:
"Things We Never Told Anyone About Functional Programming" - Kathrin Stark, Heriot-Watt University:
"A Verified Foreign Function Interface Between Coq and C"
Programme
We have 28 paper presentations. The programme schedule can be found here:
trendsfp.github.io/schedule.html
Excursion and banquet
In the afternoon and evening of Wednesday January 15th we have an excursion to the
History of Science Museum. We have a break in a cosy pub, before proceeding to
Kellogg College for the conference banquet.
During dinner the winners of the best paper awards of last year's TFP are announced.
- [Coq-Club] [TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK), Peter Achten, 12/18/2024
Archive powered by MHonArc 2.6.19+.