Skip to Content.
Sympa Menu

coq-club - [Coq-Club] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Peter Achten <P.Achten AT cs.ru.nl>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)
  • Date: Fri, 22 Dec 2023 10:07:05 +0100
  • Authentication-results: mail2-smtp-roc.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 smtp2.science.ru.nl
  • Ironport-data: A9a23:7AOXx62EI7Oe9j247vbD5dB0kn2cJEfYwER7XKvMYLTBsI5bp2AAn zAaC2qDM67eMDH1e4x1PN+x9koA7JPdn9JrSQA53Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9h1aYDkpOs/jY8Uk15qyr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW1/d7/NoMVk5B7wVweQmIk1p0 MQcMT9YO3hvh8ruqF66YvJpmtx5atLgPY4ZsXwm1yyfC/JOrZLrGv6To4YHgHFp2IYXQau2i 8kxMVKDaDz4JTREOksaDro1h6Gymz/5d1W0rXrM+fFouzKDkVEZPL7FIIDVU+WKZ+JpgVuFu 0/Z/W2kDxUbDYnKodaC2jf27gPVpgvwX5tXH7ml/NZxkViLzyoSDgcXXB21u5GEZlWWQNdDM xZS4SEvoK45+QqxU5/7W3VUvUK5g/LVYPIIe8VS1e1H4vC8D9+xVzdcHA1SIscrrtE3TjEM3 1qE1YGhTz92vbHfDTrX+r6IpHngcWIYPE0TVx8iFAEl2tjEpJ1srxTtSt04LrW5oOeoEh7Nw heLjhMEuZMtseAx2Z+GoG/32wCXmsCRTyoexBnmYWa+3wYoOK+nf9OJ7HbY39ZhLaGYbFuKr SUVl/PD8eolLIqskRaVS74nB4CZ5PeiMRzdj2VwHpInyS+fxn67ca1U4xB8PE1MMPcbSQT2Y UTWhxxd1KVTMFSuc6VzRYC7UOYu8oTNCvXnUaryQudVQ50sajKCwj5iVXSQ00/pjkIot6M1Y rWfUMS0CEclGbZV9yW3S8gdwI0U6HgHn02Lfq/CzjOjzba6T1yWQ+1cMFKxM8YI3JndqwDRq 9tiJ8+GzitEa9LHYw7VzJUyKG4bJn1qFLH0rM1qLtS4GDREI114KfHtwuIGQbdHzoB1jebD+ 0+vVnBIkGTfgWL1EiTUS3RBRo62Y7NBgyMaBxE8BXepxHkpXqi35og9aZYcXOcq5c5j/9FOX tgHfMSLWK0XQRjm5j9HS4HPk9FgRi/2lA61YjevSxkkXptaXweS0MTVTgju0ygvDySMqso1p YO75D7bWZYuQwdDDt7cTeCGl3edmGc7o/1jeUniLv14WlTewKIzJwPf1vYIctwxczPdzT6k5 iOqKBY/p9iVhbQq8dPM1Ju2n63wH8RQRkNlTnTmt5CoPizn/02m849KcMCMWRv/DGrU2qGTV d95/sHGEs8svQh16tJnMrNR06gBycPlpOZawiRaDXz7VQmXJY06EEaW//tkl/Nr/aBYizuUS 0jU29h9OJe1Au3HPmMVBjIYarWk6alJtBjUte84MWfr1h9RpbCna3hfDzOIqS5aLYZ2Dr8b/ PcciJYWxjG72zUXMYegryFL9m6zAGQKfIc5u7o7XoL6qAoZ5WtTQJ7bCx6txYyEbehROEw1I xu/pqnLt5JDzGXsLlsxEnns27JGpJIs4Rpl8n4LF26rqPHk2MAl/Ud032wsbwJ3yh5n7bpCC lJzPRcoGZTUriZausdTekuNRSdDPUS90W7swQIrkGb5cRGZZlbVJjdgBdfXrVEryEMCTD115 7rC9X3EVwztd8TP3icff05phvjgbN5p/D35h8GVMJWZLqY+fAbarPeiVUgQpzvjJPEBtknNi O1p3eR3MInQFyobpY8lAIi7i5UUbj25J1J5fPIwx5NRQFngewyz1wbXegr1MolIKufR+EC1N 912K4gdH16i3SKJtXYACbRKP7Zwm+Uz6cEffq/wY1QLqKabsiEjpae4GvISX4P3a44GfQcBx oLtm/aqCWmMnSESgGTMoc9PNyyifJ8CYGUQGcirpf4RGctrXP5EKCkPPnmc5h158zeLOzqfp 0XZeunQy4SODKxyypD0HPwr6xqccLvOuSfhzOx3m99VK8nSd8HK3+/QRp8LICwOVYYstx9Le XhhfTI5MI4pfFr7bowBp6S8Kg==
  • Ironport-hdrordr: A9a23:IoYk7qP/okOegcBcTtSjsMiBIKoaSvp037BL7TEVdfUxSKalfq +V88jzuSWbtN9zYh0dcLK7Scq9qBrnnPYfjLX5Vo3DYOCJggqVxO0O1/qH/9WxcxeOlNJg6Q ==
  • Ironport-phdr: A9a23:XWpNWhxzU/oqW4jXCzIDw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hyZv6wzxwaTB83y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNYAhEniSxba5zI Rm5sAndqNcaipZ+J6gszRfEvnRHd+NKyG1yIl6dgwjy7dqq8p559CRQtfMh98peXqj/Yq81U 79WAik4Pm4s/MHkugXNQgWJ5nsHT2UZiQFIDBTf7BH7RZj+rC33vfdg1SaAPM32Sbc0WSm+7 6puVRTlhjsLOyI//WrKjcN+kb9boAm5pxNh34HUfI+bNP17fqzHfNMaQ3dKUsJeWiFFB4+xa ZYEAegcMuZCt4TyqFUAoxugCwexB+3uxSNHi2Ts0qEm0eQsCx3K0BAiEt8IrX/arM/1NKAXU e2t1qfH0ynDYO1M2Tzg9IXHbhAhoe2SUrJ2bMHczlMhGxnZg1qMqYzlIy2a1uIWvmeH9OpsT /ivi3M9pwF3pjii38EhgZTGiYwJ0F7L7zl5wJorKt2iTk52edqpHZVfuSyENYZ6Xt0uTnxot SonxLAIt5C2cTUWxJonxhPSdeCKfYaU7xzsSOucPzR1inx5db+/iBu//lSsx/P6W8Kp3lhKq S9FncPNtnALzxHT5cmHSud9/ke8wjmDzQHT6uZCLEsplqTbM4YszqM+m5YOq0jPAy37lUrsg KOLd0go4PWk5uvnb7n+u5OROI95hhvjPqkgmMGzG/k0PwkAUmSB9umx1rvu9lDnTbVOk/02i bXZv47AJcoGp664AhFa354+5xu5Ejyoys4XnWMdI1JAYB+Hj5bmO1XJIP3gFve/hkiskC91y /zcJb3uHpTNIWbFkLj9Y7lx8VRcyBcpwdBZ45JYErABIPTtVU/trNHUExE0PxGuz+r6Cthw2 ZkSVX+OD6ODLa/fvl+F6voqI+aWZY8VvDj9K+Ii5/7rlXI3g0URcLW10psXdHC3APJmLl6Fb nr3mNsBC3oKshA4TOzukFGCVyVcaG6oX60g/jE7FJ6mDYDbS4ywmLCBxju0HoVKZmBaDVCBC Wvnd4KdW/sVdC2SJtJhnScfWLi6S44h0AmuuxXgx7pmKOrU4CwYuoj52Nh7/e2A3S01oDdzF oGW13yHZ2ByhGIBATEsj45lpkko8lqf3LIwqvdYCdFVr6dxFC4xNYLRycRxEJboR0THeoHaG x6dXty6DGRpHZoKyNgUbhMhSr1K7zjG1iuuWfoOkqCTQYYz+eTa1mTwIMB0zzDH0rMghh8oW JgHLnWo04h48QWbHIvViwOBja//TeI11y7R+WGrxnHIplweVgojGb7dUyUnb1DN5c/8+luES ravDbo9NQ4U8YirIatWZ9vBhk4AXuqlPtCNK3mplTKIDA2TjqiJcJKse2gZ23DFD1MYlgkI4 XucHRM7Gj/75XnVDTFoHl+peV6q9+0WRGqTaEgywknKakRg0+Dw4RsJnbmGTPhV2LsYuSAno jEyHVCn3tuQBcDS7wxmNL5RZ98w+jIlnSrQqhB9M5q8Lqtjmk9WcgJ5uFnr3gl2DYMImNYjr Xcjxg5/YayC11YJezSd1JH2crrZTwu6tCjpQqXWxlzY+N2NvL0SrvI86h3isAyvCks+4iB/y dAGm3CY55jMEE8TSceoCR9xrkcm4eiEJHBhutCxtzUkK6S/vz7c1sh8AeIkzkzlZNJDKOaeE wS0FcQGBs+oIehsml6zbxtCMvoBkcx8d86gafaC37ameeh6mzfzx1wByYt9zk+K3yFnDPTVm ZABiaL9vEPPR3LngVGtv9qi07gCTDoSAme54SP/QpRMIKt2N9VDGSKlJMu5wc97jpjmVitD9 VKtMFgB3degZRuYa1GVMRR47U0MujTnnCK5y2YxiDQ1tu+F2yeIxe3+dR0BM2oNRW94jF6qL 5Lmx9wdWUGpaUAumn7HrQ7CgYFQpLhyKUHYWgFSYm7wKyluX7CxubyLf8NUoMpz6GMOD7j6O A7cE+Kg6xIBmzvuBW5f2Cw2e1TI8t3ikhp2hXjcZHd/oXzFeN1hkBLW5djSX/lUjXINQCh1j yWSB0DpZoLwu4zLy9Ga7KbnCz/yM/8bOTPmxo6BqiahsGhjABnl2uu2hsWiCw8xlynyy9htU yzM6hf6eIjikaqgYocFNgFlAkHx781iF8RwiIw10dson1ERhomY+1IMiiHpLJNd3eitCRhFD S5O2NPT7AX/jQdbaFuCx570UF2W2Y17ep+8ZilFkjJ45MdMBqCO6bVCliYguVu0ozXaZv1ll yscw/8juxt4y6kZ/RAgxSKHDvUODFFVaGbywg+Q4Yn0/+1HIXyier+q2A9ikMC9Wfuc9xpEV i+cGN9qHDcsvJwkaRSVjyG1sdmiJISYbMpP5ETPylGZ0LQTc8p3yaNChDI7azum5Dt8lLJ91 kQohMDh2erPY2R1oPDgWUceb2KpIZhLvGu13e5fhprEhtv2WMw+RnNSAt2xEangESpO5628b kDXT2F68yndQOaDeG3XoEZ+8yCWSMntbi7LYiBHi4w+GVGcPBAN2VtNGmxlwthgSEbzmZypc V8ltGlKvxih9UcKkboubUGnNwWX7AawNmVtE8HZdUUKqFoaoRyKec2GsrAqRHgep8L96lXTb DXFP0xJFT1bAxfdQQm8Yv/ztJ+ZorLfXLrbTbOGd7yKraY2u+6g/Zu0ycMm+j+NMp/KJXx+F 7gh3UEFW3llGsPfkjFJSioNliuLYdTJ7Bu7/yR2qIi4/pGJEEr34pCTDrJJLdh10wuznb/Zc fWbhSt/IjsezI5Kw3uAxLUE3VEUgj1jbHH0Su1G7HGRCvuO3PYLUlYScEYRfINQ4rg53xVRN MKTkd7z2rNiz7Y0B1pDSV39i5SpaMgNcCm2MFLKAlrONazTfGaShZioPeXlF/sJ0LgH0n/48 SyWGELiIDmZwjzgVhT1dPpJkDneJhtV/oe0bhdqD2HnCtPgcByydtFt3lhUifU5gG3HMWkEP H1yaURI+/eoqwpTgulyHURK9Tx/MK+Cn2zKiouQYoZTqvZtDiluwqhC528mzrJO8CxebOdwh DOI6MVlolygmeTJ0CchVh4E+VMpzMqb+E5lP6ve7JxJX33JqQkM4WunABMPv9J5C9frtvMY2 p3Vman0MjsH78PM8J5WGZ3PMMzeeilEU1KhCHvOAQACVzLuKWzPmxkXjqSJ7nPM5pki9sq1w 8NIE+AHEgdtUK9HQkV9QI5be84xB2x41+XDypFRgBj25BjJGJcD5cmBD63OR663bm/I1vFFf 0damOiha91Masuggwo4MgkynZyWSROLBJYU/XEnN1Fy+RkWlRo2BmwrhxC8MVrruSBPU6fq2 Edq1kN/ebh/rWy1pQ5oehyT+m1pzBR5mM2502nKKXioc/v2BN8QUnek0ip5epLjH1QsNlT0x BM4cmycAegJ1/NhbTw50VSF/8IQRbgHFesfP1cR3a3FPq5xlw0D9mP+mwkeu7Oga9MqlRN2I 8f39jQZhF4lMY9zfP2KY/AZhk5ZgqbE1sdN/usqhhUDYUAJojv6kM8go0kULuNgPCGp8+pn5 EqYhn1FfDpVPxLFivlxsFkgfeKEnXuI7g==
  • Ironport-sdr: 658551c3_Hrade0WcRafqVhNV5xz21Rww7/CV8BFRoul0sM4mibX9qqd yW/eeB90cLgCVSjcPd2myzsmePTzd4E77w24FYQ==

# 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 Workshop: Tuesday 9th January, 2024
TFP Symposium:  Wednesday 10th - Friday 12th January, 2024

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:

* Jeremy Gibbons, Oxford University
* Benjamin Pierce, University of Pennsylvania
* John Reppy, University of Chicago

## Programme
The programme schedule can be found here:
trendsfp.github.io/schedule.html

## Excursion and banquet
After lunch on Thursday there is a private guided tour of the 
Thomas Edison National Historical Park and Museum.
Thursday evening we have the TFP banquet at Forno's of Spain.
During dinner the winners of the best paper awards of last year's TFP
will be announced. 



  • [Coq-Club] [TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA), Peter Achten, 12/22/2023

Archive powered by MHonArc 2.6.19+.

Top of Page