The Coq mailing list

[Marie Kerjean <kerjean AT lipn.fr>]

G.  

> Le 6 juin 2023 à 16:11, Graham Hutton <Graham.Hutton AT nottingham.ac.uk> a 
> écrit :
> 
> 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 June 2023.  Please share!
> 
> Best wishes,
> 
> Graham Hutton
> 
> 
> ============================================================
> 
> CALL FOR PHD ABSTRACTS
> 
> Journal of Functional Programming
> 
> Deadline: 30th June 2023
> 
> 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 30th June 2023.
> 
> 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.
> 
> 
> 
>