Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Journal of Functional Programming - Call for PhD Abstracts


Chronological Thread 
  • From: Graham Hutton <Graham.Hutton AT nottingham.ac.uk>
  • To: "haskell AT haskell.org" <haskell AT haskell.org>, "J. Garrett Morris via Haskell-Cafe" <haskell-cafe AT haskell.org>, "types-announce AT lists.seas.upenn.edu" <types-announce AT lists.seas.upenn.edu>, "fun AT cs.nott.ac.uk" <fun AT cs.nott.ac.uk>, "coq-club AT inria.fr" <coq-club AT inria.fr>, "agda AT lists.chalmers.se" <agda AT lists.chalmers.se>
  • Subject: [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts
  • Date: Tue, 6 May 2025 08:04:10 +0000
  • Accept-language: en-GB, en-US
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Graham.Hutton AT nottingham.ac.uk; spf=Pass smtp.mailfrom=Graham.Hutton AT nottingham.ac.uk; spf=None smtp.helo=postmaster AT smtp4.nottingham.ac.uk
  • Ironport-data: A9a23:MPEg4KzaonPzjaG2CIp6t+eiwirEfRIJ4+MujC+fZmUNrF6WrkUPz zZJDG7SbvaNNGajed5wat6+8UlSsJLRnIM1HgZprFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmMc3l48sfrZ9Usy5Kqq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPgyuQwEXFoM7YG69ZGJzhX7 aYXFiISO0Xra+KemNpXS8F3g9g7cI/tO58Du3dvzTjcS/8tB43AK0nIzYYCjHFq2psIR6yGI ZREAdZsREyojxlnFU0eCJs72se1mmX4dRVer06JpKw442HWigV6lqXuWDbQUoXTGJQPxx/A+ Aoq+UzcLBIjG9vOywC/0S2C3sjmx3jldIErQejQGvlC2gTJljNJU3X6T2CTqv6gz0W6Rth3M F0R4iNorK4o9UXtQMOVYvGjiGWBogZAHdxXD/E77g6Nw6+S6g3fG2tsoiN9hMIOuMYnGyEai FGygcLZNBo2qaXPRkyP6eLBxd+tAhQ9IWgHbC4CaAIK5dj/vY0+5i4jqP4/S8ZZafWpRlnNL yC2kcQou1kEpeEhv5hXEHjchi60+t7PSRIp5wPYXmugqApyIpOmD2BJ1bQ5xagRRGp6ZgDe1 JThpyR4xLtfZX1qvHDUKNjh5Jnzu5643MT02DaD5aUJ+TW34GKEdotN+jx4L0oBGp9bJWG1P h6C41kIus470J6WgUlfP9nZ5yMCkfeIKDgZfqu8gidmPMUsL1HvEN9GORbPt4wSrKTcuftmY 8fEK53E4YcyFaRqhCewRvkQy6Qq2jF2wm2bQ5fn0xWh3rqXYRaopUQtbTOzghQCxPrc+m39q o8HX+PTkkU3eLOlOEH/r9VMRW3m2FBnXvgaXeQLLbbbemKL2QgJV5fs/F/WU9E+wfwNy7eXo BlQmCZwkTLCuJEOEi3SAlgLVV8ldc8XQasTbHxyb2W7kWMue5iu56o5fp46N+tvvu96wPI+C 7FPd8ycC74dAn7K6hYMX6nb9YZCTRWMgR7RHiyHZDNkQYVsaTaU8fDZfyzu1hI0MAyJieUEr YedizzrGag4e1w6DeL9Su6e8FeqjH1MxMNwRxTpJ/dQSmXN8a9rCTH71cVvKv5RLxzs6Ce+0 iiUJREmv8jMvI4H393bjo+Ur4qSMrVfH2gLO0L5/LqJJS3h0W77+rB5UcGMZiH7aGP43I6Ad Ndl5ajwH9NflWkbrrcmNahgyJwPwufGpphY/1xCJ2rKZVH6MYFQCCCK8ucXv5Ic24IDnxW9X 3+O3dxoOb+pHsfBO3xJLSoHatWz790lqgPw398UfnqjvDRW+YCZW3p8JxOP0SxRDIVkObMfn NsOhpQk1ByduDELbPC9kSFmx0adJCchUoImlK0gLq3Ftw4J8mxGMLvgUnLYwZfXcNhdEFgYE hnNjor4urls7E7jcX0yKHvz4dRglak+4BBk8HJSJnCiuMb0ufss7RgArRU1Vlt0yztE4cJSO 09qFV9/FZ+R2Rw1mcIYZTilJFxHDTK35mj05VktklPDbki3V17iKH82FvaN8Xs4rUNdXGl/1 5OJxFn1VQ3FeJnK4RIzfkp+utrfTdBV3S/TqvCNRsiqMcEzXmv4v/WIe2ENlSrCPeowo0/2/ c9R4+d6bPzABx46+qEUJdGT6uUNdUqiOmdHfPBG+ZEJF0H6fBWZ+2CHC2K1S/N3C836y22KI O0wGZsXTDW77jiEkR4DD61VI7NUou8g1OBfRpzVf1w5o5mthRs3lqnP9xrOpn4hGPRvtscfF rn/VRy/Fk6ouH8FvFOV8edlPDKjbMgmdT/M+rm/0N80GqIptMBudkAP0YWIgUiFDTs//z+pu FLsWqyH6c1j1oVmoKX0GIphGQifCI3+RcaIwi+JovVMatLFNJaWuywRt2u9PwRcBuYRasUqz L2ckcXW2Xndt+0cSFHpmJimFohI6/6tXeFRDNnFEXlCkQaGW+7u+xEm+V3kGadWkdhY2Nard zG4ZOS0a9QRfdVXn19RVARzDDcfDP7RQpr7hCbgscmJNAcR4TbHIPyj63XtS2NRLQ0MGp/mD z7Lq+Sc3c9ZoKtMFS07KalfWbEgG2DaWIwia9HVnhubBDPxglq9553TpSB54jTPUnS5AML25 KzefSfHdTOwhbrpye9IuIkjrzwVC3dA2dMLRHw/wOIvqT6GDz8hF98/YKU2UsQe1mS40Zzjf zjCYVczESi3D3wObRz458+lRQuFQPAHPtDiPDEy4keIcGGMCZidBKd6vDJVi5usluAPEMn8Q T3fxpHxAvR16opsWf5PoPq8nftmwPzaz3dO8Eu7js+a79Pyx1kV/CQJIeaPfXWv/wLxeIHjI 28pWWFCT0GyTAj4GoB9eBa53TkH6Sj3wWxAgTinmb7iVkby8AGE4Pv4J/3y1LIDZcFMLbVIW HCfq65hJYyJ8iR7hJbFcO7FTUO55Txn0yR6wGLeqdUuopyN
  • Ironport-hdrordr: A9a23:huY3fK9c6l96JDlFWAFuk+GFdb1zdoMgy1knxilNoERuA7Wlf1 jHpoVr6faGskdoZJhGo6HxBEDgewKjyXcb2/h3AV7PZmnbUQiTXfJfBOnZslvd8kTFn4Y3v8 oNHMYeNDSaNykZsS+O2njdLz9W+qjjzEnHv5a8815dCTtyY6UlyAFlBm+gYz9LrJkvP+tDKL OMos5c4zawc3Ueacq2QnEDQujYvtXO0JbrewQPCRIr4BSHyWrA0s+ELzGImhMFFz9fy7Yr9m bI1wT/+6W4qvm+jhvRzXXa4ZhakMbojtFDGMuPgM4ILSiEsHfVWK1xH7mZ+DwlquCm71gn1N HKvhc7Jsx2r2jce2mkyCGdpjUIEAxekUPf9Q==
  • Ironport-phdr: A9a23:SEUqrBEqgO12pKRX7ihOY51Gf9BDhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21hmRBc6Bu6kY16L/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezf79+N gm6oRneusUIgoZvJKk8xxTUqXZUZupawn9lKl2Ukxvg/Mm8+4Jt/TpNsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQTXHkYnRpOGAjF8Qr1XoztvSvgt+pywzeVMMvrRr0pQzui7 qNrSBj1iCcbMjMy7W/ahtBsgK9dvRmsvAJ0zZLKb46JNfp+ZqLdcs0cRWpdRcZaSihNDpqhY 4cTE+YNOOBVoI7gqVsTthu+HRejC//zyjFGgX/22Lc10+UnEQrb2AAtENYDvHHSod7oNqkdT Pq1wbHIwzvdcv1WxTnz5ovPfB89rv+DUql9cdbIyUkqCw/FjkmcpZLjMjiI1uoNqW+b7+94W OyukW4osQFxrSKqxswxiIfJm54VykzD9SV/3Y04Ity2SFRhbt6kCpRQsjuWOYlrQsM+X2Fov yA6x6YAuZ68YCgK1JUnxxjQa/yHaYeI5wjvW/yNLjtimXJle6uyihCv+kev1uPyTNO70EpWr iVbiNnMsGgA2h7P58WIV/dw/Emv1zmR2w3R9+xJL045m6rHJ5Mi3rI9mZQdvEbDECL2mkj6k q+beEom9+am6Onqf7brq5GSOYJylwrwPKMumsmlDuQ5NAgDR3Sb+eW61Lzj4E35WrFKgucqn anetZDXI9kQqK2hAwJNz4ov9RWyAy243NkXk3QLNkxJdAybg4TzOlzDIOj0Aem+jliwnjpmw u3KMqH7DZjMK3XPjqvtcq145kNS0gU/0dVS6pdJBrwBJv/4R1H8tNjFDh8iLwy73fznBsh81 oIfR22CGrOVPaXPulGS/O0vOfODZIoNtTb9Nfcl4/nugGcimV8YYampxZQaZGq+HvRhP0WZf XvsgtEOEWcKpAU+Sfbmh0eeXjJJenayXLow5jA9CI24EYfOXp2hjKKC0SuhAJFbaW5LBkqSH Xv2a4mIQfYBZSKKLs9kiDMEVLyhS4E71RGpsQ/307tpLvDO9S0Yr53j0cJ56e/OlREu6Tx0C MKd3nqLT2FzgmMIWz423KZwoUx90FiD1LJ0jOZEGtBJ+vNJUR82NZjHwONiEdD9RhrBfsuVS FahWtiqHCk9TsgtzN8Wf0Z9B9Kigwjf0CqtGr8ZjqCEBJgp8q3HxHXxPMZ8y3Pe1KY7lVUmQ 81PNXenhqFl7QTTCZTJwA2lkPPgda0H3yPJ8E+DxHGNsUVcFglqXu+NCXAWfUjbqdDR5krZT LKqDfIgKAQXjYbICO0CRdTzl1haWL/GP87EYnn5hWa5TTaB3bCBaI6vUGwT0W+VXEgNiAMe+ XLDPgEwCw+hqnndAThqU1X1bBWouaNiuWu2VQo9yQeNcktq2pKx+wUJnrqHRvoImK8ctSEn7 Th4ARz1i87HE9eb4gNneqJBZ9gwyFNGzn7C8RdwN4fmMrhvgFhYfghq6QemnRtqDK1Lio4sq 282igN5b7+bmhsVeS6e9ZvrfLvQNnW09Rvpdq2AnhmU29GPv6wL9f4QqlP5vQjvGFBouyFs1 MAQ2H+B7L3LChATWNT/SBBzv1JzqL3TSi08/J/Pk3ZsOK2xvyXZnckkTqNxwxmsdv9bMbiYD 0n5E8QeAsW0M6oxlg76QAgDObV97qc0NsbuV+aaxKmtdLJPhjumhGEBwJ1hzkWK3yx7VvLJ2 ZkFyvTe1wDBSjSq3wTpidz+hY0RPWJaJWG40yWxQdMIDkUTVYMCCGP1Ztay2s07nJn1HXhR6 F+kAVoCns6vYxubKVLnjkVLzUpCh3uhlGOjyiBs1Skzp/+wxiXOyuGkVAcbJmlNbG9lkUvtJ 4e0htVcVUPucgt63AC96xPCzrNA7L96M3GVRE5JeybsKGQ3fbG5trOHJe5S9I8vtw1RV/igY FaVSrf45RIRlT7gTCNF3D5uUTast93imgBizmKQKHEmtH3CZcR53gvS/vTHQOJJgnwAQzVki D/YBlG5edCiu8iX/3vamsa5UW/pFphacC2wiJiFqDP+/mpyRxu2g/G0nNTjVwk8yy7ykddwB 23Oq17nb4/n2r7fU6ovd1R0BFL698txG51v2oo2ipYK3HEGh5KTtXMZmGb3ON9f1Orwdn0ID TIMxtfU5kDi1igBZjqm3Yv5X3Db4tZ9e968SmURxj486c9KAaLS5bcCgCg06lu0oATNYORsy y8HwKhLijZSiOUItQwxiySFV+lITQ8CYXeqzU7QqY7j/8A1LC61fLO91VRzh4WkBbCG+URHX WrhP4wlBWl259l+N1TF1Dvy7JvlcZ/ed4F21FXcnhHeguxSMJ90mOANgH8tFnj0vXQgjc4mk QBp27m8u5SbKmNi/Ku8RBdTcCD2LZB2mHmlneNFk8Ca0pr6VLp7EzUCWd3IUO60FzQ6s/P7K weIHz01rzGSEvzCHkXMjSUu52KKGJetOXaNIXAfxtg3XxiRKntUhwUMVSk7lJo0fuyz7PToa 1wxpjUY51qj7wBJ1votLB7nFGHWuAavbD4wDpmZNhtfqA9YtQ/ZNsmX7+Q7GC89nNXpgxaEK mWeISRVEX0OXGSCAEz/P7+h5dDFteGTQPe9Z/fDerSBr+VCWuzAnMj/lNE6pHDWbJ3JYCQqB uZeuAILRX1jHsXFhzgDAzcakS7AdY/TpRux/DF2stHq9f3qXAz14o7cbtkaed5r+h2wneKCL 7vJ3nY/c2oDkMlWnTmWlet6vhZakSxlejizHK5VsCfMSPmVgapLF1sAbDs1MsJU7qU61w0LO MjBi9qz2KQr65x9Q1pDS1HlndmkIMIQJGTofnzdDUaCMfKmOCHXxMffZ6SgVbxWg+Vdslu5s nCGEAWwW1bL3ymsTB2pPexW2Wu0JhVesYT7UgtxFW/lZNThdgG6NtB3hDhwyLZym3CAZgt+e XBsNkhKqLOX9yZRhP5yTndA4nRSJu6Bgy+F7uPcJ8Veob5xDy9zje4f/GUixu4f8nRfXPIs0 ni3zJYmsxS8n+KI0DYiTBdetmMBmteQpUs7cajJ94JcQiSJ7xMYq1KLExpModx5FtzptKBZz 57Gn+TuK1Igu5rV+8AYGsTZevWcKHRnNx31BD/SAwsMSDegKGKZmVFQlPCV7njTpZ8/z/qk0 JsIQbtGWFFnE/obDgFoAZoNLZx0WT0ji7vdh8kNrXum8EuIHpUc5MycEKjIWbOxdVP7xfFFf 0damOmoa95Pbcunhwo/NxF7hNiYRhOWAZYd+ms5KVVr6ERVrConHzF1hBmjOkXypyRJcJz81 h8u1lkiOaJ0rGiquxFvYQOU7CoozBtsw5O82WjXKHipa/7sFYBOV3it7xR3bsy9G0AtKlTt+ C4sfDbcG+AI3uomLDEt0EmE/sEWUf9EEf8dPkVWlaHRO7Nwlg4H4iShzkta6eaXAJ5rhgwsa pO36XlH3mcBJJY0I6fUOaZEnENIiOScuS+vkO0siA4YLEIQ/G7ATzUQthRQbuF+f3Lu+Otw9 Q2ElDtKfS4FXLw3oZcIvgs8Pe+E0i7tgaVbJAapLeuDIqiFum/G08mVXlc30UBOnE5Ata5/1 cNpG6aNf2YoyrbZVxEANM6ZbBpQc9IX73/LOyCHreTKx5txeYS7DOHhC+GU5u4ShQq/EQAlE p5pjIxJF4Sw0EzeMcbsLaIUgRQr6gPxIVyZDfNPMBuVmTYDqsu7wdd5x45Ybj0aBGx8N22w6 NO17kcyh+GfWd4tfnoAdpABKmpqHsu9hzJYuXtABTzx2+lf1QvDpz7wqyLMDSXtOtpuYPDHA HEkQNqy+Dg57+23kQuOqMWYfT2hc4444pmRtLB/xd7PEf5fQLhjvl2JnoBZQyfvSGvTCZuuI IC2bYAwbNvyA3L8U1qlijtzQd2iWbTlZqWOnwzsQp5Z9YeB2zV2f+CnHzEXHlFQuv0f46RUY woff5s9bh7hskI3POqiI03Lt7fmC3boMjZQQ/RFmK+iYKdLyiM3cuKg4GAlUolmie+w7VIMQ p4KhxSYzP3leooUAk2RUjRNPg7IoyQ+jW1oMO0/l/w+zB3/ul4ZKzmXdeZtZQSsXvknAE+Kf TNwDXYkRlmTjYPGpAenma0RrXM1dzN81+pZrHn4sZ/WZXSlU+q2qseN28LPRd4hv7FwN4PjK 87AvZiYgz+NFfHt
  • Ironport-sdr: 6819c287_d0SPfyq/lUgDfW8dO9vbWiEqV6MhRwS93nuHtBhTbntv/my pkXOkcYdsQrOnqysYcKgqkEVugZvKCVCJ5TrCoA==

Dear all,

If you or one of your students recently completed a PhD (or
Habilitation) in the area of functional programming, please
submit the dissertation abstract for publication in JFP:
simple process, no refereeing, open access, 200+ published
to date, deadline 30th May 2025. Please share!

Best wishes,

Graham Hutton


============================================================

CALL FOR PHD ABSTRACTS

Journal of Functional Programming

Deadline: 30th May 2025

http://tinyurl.com/jfp-phd-abstracts

============================================================

PREAMBLE:

Many students complete PhDs in functional programming each
year. As a service to the community, twice per year the Journal
of Functional Programming publishes the abstracts from PhD
dissertations completed during the previous year.

The abstracts are made freely available on the JFP website,
i.e. not behind any paywall. They do not require any transfer
of copyright, merely a license from the author. A dissertation
is eligible for inclusion if parts of it have or could have
appeared in JFP, that is, if it is in the general area of
functional programming. The abstracts are not reviewed.

Please submit dissertation abstracts according to the instructions
below. We welcome submissions from both the student and the
advisor/supervisor although we encourage them to coordinate.

Habilitation dissertations are also eligible for inclusion.

============================================================

SUBMISSION:

Please submit the following information to Graham Hutton
<graham.hutton AT nottingham.ac.uk> by 29th November 2024.

o Dissertation title: (including any subtitle)

o Student: (full name)

o Awarding institution: (full name and country)

o Date of award: (month and year; depending on the
institution, this may be the date of the viva, corrections
being approved, graduation ceremony, or otherwise)

o Advisor/supervisor: (full names)

o Dissertation URL: (please provide a permanently accessible
link to the dissertation if you have one, such as to an
institutional repository or other public archive; links
to personal web pages should be considered a last resort)

o Dissertation abstract: (plain text, maximum 350 words; you may
use \emph{...} for emphasis, but we prefer no other markup or
formatting; if your original abstract exceeds the word limit,
please submit an abridged version within the limit)

Please do not submit a copy of the dissertation itself, as
this is not required. JFP reserves the right to decline
to publish abstracts that are not deemed appropriate.

============================================================

PHD ABSTRACT EDITOR:

Graham Hutton
School of Computer Science
University of Nottingham
Nottingham NG8 1BB
United Kingdom

============================================================

This message and any attachment are intended solely for the addressee and may
contain confidential information. If you have received this message in error,
please contact the sender and delete the email and attachment. Any views or
opinions expressed by the author of this email do not necessarily reflect the
views of the University of Nottingham. Email communications with the
University of Nottingham may be monitored where permitted by law.


  • [Coq-Club] Journal of Functional Programming - Call for PhD Abstracts, Graham Hutton, 05/06/2025

Archive powered by MHonArc 2.6.19+.

Top of Page