[TYPES/announce] [TFP 2016] 1st call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - C A L L F O R P A P E R S - TFP 2016 ==

[TYPES/announce] [TFPIE 2016] 1st call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Trends in Functional Programming in Education (TFPIE 2016) Call for papers https://wiki.science.ru.nl/tfpie/TFPIE2016 The 5th International Works

[TYPES/announce] [TFP 2016] 2nd call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - C A L L F O R P A P E R S - TFP 2016 ==

[TYPES/announce] [TFPIE 2016] 2nd call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Trends in Functional Programming in Education (TFPIE 2016) 2nd Call for papers https://wiki.science.ru.nl/tfpie/TFPIE2016 The 5th International Work

[TYPES/announce] [TFP 2016] Final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - C A L L F O R P A P E R S - TFP 2016 ==

[TYPES/announce] [TFP 2016] extended deadline, april 25 2016, final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TFP 2016 has extended its deadline for draft papers by two weeks (now April 25). Although all draft papers accepted to TFP 2016 will be invited to submit to the post-symposium formal proceed

[TYPES/announce] [TFP'16] call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - C A L L F O R P A R T I C I P A T I O N - TFP

[TYPES/announce] 1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - C A L L F O R P A P E R S - TFP 2017 ==

[TYPES/announce] 2nd call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

Brady University of St Andrews (UK) Janis Voigtländer Radboud University Nijmegen (NL) Peter AchtenRadboud University Nijmegen (NL) Tom Schrijvers KU Leuven (BE) Matthew Fluet Rochester Institute of Technology (US) Mauro JaskelioffCIFASIS/Universidad Nacion

[TYPES/announce] Final call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

Brady University of St Andrews (UK) Janis Voigtländer Radboud University Nijmegen (NL) Peter AchtenRadboud University Nijmegen (NL) Tom Schrijvers KU Leuven (BE) Matthew Fluet Rochester Institute of Technology (US) Mauro JaskelioffCIFASIS/Universidad Nacion

[TYPES/announce] Deadline extension may 15: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

herer Northeastern University (US) Edwin Brady University of St Andrews (UK) Janis Voigtländer Radboud University Nijmegen (NL) Peter AchtenRadboud University Nijmegen (NL) Tom Schrijvers KU Leuven (BE) Matthew Fluet Rochester Institute of Techn

[TYPES/announce] Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

Brady University of St Andrews (UK) Janis Voigtländer Radboud University Nijmegen (NL) Peter AchtenRadboud University Nijmegen (NL) Tom Schrijvers KU Leuven (BE) Matthew Fluet Rochester Institute of Technology (US) Mauro JaskelioffCIFASIS/Universidad Nacion

[TYPES/announce] Call for participation: Trends in Functional Programming, 19-21 june 2017 AND Trends in Functional Programming in Education, 22 june 2017, University of Kent, Canterbury

astroUniversity of A Coruña (ES) Gabriel Scherer Northeastern University (US) Edwin Brady University of St Andrews (UK) Janis Voigtländer Radboud University Nijmegen (NL) Peter AchtenRadboud University Nijmegen (NL) Tom Schrijvers KU Leuve

[TYPES/announce] 1st call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg

ional de Rosario (AR) Peter Achten, Radboud University (NL) Dimitrios Vytiniotis, Microsoft Research (UK) Alberto Pardo, Universidad de la República (UY) Natalia Chechina, University of Glasgow (UK) Peter Sestoft, IT University of Copenhagen (DK) Scott

[TYPES/announce] 2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg

n (DK) Mauro Jaskelioff,   Universidad Nacional de Rosario (AR) Peter Achten,   Radboud University (NL) Dimitrios Vytiniotis,   Microsoft Research (UK) Alberto Pardo,  Universidad de la República (UY) Natalia Chechina,   University of Glasgow (UK) Peter Sestoft,   

[TYPES/announce] final call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg - deadline extended -

llinn University of Technology (EE) Cosmin E. Oancea,   University of Copenhagen (DK) Mauro Jaskelioff,   Universidad Nacional de Rosario (AR) Peter Achten,   Radboud University (NL) Dimitrios Vytiniotis,   Microsoft Research (UK) Alberto Pardo,  Universidad de la República (UY) Na

[TYPES/announce] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ---    C A L L  F O R  P A P E R S ---   == TFP 2019 ==

[TYPES/announce] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA (corrected dates and instructions)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ---    C A L L  F O R  P A P E R S ---   == TFP 2019 ==

[TYPES/announce] [TFP'19] second call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2 N D C A L L F O R P A P E R S == TFP 2019 ===

[TYPES/announce] [TFPIE'19] Call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TFPIE 2019 Call for papers http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html (June 11th, University of British Columbia, Vancouver Canada, co-located with TFP 2019) TFPIE 2019

[TYPES/announce] [TFP'19] final call for papers (deadline extension): Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] F I N A L C A L L F O R P A P E R S == TFP

[TYPES/announce] [TFPIE'19] Final call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TFPIE 2019 Call for papers http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html (June 11th, University of British Columbia, Vancouver Canada, co-located with TFP 2019) TFPIE 2019

[TYPES/announce] [TFP'19 and TFPIE'19] call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -     C A L L  F O R  P A R T I C I P A T I O N     -     ==

[TYPES/announce] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - First call for papers     21st Symposium on Trends in Functional Programming    

[TYPES/announce] Second call for papers TFPIE 2012

rk is appropriate for TFPIE 2012, please contact the PC chairs by e-mail at: tfpie2...@cs.ru.nl . Program Committee Peter Achten, Radboud University Nijmegen Jost Berthold, University of Copenhagen Marc Feeley, University of Montreal Ralf Hinze, University of Oxford Shriram Krishnamurthi,

[TYPES/announce] [TFP 2014] 1st Call For Papers

lands. With kind regards, Peter Achten Communication chair TFP - C A L L F O R P A P E R S - TFP 2014 === 15th Symposium on T

[TYPES/announce] TFP 2014 - 2nd call for papers

r 8th, 2014 Camera ready paper:October 8th, 2014 PROGRAM COMMITTEE Peter AchtenRadboud University Nijmegen Emil AxelssonChalmers Lucilia Camarao de Figueiredo Universidade Federal de Ouro Preto Laura CastroUniversity of A C

[TYPES/announce] 2nd Call for Papers - TFPIE 2014

mittee* James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T Morazan, Seton Hall University

[TYPES/announce] [TFP2014] Final Call For Papers

2014 Notification: March 24, 2014 Registration: April 7, 2014 TFP Symposium: May 26-28, 2014 Student papers feedback: June 9th, 2014 Submission for formal review: July 1st, 2014 Notification of acceptance: September 8th, 2014 Camera ready paper: October 8th, 2014 PROGRAM COMMITTEE Peter A

[TYPES/announce] [TFP2014] First Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - 1ST CALL FOR PARTICIPATION - =

[TYPES/announce] [TFPIE2014] final call for papers

James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T Morazan, Seton Hall University C

[TYPES/announce] [TFPIE2014] final call for participation

. ** Program Committee ** James Caldwell, (Program Chair) University of Wyoming Peter Achten, Radboud University, Nijmgen Edwin Brady, University of St Andrews, St Andrews Jurriaan Hage, Universiteit Utrecht Philip Holzenspies, University of Twente Daniel R. Licata, Wesleyan University Marco T

[TYPES/announce] [TFP 2015] 1st call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - C A L L F O R P A P E R S -

[TYPES/announce] [TFP 2015] 2nd call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - S E C O N D C A L L F O R P A P E R S -

[TYPES/announce] [TFPIE 2015] 2nd call for papers

ogram Committee *** Peter Achten, Radboud University Nijmegen, The Netherlands Edwin Brady, University of St Andrews, UK Johan Jeuring, Utrecht University and Open University, The Netherlands (Chair) Shriram Krishnamurthi, Brown University, US Rita Loogen, Philipps-Universität Marburg, Germany Marco Mo

[TYPES/announce] [TFP'15] final call for papers - deadline extended march 15 -

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - L A S T C A L L F O R P A P E R S -

[TYPES/announce] [TFP'15] call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - L A S T C A L L F O R P A R T I C I P A T I O N -

[TYPES/announce] [PLNL'19] Call for talk proposals - Programming Languages in the Netherlands, 12-12-2019, Radboud University

izers -- Pieter Koopman (pie...@cs.ru.nl) Peter Achten   (p.ach...@cs.ru.nl) Program Committee - - Pieter Koopman Radboud University - Peter Achten   Radboud University - Robbert Krebbers   Delft University of Technology - Wouter Swierstra   University of Utrecht - Eelco V

[TYPES/announce] [TFP'20] one month left for pre-symposium submissions for Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -     Second call for papers     21st Symposium on Trends in Functional Programming    

[TYPES/announce] [PLNL'19] Call for talk proposals (deadline November 18) - Programming Languages in the Netherlands, 12-12-2019, Radboud University

izers -- Pieter Koopman (pie...@cs.ru.nl) Peter Achten   (p.ach...@cs.ru.nl) Program Committee - - Pieter Koopman Radboud University - Peter Achten   Radboud University - Robbert Krebbers   Delft University of Technology - Wouter Swierstra   University of Utrecht - Eelco V

[TYPES/announce] [PLNL'19] call for participation (deadline December 5) - Programming Languages in the Netherlands, 12-12-2019, Radboud University

cient demand we will try to organise a diner after the event. The diner is at your own costs. Organizers -- Pieter Koopman (pie...@cs.ru.nl) Peter Achten   (p.ach...@cs.ru.nl) Program Committee - - Pieter Koopman Radboud University - Peter Achten   Radboud Unive

[TYPES/announce] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Third call for papers     21st Symposium on Trends in Functional Programming    

[TYPES/announce] [PLNL'19] call for participation (deadline December 5) - Programming Languages in the Netherlands, 12-12-2019, Radboud University

cient demand we will try to organise a diner after the event. The diner is at your own costs. Organizers -- Pieter Koopman (pie...@cs.ru.nl) Peter Achten   (p.ach...@cs.ru.nl) Program Committee - - Pieter Koopman Radboud University - Peter Achten   Radboud Unive

[TYPES/announce] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Final call for papers     21st Symposium on Trends in Functional Programming    

[TYPES/announce] [TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -     Call for participation     21st Symposium on Trends in Functional Programming    

[TYPES/announce] [TFP'21] first call for papers: Trends in Functional Programming 2021, 17-19 February (with Lambda Days 2021 & TFPIE 2021)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - First call for papers     22nd Symposium on Trends in Functional Programming    

[TYPES/announce] [TFPIE'21] First Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February (with Lambda Days 2021 & TFP 2021)

nstruction) - Peter Achten,    Radboud University, Netherlands (chair) - Edwin Brady, University of St Andrews, UK - Laura Castro,    Universidade da Coruña, Spain - Stephen Chang,   University of Massachusetts Boston, USA - Youyou Cong, Tokyo Institute of Technology, Japan - Matthew Flatt,   Uni

[TYPES/announce] [TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Second call for papers     22nd Symposium on Trends in Functional Programming   

[TYPES/announce] [TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)

une 7 2021 -  Camera ready: July 1st 2021 Program Committee - Peter Achten,    Radboud University, Netherlands (chair) - Edwin Brady, University of St Andrews, UK - Laura Castro,    Universidade da Coruña, Spain - Stephen Chang,   University of Massachusetts Boston, USA - Youyou Cong, Tokyo In

[TYPES/announce] [TFPIE'21] Third and Final Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021)

Submission deadline: January 11 2021, Anywhere on Earth. -  Notification: January 15 2021 -  Workshop: February 16 2021 -  Submission for formal review: April 20 2021, Anywhere on Earth. -  Notification of full article: June 7 2021 -  Camera ready: July 1st 2021 Program Committee - Peter Achten, 

[TYPES/announce] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -   Final call for papers     22nd Symposium on Trends in Functional Programming   

[TYPES/announce] [Lambda Days + TFP + TFPIE 2021] call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ---   C A L L  F O R  P A R T I C I P A T I O N    8th Lambda Days    

[TYPES/announce] [TFP'22] first call for papers: Trends in Functional Programming 2022, 10-11 February (with Lambda Days 2022 & TFPIE 2022)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == TFP 2022 == 23rd Symposium on Trends in Functional Programming 10-11 February, 2022 Krakow, Poland https://urldefense.com/v3/__https://trendsfp.github.io/index.html__;!!IBzWLUs!A

[TYPES/announce] [TFP'22] second call for papers: Trends in Functional Programming 2022 moved to March 17-18 online (together with TFPiE)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == TFP 2022 === == MOVING TO ONLINE SYMPOSIUM, NEW DATES == === 23rd Symposium on Trends in Functional Programming 17-18 M

[TYPES/announce] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TFP 2022 = == Final Call For Papers == ==  registration opened  == === 23rd Symposium

[TYPES/announce] [Call for participation] TFPiE and TFP online events March 16-18

Functional Programming in Education keynote speaker: --- Peter Achten: The Perfect Functional Programming Course Trends in Functional Programming keynote speaker: - Christiaan Baaij: Building a

[TYPES/announce] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming

style. For more information about formatting please consult the Springer LNCS web site. ## Program Committee Peter Achten,  Radboud University Nijmegen, Netherlands Nada Amin, Harvard University, USA Ambrose Bonnaire-Sergeant, Untypable LLC, USA Laura M. Castro,  

[TYPES/announce] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming

PC members shortly after the symposium has taken place. ## Format Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site. ## Program Committee Peter Achten,  Radboud University Nijmegen,

[TYPES/announce] [TFP 2024 Call for Papers] 25th International Symposium on Trends in Functional Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # TFP 2024 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers,  Saturday 4 November, 2023 Submission deadline: pre-symposium, draft p

[TYPES/announce] [TFP 2024 Final Call for Papers] 25th International Symposium on Trends in Functional Programming

PC ChairSeton Hall University, USA Stephen Chang Symposium Chair University of Massachusetts Boston, USA Shajina Anand Local Arrangements Seton Hall University, South Orange, USA Peter Achten Publicity Chair Radboud University Nijmegen, Netherlands

[TYPES/announce] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # TFP 2024 -- Call For Participation (trendsfp.github.io) ## Venue TFPiE and TFP will take place in-person at Seton Hall University, New Jersey in the United States. ## Dates TFPiE Work

[TYPES/announce] First Call for Papers TFP 2008, The Netherlands

uages * New Implementation Strategies * Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2008 program chairs, Peter Achten and Pieter Koopman, at [EMAIL PROTECTED] SUBMISSION AND DRAFT PROCEE

[TYPES/announce] 1st call for participation AFP 2008, The Netherlands

: April 15 Late Registration Deadline: May 5 AFP Summer School: May 19-24 ORGANIZATION Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud University Nijmegen, NL Doaitse Swierstra, Utrecht University, NL Arrangements: Peter Achten, Simone Meeuwsen, Radboud University Nijmegen, NL E-mail: [EMAIL

[TYPES/announce] Third Call For Papers TFP 2008, The Netherlands (deadline extended march 10 2008)

2008 program chairs, Peter Achten and Pieter Koopman, at [EMAIL PROTECTED] SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on the review of full papers (15 pages) and extended abstracts (at least 3 pages) by the program committee. TFP encourage

[TYPES/announce] 2nd call for participation AFP 2008, The Netherlands

Late Registration Opens: April 15 Late Registration Deadline: May 5 AFP Summer School: May 19-24 ORGANIZATION Programme Chair: Rinus Plasmeijer, Pieter Koopman, Radboud University Nijmegen, NL Doaitse Swierstra, Utrecht University, NL Arrangements: Peter Achten, Simone Meeuwsen, Radboud University

[TYPES/announce] First Call for Participation TFP 2008, The Netherlands

6-28 PROGRAMME COMMITTEE Peter Achten (co-chair) Radboud Univ. Nijmegen, NL Andrew Butterfield Trinity College, IE Manuel Chakravarty Univ. of New South Wales, AU John Clements Cal Poly State Univ., USA Matthias Felleisen Northeastern Univ., USA Jurriaan Hage Utrecht Univ., NL Michael Hanus Chris

[TYPES/announce] Third Call for Participation AFP 2008

: Peter Achten, Simone Meeuwsen, Radboud University Nijmegen, NL E-mail: [EMAIL PROTECTED]

[TYPES/announce] First Call for Participation TFP 2008, The Netherlands (correct early registration date)

line: May 5 TFP Symposium: May 26-28 PROGRAMME COMMITTEE Peter Achten (co-chair) Radboud Univ. Nijmegen, NL Andrew Butterfield Trinity College, IE Manuel Chakravarty Univ. of New South Wales, AU John Clements Cal Poly State Univ., USA Matthias Felleisen Northeastern Univ., USA Jurriaan Hage Utrecht

[TYPES/announce] Third Call for Participation AFP 2008 (correct date early registration)

, Utrecht University, NL Arrangements: Peter Achten, Simone Meeuwsen, Radboud University Nijmegen, NL E-mail: [EMAIL PROTECTED]

[TYPES/announce] Second Call for Participation TFP 2008, The Netherlands

http://www.st.cs.ru.nl/AFP_TFP_2008/#RegistrationInformation IMPORTANT DATES (ALL 2008) Late Registration Deadline: May 5 TFP Symposium: May 26-28 PROGRAMME COMMITTEE Peter Achten (co-chair) Radboud Univ. Nijmegen, NL Andrew Butterfield Trinity College, IE Manuel Chakravarty Univ. of New South Wales, AU

[TYPES/announce] [TFP 2025 Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)

hair Jason Hemann Seton Hall University, US Conference Chair Peter Achten Radboud University Nijmegen, NL Publicity Chair Marco T. Morazán Seton Hall University, US Steering Committee Chair ## Programme Committee Peter Achten Radboud University Ni