O p e n C E R T - 2 0 2 3
11th International Workshop on
Open Community approaches to Education, Research and Technology
*** towards "Open community approaches" CERTification processes ***
Monday, 6 November 2023
Co-located with SEFM 2023

Programme | Keynote Speaker | Previous Event
Background and Objectives | Topics | Important Dates | Submission | Publication | Call for Papers | Committees | Contact
Recent News

Background and Objectives

The concept of Open Community extends the idea of Open Source to other collaborative frameworks. It includes Open Content, under a form of non-restrictive license, and Open Knowledge, that is, the freedom to use, reuse, and redistribute knowledge without legal, social or technological restrictions. The 10th International Workshop on Open Community approaches to Education, Research and Technology expands ther scope of the International Workshop on Foundations and Techniques for Open Source Software Certification, whose 8 editions run from 2007 to 2014. The workshop promotes the use of Open Community approaches in Education and Research, with the aim to achieve wide diffusion and proper assessment of new, innovative Technology. The workshop general focus is on

  1. Education, where aspects of interest are all those related to open and collaboratve learning, in both formal and informal education contexts.;
  2. Research, with the aims at
    • establishing open research projects as “cauldrons” of open data, open knowledge and collaborative development, as well as devising metodologies and tools for the management and assessment of such projects;
    • defining open peer-review methodologies for the assessment of research outputs and appropriate bibliometrics based on the community open feedback rather than on a questionable analysis of citations;
    • defining, more specifically, quality metrics and a formal process to certify open source software (OSS) products and the outcomes of other peer-production efforts.
  3. Technology, by fostering and unleashing the efforts of open communities towards global availability and acceptance of new technologies. Prominent interests, here, are in supporting the open communities during the production process, and in the validation of the information produced, or made available, by such communities, especially in the case of advices provided by thematic communities, such as the user/consumer support/review communities.

This year OpenCERT is collocated with SEFM, so contributions connected to the themes of formal methods and software engineering will be particularly appreciated. In addition to the thematic description provided above, we will be also interested in the following aspects:

  1. Education: open and collaborative approaches in Software Engineering and in Formal Methods education;
  2. Research: open community research in Formal Methods, formal modelling of learning and collaboration
  3. Technology integrating Formal Methods technologies and tools within OSS projects as a means for Formal Methods acceptance and diffusion;

but still accepting submissions outside these aspects.


Contributions to the workshop cover the areas of education, research and tecnology, either in general or with focus on formal methods. Topics include, but are not restricted to:

open education; open learning communities and environments; student experience in open communities; open community approaches to teaching; open learning in formal and informal education; learning processes in open communities; validation and certification of open education approaches; Student Modeling, and Open Student Modeling; Open Educational Resources; collaborative, and social-collaborative learning; methodologies and tool to support collaboration; social constructivism; peer assessment; validation and certification of peer assessment approaches; teaching software engineering through OSS project participation.
peer-production process; open communities as peer-production models; analytical models for peer-production processes; business models for peer-production; open community management and organisation; knowledge management in open communities; management and analysis of open data repositories; management and analysis open source software repositories; data mining and process mining of (software, communication, etc.) repositories; community evolution; community assessment; peer review in OSS and other peer-production efforts; quality assessment of OSS and other peer-production efforts; certification of OSS and other peer-production processes; peer-assessment of research outputs, citations analysis controversies, open-feedback-based bibliometrics; legal implications in peer-production, OSS and peer-production licenses; copyright and copyleft in OSS and peer-production, action research; empirical studies.
technological innovation in open communities; open communities and technology diffusion; information trustworthiness in thematic communities; privacy in open communities; recommender systems, reputation systems; machine learning; deep learning architectures; user/consumer reviews and quality assessment; methodologies and tools for analysis, verification, validation, decision support, quality assessment and certification.
SEFM - Software Engineering and Formal Methods
open and collaborative approaches in software engineering, formal methods, logics and mathematics education; open community research in software engineering and formal methods; formal modelling of learning and collaboration; integrating formal methods technologies and tools within OSS projects as a means for formal methods acceptance and diffusion; reverse engineering of OSS; static analysis, testing and inspection of OSS; safety, security and usability analysis in OSS; automated source code analyses in OSS; software evolution and reconfigurability in OSS.

Keynote Speakers


Important Dates
Abstract Submission deadline:   Friday, 8 September 2023 (OPTIONAL, EXTENDED)
Paper Submission deadline:   Friday, 15 September 2023 (EXTENDED)
Accept/Reject Notification:   Monday, 9 October 2023 (DELAYED)
Pre-proceedings Final version due:   Monday, 23 October 2023
Post-proceedings Final version due:   TBA


