O p e n C E R T - 2 0 1 9
9th International Workshop on
Open Community approaches to Education, Research and Technology
*** towards "Open community approaches" CERTification processes ***
Porto, Portugal, 8 October 2019
Co-located with FM 2019

Background and Objectives | Important Dates | Submission | Publication | Call for Papers | Committees | Contact
Previous Events
Recent News

22/02/2019: OpenCERT website launched at opencert.github.io


Background and Objectives

Open Community is a generalisation of the concept of Open Source to other collaborative efforts. It includes Open Content, that is, some form of non restrictive licence, and Open Knowledge, that is, the freedom to use, reuse, and redistribute knowledge without legal, social or technological restriction. The 9th 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 new scope of the workshop aims to promote the use of the Open Community approach in Education and Research while also exploiting it to achieve wide diffusion and proper assessment of new, innovative Technology. The workshop general focus is on

  1. Education, by exploring forms of open learning and collaborative learning in both formal and informal education contexts, as well as the use of peer reviewing and strategies and methods to ensure (and aiming at certifying) that such use guarantees a proper and fair assessment;
  2. Research, by aiming 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, on the one hand by fostering and exploiting open communities to make new technologies globally available and accepted and, on the other hand, to support such communities in the production process and to certify the information and data produced or made publicly available by such communities, especially in the case of advices provided by thematic communities and user/consumer support/review communities.

In the context of FM, OpenCERT 2019 will propose thematic aspects related to the area of Formal Methods

  1. Education: open and collaborative approaches 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.


Keynote Speakers

Andreas Meiszner

Scio, Portugal, and School of Management, University of Liverpool, UK


Important Dates
Paper Submission deadline:   Monday 24 June 2019
Accept/Reject Notification:   Friday 16 August 2019
Pre-proceedings Final version due:   TBA
Post-proceedings Final version due:   TBA

Submission

Authors are invited to submit, via Easychair, research contributions or experience reports.

All papers should be written in English and prepared using the specific LNCS templates available at http://www.springer.de/comp/lncs/authors.html.

There are seven 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 stutus 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.
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.

Contributions will be in the form of

Regular papers
between 12 and 15 pages for submission (and between 12 and 16 pages for post-proceedings camera-ready).
Short papers
between 6 and 8 pages for submission.
Presentations
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 these lengths on the grounds of length alone.

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-2019/ 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 will be included in the workshop programme and will appear in the workshop pre-proceedings. Pre-proceedings will be available online before the Workshop.


Publication

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 and symposia co-located with FM 2019. Condition for inclusion in the post-proceedings is that at least one of the co-authors has presented the paper at the Workshop.

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


Call for Papers

Coming soon!


Program Co-chairs
  • Luis Barbosa, UNU-EGOV, United Nations University, UN, and Department of Computer Science, University of Minho, Portugal
  • Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan

Program Committee

  • 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 (Program Co-chair)
  • Marco C. Barbosa, Department of Computing Engineering, Universidad Federal de Tecnologia do Paraná, Brazil
  • Leonor Barroca, School of Computing and Communication, Open University, UK
  • F. Heron Carvalho Júnior, Department of Computing, Universidad Federal do Ceará, Brazil
  • Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan (Program Co-chair)
  • Soumaya ben Dhaou, UNU-EGOV, United Nations University, UN
  • Elsa Estevez, Department of Science and Computer Engineering, Universidad Nacional del Sur, Argentina
  • João F. Ferreira, IST, Dep Electrotechnical and Computer Engineering, University of Lisboa, Portugal
  • Michela Fazzolari, Institute for Informatics and Telematics (CNR-IIT), Italy
  • Roberta Gori, Department of Computer Science, University of Pisa, Italy
  • Andreas Meiszner, Scio, Portugal, and School of Management, University of Liverpool, UK
  • Paolo Milazzo, Department of Computer Science, University of Pisa, Italy
  • Renato Neves, Department of Computer Science, University of Minho, Portugal
  • Donatella Persico, Institute for Educational Technologies (CNR-ITD), Italy
  • Marinella Petrocchi, Institute for Informatics and Telematics (CNR-IIT), Italy
  • Maria Helena Martinho, School of Education, University of Minho, Portugal
  • Lucia Rapanotti, School of Computing and Communication, Open University, UK
  • Steve Reeves Department of Computing and Mathematical Sciences, University of Waikato, New Zealand
  • Mona Rizvi, Department of Computer Science, Nazarbayev University, Kazakhstan
  • Ioannis Stamelos, School of Informatics, Aristotle University of Thessaloniki, Greece
  • Sulayman Sowe, trivago, Germany


Contact

All inquiries concerning OpenCert 2019 submissions and scientific programme should be sent to opencert2019@easychair.org

BACK TO TOP
  Created: Fri 22 Feb 2019 Maintained by  
  Updated: Sat 16 Mar 2019 Antonio Cerone