| Recent News
- 04/08/2019: For operational reasons related to the organization of the FM Week,
the FM local organisers decided to re-scheduled OpenCERT 2019 for Monday 7 October 2019.
The full FM programme is available at http://formalmethods2019.inesctec.pt/?page_id=2221#
- 24/06/2019: Submission deadline extended until Monday 8 July 2019
- 07/04/2019: Call for Paper sent out
- 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
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 Open Community approaches in
Education and Research while also exploiting them to achieve wide diffusion and proper assessment
of new, innovative Technology.
The workshop general focus is on
- 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;
- 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.
- 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
- Education: open and collaborative approaches in Formal Methods education;
- Research: open community research in Formal Methods,
formal modelling of learning and collaboration
- 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; open learning in formal and informal education;
learning processes in open communities; collaborative learning; methodologies and tool to support collaboration;
social constructivism; peer assessment; student experience in open communities; open community approaches to teaching;
teaching software engineering through OSS project participation; peer-review in students' assessment;
validation and certification of open education approaches;
validation and certification of peer assessment approaches.
- 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.
- Formal Methods
- open and collaborative approaches in formal methods, logics and mathematics education;
open community research in formal methods and software engineering; 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
Scio, Portugal, and School of Management, University of Liverpool, UK
Dr Andreas Meiszner is a seasoned portfolio worker who worked
across a number of sectors and functions.
In two of his most recent portfolios he has tutored, mentored and coached beyond
500 professional doctoral students (mid to seniors, aged 35 to 70), first with
the University of Liverpool (UK), and since 2016 also with the DoctorateHub.
500+ students imply 500+ workplace-based problems from 500+ organizations from
across the globe.
This allowed Andreas to understand how to tackle problems at scale, be it the tame,
the complex, or the wicked.
| Important Dates
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 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.
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
(and between 6 and 9 pages 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 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 (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
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
The Call for Papers is available on
EasyChair Smart CFP
- 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 (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 (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
- Peter T. Breuer, Hecusys LLC, USA
- Daniel Burgos, Universidad Internacional de La Rioja (UNIR), Spain
- 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)
- Stefano De Paoli, Sociology Division, Abertay University, UK
- Soumaya ben Dhaou, UNU-EGOV, United Nations University, UN
- Yannis Dimitriadis, School of Telecomunications Engineering,
University of Valladolid, Spain
- Elsa Estevez, Department of Science and Computer Engineering,
Universidad Nacional del Sur, Argentina
- João F. Ferreira, IST, Department of Electrotechnical and Computer Engineering,
University of Lisboa, Portugal
- Michela Fazzolari, Institute for Informatics and Telematics (CNR-IIT), Italy\i>
- Roberta Gori, Department of Computer Science, University of Pisa, Italy
- Padmanabhan Krishnan, Oracle Labs, Australia
- Maria Helena Martinho, School of Education, University of Minho, Portugal
- 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
- John Noll University of East London, UK,
and Lero - The Irish Software Research Centre, Ireland
- Donatella Persico, Institute for Educational Technologies (CNR-ITD), Italy
- Alexander K. Petrenko, Institute for System Programming,
Russian Academy of Sciences (ISP RAS), Russia
- Marinella Petrocchi, Institute for Informatics and Telematics (CNR-IIT), Italy
- 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
- Markus Roggenbach, Department of Computer Science, Swansea University, UK
- Marcus Specht, Welten Institute, Research Centre for Learning, Teaching and Technology,
Open University of The Netherlands, The Netherlands
- Ioannis Stamelos, School of Informatics, Aristotle University of Thessaloniki, Greece
- Sulayman Sowe, Department of Informatics,
Carl von Ossietzky University of Oldenburg, Germany
- Anthony Wasserman, Integrated Innovation Institutre,
Carnegie Mellon University Silicon Valley, USA
All inquiries concerning OpenCert 2019 submissions and scientific programme
should be sent to firstname.lastname@example.org