Authors are invited to submit, via EasyChair (https://easychair.org/conferences/?conf=opencert2023), research contributions or experience reports.

All papers should be written in English and prepared using the specific LNCS templates available at

There are nine categories of submissions

Research papers
to present original research and the analysis, interpretation and validation of the research findings.
Position papers
to present innovative, arguable ideas, opinions or frameworks which are likely to foster discussion at the workshop.
Project papers
to describe a new open community project (e.g. on a hosting provider or a dedicated portal) or a new research project, or the status of an ongoing project or the outcomes of a recently completed project.
Survey papers
to collect previously published studies on topics related to the workshop and analyse them in the context of open communities.
Case Study papers
to report on case studies, preferably in a real-world setting.
Tool papers
to present a new tool, a new tool component or novel extensions to an existing tool aiming at supporting open community approaches, or the use/customisation of an existing tool in the context of open communities.
Tool Demonstation papers
to demonstrate the tool workflow(s) and human interaction aspects, and evaluate the overall role of the tool in supporting open community approaches.
Teaching Experience papers
to report on teaching experiences using an open community approach in a formal education context (e.g. in a university/school context) or in informal education.
Learning Experience papers
to report on a learning experience within an open community in a formal education context (e.g. by university students) or in informal education (online presentation with a nominal registration fee is allowed for students presenting accepted contribution in this category).

Contributions will be in the form of

Regular papers
between 12 and 15 pages except references for submission (and between 12 and 17 pages except references for post-proceedings camera-ready).
Short papers
between 6 and 8 pages except references for submission (and between 6 and 9 pages except references for post-proceedings camera-ready).
extended abstract up to 4 pages, which will be included in the pre-proceeding but not published in the post-proceedings.

"Short papers" and "Presentations" can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.

The program committee may reject papers that are outside the above mentioned length limits.

Submitted papers will be refereed for quality, correctness, originality and relevance. All submitted papers will be posted on GitHub at https://github.com/opencert/workshop-2023/ and the review process will be carried out as an interactive, open discussion between the authors and the reviewers. Final decisions about acceptance/rejection of papers will be made through a closed discussion among the PC members. Notification and reviews will be communicated via email. Accepted papers (both "Regular papers" and "Short papers") will be included in the workshop programme and will appear in the workshop pre-proceedings as well as in the LNCS post-proceedings. Pre-proceedings will be available online before the Workshop.


Accepted regular and short papers will be published after the Workshop by Springer in a volume of Lecture Notes in Computer Science (http://www.springer.com/lncs), which will collect contributions to some workshops co-located with SEFM 2021. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Workshop. Online presentation is only possible for students presenting accepted Learning Experience papers.

One or more journal special issue(s) with selected papers may be planned, depending on the number and quality of submissions.

Call for Papers

The Call for Papers is available on Text format.

Program Co-chairs
  • Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan
  • Marco Temperini, Department of Computer, Control, and Management Engineering, Sapienza University Rome, Italy

Program Committee (provisional)

  • Roberto Bagnara, BUGSENG and Department of Mathematical, Physical and Computer Sciences, University of Parma, Italy
  • Luis Barbosa, UNU-EGOV, United Nations University, UN, and Department of Computer Science, University of Minho, Portugal
  • Peter T. Breuer, Hecusys LLC, USA
  • Nicola Capuano, University Sannio, Italy
  • Federica Caruso, University of L'Aquila, Italy
  • Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan (Program Co-chair)
  • Stefano De Paoli, Sociology Division, Abertay University, UK
  • Tania Di Mascio, University of L'Aquila, Italy
  • Maya Dimitrova, Bulgarian Academy of Science, Bulgaria
  • Malinka Ivanovna, Technical University of Sofia, Bulgaria
  • Padmanabhan Krishnan, Oracle Labs, Australia
  • Luigi Laura, Telematic University Uninettuno, Italy
  • Victoria Marin, University of Lleida, Spain
  • Andreas Meiszner, Scio, Portugal, and School of Management, University of Liverpool, UK
  • Alessandra Melonio, University of Venice, Italy
  • Alexander Mikroyannidis, The Open University, UK
  • John Noll University of Hertfordshire, UK, and Lero - The Irish Software Research Centre, Ireland
  • Kyparissia Papanikolaou, School of Pedagogical and Technological Education (ASPETE) Athens, Greece
  • Donatella Persico, Institute for Educational Technologies (CNR-ITD), Italy
  • Alexander K. Petrenko, Institute for System Programming, Russian Academy of Sciences (ISP RAS), Russia
  • Giuseppe Sansonetti, RomaTre University, Italy
  • Filippo Sciarrone, Universitas Mercatorum, Italy
  • Ioannis Stamelos, School of Informatics, Aristotle University of Thessaloniki, Greece
  • Martin Stabauer, Johannes Kepler University, Austria
  • Andrea Sterbini, Department of Computer, Control, and Management Engineering, Sapienza University Rome, Italy
  • Davide Taibi, Institute for Educational Technologies (CNR-ITD), Italy
  • Marco Temperini, Department of Computer, Control, and Management Engineering, Sapienza University Rome, Italy (Program Co-chair)
  • Pierpaolo Vittorini, University of L'Aquila, Italy
  • Anthony Wasserman, Integrated Innovation Institutre, Carnegie Mellon University Silicon Valley, USA


All inquiries concerning OpenCERT 2023 submissions and scientific programme should be sent to opencert2023@easychair.org

  Created: Wed 12 October 2022 Maintained by  
  Updated: Thu 2 Nov 2023 Antonio Cerone