<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">[Apologies for cross-posting]<br></div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><br>-----------------------------------------------------------------------------------<br>===============<br> OpenCERT 2023<br>===============<br><br>-----------------------------------------------------------------------------------<br>Submission link <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=opencert2023__;!!IBzWLUs!QF1SLdVd-0vdDLXZCCNRFfe5pWXuTS76g8eHFVwyldZt8QsiIdbuB_31BuvSKaf21igWPVsEfVu4VfL0qMzNS4zRReY3paKK51njH0pb_64$" target="_blank">https://easychair.org/conferences/?conf=opencert2023</a><br>-----------------------------------------------------------------------------------<br>Abstract Submission deadline: Friday, September 1, 2023 (OPTIONAL)<br>PAPER SUBMISSION DEADLINE:    Friday, September 8, 2023<br>-----------------------------------------------------------------------------------<br>Accepted regular/short papers will be published after the Workshop by Springer<br>in a volume of Lecture Notes in Computer Science (<a href="https://urldefense.com/v3/__http://www.springer.com/lncs__;!!IBzWLUs!QF1SLdVd-0vdDLXZCCNRFfe5pWXuTS76g8eHFVwyldZt8QsiIdbuB_31BuvSKaf21igWPVsEfVu4VfL0qMzNS4zRReY3paKK51njFWEgdJM$" target="_blank">http://www.springer.com/lncs</a>).<br>-----------------------------------------------------------------------------------<br><br>===================================================================================<br>11th International Workshop on Open Community approaches to Education, Research <br>and Technology - towards "Open community approaches" CERTification processes -<br><a href="https://urldefense.com/v3/__https://opencert.github.io__;!!IBzWLUs!QF1SLdVd-0vdDLXZCCNRFfe5pWXuTS76g8eHFVwyldZt8QsiIdbuB_31BuvSKaf21igWPVsEfVu4VfL0qMzNS4zRReY3paKK51njL_4Dn08$" target="_blank">https://opencert.github.io</a><br>November 6, 2023, Eindhoven, The Netherlands<br>Satellite event of SEFM 2023 (<a href="https://urldefense.com/v3/__https://sefm-conference.github.io__;!!IBzWLUs!QF1SLdVd-0vdDLXZCCNRFfe5pWXuTS76g8eHFVwyldZt8QsiIdbuB_31BuvSKaf21igWPVsEfVu4VfL0qMzNS4zRReY3paKK51njQb9AXNo$" target="_blank">https://sefm-conference.github.io</a>)<br>===================================================================================<br><br>The concept of Open Community extends the idea of Open Source to other<br>collaborative frameworks. It includes Open Content, under a form of non-restrictive <br>license, and Open Knowledge, that is, the freedom to use, reuse, and redistribute<br>knowledge without legal, social or technological restrictions.<br><br>The International Workshops on Open Community approaches to Education, Research<br>and Technology expand the scope of the International Workshop on Foundations and<br>Techniques for Open Source Software Certification, whose 8 editions run from 2007<br>to 2014.<br><br>The workshop promotes the use of Open Community approaches in Education and<br>Research, with the aim to achieve wide diffusion and proper assessment of new,<br>innovative Technology. <br><br>The workshop general focus is on<br><br>1. EDUCATION, where aspects of interest are all those related to open and<br>collaborative learning, in both formal and informal education contexts. <br><br>2. RESEARCH, with the aims at<br><br>* establishing open research projects as "cauldrons" of open data, open knowledge<br>  and collaborative development, as well as devising methodologies and tools for<br>  the management and assessment of such projects;<br>* defining open peer-review methodologies for the assessment of research outputs<br>  and appropriate bibliometrics based on the community open feedback rather than<br>  on a questionable analysis of citations;<br>* defining, more specifically, quality metrics and a formal process to certify open<br>  source software (OSS) products and the outcomes of other peer-production efforts.<br><br>3. TECHNOLOGY, by fostering and unleashing the efforts of open communities towards<br>global availability and acceptance of new technologies. Prominent interests, here,<br>are in supporting the open communities during the production process, and in the<br>validation of the information produced, or made available, by such communities,<br>especially in the case of advices provided by thematic communities, such as the<br>user/consumer support/review communities.<br><br>This year OpenCERT is collocated with SEFM, so contributions connected to the<br>themes of FORMAL METHODS and SOFTWARE ENGINEERING will be particularly<br>appreciated. In addition to the thematic description provided above, we will<br>be also interested in the following aspects: <br>1. EDUCATION: open and collaborative approaches in Software Engineering and<br>   in Formal Methods education;<br>2. RESEARCH: open community research in Formal Methods, formal modelling of<br>   learning and collaboration<br>3. TECHNOLOGY, integrating Formal Methods technologies and tools within OSS<br>   projects as a means for Formal Methods acceptance and diffusion;<br><br>-----------------------------------------------------------------------------------<br>SUBMISSION GUIDELINES<br>-----------------------------------------------------------------------------------<br><br>Authors are invited to submit, via EasyChair research contributions or experience<br>reports (<a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=opencert2023*__;Iw!!IBzWLUs!QF1SLdVd-0vdDLXZCCNRFfe5pWXuTS76g8eHFVwyldZt8QsiIdbuB_31BuvSKaf21igWPVsEfVu4VfL0qMzNS4zRReY3paKK51njBJzzo94$" target="_blank">https://easychair.org/my/conference?conf=opencert2023#</a>).<br><br>All papers should be written in English and prepared using the specific LNCS<br>templates available at <a href="https://urldefense.com/v3/__http://www.springer.de/comp/lncs/authors.html__;!!IBzWLUs!QF1SLdVd-0vdDLXZCCNRFfe5pWXuTS76g8eHFVwyldZt8QsiIdbuB_31BuvSKaf21igWPVsEfVu4VfL0qMzNS4zRReY3paKK51njgtsOCNo$" target="_blank">http://www.springer.de/comp/lncs/authors.html</a>.<br><br>There are nine categories of submissions<br><br>RESEARCH PAPERS to present original research and the analysis, interpretation and<br>validation of the research findings.<br><br>POSITION PAPERS to present innovative, arguable ideas, opinions or frameworks<br>which are likely to foster discussion at the workshop.<br><br>PROJECT PAPERS to describe a new open community project (e.g. on a hosting provider<br>or a dedicated portal) or a new research project, or the status of an ongoing<br>project or the outcomes of a recently completed project.<br><br>SURVEY PAPERS to collect previously published studies on topics related to the<br>workshop and analyse them in the context of open communities.<br><br>CASE STUDY PAPERS to report on case studies, preferably in a real-world setting.<br><br>TOOL PAPERS to present a new tool, a new tool component or novel extensions to an<br>existing tool aiming at supporting open community approaches, or the<br>use/customisation of an existing tool in the context of open communities.<br><br>TOOL DEMONSTRATION PAPERS to demonstrate the tool workflow(s) and human interaction<br>aspects, and evaluate the overall role of the tool in supporting open community<br>approaches.<br><br>TEACHING EXPERIENCE PEPERS to report on teaching experiences using an open community<br>approach in a formal education context (e.g. in a university/school context) or in<br>informal education.<br><br>LEARNING EXPERIENCE PAPERS to report on a learning experience within an open<br>community in a formal education context (e.g. by university students) or in informal<br>education (online presentation with a nominal registration fee is allowed for<br>students presenting accepted contribution in this category).<br><br>Contributions will be in the form of<br><br>* FULL PAPERS between 12 and 15 pages excluding references for submission<br>  (and between 12 and 17 pages excluding references for post-proceedings camera-ready).<br>* SHORT PAPERS between 6 and 8 pages excluding references for submission<br>  (and between 6 and 9 pages excluding references for post-proceedings camera-ready).<br>* PRESENTATIONS extended abstract up to 4 pages, which will be included in the<br>  pre-proceedings but not published in the post-proceedings.<br><br>"Short papers" and "Presentations" can discuss new ideas which are at an early stage<br>of development and which have not yet been thoroughly evaluated.<br><br>The program committee may reject papers that are outside the above mentioned length<br>limits.<br><br>Submitted papers will be refereed for quality, correctness, originality and<br>relevance. All submitted papers will be posted on GitHub at<br><br>        <a href="https://urldefense.com/v3/__https://github.com/opencert/workshop-2023/__;!!IBzWLUs!QF1SLdVd-0vdDLXZCCNRFfe5pWXuTS76g8eHFVwyldZt8QsiIdbuB_31BuvSKaf21igWPVsEfVu4VfL0qMzNS4zRReY3paKK51nj2x8OMuU$" target="_blank">https://github.com/opencert/workshop-2023/</a><br><br>and the review process will be carried out as an interactive, open discussion<br>between the authors and the reviewers. Final decisions about acceptance/rejection<br>of papers will be made through a closed discussion among the PC members.<br>Notification and reviews will be communicated via email.<br>Accepted papers (both "Regular papers" and "Short papers") will be included in the<br>workshop programme and will appear in the workshop pre-proceedings as well as in<br>the LNCS post-proceedings.<br>Pre-proceedings will be available online before the Workshop.<br><br>-----------------------------------------------------------------------------------<br>LIST OF TOPICS<br>-----------------------------------------------------------------------------------<br><br>EDUCATION<br>* open education;<br>* open learning communities and environments;<br>* student experience in open communities;<br>* open community approaches to teaching;<br>* open learning in formal and informal education;<br>* learning processes in open communities;<br>* validation and certification of open education approaches;<br>* Student Modeling, and Open Student Modeling<br>* Open Educational Resources<br>* collaborative, and social-collaborative learning;<br>* methodologies and tool to support collaboration;<br>* social constructivism;<br>* peer assessment;<br>* validation and certification of peer assessment approaches;<br>* teaching software engineering through OSS project participation.<br><br>RESEARCH<br>* peer-production process;<br>* open communities as peer-production models;<br>* analytical models for peer-production processes;<br>* business models for peer-production;<br>* open community management and organisation;<br>* knowledge management in open communities;<br>* management and analysis of open data repositories;<br>* management and analysis open source software repositories;<br>* data mining and process mining of (software, communication, etc.) repositories;<br>* community evolution;<br>* community assessment;<br>* peer review in OSS and other peer-production efforts;<br>* quality assessment of OSS and other peer-production efforts;<br>* certification of OSS and other peer-production processes;<br>* peer-assessment of research outputs, citations analysis controversies,<br>  open-feedback-based bibliometrics;<br>* legal implications in peer-production, OSS and peer-production licenses;<br>* copyright and copyleft in OSS and peer-production, action research;<br>* empirical studies.<br><br>TECHNOLOGY<br>* technological innovation in open communities;<br>* open communities and technology diffusion;<br>* information trustworthiness in thematic communities;<br>* privacy in open communities;<br>* recommender systems, reputation systems;<br>* machine learning; deep learning architectures;<br>* user/consumer reviews and quality assessment;<br>* methodologies and tools for analysis, verification, validation, decision<br>  support, quality * assessment and certification.<br><br>SEFM - SOFTWARE ENGINEERING AND FORMAL METHODS<br>* open and collaborative approaches in software engineering, formal methods,<br>  logics and mathematics education;<br>* open community research in software engineering and formal methods;<br>* formal modelling of learning and collaboration;<br>* integrating formal methods technologies and tools within OSS projects as a<br>  means for formal methods acceptance and diffusion;<br>* reverse engineering of OSS;<br>* static analysis, testing and inspection of OSS;<br>* safety, security and usability analysis in OSS;<br>* automated source code analyses in OSS;<br>* software evolution and reconfigurability in OSS.<br><br>-----------------------------------------------------------------------------------<br>PROGRAM CO-CHAIRS<br>-----------------------------------------------------------------------------------<br><br>* Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan<br>  (Program Co-chair)<br>* Marco Temperini, Department of Computer, Control, and Management Engineering,<br>  Sapienza University Rome, Italy (Program Co-chair)<br><br>-----------------------------------------------------------------------------------<br>KEYNOTE SPEAKER<br>-----------------------------------------------------------------------------------<br><br>TBA<br><br>-----------------------------------------------------------------------------------<br>PUBLICATION<br>-----------------------------------------------------------------------------------<br><br>Accepted regular and short papers will be published after the Workshop by Springer<br>in a volume of Lecture Notes in Computer Science (<a href="https://urldefense.com/v3/__http://www.springer.com/lncs__;!!IBzWLUs!QF1SLdVd-0vdDLXZCCNRFfe5pWXuTS76g8eHFVwyldZt8QsiIdbuB_31BuvSKaf21igWPVsEfVu4VfL0qMzNS4zRReY3paKK51njFWEgdJM$" target="_blank">http://www.springer.com/lncs</a>),<br>which will collect contributions to some workshops co-located with SEFM 2023.<br>Condition for inclusion in the post-proceedings is that at least one of<br>the co-authors has presented the paper at the Workshop.<br><br>One or more journal special issue(s) with selected papers may be planned, depending<br>on the number and quality of submissions.  Online presentation is only possible for students presenting accepted Learning Experience papers.<br><br>-----------------------------------------------------------------------------------<br>CONTACT<br>-----------------------------------------------------------------------------------<br><br>All inquiries concerning submissions should be sent to <br>opencert2023 AT easychair DOT org<br></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>