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 <[email protected]> > 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 <[email protected]>, [email protected] > Reply-To: Roberto Di Cosmo <[email protected]> > > [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 : [email protected] > <mailto:[email protected]> > 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
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
