[TFP (and TFPiE) 2025] Call For Participation (January 13-16, Oxford, UK)
Peter Achten <[email protected]> Wed, 18 Dec 2024 09:09:51 +0100
| Newsgroups | gmane.lisp.scheme.bigloo |
|---|---|
| Message-ID | <[email protected]> |
--=_9ef911a0c659e09fd5d53b1895299c15 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; format=flowed 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. --=_9ef911a0c659e09fd5d53b1895299c15 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; charset= =3DUTF-8" /></head><body style=3D'font-size: 10pt; font-family: Verdana,Gen= eva,sans-serif'> <div id=3D"editbody1" style=3D"font-size: 10pt; font-family: Verdana,Geneva= ,sans-serif;"> <p><strong>TFP 2025 -- Call For Participation</strong><br />(trendsfp.githu= b.io)</p> <p><strong>Venue</strong><br />TFPiE and TFP will take place in-person in t= he Wolfson Building of the Department <br />of Computer Science at the= University of Oxford. </p> <p><strong>Dates</strong><br />Early registration: December 20, 2024<br />L= ate registration: January 6, 2025<br />TFPiE Workshop: Monday 13th Ja= nuary, 2025<br />TFP Symposium: Tuesday 14th - Thursday 16th January,= 2025</p> <p>The Symposium on Trends in Functional Programming (TFP) is an<br />inter= national forum for researchers with interests in all aspects of<br />functi= onal programming, taking a broad view of current and future<br />trends in = the area. It aspires to be a lively environment for<br />presenting the lat= est research results, and other contributions.</p> <p><strong><span style=3D"color: #000000;">Keynote speakers</span></strong>= <br />We are happy to have the following keynotes in the programme:</p> <ul> <li>Nicolas Wu (TFPiE), Imperial College London:<br /> "Fractal Found= ations and Galactic Graphs: Structure and Strategy for Expanding Minds"</li> <li>Graham Nelson, University of Oxford:<br /> "Literate Programming = and Cultural Practice"</li> <li>Mike Sperber, Active Group:<br /> "Things We Never Told Anyone Ab= out Functional Programming"</li> <li>Kathrin Stark, Heriot-Watt University:<br /> "A Verified Foreign = Function Interface Between Coq and C"</li> </ul> <p><strong>Programme</strong><br />We have 28 paper presentations. The prog= ramme schedule can be found here:<br />trendsfp.github.io/schedule.html</p> <p><strong>Excursion and banquet</strong><br />In the afternoon and evening= of Wednesday January 15th we have an excursion to the<br />History of Scie= nce Museum. We have a break in a cosy pub, before proceeding to <br />= Kellogg College for the conference banquet. <br />During dinner the wi= nners of the best paper awards of last year's TFP are announced. </p> </div> </body></html> --=_9ef911a0c659e09fd5d53b1895299c15--