[isabelle-dev] Fwd: [gdr.gpl ] New funding opportunity for Open, Reusable Research Data and Software

Burkhart Wolff wolff at lri.fr
Fri Jul 29 07:38:56 CEST 2022


Hi, 

koennte der Call nicht auch was fuer uns sein ? Insbesondere ie Punkte a) und d) 
klingen doch ganz nach der Vision, die wir immer schon gehabt haben (und deren
Grundlagen Makarius in Isabelle bereits umgesetzt hatte) ,,,

bu

> Begin forwarded message:
> 
> From: Roberto Di Cosmo <roberto at dicosmo.org>
> Subject: [gdr.gpl ] New funding opportunity for Open, Reusable Research Data and Software
> Date: 27 July 2022 at 18:08:00 CEST
> To: gdr gpl <gdr.gpl at imag.fr>, gdr-im at gdr-im.fr
> Reply-To: Roberto Di Cosmo <roberto at dicosmo.org>
> 
> [Le reste du message est en anglais, pour que cela soit plus facile à faire suivre aux collègues dans d'autres pays, vu que le financement en objet est pour des consortia internationaux.
> 
> --
> Roberto
> ]
> 
> Dear all,
>          I would like to attract your attention to a new funding opportunity for Open & Re-usable Research Data & Software <https://www.chistera.eu/call-ord-pre-announcement>.
> 
> The following section of the call is of particular interest for research software.
> 
> 3. Processes and tools to describe, share, reference and archive software source code, in particular with the goal to enhance reproducibility of research results. The objective is to develop tools and processes that leverage existing initiatives, such as the Software Heritage universal source code archive and the SWHID persistent source code identifiers, in order to: 
> a. Improve, and possibly automate, research workflows to ensure that the source code of software developed for, or reused in a research project, is properly archived, with an appropriate identifier that pinpoints the precise version used; 
> b. Ensure that software that has been evaluated by peers and assigned a reproducibility badge or stamp is archived for the long term, and referenced using proper persistent identifiers; 
> c. Produce curated metadata for software, following well established community standards, and archive it alongside the source code; 
> d. Contribute to establish links between articles, data and software source code, with proper metadata and persistent identifiers; 
> e. Ensure that the source code of software listed in community-maintained software catalogues is archived and equipped with appropriate identifiers. 
> 
> The call is expected to close by mid-december 2022, all the details are available on the pre-announcement website at: https://www.chistera.eu/call-ord-pre-announcement <https://www.chistera.eu/call-ord-pre-announcement>
> 
> Please share this information with all interested parties.
> 
> All the best
> 
> --
> Roberto
> 
> ------------------------------------------------------------------
> Computer Science Professor
>            (on leave at Inria from IRIF/Université Paris Cité)
> 
> Director
> Software Heritage             E-mail : roberto at dicosmo.org <mailto:roberto at dicosmo.org>
> INRIA                            Web : http://www.dicosmo.org <http://www.dicosmo.org/>
> Bureau C328                  Twitter : http://twitter.com/rdicosmo <http://twitter.com/rdicosmo>
> 2, Rue Simone Iff                Tel : +33 1 80 49 44 42
> CS 42112
> 75589 Paris Cedex 12
> ------------------------------------------------------------------                                                  
> GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
> ------
> Plus d'infos sur le GDR GPL : http://gdr-gpl.cnrs.fr

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20220729/149f6383/attachment.htm>


More information about the isabelle-dev mailing list